Newsletter 53

[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.