[Past issues of the newsletter are available at
http://logik.mathematik.uni-freiburg.de/lics/newsletters/
http://www.math.uic.edu/lics/newsletters/]
TABLE OF CONTENTS
* Call for Submissions
The European Joint Conferences on Theory and
Practice of Software (ETAPS 2001)
UML'2000 Workshop
Logic and Algebra in Concurrency
* Conference Announcements
Informatics - 10 Years Back, 10 Years Ahead
New Programs and Open Problems in the Foundation of
Mathematics and of its Applications
* Book Announcement
Proof, Language, and Interaction - Essays in Honour of Robin Milner
* Position Announcement
Tenure track position at Tulane University
THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE
(ETAPS 2001)
Call for Submissions
Genova, Italy, April 2 - 6, 2001
http://www.disi.unige.it/etaps2001/
* The European Joint Conferences on Theory and Practice of Software
(ETAPS) is a loose and open confederation of conferences and other
events that has become the primary European forum for academic and
industrial researchers working on topics relating to Software Science.
* Main Conferences.
CC 2001 - 9th International Conference on Compiler Construction
Chair: Reinhard Wilhelm
ESOP 2001 - European Symposium on Programming
Chair: David Sands
FASE 2001 - Fundamental Approaches to Software Engineering
Chair: Heinrich Hussmann
FOSSACS 2001 - Foundations of Software Science and Computation
Structures
Chair: Furio Honsell
TACAS 2001 - Tools and Algorithms for the Construction and Analysis
of Systems
Chairs: Tiziana Margaria and Wang Yi
* Tutorials. Proposals for half-day or full-day tutorials related to
ETAPS 2001 are invited.
Contact: Bernhard Rumpe, etaps2001-tut@forsoft.de
* Tool Demonstrations Demonstrations of tools presenting advances on
the state of the art are invited.
Contact: Don Sannella, etaps2001-demo@dcs.ed.ac.uk
* Satellite Events
CMCS (Co-algebraic Methods in Computer Science),
ETI Day (Electronic Tool Integration platform Day),
JOSES (Java Optimization Strategies for Embedded Systems),
LDTA (Workshop on Language Descriptions, Tools and Applications),
PFM (Proofs For Mobility),
RelMiS (Relational Methods in Software),
UNIGRA (Uniform Approaches to Graphical Process Specification
Techniques),
WADT (Workshop on Algebraic Development Techniques)
UML'2000 WORKSHOP
DYNAMIC BEHAVIOUR IN UML MODELS: SEMANTIC QUESTIONS
York, UK, October 2/3, 2000
http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/CALLFORPAPER.html
* Developing a precise and understandable semantics for the UML that
enables practical, tool-supported and rigorous analysis of UML
models can enhance its applicability. A formal analysis of the
semantic foundations of the UML notations can also lead to more
precise and complete natural language descriptions of the notations
in the UML standard. These observations are particularly relevant
when we consider the dynamic behaviour of the UML models. The
purpose of this workshop is to bring together researchers and
practitioners from academia and industry to report on their
experiences with developing precise semantics for the dynamic
behaviour of UML models. Presentations and discussions at this
workshop will focus on identifying the challenges, recognizing
limitations, and analyzing proposed semantics for the dynamic
aspects of UML.
* Attendance at the workshop will be on invitation only. Participants
that would like to be invited are asked to write a position paper on
some aspect of the dynamic behaviour of UML models.
* Contact. Gianna Reggio (DISI-Universita' di Genova, Italy)
reggio@disi.unige.it
* Organizers. Gianna Reggio (DISI-Universita' di Genova, Italy)
Alexander Knapp (Ludwig-Maximilians-Universitaet Munchen, Germany)
Bernhard Rumpe (TU Munchen, Germany) Bran Selic (ObjecTime Ltd.,
Kanata, Canada) Roel Wieringa (University of Twente, The
Netherlands)
* Deadlines and important dates.
Submission deadline: 25 August 2000
Notification of Acceptance: 28 August 2000
Workshop: 2 or 3 October 2000
LOGIC AND ALGEBRA IN CONCURRENCY
Call for Participation and Papers
Dresden, Germany
September 13-16, 2000
http://www.math.tu-dresden.de/~kirsten/lac/lac.html
* Theme: The goal of this workshop is to highlight applications of algebra
and logic, like semigroup theory, predicate logic or temporal logics,
in the area of concurrency in theoretical computer science.
* Invited lecturers: V. Diekert (Stuttgart), P. Gastin (Paris),
J.G. Henriksen (Aarhus), A. Muscholl (Paris), D. Peled (Bell Labs, USA),
W. Penczek (Warsaw), A. Petit (Cachan), J.-E. Pin (Paris),
D. Th'erien (Montreal), W. Thomas (Aachen), I. Walukiewicz (Warsaw)
* Submissions: The Journal of Automata, Languages and Combinatorics (JALC)
has agreed to publish a special issue on this topic. Submissions related
to this topic could be either survey articles or research papers and
will be refereed as usual.
* Deadline for registration: August 31, 2000
* For more information including a Call for Papers, see the above
URL or contact M. Droste (droste@math.tu-dresden.de).
INFORMATICS - 10 YEARS BACK, 10 YEARS AHEAD
International Conference on the Occasion of the 10th Anniversary
of Schloss Dagstuhl.
Saarbruecken, Germany
August 28-31, 2000
http://www.dagstuhl.de/10Years/
* Renowned scientists from many areas of Computer Science will present
their personal views of the state of their field, of the grand
achievements, new and remaining challenges, and the vision they have
for the next decade and beyond.
The conference proceedings will be pubished as Springers Lecture Notes
in Computer Science Vol. 2000. They are included in the conference fee.
* Organizer:
Reinhard Wilhelm, Scientific Director
Int. Conference and Research Center for Computer Science
Schloss Dagstuhl, D-66687 Wadern, Germany
* Information: 10Years@dagstuhl.de
NEW PROGRAMS AND OPEN PROBLEMS IN THE FOUNDATION OF MATHEMATICS
AND OF ITS APPLICATIONS
Preliminary Announcement
Paris, November 13 and 14, 2000
http://www.dmi.ens.fr/users/longo/geocogni.html
* Program:
A. Connes "Non-commutative Geometry", Respondent: TBA
J.-Y. Girard "Locus solum", Respondent: P.-L. Curien
W. Lawvere "Dialectical foundations of, by, and for mathematics",
Respondent: I. Moerdijk
A. Macintyre "Prospects in logic", Respondent: M. F. Coste-Roy
R. Milner "The flux of computation", Respondent: G. Berry
* Panel discussion: "Geometric Structures in Logic, Physics and
Computing" with the invitees and the members of the working group
"Geometrie et Cognition" (G. Longo, chair)
* The Conference is open to public and it is part of the "Atelier de
Recherche" Geometrie et Cognition, partly supported by the MENRT
(http://www.dmi.ens.fr/users/longo/geocogni.html).
* Contact: longo@dmi.ens.fr
BOOK ANNOUNCEMENT
Proof, Language, and Interaction
Essays in Honour of Robin Milner
edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
MIT Press, 2000, ISBN 0-262-16188-5
http://mitpress.mit.edu/promotions/books/PLOPHS00
* This collection of original essays reflects the breadth of current
research in computer science. Robin Milner, a major figure in the
field, has made many fundamental contributions, particularly in
theoretical computer science, the theory of programming languages,
and functional programming languages.
* Following a brief biography of Milner, the book contains five
sections: Semantic Foundations, Programming Logic, Programming
Languages, Concurrency, and Mobility. Together the pieces convey a
seamless whole, ranging from highly abstract concepts to systems of
great utility.
* Contributors: Samson Abramsky, J. C. M. Baeten, Sergey Berezin,
J. A. Bergstra, Gerard Berry, Lars Birkedal, Gerard Boudol, Edmund
Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien,
Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci,
Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld,
C. A. R. Hoare, Gerard Huet, Paul B. Jackson, Alan S. A. Jeffrey,
Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu,
Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens
Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce,
Gordon Plotkin, M. A. Reniers, Amokrane Saibi, Augusto Sampaio,
Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher
Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel,
David Walker, Glynn Winskel.
TENURE TRACK POSITION AT TULANE UNIVERSITY
Available Fall 2001
http://www.math.tulane.edu
* Pending administrative and budgetary approval, the Mathematics
Department anticipates a regular, tenure track Assistant Professor
position in Theoretical Computer Science. The areas of interest
include logic and semantics of programming languages and related
areas. We are especially interested in candidates who complement the
areas currently represented in the department, which include domain
theory, concurrency and applications to security. We also would
welcome applications from candidates with expertise in
verification. The department intends to develop an undergraduate
program in computer science within the Liberal Arts and Sciences,
and the successful candidate will have strong input into the design
of this degree program.
* Candidates should have a PhD in computer science or a related
discipline.
* Further Information can be found at http://www.math.tulane.edu
Back to the LICS web page.
Martin Grohe Last modified: July 3, 2000