[Past issues of the newsletter are available at http://www.bell-labs.com/topic/conferences/lics/ and http://www-rocq.inria.fr/verso/lics] FEDERATED LOGIC CONFERENCE (FLoC'99) Trento, Italy, June 29 - July 12, 1999 List of affiliated workshops * The following workshops will be held during FLoC'99: Implicit Computational Complexity (Organizers: Anuj Dawar and Daniel Leivant) SMV and Symbolic Model Checking (Organizers: Alessandro Cimatti and Orna Grumberg) Run-Time Result Verification (Organizers: Amir Pnueli and Paolo Traverso) Workshop on Security Protocol Verification (Organizers: Edmund Clarke and Nevin Heintze) Intuitionistic Modal Logics and Applications (Organizers: Matt Fairlough and Michael Mendler) Strategies in Automated Deduction (Organizers: Bernhard Gramlich, Helene Kirchner, and Frank Pfenning) Systems for Integrated Computation and Deduction (Organizers: Alessandro Armando and Tudor Jebelean) Grobner Bases and Rewriting Techniques (Organizers: Klaus Madlener, Susan Hermiller, Ben Keller, and Birgit Reinert) The Second International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs (Organizers: L. Cardelli, T. Hardin, F. Kamareddine, D. Kesner, S. Nishizaki, and V. de Paiva) A Tutorial Workshop on Realizability Semantics (Organizers: D. Scott, G. Rosolini, A. Pitts, A. Simpson, J. van Oosten, G. Longo, B. Reus, D. Normann) ERCIM WG on Formal Methods for Industrial Critical Systems (Organizers: Diego Latella and Stefania Gnesi) Complexity-theoretic and Recursion-theoretic Methods in Databases, Artificial Intelligence and Finite Model Theory (Organizers: T. Eiter, G. Gottlob, V.W. Marek, J.B. Remmel) Automation of Proofs by Mathematical Induction (Organizers: Dieter Hutter, Alan Bundy, Fausto Giunchiglia, and Andrew Ireland) Finite Model Theory And Its Applications (Organizers: Michael Benedikt, Leonid Libkin, Jouko Vaananen) ADVANCED COURSE ON PRINCIPLES OF PROGRAM ANALYSIS November 9-13, 1998, Schloss Dagstuhl, Germany * Lecturers. Flemming Nielson (Aarhus), Hanne Riis Nielson (Aarhus), and Chris Hankin (London) * Registration is by email and the deadline is August 31st 1998. For more details, see the URL above. SCHOOL ON COMPUTATIONAL ASPECTS AND APPLICATIONS OF HYBRID SYSTEMS KIT Workshop on Verification of Hybrid Systems Grenoble, France, October 19-21, 1998 * Aim and scope. In the last few years, control theorists and computer scientists have manifest an increasing interest in the so-called hybrid systems which are composed of both discrete (e.g., software, hardware) and continuous (e.g., physical phenomena) subsystems. The interest is motivated by the fact that systems of that kind appear in many ongoing research projects such as the development of automated highways, automated air-traffic controlers, chemical plants and multimedia protocols. The purpose of this meeting is to present an overview of the results obtained and to bring together researchers working on innovative ideas. The meeting will include tutorials and surveys of techniques and tools which can be useful in the analysis of hybrid systems. These will include Ellipsoid-based numerical methods; Computer algebra and quantifier elimination; Timed automata verification techniques. * Speakers (partial list). Eugene Asarin; Alberto Bemporad; Manfred Morari; Costas Courcoubetis; Jean Della-Dora; Alexander Kurzhanski; Pravin Varaiya; Volker Weispfenning. * Organizing Committee. Oded Maler, Alfredo Olivero, Sergio Yovine, * Further information. See the above URL. DESIGN OF INTELLIGENT MULTI-AGENT SYSTEMS 5-day course, October, 21-27, 1998, Vrije Universiteit Amsterdam * In this course, the basic concepts and characteristics of agents will be addressed, and a systematic compositional design methodology for multi-agent systems will be presented. The course will be given by prof.dr. J. Treur, dr. F.M.T. Brazier, dr. C.M. Jonker, drs. P.A.T. van Eck, drs. W. de Vries and drs. W.C.A. Wijngaards, supported by the scientific programmers drs. F. Cornelissen and drs. L. van der Mey. * Additional information. See the URL above, or contact dr. C.M. Jonker, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands. tel: +31 20 44 47743 and +31 20 44 47700; fax: +31 20 44 47653; email: jonker@cs.vu.nl. POSTDOCTORAL RESEARCH FELLOW The Uiversity of Birmingham, School of Computer Science * Applications are invited for a Postdoctoral Research Fellow to work on an EPSRC funded project "Automatic Verification of Randomized Distributed Algorithms". Applicants should have a PhD in Computer Science or Mathematics and ideally have knowledge of one or more of the following areas: probability theory, randomized algorithms, program logics, and model checking. The successful applicant will be expected to contribute to teaching in the School up to a maximum of two hours per week on average. * Application forms (returnable by 3 July 1998) and further particulars available from The Director of Staffing Services, The University of Birmingham, Edgbaston, Birmingham, B15 2TT, tel: +44 (0)121 414 6486 (24 hours), email: staffing@bham.ac.uk. Please quote reference S35095/98. Informal enquiries to: Dr Marta Kwiatkowska, tel: +44 (0)121 414 7264, email: mzk@cs.bham.ac.uk. CALCULEMUS AND TYPES 98 / USER INTERFACES FOR THEOREM PROVERS 1998 Call for Participation Eindhoven University of Technology, The Netherlands 13-15 July 1998 * See the above URL for further details. THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE July 22-24, 1998, Evanston, Illinois, USA Call for participation * See the above URL for further information. INSTRUCTIONAL MEETING ON SEMANTICS AND TYPES FOR CONCURRENCY Imperial College, London 7--9 July 1998 * This workshop is centered around recent developments in semantic and type-theoretic foundations for concurrency and (industrial) applications of these results. The beneficiaries of this meeting are PhD students, and established researchers who wish to learn about recent developments in the area. * The invited speakers are: Nick Benton, Philippa Gardner, Simon Gay, Andrew Gordon, Will Harwood, Kohei Honda, Yves Lafont, Peter Sewell, and Jean-Pierre Talpin. * The meeting is supported by the MATHFIT initiative of the Engineering and Physical Sciences Research Council (EPSRC) and the London Mathematical Society (LMS). Due to funding from MATHFIT, there will be a few grants for PhD students. For further details, visit the website or contact the organizers: Rajagopal Nagarajan R.Nagarajan@doc.ic.ac.uk>, Bent Thomsen, Lone Leth Thomsen . 9TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR'98) Call for participation Nice, France, September 8-11, 1998 concur98@sophia.inria.fr * Invited Talks: G. Berry, J.F. Groote, T. Henzinger, U. Herzog, B. Pierce, J. Rutten, J.-B. Stefani, M. Vardi. * Satellite events: COTIC'98(2nd international workshop on Concurrent Constraint Programming for Time Critical Applications), EXPRESS'98 (5th international workshop on Expressiveness in Concurrency), HLCL'98 (3rd international workshop on High-Level Concurrent Languages), PAPM'98(6th international workshop on Process Algebra and Performance Modeling) CONFER W.G.: (4th workshop of the CONFER (Concurrency and Functions: Evaluation and Reduction) working group). * Details about the technical programme, and registration and accommodation information can be found at the concur98 web page. 2ND INTERNATIONAL WORKSHOP ON FIRST-ORDER THEOREM PROVING (FTP'98) November 23-25, 1998, Vienna, Austria Call for papers * Topics. Theorem proving in classical, many-valued, and modal first-order logics, including resolution and tableau methods; equational reasoning and term-rewriting systems; constraint-based reasoning; unification algorithms for first-order theories; specialized decision procedures; propositional logic; abstraction; first-order constraints; complexity of theorem proving procedures; and applications of first-order theorem provers to problems in artificial intelligence, verification, mathematics, as well as other areas. * Invited talks. Gilles Dowek, Melvin Fitting, Alexander Leitsch. * Submission. Authors are invited to submit an extended abstract of 5-8 pages via email or web by August 31, 1998. For details of submission see "http://www.logic.at/ftp98/submission". * Program committee. Maria Paola Bonacina, Ricardo Caferra (co-chair), Ulrich Furbach, Fausto Giunchiglia, Jieh Hsiang, Reinhold Letz, Hans Juergen Ohlbach, David Plaisted, Michael Rusinowitch, Gernot Salzer (co-chair), Mark Stickel, Andrei Voronkov. * Further info. ftp98@logic.at, http://www.logic.at/ftp98 WORLD CONGRESS ON FORMAL METHODS IN THE DEVELOPMENT OF COMPUTING SYSTEMS (FM'99) 20-24 September 1999, Toulouse, France Technical Symposium, Call for papers * FM'99 will have four parallel activities: a Technical Symposium, a Tools Fair and Applications Forum, a set of User Group Meetings, and a set of Industry Tutorials. * Invited speakers. C.A.R. Hoare, Michael Jackson, Cliff Jones, John Rushby, Joseph Sifakis. * Topics. The Technical Symposium for FM'99 has two major streams: Foundations and Methodology, and Industrial Applications. Under Foundations and Methodology, submissions are solicited that cover all traditional technical areas of formal methods, including (but not exclusively): Fundamentals: Logics, models (temporal, concurrency, distribution), theories, specification, verification, refinement and analysis techniques. Languages and Tools: Notations, design calculi, model checkers, proof checkers, theorem proving, specification analysers, hybrid and synchronous languages, tools. Systems Application Areas: Hardware, concurrent and reactive systems, distributed and mobile computing, fault-tolerant and reliable systems, network protocols, real-time and hybrid systems. Systems Engineering: Combining formal and informal methods, domain and requirements engineering, software architecture, program organisation, formal techniques in object-oriented programming, testing, maintenance, software process and performance modelling. Education: Undergraduate, graduate, professional and industrial training, technology transfer. Under Industrial Applications, submissions are solicuted that focus primarily on the application of formal methods to a specific industrial domain. * Submission. Papers should be no longer than 20 pages and authors should prepare their final version preferably using llncsdoc.sty. Six hard-copies of each submission should be sent to and reach Dr James Woodcock, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England, UK, Jim.Woodcock@comlab.ox.ac.uk, by 14 February 1999. Only hardcopy submissions will be accepted; electronic submissions will be rejected out of hand. ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION (PEPM'99) Call for Papers San Antonio, Texas January 23-24, 1999 (back to back with POPL'99) * Invited speakers. Charles Consel, Neil Jones. * Theme. The PEPM'99 workshop will bring together researchers working in the areas of semantics-based program manipulation and partial evaluation. The workshop focuses on techniques and supporting theory for the analysis and manipulation of programs. * Technical topics include, but are not limited to program manipulation techniques, program analysis techniques, programs as data objects, and applications (more detail in http://www.brics.dk/~pepm99). * Submission. E-mail a gunzip'ed, uuncoded PostScript file to pepm99@brics.dk to arrive no later than October 9, 1998. * Program Committee: K. Asai, M. Ashley, A. Banerjee, O. Danvy, M. Goldberg, N. Heintze, M. Katz, M. Leuschel, J. Malenfant, R. Marlet, K. Rose, P. Sestoft. NEW PROFESSORSHIP AT THE UNIVERSITY OF BIRMINGHAM School of Computer Science ftp://ftp.cs.bham.ac.uk/pub/dist/info/chair98/ * Applications are invited for a newly established Chair in the School of Computer Science, tenable as soon as possible. There are no restrictions in area of research interest. Applicants from all branches of Computer Science will be considered. Candidates should have an outstanding research record and be able to provide leadership in research and teaching. The successful candidate will also be expected to share in the management in the School. * Further particulars may be obtained from Mr P J F Scott, Director of Staffing Services, The University of Birmingham, Edgbaston, Birmingham B15 2TT, England. Telephone: +44 121-414-6478, Fax: +44 121-414-7043 Email: P.J.F.Scott@bham.ac.uk. The closing date for applications is 31 July 1998. October. THE FIRST INTERNATIONAL WORKSHOP ON LABELLED DEDUCTION Freiburg, Germany September 7 - 9, 1998 Call for participation * See the above URL for further details.