11TH ADT WORKSHOP AND 8TH GENERAL COMPASS MEETING September 19-23, 1995, Oslo, Norway Workshop on Specification of Abstract Data Types and ESPRIT Compass Meeting * Topics. Algebraic specifications; other approaches to formal specification; specification languages and methods; term rewriting and proof systems; specification development systems (concepts, tools, etc.). * Submissions. There is a limited number of slots for talks. Speakers will be accepted essentially in the order of arrival date of their registrations (a corrective mechanism is organized in order to guarantee visibility to every site). If you plan to give a talk please contact the organizers as soon as possible (communication via e-mail or WWW is suggested). Deadline for registration is June 15. * Invited Talks. It is planned to have a small number of invited talks. * Further Information. Or: ADT'95 Organization, Institutt for informatikk, Postboks 1080 Blindern, 0316 OSLO, Norway. E-mail: adt95@ifi.uio.no. Phone: +47 22 85 24 10. Fax: +47 22 85 24 01. 5TH INT'L WORKSHOP ON LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR'95) September 20-22, 1995, Utrecht, the Netherlands. * Topics. Program synthesis, program transformation, program specialization, partial deduction all in the context of logic programming. Papers pointing out the relationships of the above topics with other topics in the field of automated program development, such as: automated deduction, constructive type theory, implementation techniques, inductive logic programming, meta-languages, program analysis, program specification, query optimization in deductive databases, software engineering, synthesis and transformation in the context of other programming languages, are welcomed. Papers describing automated systems for program development and overviews of recent work on the topics of interest are also solicited. * Submissions. Submit 5 copies of an extended abstract to the Program Chair by May 25, 1995. Email submissions (LaTeX or Postscript) will also be accepted. Papers should be 5-8 pages long (excluding references and appendices). Proofs may be added in appendix, if needed. * Program Chair. Maurizio Proietti, IASI-CNR, Viale Manzoni, 30, I-00185 Roma, Italy, Phone: +39 6 7716426, Fax: +39 6 7716461, E-mail: proietti@iasi.rm.cnr.it. * Program Committee. A. Bossi, D. Boulanger, Y. Deville, S. Debray, L. Fribourg, N. Fuchs, J. Gallagher, T. Mogensen, M. Proietti, H. Seki, P. Tarau, G. Wiggins. * Further Information. Or: program chair. BOOK: FUNCTIONAL PROGRAMMING AND INPUT/OUTPUT, ANDREW D. GORDON * Ordering Information. Distinguished Dissertations in Computer Science. Cambridge University Press, 1994. ISBN 0 521 47103 6 hardback. Publication date 29 September. UK net price 25 pounds. Ring +44 1223 325970 or fax +44 1223 325959 at any time to order by credit card. * Summary. HIGHER-ORDER ALGEBRA, LOGIC AND TERM REWRITING (HOA '95) 21st-22nd September 1995, Paderborn, GERMANY Immediately prior to Computer Science Logic (CSL '95). * Full CFP. * Topics. The scope of the workshop includes higher-order aspects of - algebra, logic and model theory; - term rewriting; - specification and verification languages; - computational logic and theorem proving; - system implementations and case studies. * Submission. Extended abstracts (up to 4 pages) of papers to be submitted should be sent to the programme committee chairman. Submission by email is preferred. Otherwise send 3 copies. Submission deadline: May 1, 1995. * Programme committee chairman: Bernhard Moeller, Institut fuer Mathematik, Universitaet Augsburg, D-86135 Augsburg, Germany. Email: moeller@uni-augsburg.de. Fax +49 821 598 2274. * Programme committee: Gilles Dowek, Mike Gordon, Jan Heering, Karl Meinke, Tobias Nipkow. INT'L CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS April 10-12, 1995, Edinburgh Program available via the LICS homepage. 1ST INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP95) Marseille, September 19-22, 1995 * CFP via FTP. LaTeX & text versions of the Call for Papers available by anonymous FTP from ftp.di.unipi.it (131.114.4.36) in directory pub/Papers/rossi/cp95. * Topics. Constraint programming languages. Semantics, compilation and programming environments for constraint programming, including static analysis and optimization. Constraint systems and constraint problems. Algorithms for constraint satisfaction and entailment. Mathematical programming and combinatorial optimization via constraint programming. Constraint-related aspects of computational logics, deduction, rewriting. Constraints in applications. * Submissions. Full papers (up to 18 pages, typeset 12 point), by March 15, 1995, to the program chair. If ordinary mail is used, five copies of the paper should be sent by express or courier mail. Electronic submission is encouraged via e-mail, in the form of uuencoded compressed PostScript(tm) printable files sent to cp95@di.unipi.it; however a printed reference copy should be sent anyway by express or courier mail. Each submission, both by ordinary mail and by e-mail, should be accompanied by a separate message to cp95@di.unipi.it with a single postal and e-mail address for communication, complete title, author(s), affiliation(s) and 200 word abstract. * Program chair: Ugo Montanari, Dipartimento di Informatica, Universita' di Pisa, Corso Italia, 40, I-56100 Pisa, Italy, ugo@di.unipi.it * Program Committee: Hassan Ait-Kaci, Marianne Baudinet, Peter van Beek, Frederic Benhamou, Rina Dechter, Mehmet Dincbas, Seif Haridi, Pascal van Hentenryck, Manuel Hermenegildo, Alexander Herold, Hoon Hong, John Hooker, Claude Kirchner, Alan Mackworth, Michael Maher, Ken McAloon, Fumio Mizoguchi, Ugo Montanari, Luis Monteiro, Catuscia Palamidessi, Gert Smolka. * Conference Format. The conference will be four days long from Tuesday to Friday, and will include several tutorials, invited talks and satellite workshops. * Further Information. Write to cp95@di.unipi.it. 3RD LOGIC PROGRAMMING AND NON-MONOTONIC REASONING CONFERENCE DEADLINE EXTENSION * New Submission Deadline. Wednesday, December 14, 1994. [Conference announcement in Newsletter 19] SEVENTH INTERNATIONAL SCHOOL FOR COMPUTER SCIENCE RESEARCHERS "DATABASES & KNOWLEDGE BASES" July 3-14, 1995, Lipari, Sicily The Seventh School for Computer Science Researchers addresses PhD students and young researchers who want to get exposed to the forefront of research activity in the field of Databases & Knowledge Bases. * Format. Six courses will be offered of which each student must choose four. A proficiency final exam at the end of each chosen course is mandatory. Saturday of the first week will be entirely dedicated to open research problems and discussion. * Speakers. S. Ceri (Milan Politec.): "Active Databases & Constraint Managenement"; C. Faloutsos (University of Maryland): "Spatial, Text and Multimedia Databases"; R.T. Snodgrass (University of Arizona): "Temporal Databases"; V.S. Subrahmanian (University of Maryland): "Uncertainty in Databases & Knowledge Bases"; C. Zaniolo (University of California at Los Angeles - UCLA): "Reasoning with Knowledge, Time & Actions in Databases"; R. Zicari (University of Frankfurt): "Object-Oriented DBMSs & Information Systems". * Directors. Alfredo Ferro (University of Catania), Carlo Zaniolo (University of California at Los Angeles). * Deadline. Applications must be received by March 31, 1995. * Further Information. Prof. Alfredo Ferro, Dipartimento di Matematica, Citta' Universitaria, Viale A. Doria, 6, 95125 CATANIA - ITALY. Tel. 39-95-221012. Fax: 39-95-330094. e-mail:SCHOOL@DIPMAT.UNICT.IT. INTERNATIONAL WORKSHOP: UNIVERSAL MACHINES AND COMPUTATIONS March 29-31, 1995, University of Paris (Jussieu), Paris * Topics. Frontiers between a decidable halting problem and an undecidable one: Turing machines, register machines, cellular automata, tiling of the plane, polyominoes, snakes, neural networks, other machines. Minimal universal codes: size of such a code, namely, for Turing machines, register machines, cellular automatas, tilings, ... . Computation complexity of machines with a decidable halting. Problem as well as universal machines. Self-reproduction and other tasks. * Program Committee. Michel Cosnard, ENS Lyon; Joaquim Gabarro, University of Barcelona; Eric Goles, University of Chile, Santiago; Maurice Margenstern, University Paris 11, LITP, IBP, Chair, organizer; Maurice Nivat, University Paris 7, LITP, IBP. * Invited Speakers. Danie`le Beauquier: "About poliominoes: some decidable or undecidable problems". Eric Goles: "Simulation and Universality on Neural Networks". Etienne Grandjean: "Mode`les de calcul pour le temps line'aire". Josef Gruska: "Universality versus effectivity in computing". Pascal Koiran: "Computability with low-dimensional dynamical systems". Ivan Korec: "Small universal register machines". Miroslav Kutylowski. Jacques Mazoyer: "Optimality of cellular automata with dedicated tasks". Kenichi Morita: "Self-reproduction in reversible cellular automata" et "Universality of a reversible two-counter machine". Ludmila Pavlotskaya "Sur le moyen de mode'liser une machine de Turing par une autre". Lutz Priese: "A small universal 2-dimensional Turing-machine with only 8 instructions". Yuri Rogojine: "On notion of universality and Shannon's problem for Turing machines". Hava Siegelmann: "On the computational power of analog neural networks". * Languages. English, French. * Further Information. Maurice Margenstern, International Workshop "Universal Machines and Computations", LITP, 55-56, b.119, Universite' Paris 7, 2, place Jussieu, F - 75251 PARIS CEDEX 05. E-mail: mcu95@capella.ibp.fnr. Fax : (33 1) 44 27 48 69. FOUNDATION CHAIR IN INFORMATION SYSTEMS University of Newcastle Faculty of Economics and Commerce * Research Areas. The Faculty is especially interested in applicants specializing in Automated Reasoning. * Further Information. Graham Wrightson, Associate Professor, Department of Computer Science, The University of Newcastle, NSW 2308, Australia. Email: graham@cs.newcastle.edu.au. Tel: +61-49-216036. Fax: 216929.