JOURNAL PUBLICATION OF LICS'92 PAPERS * Selected papers are being published in a Special Issue of Information and Computation (two numbers) and a Special Issue of Annals of Pure and Applied Logic. The I&C Special Issue, which has just appeared in print, will be made available on site to the participants of LICS '94. KGS-AILA JOINT MEETING ON MODEL THEORY August 21-24, 1995, Florence, Italy * Topics. All fields of active research in Model Theory will be covered by invited, as well as by contributed papers. * Submissions. 3 copies of a full paper, preferably in LaTeX format, before February 1, 1995 to the program committee chairman. * Program Committee. Maurice Boffa (Co-chair), Gregory Cherlin, Ulrich Felgner, Wilfrid Hodges, Annalisa Marcja (Co-chair), Daniele Mundici (Chair), Gabriel Sabbagh. * Program chair. Daniele Mundici, Department of Computer Science, University of Milan, via Comelico 39-41, I-20135 Milan, Italy. Phone: +39 (0)2 55006247. Fax: +39 (0)2 55006253. E-mail: mundici@imiucca.csi.unimi.it. * Further information. Participants in this meeting will be assumed to have registered with the International LMPS-IUHPS Symposium on Logic, Methodology and Philosophy of Science. For further information on this meeting, contact LMPS, Centro Servizi di Segreteria, via A. Lapini, 1, I-50136 Florence, Italy. Phone: +39 (0)55 670369. Fax: +39 (0)55 660236. WORLD WIDE WEB HOMEPAGE FOR INFORMATION AND COMPUTATION an international journal of theoretical Computer Science published by Academic Press. * URL. http://theory.lcs.mit.edu/~iandc * Features. Up-to-date backlog information, a hypertext bibliography of all papers published since 1982, a hypertext list of editors, information for authors. EC WORKSHOP ON PROOF THEORY AND COMPUTATION September 14-17, Fairbairn House, Leeds University, UK * Speakers. J-Y. Girard, D. Leivant, D. Normann, H. Schwichtenberg, R. Sommer. * Cost. Approx. 55 UK pounds per night, including single room, breakfast, lunch and dinner. * Notes. Accommodation at Fairbairn House is limited to 30 residents, so interested participants should register early and in any case not later than 8 July. * Contact. Dr. Anton Setzer, Pure Mathematics, The University, Leeds LS2 9JT, UK. E-mail: pmt6ans@amsta.leeds.ac.uk. TAPSOFT'95: INT. JOINT CONF. ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT. Univ. of Aarhus, Denmark, 22-26 May, 1995. TAPSOFT brings together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. Includes CAAP, FASE, TOOLS. * Invited Speakers. H. Ehrig, C. Floyd, M.-C. Gaudel, J. A. Goguen, D. Kozen, V. Pratt. CAAP: COLLOQUIUM ON TREES IN ALGEBRA AND PROGRAMMING. * Topics. Properties of discrete structures such as strings, trees, graphs, etc.; the theory of formal languages, considered in a broad sense, i.e., automata, grammars, systems of equations, rewriting systems, etc.; syntax and semantics of programming languages; algorithms and data-structures; logic and formal verification; theoretical problems arising in software development. * Programme Committee. A. Arnold, B. Courcelle, J. Diaz, V. Diekert, H. Ehrig, J. Karhumaki, J. W. Klop, U. Montanari, M. Nielsen (chair), C. Stirling, W. Thomas, S. Tison. FASE: COLLOQUIUM ON FORMAL APPROACHES IN SOFTWARE ENGINEERING. * Topics. Formal concepts for software development; software development using formal methods; formal approaches for real-time and distributed systems; provably correct software, and verification methods; reports on case studies of applications of formal methods; programming languages and type systems; tools and environments supporting formal approaches. * Programme Committee. E. Astesiano, D. Basin, V. Donzeau-Gouge, M.-C.Gaudel, B. Jonsson, P. Klint, B. Mahr, F. Orejas, D. Sannella, M. Schwartzbach (chair), B. Steffen, R. Wilhelm. TOOLS. Demonstration of support tools for practical use of formal approaches. * CAAP/FASE Submissions. Send 5 hard copies of a full draft paper (15 pages) to arrive by 15 October 1994 at the address below. * TOOLS Submissions. Send 1 copy of a brief description (2 pages) to arrive by 15 October 1994 at the address below (possibly by e-mail). * Local organisation chair. P. D. Mosses. * Information. WWW file://ftp.daimi.aau.dk/pub/TAPSOFT/README.html. FTP: ftp.daimi.aau.dk, get pub/TAPSOFT/README. E-mail: tapsoft@daimi.aau.dk. Fax: +45 8942 3255. BRICS - TAPSOFT'95, Dept. of Computer Science, Univ. of Aarhus, Ny Munkegade Bldg. 540, DK-8000 Aarhus C, Denmark. 4TH EUROPEAN WORKSHOP ON LOGICS IN AI (JELIA '94) September 5-8, 1994, York, England. [Call for papers in newsletter #13] * Information via WWW. Use URL ftp://minster.york.ac.uk/pub/isg/jelia.html. LOGIC COLLOQUIUM '94 July 21-3O, l'Universite d'Auvergne, Clermont-Ferrand, France * Programme Committee. A. Arnold, P. Cegielski, R. David, M. Magidor, Y. Matijasevic, L. Pacholski, D. Richard (chair, richard@llaic.univ-bpclermont.fr), H. Sinaceur, A. Wilkie, B. Zil'ber. * Organizing Committee. J.P. Blanc, P. Cegielski (vice-chair), M.A. Deveau (chair), H.A. Esbelin, F. Gaillard, P.F.Jurie- P. Lambey, R. Malgouyres, M. More, J. Plyer, J. Tomasik. * Sessions. Logics : modal and temporal logics, artificial intelligence. Proof theory; logics : intuitionism, lambda-calculus, linear logic. Model theory, universal algebra. Algorithms : recursivity, computational complexity, definability, finite models. History, philosophy and methodology of mathematics / set theory.