Newsletter 77 February 11, 2002 ******************************************************************* * 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 Symposium on the Effectiveness of Logic in Computer Science Workshop on Formal Methods for Industrial Critical Systems Summer School on Computational Logic * POSITIONS Research Assistant (C1) at Munich SYMPOSIUM ON THE EFFECTIVENESS OF LOGIC IN COMPUTER SCIENCE IN HONOUR OF MOSHE VARDI Call for Participation and Short Presentations March 4-6, 2002, Saarbruecken, Germany http://www.mpi-sb.mpg.de/conferences/elics02/ The University of the Saarland at Saarbruecken, Germany, has decided to award Professor Moshe Vardi, Rice University, a Honorary Doctoral Degree for his outstanding contributions to the area of Logic in Computer Science. The presentation of the degree will be connected with a symposium in Moshe's honour organized by the International Max Planck Research School for Computer Science. The symposium will feature invited talks by some of Moshe's former collaborators and/or friends in the four main areas of his scientific work: database theory, finite model theory, knowledge representation, and program verification. Between these talks students and young researchers will have the opportunity to present their work in poster sessions. * Invited speakers: Serge Abiteboul (INRIA), Franz Baader (Aachen/Dresden), Ronald Fagin (IBM Almaden), Georg Gottlob (Vienna), Erich Graedel (Aachen) Joseph Halpern (Cornell), David Harel (Jerusalem), Phokion Kolaitis (Santa Cruz), Orna Kupferman (Jerusalem), Maurizio Lenzerini (Rome), Amir Pnueli (Weizmann), Wolfgang Thomas (Aachen), Jeff Ullman (Stanford), Victor Vianu (San Diego), Pierre Wolper (Liege) and, not to forget, Moshe Vardi himself. * Registration. Participation to the symposium will be free of charge. However we would like participants to register so that we get an idea of how many people will attend. The registration deadline is February 17, 2002; see the url above for details. * Call for Poster Presentations. The program will include sessions where students and young researchers will be given the opportunity to present their ongoing work and projects in short presentations of 5-10 minutes length. Submissions for these presentations, in the form of short abstracts (1 to 5 pages long), should be submitted in postscript or pdf format to witold@mpi-sb.mpg.de. The submission deadline is February 17, 2002. Authors will be notified of acceptance or rejection by February 22, 2002. Accepted abstracts will be published in a technical report of Max Planck Institute for Computer Science. 7th WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2002) (affiliated with ICALP 2002) Call for Papers Malaga, Spain, July 12 - 13, 2002 http://www.inrialpes.fr/vasy/fmics/workshop-7 * Theme. The aim of the FMICS workshops is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops should bring together scientists who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. They also aim at the promotion of research and development for the improvement of formal methods and tools for industrial applications. * Submission Deadline : April 21, 2002 * Program committee. T. Arts (Ericsson, S), M. Bernardo (Univ. of Urbino, I), R. Cleaveland (SUNY and Reactive Systems, USA) (Co-chair), W.J. Fokkink (CWI, NL), H. Garavel (INRIA Rhone-Alpes, F) (Co-chair), S. Gnesi (CNR/IEI Pisa, I) P. Godefroid (Bell Labs, USA), H. Hermanns (Univ. Twente, NL), T. Margaria (METAFrame Technologies, D), P. Merino Gómez (Univ. Málaga, E), I. Schieferdecker (GMD Berlin, D), S. Schneider (Royal Holloway, Univ. of London, UK), M. Sighireanu (Univ. of Paris-7 Jussieu, F), R. de Simone (INRIA Sophia Antipolis, F), U. Ultes-Nitsche (Univ. of Southampton, UK), A. Valmari (Tampere Univ. Technology, Fi), W. Visser (RIACS/NASA Ames, USA) SECOND INTERNATIONAL SUMMER SCHOOL ON COMPUTATIONAL LOGIC (ISCL02) Call for participation Maratea (Italy), August 25 - 30, 2002 http://www.cs.unipr.it/ISCL02/ * Computational Logic (CL), the topic of the School, has many applications including the modeling of intelligent systems, verification of software, and the support of systems for solving computationally hard problems. Moreover, being founded on mathematical logic, tools based on CL are themselves amenable to safe optimization and verification techniques. * The School is aimed at graduate students as well as other researchers interested in computational logic, both from university and from industry. It will consist of several lectures; covering both the theoretical framework and relevant practical perspectives. The School will be held in the Hotel Villa del Mare in Acquafredda di Maratea (Basilicata, Italy) on the Italian southern coast and 6 km from Maratea. * Deadline for reduced registration fee : May 15th, 2001 * Organizers: Roberto Bagnara (University of Parma), Patricia M. Hill (University of Leeds). Email address: iscl02@cs.unipr.it RESEARCH ASSISTANT (C1) AT MUNICH Institute of Theoretical Computer Science Ludwig -Maximilians-University, Munich, Germany * The position is for 3 years initially; thereafter an extension for another 3 years is possible. The possiblity of habilitation is offered. This position is connected with a teaching activity of 4 hours per week during term time. * Possible fields are e.g. the area of mathematical logic with regard to computer science, theory of complexity and algorithms related to logic and programming, theorem proving, theory of programming languages formal methods. * For applications and further information please contact: Prof. Martin Hofmann (Email: mhofmann@informatik.uni-muenchen.de)
Back to the LICS web page.