AiML news 1999

October 26, 1999: Call for Papers: Workshop on Coalgebraic Methods in Computer Science (CMCS'2000)

State-based dynamical systems as found throughout computing science are traditionally described as transition systems or certain kinds of automata. During the last decade, it has become increasingly clear that such systems can be captured uniformly as so-called ``coalgebras'' (which are the formal dual of algebras). Coalgebra is beginning to develop into a field of its own , with its own proof-methods (involving bisimulations and invariants). This workshop will be devoted to both an introduction to basic coalgebraic not ions and techniques, and also to some recent advances in the theory of coalgebras.

We are looking for participants and contributed talks to this informal workshop on both the theory and the use of coalgebras in computer science. The workshop will consist of two days, preceding the ETAPS conference (25-26 March, 2000) at the Technical University of Berlin.


  • the theory of coalgebras (including set theoretic and categorical approaches);
  • coalgebras as computational and semantical models (for programming languages, dynamic systems, etc.);
  • coalgebras in (functional, object-oriented, concurrent) programming; coalgebras and data types;
  • (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants);
  • coalgebras and (hidden-sorted) algebras;
  • coalgebraic specification and verification;
  • coalgebras and (modal) logic

Organization: Bart Jacobs (Nijmegen), Horst Reichel(Dresden), Jan Rutten (CWI, Amsterdam) and Larry Moss (Bloomington, IN).

Program Committee: H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen), Ugo Montanari (Pisa), Larry Moss (Bloomington, IN), Ataru T. Nakagawa (Tokyo), John Power (Edinburgh), Horst Reichel (Dresden), Jan Rutten (CWI, Amsterdam).

The following dates are important for submission to the ENTCS volume.

  • 3 January 2000: deadline for submissions.
  • 11 February 2000: notification of acceptance.
  • 3 March 2000: final version.
  • 25-26 March 2000: workshop, where a printed version of the ENTCS issue will be available for participants.
  • (25 March - 2 April, 2000: ETAPS conference).

The ideal submission is not longer than 20 pages, and gives a clear exposition of the relevant ideas. It can be sent by email to: Horst Reichel.

October 21, 1999: First Call for Papers for AiML-ICTL 2000

Visit the AiML workshops page for the details.

September 9, 1999: PhD Scholarship available at Victoria University of Wellington

Subject: Logic and Computation

Contact for enquiries: Prof Rob Goldblatt,
School of Mathematical and Computing Sciences,
phone: +64-4-463-5660,
fax: +64-4-463-5045,
Dr Ed Mares,
Department of Philosophy,
phone: +64-4-463-5233, extn: 8647.

Summary: Victoria University has a strong inter-disciplinary group in Logic, involving staff from Computer Science, Mathematics, and Philosophy. Information about the members of this group and their activities can be found at

We seek to recruit a PhD student who will undertake research in an aspect of philosophical, mathematical or computational logic. Areas in which supervision will be available include

  • Intensional and Non-Classical Logics, including topics such as Modal Logic, Relevant Logic and Constructive Logic;
  • Computational Logic, including topics such as Program Refinement, Automated Reasoning, and Program Specification and Verification;
  • Algebraic and Categorical Logic;
  • Non-Standard Analysis;
  • Model Theory and Set Theory;

Value: NZ$12,000 per annum plus tuition fees

Closing date for application: 1 October 1999. Study begins in 2000.

September 9, 1999: Addition to the ENRAC debate on Modal Logic

Joe Halpern has now contributed to the ENRAC debate on Modal Logics in KR (see ). Halpern's note `On the Adequacy of Modal Logic' is available by web browser in the two current paper sizes at the following locations. and

May 25, 1999: Research Position available. Leipzig University, Department of Computer Science; Research field: Modal and Description Logic.

The Department of Computer Science at Leipzig University invites applications for a position within a research project funded by the Deutsche Forschungsgemeinschaft (DFG). The position is initially available for two years, starting from September 1999. It provides a salary corresponding to BAT IIa (according to the German payscale system). A PhD is required, in principle; however, applicants with a very good advanced degree will be considered as well. Applicants should have experience in Modal and/or Description Logic. The project is concerned with the application of techniques developed in Modal Logic to problems in Description Logic and vice versa. Combinations of modal and description logics will be investigated as well.

The research project will be carried out in cooperation with Prof. Baader (Aachen University of Technology).

For further information please contact: Frank Wolter, email:

Applications should be sent (preferably by email and before July 1) to: Frank Wolter, University of Leipzig, Institut fuer Informatik, Augustus-Platz 10-11, 04109 Leipzig, Germany. Email:

April 29, 1999: M4M: Final Call for Participation

The workshop `Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and decision methods for modal logic broadly conceived, including description logic, feature logic, temporal logic. See the M4M home page for further details.

March 25, 1999: Two PhD Studentships in Logic and Theorem-Proving

Two EPSRC funded PhD studentships are available in the Logic and Computation Group in the Department of Computing and Mathematics at the Manchester Metropolitan University. The studentships are available from mid 1999 for up to 3 years with a grant 6455 pounds per annum, payment of fees (EU rate) for three years plus travel money for attending conferences and workshops.

Both projects will take place within the Logic and Computation research group, one of the most active and successful groups within the University and well known internationally. Background information on the group's activities can be found at

For more details on the studentships see, or contact either Dr Renate Schmidt ( or Dr Clare Dixon (

Applications should arrive before 4 May 1999.

February 23, 1999: Style files and formatting instructions for AiML, Volume 2

The formatting instructions for preparing your contributions to Advances in Modal Logic, Volume 2 are available on our volumes page.

February 22, 1999: Methods for Modalities (M4M): Call for Submissions

The workshop `Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and decision methods for modal logic broadly conceived, including description logic, feature logic, temporal logic. See the M4M home page for further details.

January 12, 1999: FLoc'99 Workshop `IMLA: Intuitionistic Modal Logic and Applications', July 6, 1999, Trento, Italy

IMLA is a one-day workshop intended to seed a more concerted organisation of the ongoing research in the area of IML, bringing together the method-oriented and the problem-oriented approaches on the one hand, and the proof-theoretic and model-theoretic ones on the other. This will create fruitful research stimuli through the friction between engineering applications and pure theory, and between intensional and extensional lines of thinking.

Consult the workshop web site at for further details.