Newsletter 107
November  7, 2006


*******************************************************************
* Past issues of the newsletter are available at
  http://www.informatik.hu-berlin.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
  can be found at
  http://www.informatik.hu-berlin.de/lics/newsletters/inst.html
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to lics@informatik.hu-berlin.de
*******************************************************************


TABLE OF CONTENTS
* BOOKS
  Lectures on the Curry-Howard Isomorphism  by Morten Heine Sorensen, Pawel Urzyczyn
* CALL FOR WORKSHOPS
  LICS 2007
  TABLEAUX 2007
* CALL FOR PAPERS
  Journal of Applied Logic - Special Issue on Empirically sucessful computerized reasoning
  EROW 2007 - Call for Papers
  LATA 2007 - Call for Papers
  TERMGRAPH 2007 - Call for Papers
  MFPS XXIII - Call for Papers
  RTA 2007 - Call for Papers
  TLCA 2007 - Call for Papers
  WoLLIC'2007 - Call for Papers


BOOK ANNOUNCEMENT
  Lectures on the Curry-Howard Isomorphism
  Studies in Logic and the Foundations of Mathematics, 149
  by Morten Heine Sorensen, Pawel Urzyczyn
  ISBN: 0-444-52077-5, 456 pages
* This is an entirely rewritten book version of the
  DIKU lecture notes published online in 1998. The
  book gives an intruduction to various topics
  related to the formulas-as-types analogy, in
  particular:
  - Type-free and simply-typed lambda-calculus
  - Intuitionistic logic
  - Combinatory logic
  - Classical logic and control operators
  - Sequent calculus
  - Dialogue games
  - Intuitionistic arithmetic and Godel's system T
  - Second-order logic and polymorphism
  - Dependent types and pure type systems.
* The book contains a large number of exercises, many
  of these accompanied with extensive hints and solutions.



LOGIC IN COMPUTER SCIENCE (LICS) 2007
  Call for Workshop Proposals
* The Twenty-Second IEEE Symposium on Logic in Computer Science (LICS 2007)
  will be held in Wroclaw, Poland, July 10-14, 2007. It will be colocated
  with two other meetings: the International Colloquium on Automata,
  Languages, and Programming (ICALP'07) July 9-13, 2007, and also the
  European Logic Colloquium (ELC 2007), July 14-19.  Workshops are planned
  for July 8, 9 and July 15 (possibly the afternoon of 14th).
  Detailed information can be found on the LICS 2007 webpage at
  http://www.informatik.hu-berlin.de/lics/lics07/
* LICS workshops have traditionally been an important and exciting part of
  the program. They introduce either newest research in traditional areas of
  the LICS community, recent interdisciplinary and applied areas of general
  theory, or emerging directions that already have some substantial overlap
  with LICS community interests. Researchers and practitioners are invited to
  submit proposals for workshops on topics relating logic - broadly construed -
  to computer science or related fields. Typically, LICS workshops feature a
  mix of invited speakers and contributed presentations. LICS workshops do not
  produce formal proceedings. However, in the past there have been special
  issues of journals based in part on certain LICS workshops.
* Proposals should include:
  - A short scientific summary and justification of the proposed topic.
    This should include a discussion of the particular benefits of the
    topic to the LICS community.
  - A discussion of the proposed format and agenda.
  - Procedures for selecting participants and papers.
  - Expected number of participants. (This is important!)
  - Potential invited speakers.
  - Plans for dissemination (for example, special issues of journals).
  - For workshops of potential interest to ICALP participants, whether
    the workshop should be considered as a possible joint LICS/ICALP
    workshop.
  - Tell us the timeframe you would prefer:  1 day, 1.5 or 2 days, either
    before LICS (July 8,9) or after LICS (July 15).  Alas, some overlap
    with either ICALP or ELC is inevitable.
* Proposals are due Nov. 15, 2006, and should be submitted electronically to:



INTERNATIONAL CONFERENCE AUTOMATED REASONING WITH ANALYTIC TABLEAUX
  AND RELATED METHODS (TABLEAUX) 2007
  Call for Papers, Call for Tutorials and
  Call for Workshop Proposals
  Aix en Provence, France
  3-6 July 2007
  http://tableaux2007.univ-cezanne.fr/
* IMPORTANT DATES
  Workshop proposal submission deadline:   December 5, 2006
  Notification of acceptance of workshops: December 15, 2006
  Tutorial proposal submission deadline:    January 10, 2007
  Notification of acceptance of tutorials:  January 20, 2007
  Title and abstract submission deadline: February 2, 2007
  Paper submission deadline:              February 9, 2007
  Notification of acceptance of papers:   April 2, 2007
  Final version of papers due:            April 16, 2007
  Conference:  July 3-6, 2007
* GENERAL INFORMATION
  This conference is the 16th in a series of international meetings on
  Automated Reasoning with Analytic Tableaux and Related Methods.
  In July 2007, the conference will be held in Aix en Provence, France.
  The conference proceedings will be published in LNAI series as in the
  previous editions of the conference.
  See http://tableaux2007.univ-cezanne.fr/ for more information on
  TABLEAUX 2007, and http://i12www.ira.uka.de/TABLEAUX for information
  about the TABLEAUX conference series.
* Topics of interest include (but are not restricted to):
    * analytic tableaux for various logics (theory and applications)
    * related techniques and concepts, e.g., model checking and BDDs
    * related methods (model elimination, sequent calculi,
      connection method, ...)
    * new calculi and methods for theorem proving in classical and
      non-classical logics (modal, description, intuitionistic, linear,
      temporal, many-valued...)
    * systems, tools, implementations and applications.
  TABLEAUX 2007 puts a special emphasis on applications. Papers describing
  applications of tableaux and related methods in areas such as,
  for example, hardware and software verification,  knowledge engineering,
  semantic web, etc. are particularly invited.
* One or more tutorials and workshops will be part of the conference program.
* SUBMISSIONS
  For information on submission of papers see http://tableaux2007.univ-cezanne.fr/
* CALL FOR WORKSHOP PROPOSALS
  TABLEAUX 2007 launches a Call for Workshop Proposal on specialised
  subjects in the range of the conference topics. We can accept up to
  2 proposals. The proposals are reviewed by members of the PC committee.
  The purpose  of a workshop is to offer an opportunity of presenting novel
  ideas, ongoing research, and to discuss the state of the art of an area in
  a less formal but more focused way than the conference itself. It is also
  a good opportunity for young researchers to present their own work and to
  obtain feedback. The format of aworkshop is left to  the organizers,
  but it is expected to contain significant time for discussion.
  The intended schedule is for one-day workshops.



SPECIAL ISSUE ON EMPIRICALLY SUCCESSFUL COMPUTERIZED REASONING
  Journal of Applied Logic, Elsevier
  Call for papers
  http://www.cs.man.ac.uk/~schmidt/ESCoR
* Scope: The special issue is devoted to all aspects of the
  implementation and deployment of working computerized reasoning
  systems.  Reasoning in all forms (automated, interactive, etc)
  and all logics (classical, non-classical, all orders, etc) is
  of interest to the special issue.  Submissions should discuss
  aspects of "really working" systems and applications, and
  should not focus on theoretical ideas that have not yet been
  translated into working software.
* Submissions: The normal reviewing process for journals will be
  used and papers should conform to the usual high standard of
  international journals.  Submission is via the EasyChair
  on-line submission system at
  http://www.easychair.org/ESCoRJAL2007/.
* Submission deadline: 4 December 2006
* Guest editors: Renate Schmidt, Geoff Sutcliffe, Stephan Schulz
* For further information see URL above.



ICDT WORKSHOP ON EMERGING RESEARCH OPPORTUNITIES IN WEB DATA MANAGEMENT (EROW 2007)                     
  Second Call for Papers
  Barcelona, Spain. January 13, 2007.
  Collocated with ICDT 2007
  http://www.erow.ua.ac.be/
* The growing importance of the World Wide Web as a means to manage and
  publish both data and functionality has lead to new and interesting
  research questions in the field of databases, on already existing
  subjects and on completely new ones. This workshop aims at bringing
  together database researchers, from both the theoretical and practical
  side, to discuss whether the right subjects on Web data management are
  being researched, and whether there are new and interesting areas that
  have not been sufficiently addressed yet.
* Therefore, we invite papers that contain theoretical results that
  could open up new research areas in Web data management, as well as
  application-oriented papers that present ideas and applications that
  raise new and interesting research questions.
* Suggested, but not exclusive, topics of interest for submissions include:
  - Data exchange
  - Data integration
  - Data streams
  - Dataspaces
  - Managing uncertain and imprecise information
  - Multimedia data
  - Peer-to-peer data management
  - Schema matching
  - Schema mapping and metadata management
  - Scientific data
  - Semantic Web
  - Semi-structured data
  - Spatial and temporal data
  - Transaction management
  - Web mining
  - Web privacy and security
  - Workflow and Web services
  - XML
* Important dates:
  - Paper submission:           Mon, Oct 23, 2006
  - Notification of acceptance: Thu, Nov 30, 2006
  - Camera-ready copy due:      Thu, Dec 21, 2006
  - Workshop:                   Sat, Jan 13, 2007
* Invited speakers:
  - Bertram Ludaescher, Department of Computer Science & Genome Center,
    UC Davis, and San Diego Supercomputer Center, UCSD, USA.
  - Madhusudan Parthasarathy, Department of Computer Science, University
    of Illinois at Urbana-Champaign, USA.
* Program committee:
  - Marcelo Arenas (co-chair, PUC Chile)
  - Jan Hidders (co-chair, U. of Antwerp, Belgium)
  - Pablo Barcelo (CWR, U. of Chile)
  - Omar Benjelloun (Stanford U., USA)
  - Toon Calders (U. of Antwerp, Belgium)
  - Diego Calvanese (Free U. of Bozen-Bolzano, Italy)
  - Alin Deutsch (UCSD, USA)
  - Claudio Gutierrez (U. de Chile)
  - Gerd Heber (Cornell U., USA)
  - Anastasios Kementsietsidis (U. of Edinburgh, UK)
  - Carolin Letz (U. of Muenster, Germany)
  - Jerome Simeon (IBM Watson, USA)
  - Thomas Schwentick (U. of Dortmund, Germany)
  - Dan Suciu (U. of Washington, USA)
  - Jan Van den Bussche (U. of Hasselt, Belgium)
  - Jef Wijsen  (U. de Mons-Hainaut, Belgium)



1st INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2007)
  2nd Call for Papers
  March 29 - April 4, 2007
  Tarragona, Spain,
  http://www.grammars.grlmc.com/LATA2007/
* AIMS
  LATA 2007 intends to become a major conference in theoretical
  computer science and its applications. As linked to the
  International PhD School in Formal Languages and Applications that
  is being developed at the host institute since 2001, it will reserve
  significant room for young computer scientists at the beginning of
  their career. LATA 2007 will aim at attracting scholars from both
  classical theory fields and application areas (bioinformatics,
  systems biology, language technology, artificial intelligence,
  etc.).
* SCOPE
  Topics of either theoretical or applied interest include, but are not limited to:
  - words, languages and automata
  - grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.)
  - grammars and automata architectures
  - combinatorics on words
  - language varieties and semigroups
  - algebraic language theory
  - computability
  - computational, descriptional, communication and parameterized complexity
  - patterns and codes
  - regulated rewriting
  - trees, tree languages and tree machines
  - term rewriting
  - graphs and graph transformation
  - power series
  - fuzzy and rough languages
  - cellular automata
  - DNA and other models of bio-inspired computing
  - quantum, chemical and optical computing
  - biomolecular nanotechnology
  - automata and logic
  - automata for verification
  - automata, concurrency and Petri nets
  - parsing
  - weighted machines
  - foundations of finite state technology
  - grammatical inference and learning
  - symbolic neural networks
  - text retrieval and pattern recognition
  - string and combinatorial issues in computational biology and bioinformatics
  - mathematical evolutionary genomics
  - language-based cryptography
  - compression
  - circuit theory and applications
  - language theoretic foundations of artificial intelligence and artificial life
* INVITED SPEAKERS:
  Volker Diekert (UStuttgart), Equations: From Words to Graph Products (tutorial)
  Nissim Francez & Michael Kaminski (Technion), Extensions of Pregroup
  Grammars and Their Correlated Automata
  Eric Graedel (RWTH Aachen), Infinite Games (tutorial)
  Neil Immerman (UMass, Amherst), Nested Words
  Helmut Juergensen (UWestern Ontario), Synchronization and Codes (tentative title)
* PROGRAMME COMMITTEE:
  Francine Blanchet-Sadri (Greensboro)
  Paola Bonizzoni (Milan)
  Henning Bordihn (Potsdam)
  John Brzozowski (Waterloo)
  Erzsebet Csuhaj-Varju (Budapest)
  Carsten Damm (Goettingen)
  Nachum Dershowitz (Tel Aviv)
  Pal Domosi (Debrecen)
  Manfred Droste (Leipzig)
  Zoltan Esik (Tarragona, co-chair)
  Joerg Flum (Freiburg, Germany)
  Jozef Gruska (Brno)
  Tero Harju (Turku)
  Colin de la Higuera (Saint-Etienne)
  Markus Holzer (Munich)
  Lucian Ilie (London, Canada)
  Masami Ito (Kyoto)
  Jarkko Kari (Turku)
  Andre Kempe (Grenoble)
  Jetty Kleijn (Leiden)
  Satoshi Kobayashi (Tokyo)
  Martin Kutrib (Giessen)
  Thierry Lecroq (Rouen)
  Stuart Margolis (Ramat Gan)
  Carlos Martin-Vide (Tarragona, co-chair)
  Risto Miikkulainen (Austin)
  Victor Mitrana (Tarragona, co-chair)
  Claudio Moraga (Dortmund)
  Kenichi Morita (Hiroshima)
  Mark-Jan Nederhof (Groningen)
  Mitsunori Ogihara (Rochester)
  Alexander Okhotin (Turku)
  Friedrich Otto (Kassel)
  Holger Petersen (Stuttgart)
  Wojciech Rytter (Warsaw)
  Kai Salomaa (Kingston, Canada)
  Magnus Steinby (Turku)
  Shuly Wintner (Haifa)
  Detlef Wotschke (Frankfurt)
  Hsu-Chun Yen (Taipei)
  Sheng Yu (London, Canada)
* ORGANIZING COMMITTEE:
  Madalina Barbaiani
  Gemma Bel-Enguix
  Cristina Bibire
  Carlos Cruz Reyes
  Adrian Horia Dediu
  Szilard Zsolt Fazekas
  Maria Adela Grando
  Mihai Ionescu
  M. Dolores Jimenez-Lopez
  Alexander Krassovitskiy
  Guangwu Liu
  Remco Loos
  Carlos Martin-Vide (chair)
  Tsetsegkhand Namsrai
  Anthonath Roslin Sagaya Mary
  Sherzod Turaev
* SUBMISSIONS:
  Authors are invited to submit papers presenting original and
  unpublished research. Papers should not exceed 12 pages and should
  be formatted according to the usual LNCS article style. Submissions
  have to be sent through the web page:
  http://www.easychair.org/LATA2007/
* REGISTRATION:
  The period for registration will be since January 9 to March 29,
  2007. See the web-page for details
* IMPORTANT DATES:
  Paper submission: November 30, 2006
  Application for funding (PhD students): December 15, 2006
  Notification of funding acceptance or rejection: December 31, 2006
  Notification of paper acceptance or rejection: January 31, 2007
  Early registration: February 15, 2007
  Final version of the paper for the pre-proceedings: February 28, 2007
  Starting of the conference: March 29, 2007
  Submission to the proceedings volume: May 15, 2007
* FURTHER INFORMATION:



WORKSHOP ON COMPUTING WITH TERMS AND GRAPHS (TERMGRAPH'07)
 (affiliated with ETAPS 2007)
 Call for Papers
 Braga, Portugal, March 31, 2007
 http://www.termgraph.org.uk/2007
* The advantage of computing with graphs rather than terms is that
 common subexpressions can be shared, improving the efficiency of
 computations in space and time. Sharing is ubiquitous in
 implementations of programming languages: many functional, logic,
 object-oriented and concurrent calculi are implemented using term
 graphs. Research in term and graph rewriting ranges from theoretical
 questions to practical implementation issues. Topics include: the
 modelling of first- and higher-order term rewriting by (acyclic or
 cyclic) graph rewriting, the use of graphical frameworks such as
 interaction nets and sharing graphs (optimal reduction), rewrite
 calculi for the semantics and analysis of functional programs, graph
 reduction implementations of programming languages, graphical
 calculi modelling concurrent and mobile computations,
 object-oriented systems, graphs as a model of biological or chemical
 abstract machines, and automated reasoning and symbolic computation
 systems working on shared structures.



MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS XXIII)
  Call for Papers
  http://www.math.tulane.edu/~mfps/mfps23.htm
* The Twenty-third Conference on the Mathematical Foundations of
  Programming Semantics (MFPS XXIII) will take place on the campus of
  Tulane University, New Orleans, LA USA
  from Wednesday, April 11 through Saturday, April 14, 2007.
* The MFPS conferences are devoted to those areas of mathematics,
  logic, and computer science which are related to models of
  computation, in general, and to the semantics of programming
  languages, in particular. The series has particularly stressed
  providing a forum where researchers in mathematics and computer
  science can meet and exchange ideas about problems of common
  interest.  As the series also strives to maintain breadth in its
  scope, the conference strongly encourages participation by
  researchers in neighboring areas.
* INVITED SPEAKERS
      Gerard Berry (Esterel Technologies)
      --- to be confirmed ---
      Stephen Brookes (CMU)
      Jane Hillston (Edinburgh)
      John Mitchell (Stanford)
      Gordon Plotkin (Edinburgh)
      John Power (Edinburgh)
* In addition, there will be three special sessions:
   1. A special session honoring GORDON PLOTKIN on his 60th birthday
      year, organised by Samson Abramsky (Oxford).
   2. A special session on SECURITY, organised by Catherine Meadows (NRL).
   3. A special session on SYSTEMS BIOLOGY, organised by Jane
      Hillston (Edinburgh) and Prakash Panangaden (McGill).
  4.  A Special Session on Physics, Information and Computation
       organized by Keye Martin (NRL).
* Further, there will be a TUTORIAL DAY on April 11.  The topic will
  be Domain Theory; the speakers will be announced at a later date.
  This event will be free to those who are interested in attending.
* PROGRAM COMMITTEE
   Samson Abramsky (Oxford)                       Michael Mislove (Tulane)
   Andrej Bauer (Ljubljana)                            John Mitchell (Stanford)
   Stephen Brookes (CMU)                             Eugenio Moggi (Genova)
   Pierre-Louis Curien (CNRS & Paris 7)     Laurent Regnier (Marseille)
   Andrzej Filinski (Copenhagen)                  Giuseppe Rosolini (Genova)
   Marcelo Fiore (Cambridge), CHAIR          Davide Sangiorgi (Bologna)
   Achim Jung (Birmingham)                           Philip Scott (Ottawa)
   Masahito Hasegawa (Kyoto)                       Daniele Varacca (Paris 7)
   Ursula Martin (QM London)                         James Worrell (Oxford)
   Catherine Meadows (NRL)                          Steve Zdancewic (Pennsylvania)
* TOPICS include, but are not limited to, the following:
  - biocomputation
  - categorical models
  - concurrent and distributed computation
  - constructive mathematics
  - domain theory
  - formal languages
  - formal methods
  - game semantics
  - lambda calculus
  - logic
  - non-classical computation
  - probabilistic systems
  - process calculi
  - program analysis
  - programming-language theory
  - quantum computation
  - rewriting theory
  - security
  - specifications
  - topological models
  - type systems
  - type theory.
* The CONFERENCE PROCEEDINGS will be published by ENTCS (Electronic
  Notes in Theoretical Computer Science <http://www.entcs.org/>).
  Submission instructions, style files for preparing a submission, and
  a link to the MFPS XXIII submission site are available from the
  conference web page:
            http://www.math.tulane.edu/~mfps/mfps23.htm
* IMPORTANT DATES:
  - Fri Dec 15:  Paper registration deadline, with short abstracts.
  - Fri Dec 22:  Paper submission deadline.
  - Fri Feb  4:  Author notification.
  - Fri Mar  2:  Final versions for the proceedings.
* The Organising Committee for MFPS consists of Stephen Brookes (CMU),
  Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove
  (Tulane), and Prakash Panangaden (McGill).  The local arrangements
  for MFPS XXIII are being overseen by Michael Mislove.



CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA 2007)
  (Part of RDP'07; co-located with TLCA'07)
  Call for Papers
  Paris, France, June 26-28, 2007
  http://www.lsv.ens-cachan.fr/rdp07/rta.html
* THEME.  RTA is the major forum for the presentation of research
  on all aspects of rewriting. Typical areas of interest include
  (but are not limited to):
  Applications: case studies; rule-based (functional and logic) programming;
  symbolic and algebraic computation; theorem proving; system synthesis and
  verification; analysis of cryptographic protocols; proof checking; reasoning
  about programming languages and logics; program transformation;
  Foundations: matching and unification; narrowing; completion
  techniques; strategies; constraint solving; explicit substitutions;
  tree automata; termination; combination;
  Frameworks: string, term, graph, and proof rewriting; lambda-calculus
  and higher-order rewriting; proof nets; constrained rewriting/deduction;
  categorical and infinitary rewriting; integration of decision procedures;
  Implementation: compilation techniques; parallel execution;
  rewrite tools; termination checking;
  Semantics: equational logic; rewriting logic; rewriting models of programs.
* SUBMISSIONS. Submission categories include regular research papers
  and system descriptions.  Problem sets and submissions describing
  interesting applications of rewriting techniques are also welcome.
  The page limit for submissions is 15 pages in Springer LNCS style
  (10 pages for system descriptions). The submission Web page will be
  made available beginning of December. As usual, the proceedings
  of RTA'07 will be published in the Springer LNCS series.
* IMPORTANT DATES:
  Jan 26, 2007: Deadline for electronic submission of title and abstract
  Jan 31, 2007: Deadline for electronic submission of papers
  Apr 02, 2007: Notification of acceptance of papers
  Apr 23, 2007: Deadline for final versions of accepted papers
* PROGRAM COMMITTEE: Alessandro Armando (Genova, Italy), Franz Baader
  (Dresden, Germany, Chair), Roberto Di Cosmo (Paris, France), J?rgen
  Giesl (Aachen, Germany), Deepak Kapur (Albuquerque, USA), H?l?ne
  Kirchner (Nancy, France), Barbara K?nig (Duisburg, Germany),
  Salvador Lucas (Valencia, Spain), Narciso Mart?-Oliet (Madrid,
  Spain), Tobias Nipkow (Munich, Germany), Femke van Raamsdonk
  (Amsterdam, The Netherlands), Aaron Stump (St. Louis, USA),
  Sophie Tison (Lille, France), Ralf Treinen (Cachan, France)
* CONFERENCE CHAIRS: Ralf Treinen (Cachan, France),  Xavier Urbain
  (Paris, France)
* For more information, see webpage



TLCA'07 - 8th International Conference on Typed Lambda Calculi and Applications
  Call for Papers
* June 26-28, 2007, Paris, France
  Part of RDP'07 
  http://www.lsv.ens-cachan.fr/rdp07/tlca.html
* The TLCA series of conferences serves as a forum for presenting
  original research results that are broadly relevant to the theory
  and applications of typed calculi.  The following list of topics 
  is non-exhaustive: Proof-theory: Natural deduction and sequent
  calculi, cut elimination and normalisation, linear logic and proof
  nets, type-theoretic aspects of computational complexity /
  Semantics: Denotational semantics, game semantics, realisability,
  categorical models / Implementation: Abstract machines, parallel
  execution, optimal reduction, type systems for program optimisation
  / Types: Subtypes, dependent types, type inference, polymorphism,
  types in theorem proving / Programming: Foundational aspects of
  functional and object-oriented programming, proof search and logic
  programming, connections between and combinations of functional and
  logic programming, type checking.
* The programme of TLCA will consist of three invited talks and about 
  25 papers selected from original contributions. Accepted papers will 
  be published as a volume of Springer Lecture Notes in Computer
  Science series (http://www.springer.de/comp/lncs/index.html). 
* Important Dates:
  December 22   Title and abstract due
  January 2     Deadline for submission
  March 10-15   Author review period
  March 25      Notification of acceptance-rejection
  April 20      Deadline for the final version
* Program Committee: 
  Chantal Berline (CNRS), Peter Dybjer (Chalmers),
  Healfdene Goguen (Google), Robert Harper (Carnegie Mellon U.),  
  Olivier Laurent (CNRS), Simone Martini (U. of Bologna),
  Simona Ronchi Della Rocca (Chair, U. of Torino),
  Peter Selinger (U. of Dalhousie), Paula Severi (U. of Leicester),
  Kazushige Terui (U. of Sokendai), Pawel Urzyczyn (U. of Warsaw)
  


14TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'2007)
  Call for Papers
  Rio de Janeiro, Brazil
  July 2-5, 2007
* WoLLIC is an annual international forum on inter-disciplinary research
  involving formal logic, computing and programming theory, and natural
  language and reasoning.  Each meeting includes invited talks and tutorials
  as well as contributed papers.
* PAPER SUBMISSION
  Contributions are invited on all pertinent subjects, with particular
  interest in cross-disciplinary topics.  Typical but not exclusive
  areas of interest are: foundations of computing and programming;
  novel computation models and paradigms; broad notions of proof and belief;
  formal methods in software and hardware development; logical approach to
  natural language and reasoning; logics of programs, actions and resources;
  foundational aspects of information organization, search, flow, sharing,
  and protection.
  Proposed contributions should be in English, and consist of a scholarly
  exposition accessible to the non-specialist, including motivation,
  background, and comparison with related works.
  They must not exceed 10 pages (in font 10 or higher), with up to
  5 additional pages for references and technical appendices.
  The paper's main results must not be published or submitted
  for publication in refereed venues, including journals and other
  scientific meetings.
  It is expected that each accepted paper be presented at the meeting by
  one of its authors.
  Papers must be submitted electronically at
  www.cin.ufpe.br/~wollic/wollic2007/instructions.html
  A title and single-paragraph abstract should be submitted by
  February 23, and the full paper by March 2 (firm date).
  Notifications are expected by April 13, and final papers for
  the proceedings will be due by April 27 (firm date).
* STUDENT GRANTS
  ASL sponsorship of WoLLIC'2007 will permit ASL student members to
  apply for a modest travel grant (deadline: April 1, 2007).
  See www.aslonline.org/studenttravelawards.html for details.
* IMPORTANT DATES
  February 23, 2007: Paper title and abstract deadline
  March 2, 2007: Full paper deadline (firm)
  April 12, 2007: Author notification
  April 26, 2007: Final version deadline (firm)
* PROGRAM COMMITTEE
  Samson Abramsky (U Oxford)
  Michael Benedikt (Bell Labs)
  Lars Birkedal (ITU Copenhagen)
  Andreas Blass (U Michigan)
  Thierry Coquand (Chalmers U, Goteborg)
  Jan van Eijck (CWI, Amsterdam)
  Marcelo Finger (U Sao Paulo)
  Rob Goldblatt (Victoria U, Wellington)
  Yuri Gurevich (Microsoft Redmond)
  Hermann Haeusler (PUC Rio)
  Masami Hagiya (Tokyo U)
  Joseph Halpern (Cornell U)
  John Harrison (Intel UK)
  Wilfrid Hodges (U London/QM)
  Phokion Kolaitis (IBM San Jose)
  Marta Kwiatkowska (U Birmingham)
  Daniel Leivant (Indiana U) (Chair)
  Maurizio Lenzerini (U Rome)
  Jean-Yves Marion (LORIA Nancy)
  Dale Miller (Polytechnique Paris)
  John Mitchell (Stanford U)
  Lawrence Moss (Indiana U)
  Peter O'Hearn (U London/QM)
  Prakash Panangaden (McGill, Montreal)
  Christine Paulin-Mohring (Paris-Sud, Orsay)
  Alexander Razborov (Moscow U)
  Helmut Schwichtenberg (Munich U)
  Jouko Vaananen (U Helsinki)
* ORGANISING COMMITTEE
  Marcelo da Silva Correa (U Fed Fluminense)
  Renata P. de Freitas (U Fed Fluminense)
  Ana Teresa Martins (U Fed Ceara')
  Anjolina de Oliveira (U Fed Pernambuco)
  Ruy de Queiroz (U Fed Pernambuco, co-chair)
  Petrucio Viana (U Fed Fluminense, co-chair)
* WEB PAGE
  www.cin.ufpe.br/~wollic/wollic2007




Back to the LICS web page.