10TH WORKSHOP ON MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS X) Manhattan, KS, USA. March 20-23, 1994. * Topics. Areas of mathematics, logic and computer science related to the semantics of programming languages. Submissions by researchers in neighboring areas welcomed. * Invited Speakers. S. Abramsky, W. Rounds, G. Berry, D. Scott, A. Jung, C. Stirling. * Special Sessions. ML. Tools for Semantic Analysis. * Organizing Committee. S. Brookes, M. Main, A. Melton, M Mislove, D. Schmidt. * Preregister by February 15 by sending email to mfps94@cis.ksu.edu. * Submissions. Submit short abstract for talk or tool demo to the above email address. All participants will be invited to submit papers to be considered for publication in an anticipated TCS special issue. * Further Information. mfps94@cis.ksu.edu. 2ND INTERNATIONAL SUMMER SCHOOL IN LOGIC FOR COMPUTER SCIENCE University of Chambery (High Alps, France). July 4--15, 1994. * Topics. The topic of this year's school is AUTOMATED DEDUCTION. The lectures will deal with proof search in predicate logic (which includes resolution method, connection method, inverse method, and higher order logic) and various approaches to automatization of induction (which include the use of rewriting techniques, proof plans and formalization in type theory). Several systems will also be presented. * Lecturers. D. Basin (Saarbrucken), H. Comon (Paris), T. Coquand (Goteborg), G. Dowek (Paris), A. Leitsch (Vienna), G. Mints (Stanford), J S. Moore (Austin), L. Wallen (Oxford) * Application for participation and grants. Deadline: April 15th 1994. * Information and application forms. M. Parigot, School LCS, Laboratoire de Logique, UFR de Mathematiques, Universite Paris 7, 2 place Jussieu, 75251 Paris Cedex 05, France. E-mail: school@logique.jussieu.fr. Fax: 33 1 44 27 61 48. 4TH EUROPEAN WORKSHOP ON LOGICS IN AI (JELIA'94) York, September 5-8, 1994. * Topics. Foundations of logic programming, knowledge-based systems, automated theorem proving, knowledge representation, modal, epistemic and temporal logics, constructive and many-valued logics, nonmonotonic reasoning and belief revision, abductive and inductive reasoning, partial and dynamic logics, hybrid reasoning systems, applications of logic-based systems. * Invited Speakers. Georg Gottlob, Ewa Orlowska, Teodor Przymusinski. * Program Committee. Karlo Cellucci, Luis Farinas del Cerro, Phan Minh Dung, Jan van Eijck, Patrice Enjalbert, Ulrich Furbach, Dov Gabbay, Antony Galton, Michael Gelfond, Vladimir Lifschitz, Craig MacNish, Victor Marek, Bernhard Nebel, Wolfgang Nejdl, David Pearce (co-chair), Luis Moniz Pereira (co-chair). * Submissions. Fives copies of a 16-page paper (see full announcement for length details) by February 14 to Prof. Luis Moniz Pereira, Departamento de Informatica, Universidade Nova de Lisboa, 2825 Monte da Caparica, Portugal. Email: lmp@fct.unl.pt. Fax: [+351] 1 295 5641. * Information. Dr Craig MacNish, Department of Computer Science, University of York, York YO1 5DD, UK. Email: craig@minster.york.ac.uk. Fax: [+44] 904 432767. WORKSHOP ON AUTOMATED REASONING BRIDGING THE GAP BETWEEN THEORY AND PRACTICE University of Leeds, England. April 11-12, 1994. * Topics. Logic and functional programming; equational reasoning; deductive databases; unification and constraint solving; formal methods for specifying, deriving, transforming and verifying software systems, hardware systems, and system requirements; deductive and non-deductive reasoning, including abduction, induction, nonmonotonic reasoning, and analogical reasoning; commonsense reasoning; and the wide range of topics that fall under the heading of knowledge representation and reasoning. * Attendance. By invitation, based on submitted paper. Some student funding available. * Submissions. 2 page position paper by February 16, 1994. 3 unstapled copies or emailed postscript. Invitations to the workshop will be issued by March 3, 1994. There will be an informal proceedings. * Program Chair. Alan Frisch, Department of Computer Science, University of York, York YO1 5DD, United Kingdom. Phone: +44 (904) 432745. Fax: +44 (904) 432767. Email: frisch@minster.york.ac.uk. WORKSHOP ON THEORY REASONING IN AUTOMATED DEDUCTION Nancy, France, June 27, 1994. (In conjunction with CADE-12). * Topics. Include: applications of theory reasoning, implementation issues, computational aspects, interface issues, constraints, system descriptions, hybrid systems, theory reasoning calculi. * Attendance. By invitation only; authors of accepted papers will be invited. * Submission. 5 page abstract to address below by April 8, 1994. * Program Committee. P. Baumgartner, H-J. Burckert H. Common A. Frisch U. Furbach N. Murray U. Petermann M. Stickel. * Information. Ulrich Furbach, University of Koblenz, Dept. of Computer Science, Rheinau 1, 56075 Koblenz, Germany. Phone: +49 261 9119 433. Fax: +49 261 9119 499. uli@informatik.uni-koblenz.de. INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY Concepcion, Chile. October 31 - November 4, 1994. * Submission. Five copies of a 10-page English abstract by May 16, 1994. * Information. Carlos Isaac, conference@ing.puc.cl. THEORETICAL ASPECTS OF COMPUTER SOFTWARE (TACS'94) Tohoku University, Sendai, Japan. April 19-22, 1994. * Inquiries on program and registration. tacs94@ito.ecei.tohoku.ac.jp. Fax: +81 22 267 4404. Postal address: Prof. Takayasu Ito, TACS'94 Co-Chair Dept. Computer and Mathematical Sciences Graduate School of Information Sciences Tohoku Univ. [Aobayama Campus] Sendai 980, Japan. * Topics. Logic, proof, specification and semantics of programs and languages; theories and models of concurrency; constructive logic, category theory, type theory; software specification, manipulation and verification. * Invited speakers, special lecturers. S. Abramsky, M. Felleisen, P. Kanellakis, Z. Manna, A. Meyer, J. Mitchell, M. Takahashi, M. Vardi, A. Yonezawa.