[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, firstname.lastname@example.org * Tool Demonstrations Demonstrations of tools presenting advances on the state of the art are invited. Contact: Don Sannella, email@example.com * 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) firstname.lastname@example.org * 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 (email@example.com). 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: firstname.lastname@example.org 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