Newsletter 84
March 3, 2003
*******************************************************************
* Past issues of the newsletter are available at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
LICS 2003, Call for Short Presentations
Workshop on Logic and Computational Linguistics, Call for Abstracts
PPDP '03, Call for Papers
Types 2003, Call for Talks, Demos and Participation
FTP 2003, Call for Papers
Workshop on Semantics and Verification of Hardware and Software Systems,
Call for Papers
Workshop on Formal Techniques for Java-like Programs, Call for Papers
ICLP '03, Call for Contributions
WAIT 2003, Call for Papers
International Conference on Algebraic and Topological Methods in
Non-classical Logics, Call for Papers
* SUMMER SCHOOLS
Summer School on Foundations of security
* VACANCIES
Research/Postdoc Psition at ENS Paris
* MAILING LISTS
Proof theory mailing list
EIGHTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2003)
June 22nd - 25th, 2003, Ottawa, Canada
http://www.lfcs.informatics.ed.ac.uk/lics/
Call for Short Presentations
* The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense. LICS 2003 will take place in Ottawa, Canada, June 22-25, 2003
and will feature invited talks, invited tutorials, and presentations
of papers that will appear in the LICS 2003 proceedings.
In addition, LICS 2003 will have a session of short (5-10 minutes)
presentations. This session is intended for descriptions of work in
progress, student projects, and relevant research being published
elsewhere; other brief communications may be acceptable.
* Submissions for these presentations, in the form of short abstracts
(1 or 2 pages long), should be entered by following the
"Instructions for short presentations" link at the LICS 2003 website
http://www.lfcs.informatics.ed.ac.uk/lics/lics03
between March 17th and March 21st, 2003. Authors will be notified of
acceptance or rejection by April 4th, 2003.
* Suggested, but not exclusive, topics of interest for submissions
include: automata theory, automated deduction, categorical models and
logics, concurrency and distributed computation, constraint
programming, constructive mathematics, database theory, domain theory,
finite model theory, formal aspects of program analysis, formal
methods, hybrid systems, lambda and combinatory calculi, linear logic,
logical aspects of computational complexity, logics in artificial
intelligence, logics of programs, logic programming, modal and
temporal logics, model checking, programming language semantics,
reasoning about security, rewriting, specifications, type systems and
type theory, and verification.
* Program Chair: Phokion G. Kolaitis, Computer Science Department,
University of California Santa Cruz. Email: kolaitis@cs.ucsc.edu
* Program Committee: Michael Benedikt, Bell Laboratories; Andreas R. Blass,
University of Michigan; Maria Luisa Bonet, UPC, Barcelona; Witold
Charatonik, University of Wroclaw; Marcelo Fiore, University of Cambridge;
Giorgio Ghelli, Universita di Pisa; Thomas A. Henzinger, UC Berkeley;
Alan Jeffrey, DePaul University; Assaf J. Kfoury, Boston University;
Phokion G. Kolaitis, UC Santa Cruz; Orna Kupferman, Hebrew University
of Jerusalem; Ursula Martin, University of St Andrews; Paul-Andre
Mellies, CNRS & University of Paris 7; Eugenio Moggi, Universita di Genova;
Ugo Montanari, Universita di Pisa; Paliath Narendran, University at
Albany SUNY; Luke Ong, University of Oxford & National University
of Singapore; Martin Otto, University of Wales Swansea; Frank Pfenning,
Carnegie Mellon University; Mirek Truszczynski, University of Kentucky.
WORKSHOP ON LOGIC AND COMPUTATIONAL LINGUISTICS
Affiliated with LICS'03
Ottawa, June 26, 2003
http://www.cs.toronto.edu/~gpenn/CL-LICSworkshop.html
Call for abstracts
* The purpose of this workshop is for people in logic and
computational linguistics to discuss the "state of the art" in our
respective fields, with the intent of breathing a bit more vitality
into the logical and mathematical approaches used in formal
linguistics, and introducing logicians and computer scientists to
problems in the empirical domain of natural language that might
serve as the impetus for important theoretical work. This will be
an informal meeting, with no published proceedings. Abstracts of
invited and contributed talks will be available on the workshop
webpage.
* Invited speakers. Frank Pfenning and Mark Steedman.
* Organizers. Gerald Penn (gpenn@cs.toronto.edu) and Leonid Libkin
(libkin@cs.toronto.edu).
* Submission procedure. Email an abstract, not exceeding two pages,
to one of the organizers. Deadline for submissions: March 31, 2003.
Workshop program will be posted on April 15, 2003.
* ASL sponsorship. The workshop is sponsored by the ASL; consequently,
student ASL members can apply for ASL travel funds; see
http://www.aslonline.org/student%20travel%20awards.html for
details.
PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP'03)
(sponsored by ACM SIPLAN, member of PLI'03)
Uppsala, Sweden, 27-29 August 2003
http://www.it.uu.se/ppdp03/
Call for Papers
* Themes: Logic and Constraint Programming; Functional Programming;
Object-Oriented Programming; Concurrent Extensions; Mobile Computing;
Integration of Paradigms; Proof Theoretic and Semantic Foundations;
Program Design and Development; Type and Module Systems; Program
Analysis and Verification; Program Transformation; Abstract Machines
and Compilation; Programming Environments; and Application of
Declarative Programming.
* All submissions made electronically via the conference web site.
* Submission Deadline: 29 March 2003, noon CET
* Program committee. Maria Alpuente (Univ. Politecnica de Valencia,
ES), Alessandra Di Pierro (Univ. of Pisa, IT), Masami Hagiya
(Univ. of Tokyo, JP), Fergus Henderson (Univ. of Melbourne, AU),
Dale Miller, PC Chair (INRIA/Futurs, FR), Alberto Momigliano
(Univ. of Leicester, UK), Benjamin Pierce (Univ. of Pennsylvania,
US), C.R. Ramakrishnan (SUNY Stony Brook, US), Mario Rodriguez
Artalejo (Univ. Complutense, ES), Amr Sabry (Univ. of Indiana, US),
Konstantinos Sagonas, Conference Chair (Uppsala University, SW),
Frank Valencia (Uppsala University, SW)
TYPES 2003
Torino, April 30 - May 4, 2003
http://types2003.di.unito.it/
Call for Talks, Demos, and Participation
* Types 2003 will be held in Villa Gualino, a peaceful Villa with park
and a scenic viewpoint, located in the hills facing the centre of
Torino, Italy, from April 30 to May 4.
* Topics include, but are not limited to: Applications of type theory,
type theory and functional programming, industrial uses of type theory
technology; meta-theoretic studies of type systems; iImplementation of
proof-assistants, automation in computer-assisted reasoning;
formalizing mathematics using type theory; constructivism and foundations
of mathematics.
* Invited speakers include Per Martin-Lof and Frank Pfenning.
More informations about the workshop can be found at:
* For more information see: http://types2003.di.unito.it/
* Registration deadline: March 20, 2003
WORKSHOP ON FIRST-ORDER THEOREM PROVING (FTP 2003)
(event of RDP'03)
Valencia, Spain, June 12 - 14, 2003
http://rewriting.loria.fr/FTP-2003/
Call for Papers
* Theme. Theorem proving in first-order classical, many-valued, modal
and description logics, including nonexclusively: resolution,
equational reasoning, term-rewriting, model construction, constraint
reasoning, unification, description logics, propositional logic,
specialized decision procedures; strategies and complexity of
theorem proving procedures; implementation techniques and
applications of first-order theorem provers to verification,
artificial intelligence, mathematics and education.
* All submissions must be done electronically.
Please email your submission to ftp2003@uni-koblenz.de
* Submission Deadline: April 1, 2003
* Program committee. M. P. Bonacina (Verona), R. Caferra (Grenoble),
I. Dahn (Koblenz, co-Chair), B. Gramlich (Vienna), P. Narendran
(Albany), D. Plaisted (Chapel Hill), C. Ringeissen (Nancy), A. Rubio
(Barcelona), J. Slaney (Canberra), T. Uribe (Menlo Park), L. Vigano
(Zuerich), L. Vigneron (Nancy, co-Chair), C. Weidenbach
(Saarbruecken), H. Zhang (Iowa City).
WORKSHOP ON SEMANTICS AND VERIFICATION OF HARDWARE AND SOFTWARE SYSTEMS
Tel Aviv, Israel, MAY 20-22
http://www.cs.tau.ac.il/~svhss/
Call for Papers
* The workshop aims to provide a forum for the presentation and discussion
of new ideas and results, recent developments, new research directions,
as well as surveys on existing knowledge in semantics and verification
of hardware and software systems.
* Prospective authors are invited to submit an abstract (up to three pages)
describing innovative techniques, results or a survey addressing topics in
the semantics or verification of hardware or software systems. Electronic
submission in the form of postscript file can be send to
svhss@post.tau.ac.il.
* Important dates:
March 12, 2003: Deadline for electronic submission of papers
March 30, 2003: Notification of acceptance of papers
* Invited speakers: Eugene Asarin (Grenoble); Daniele Beauquier (Paris 12);
Mike Gordon (Cambridge); David Harel (Weizmann); Yoram Hirshfeld (Tel Aviv);
Zohar Manna (Stanford); Oded Maler( Grenoble); Anca Muscholl (Paris 6);
Amir Pnueli (Weizmann); Philippe Schnoebelen (LSV Cachan);
Anatol Slissenko (Paris 12); Boaz Trakhtenbrot (Tel Aviv).
* Organizing committee: Gideon Ariely (Israeli Ministry of Science);
Cindy Eisner (IBM Haifa); Orna Grumberg (Techion); Orna Kupferman
(Hebrew University); Alexander Rabinovich (Tel Aviv University, Chair);
Mooly Sagiv (Tel Aviv University)
WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS
Darmstadt, Germany, July 21-25, 2003
In conjunction with ECOOP 2003
Call for Papers
* We solicit extended abstracts on new developments or interesting
applications of formal techniques in the context of Java or similar
languages, notably C#. Each submission should state a clear position,
explain the technical background that motivates/supports this position
(up to 7 pages).
* Send submissions by email to Peter Mueller (p.mueller@web.de) by
April 25, 2003
* http://www.cs.kun.nl/~erikpoll/ftfjp/
INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'03)
(in conjunction with FSTTCS'03 and ASIAN'03)
Call for Contributions
Mumbai (Bombay), INDIA, 9 - 13 Dec, 2003
http://www.tcs.tifr.res.in/~iclp03
* Conference scope. Contributions (papers and posters)
are sought in all areas of logic programming including:
Theory (semantic foundations, formalisms, non-monotonic reasoning,
knowledge representation, inductive logic programming)
Language issues (constraints, concurrency, objects, coordination,
higher order, types, modes, programming techniques)
Implementation (compilation, memory management, virtual machines,
parallelism)
Environments (program analysis, program transformation, validation
and verification, debugging)
Applications (deductive databases, software engineering, natural
language, web tools, internet agents, artificial intelligence,
molecular biology)
* Papers must describe original, previously unpublished research, and
not be simultaneously submitted for publication elsewhere. They must
be written in English and not exceed 15 pages in Springer LNCS format.
Posters provide an excellent forum for presenting late-breaking or
speculative work in an interactive and informal setting. Poster
submissions are explicitly solicited.
Submission details for papers and posters can be found on the
conference webpage.
* Publication. The proceedings of the conference will be published
by Springer-Verlag in the LNCS series.
* Submission deadlines: May 12, 2003 for papers; June 28, 2003 for posters
* Programme Committee: Bart Demoen, Agostino Dovier, Mireille Ducasse,
Sandro Etalle, Moreno Falaschi, Maria Garcia de la Banda, Andy King,
Kung-Kiu Lau, Catuscia Palamidessi (programme chair), Enrico Pontelli,
German Puebla, Mario Rodriguez Artalejo, Francesca Rossi,
Dietmar Seipel, R.K. Shyamasundar (conference chair), Zoltan Somogyi,
Hudson Turner, Kazunori Ueda, David Scott Warren
ARGENTINIAN WORKSHOP ON THEORETICAL COMPUTER SCIENCE (WAIT 2003)
Buenos Aires, Argentina, September 1-5, 2003
Call for Papers
* The Argentinian Workshop on Theoretical Computer Science (WAIT) has
become an important Latin American forum for the exchange of ideas and
the presentation of research in theoretical computer science and its
applications. The workshop aims are to build a bridge between
academic and applied research and to stimulate the exchange of ideas
and experience between theory and practise in computer science.
* The meeting includes contributed and invited talks, and tutorials.
Further, we are very pleased to announce that there will be a special
issue of ENTCS (http://www.elsevier.nl/locate/entcs) dedicated to WAIT
2003 publishing a selection of outstanding contributions.
* Submissions are welcome in all fields of Theoretical Computer Science.
* Submission deadline: May 4, 2003
* http://wait2003.famaf.unc.edu.ar
INTERNATIONAL CONFERENCE ON ALGEBRAIC AND TOPOLOGICAL METHODS IN
NON-CLASSICAL LOGICS
Tbilisi, Georgia, 7 - 11 July 2003
http://piscopia.nmsu.edu/morandi/TbilisiConference
Call for papers
* The aim of this conference is to present some recent advances in the
use of algebraic, order-theoretic, and topological methods in
non-classical logics. We also hope to bring together researchers
in the fields of non-classical logics, lattice theory, universal
algebra, category theory, and general topology in order to foster
collaboration and to get new ideas for further research.
* Conference Topics: Lattices with operators, Topological semantics of
modal logic, Topological and topos semantics of intuitionistic logic,
Ordered topological spaces.
* Invited Speakers: Johan van Benthem, University of Amsterdam;
Leo Esakia, Georgian Academy of Sciences; Mai Gehrke, New Mexico
State University; John Harding, New Mexico State University;
Ramon Jansana, University of Barcelona; Daniele Mundici, Milan
University; Yde Venema, University of Amsterdam; Michael Zakharyaschev,
King's College; Marek Zawadowski, University of Warsaw
* Call for papers: If you wish to speak at the conference, please send
by email a title and abstract of your talk to Guram Bezhanishvili
(gbezhani@nmsu.edu). The deadline for submissions is 1 May. We will
let you know by 15 May if you will be invited to speak at the conference.
The deadline to register for the conference is 1 June.
* Location: Tbilisi State University, Tbilisi, Georgia
* Web Site: http://piscopia.nmsu.edu/morandi/TbilisiConference
* Important Dates:
Submission deadline: 1 May 2003
Notification of acceptance: 15 May 2003
Registration deadline: 1 June 2003
Conference: 7 - 11 July 2003
* Program Committee: Guram Bezhanishvili; Patrick Morandi; Willem Blok;
Roberto Cignoli; Josep Maria Font; Dick de Jongh; Larisa Maksimova;
Hiroakira Ono; Rohit Parikh; Lazare Zambakhidze.
* Organizational Committee: Merab Abashidze; Nick Arevadze;
Nick Bezhanishvili; David Gabelaia; Revaz Grigolia;
Giorgi Japaridze; Mamuka Jibladze; Ioseb Khutsishvili;
Dimitri Pataraia; Levan Uridia.
* Organizing Institutions: New Mexico State University; Tbilisi State
University; Georgian Academy of Sciences.
* This conference is part of the activity of a grant funded by the Civil
Research Development Fund and the Georgian Research Development Fund.
* For further information, contact Guram Bezhanishvili
(gbezhani@nmsu.edu) or Pat Morandi (pmorandi@nmsu.edu).
SUMMER SCHOOL ON THE FOUNDATION OF SECURITY
Eugene, Oregon, USA, June 16 - 27 , 2003
* The summer school on the Foundation of Security
is a two week course for computer scientists and mathematicians
interested in formal methods applied to software security.
The program runs from Monday, June 16 to Friday, June 27, 2003.
* Graduate students who wish to attend should send an application
consisting of a short description of their educational background
and one letter of reference to summer-school-security@cs.uoregon.edu.
We anticipate making available a number of grants to cover travel and
lodging costs for qualified graduate students.
* http://www.cs.uoregon.edu/activities/summerschool/summ
RESEARCH/POSTDOC POSITION AT ENS PARIS
* A research position for one or two years is available Ecole
Normale Superieure in Paris. This position is opened in the
context of an European project on formal models for mobility and
security. It will correspond to the position of an average
CNRS's CR2 researcher, that is, the retribution of a young tenure
researcher with few years of post-doc career.
* Applicants should have (or expect soon to have) a Ph.D. and
justify experience with at least one of these themes:
concurrency, process calculi and mobility
type systems
static analysis
formal methods for language-based security
XML documents transformation languages
* For application and further information please contact Giuseppe
Castagna (Giuseppe.Castagna@ens.fr) and consult the following
pages: http://www.myths.eu.org and http://www.cduce.org
PROOF THEORY MAILING LIST
For more information and a list of subscribers see:
http://www.ki.inf.tu-dresden.de/~guglielm/Research/list.html
Back to the LICS web page.