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.