[Humanist] 22.572 events: digital reproduction; textual studies; logic; CS

Humanist Discussion Group willard.mccarty at mccarty.org.uk
Fri Feb 27 09:39:04 CET 2009

                 Humanist Discussion Group, Vol. 22, No. 572.
         Centre for Computing in the Humanities, King's College London
                Submit to: humanist at lists.digitalhumanities.org

  [1]   From:    Jan Staudek <staudek at fi.muni.cz>                          (46)
        Subject: MEMICS 2009, 1st CFP

  [2]   From:    Carlos Areces <areces at pluton.loria.fr>                    (31)
        Subject: Last Call for Papers HyLo09

  [3]   From:    Barbara Bordalejo <bb268 at NYU.EDU>                         (22)
        Subject: cfp: MLA 2009, Research in the Age of Digital Reproduction

  [4]   From:    "Allison, Jonathan" <jalliso at UKY.EDU>                     (11)
        Subject: SAMLA 2009 Call for Papers, TEXTUAL STUDIES IN THE CLASSROOM

        Date: Wed, 25 Feb 2009 12:01:03 +0000
        From: Jan Staudek <staudek at fi.muni.cz>
        Subject: MEMICS 2009, 1st CFP

           5th Doctoral Workshop on Mathematical and Engineering
                        Methods in Computer Science

                                MEMICS 2009

       November 13--15, 2009, Hotel Prestige, Znojmo, Czech Republic

             		      Call for Papers

The MEMICS 2009 workshop is organized jointly by the Faculty of
Informatics, Masaryk University, and the Faculty of Information Technology,
Brno University of Technology.

The aim: To provide a forum for doctoral students interested in applications 
of mathematical and engineering methods in computer science with an emphasis 
on methods for developing reliable and secure computer systems.

Topics: Submissions are invited especially in the following (though not
exclusive) areas: 
software and hardware dependability, computer security, parallel and
distributed computing, formal analysis and verification, simulation, testing
and diagnostics, GRID computing, computer networks, modern hardware and its 
design, non-traditional computing architectures, quantum computing, and all 
related areas of theoretical computer science.

Invited talks: Several invited talks by distinguished researchers from
various areas of interest of the workshop will be a part of the programme.

Involvement: Students are invited to submit a regular paper or a presentation. 
A regular paper is a previously unpublished original work, not exceeding 
8 pages in the LNCS style. A presentation reflects recent outstanding work 
that has been published (or is accepted) at a leading computer science 
conference or in a recognized scientific journal, and shall be submitted 
in the form of a one-page abstract which will also appear in the proceedings. 
Detailed instructions are available at the web page http://www.memics.cz/.
The proceedings will be available at the workshop in printed form.

Dates: The deadline for the submissions is September 14, 2009, but all 
regular papers also have to be registered one week before this deadline.
The authors will be notified about review results by October 14,
and the final camera-ready versions of all accepted submissions are 
expected by October 22.

Venue: The workshop will be held in Znojmo, a beautiful town on the
Austrian borders famous for a number of examples of medieval architecture
and nearby vineyards. Tourist attractions here include the Gothic Church of
St. Nicholas, the town hall's Gothic tower, and the Romanesque rotunda.
There is also an ancient castle atop a nearby hill.

General Chair
Tomas Vojnar, Brno

Programme Committee Co-Chairs
Petr Hlineny, Brno
Vaclav Matyas, Brno
Tomas Vojnar, Brno

Organizing Committee Chair
Jan Staudek, Brno

        Date: Wed, 25 Feb 2009 21:45:38 +0000
        From: Carlos Areces <areces at pluton.loria.fr>
        Subject: Last Call for Papers HyLo09

                     CALL FOR PAPERS
    International Workshop on Hybrid Logic 2009 (HyLo 2009)
             "Conmemorating the Ten Years of HyLo"
                      15 - 17 July, 2009
                        Nancy, France


Hybrid logic is a branch of modal logic allowing direct reference
to worlds/times/states. It is easy to justify interest in hybrid
logic on the grounds of applications, as the additional expressive
power is very useful.  In addition, hybrid-logical machinery
improves the behaviour of the underlying modal formalism.  For
example, it becomes considerably simpler to formulate modal proof
systems, and one can prove completeness and interpolation results
of a generality that is not available in orthodox modal logic.
But more generally, the topic of HyLo 2009 is not only standard
hybrid-logical machinery (like nominals, satisfaction operators,
binders, etc) but also extensions of modal logic that increase
its expressive power in one way or other.

HyLo 2009 will be an special event, conmemorating the ten years
since the organization of the first HyLo workshop in 1999.

HyLo 2009 will be relevant to a wide range of people, including
those interested in description logic, feature logic, applied
modal logics, temporal logic, and labelled deduction. The workshop
continues a series of previous workshops on hybrid logic. The
workshop aims to provide a forum for advanced PhD students and
researchers to present and discuss their work with colleagues and

For more general background on hybrid logic, and many of the key
papers, see the Hybrid Logics homepage (http://hylo.loria.fr/).


        Date: Thu, 26 Feb 2009 21:47:17 +0000
        From: Barbara Bordalejo <bb268 at NYU.EDU>
        Subject: cfp: MLA 2009, Research in the Age of Digital Reproduction

> From: Robin Schulze <rgs3 at psu.edu>
> Date: 26 February 2009 20:32:52 GMT
> To: rgs3 at psu.edu
> >
> CALL FOR PAPERS:   Making Research: Research in the Age of Digital  
> Reproduction  (MLA Annual Convention,  Philadelphia, 27-30 December  
> 2009,  panel sponsored by the MLA’s Division on Methods of Literary  
> Research  ):   What role(s) do electronic resources play in  
> literary research;  what role(s) should they play in the future?    
> Papers may treat any form of “digital reproduction”of primary or  
> secondary sources (electronic citation indexes;   full text and  
> other databases; digital archives of documents, images, sound  
> files; texts made available via mass digitization) as well as born- 
> digital materials and digital communication (social networking,   
> blogs, etc)..    Potential topics include:  what we have vs. what  
> we need;  digital possibilities (new questions, new paradigms and  
> methodologies, transformative interdisciplinarity) vs. digital  
> limits (of materials, of technology, of institutional structures);   
> how to integrate digitally focused research into teaching, graduate  
> training,  faculty evaluation, tenure and promotion.    250 word  
> abstracts emailed to Maura Ives (m-ives at tamu dot edu) by March  
> 20,  2009.

        Date: Thu, 26 Feb 2009 21:57:39 +0000
        From: "Allison, Jonathan" <jalliso at UKY.EDU>
        Subject: SAMLA 2009 Call for Papers, TEXTUAL STUDIES IN THE CLASSROOM

CALL FOR PAPERS: Teaching Textual Studies: STS Affiliate Panel at SAMLA, Renaissance Atlanta Hotel Downtown, Atlanta, 6-8 November 2009. This session welcomes proposals on approaches to teaching textual studies, broadly defined, including scholarly editing, electronic editing, editorial theory, editorial case studies, and use of archives and/or electronic archives. Proposals on teaching particular scholarly or critical editions would be welcome. Proposals that discuss particular class sequences on particular topics, or class sequences taught in the context of a course dealing with “Bibliography, Textuality and Research Methods” (or variants thereof) would be especially welcome. Please send 250-word abstract by 1st May 2009, to session chair, Jonathan Allison at jalliso at uky.edu or the Department of English, University of Kentucky, Lexington, KY 40506-0027. Alternatively, write to the session secretary, Catherine Paul at catpaul at bellsouth.net or the Department of English, Clemson University, Clemson, SC 29634. 
Jonathan Allison
Associate Chair
Department of English
1215 Patterson Tower
University of Kentucky
Lexington, KY 40506-0027
email jalliso at uky.edu

More information about the Humanist mailing list