FOM: LICS newsletter

[Stephen G Simpson]

 From: Martin Grohe <grmail at dcs.ed.ac.uk>
 Subject: LICS Newsletter 77
 Date: Mon, 11 Feb 2002 17:02:00 GMT

 *******************************************************************  
 * 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 at 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 at 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 at informatik.uni-muenchen.de)