LICSNEWS 4 RTA'93: FIFTH INTRNTNL CONFERENCE ON REWRITING TECHNIQUES & APPLICATIONS June 16-18, 1992, Montreal, Canada. *** THIS CONFERENCE IS ORGANIZED BACK TO BACK WITH LICS'93 *** SCIENTIFIC PROGRAM: system demonstrations, 29 research talks, and invited talks by Leo Bachmair, Jean Gallier, & Sergei Adian. REGISTRATION: thru May 14: CD$250 (or US$220). Student rate CD$150 (US$130). From May 15: CD$320 (US$280). Student rate CD$200 (US$175) For NSF travel support to US students apply by May 1 to: Jieh Hsiang, Computer Science Dept, SUNY, Stony Brook, New York 11794-4400. Email: hsiang@sbcs.sunysb.edu LODGING. Make reservations directly with the hotels, mentioning RTA93 for special rates: (1) Hotel Chateau Versailles. (2) Le Monfort suite hotel, for June 16-23 (RTA & LICS combined, Phone 514-934.0916). (3) University dorms (Phone 514-398.6378, CD$20-$30/night). FORTHER INFO: RTA93, Computer Science Dept, Concordia University, 1455 de Maisonneuve Ouest, Montreal, Quebec, Canada, H3G 1M8. Phone: (514)848-3052 or 848-7950 (Attn: Ms. Mary Smodis) Fax:(514)848-2830 (Attn: RTA93). Email: rta93@cs.concordia.ca A more detailed announcement will be emailed to the LICS database shortly. 5th CONFERENCE ON THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE (TARK V) Pacific Grove, California. March 13-16, 1994. TARK V is an interdisciplinary conference, with relevance to such fields as artificial intelligence, cryptography, distributed computing, economics and game theory, linguistics, philosophy and psychology. Topics include semantic models for knowledge and belief, bounded rationality and resource-bounded reasoning, knowledge acquisition, belief revision and learning, commonsense epistemic reasoning, knowledge and action, and applications of reasoning about knowledge and belief. Submit eleven copies of a detailed abstract (< 4000 words) by Sept. 7 1993 to the program chair: Ronald Fagin, IBM Almaden Research Center, Dept K53/802, 650 Harry Road, San Jose, CA 95120-6099, USA. Phone (408) 927-1726, Fax (408) 927-3030, Email: fagin@almaden.ibm.com, fagin@almaden.bitnet. Full information by anonymous ftp: external.nj.nec.com: pub/grove/tark FOURTH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR-93) Hildesheim, Germany, August 23-26, 1993 INVITED SPEAKERS: Jan Bergstra, Bard Bloom, Gerard Boudol, Cliff Jones, Christian Lengauer & Pierre Wolper. TUTORIALS: "Probabilistic Processes" (Bengt Jonsson), "Model Checking" (Colin Stirling), "Duration Calculus" (Zhou Chaochen) INFORMATION about program, registration and accommodations: send email to concur93@informatik.uni-hildesheim.de TENTH BRAZILIAN CONFERENCE ON MATHEMATICAL LOGIC Itatiaia, Rio de Janeiro, Brazil, 17-21 May, 1993 Topics of interest include proof theory, model theory, logic & computer science, set theory, non-classical logics and theor applications, philosophical logic. For more infomration: Maria das Gracas P. Sanches, Secretary-EBL93 Center for Logic & Epistemology, C. P. 6155, 13081-970, Campinas SP, Brazil. Fax: +(55 192)39 32 69. Email: ebl93@ime.unicamp.br. INTENSIVE COURSE ON PRACTICAL FORMAL HARDWARE VERIFICATION University of British Columbia, Vancouver, Canada, August 4-6, 1993 Instructors: Jeffrey Joyce and Carl Seger [joyce@cs.ubc.ca, seger@cs.ubc.ca] Course info: hug93@cs.ubc.ca. FAX: (604)-822-5485 Phone: (604)-822-6176 Registr. info: vayerbe@cce.ubc.ca FAX: (604)-222-5249 Phone: (604)-222-5256 Full announcement via ftp: cs.ubc.ca:/ftp/local/hug93 [For the HUG'92 conference at UBC, August 11-13, see LICS newletter 2]. 2ND WORKSHOP ON FOUNDATIONAL METHODS IN COMPUTER SCIENCE (Applications of categories in CS). Reed College, Portland, Oregon, June 4-6, 1993 Confirmed tutorials by Ernie Manes, Robin Cockett and David Benson. Info: James Hook, hook@cse.ogi.edu, Phone: (503) 690-1169 Fax: (503) 690-1029 3RD INTRNTL CONFERENCE ON ALGEBRAIC METHODOLOGY & SOFTWARE TECHNOLOGY University of Twente, The Netherlands, June 21--25, 1993 Goals: Use of universal algebras & of algebraic methodology as a foundation for software technology. EDUCATION DAY (Monday, 21 June) Speakers: D. Parnas, J. Printz. Discussion moderators: Y. Gurevich, I. Nemeti. INVITED SEPAKERS include H. Andreka & I. Sain, R. Maddux, M. Johnson, S. Schneider, R. van Glabbeek, N. Halbwachs, H. Comon & G. Levi. Info: Mrs. Joke Lammerink, University of Twente, Fac. Informatica P.O. Box 217, NL-7500AE Enschede, The Netherlands. Email: lammerin@cs.utwente.nl, Phone: + 31 53 893680, Fax: + 31 53 315283 13TH CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY & THEORETICAL CS Bombay, India, 15-17 December 1993 TOPICS OF INTEREST include Logic in Computer Science, Logic Programming, Concurrency, Logics of Programs, Logics of Knowledge, Models of Concurrency, Theorem Proving, Deductive Databases, Rewrite Systems, Type Theory, Functional Programming, Real-Time Specifications, Category Theory, Theory of Computation, Algorithms, Complexity, Programming Concepts, Formal Languages & Automata, Data Structures, Program Semantics & Implementation, Structural Complexity, Computational Geometry, Formal Specifications, Software Development Methods, Cryptography, Learning Theory. INVITED SPEAKERS include: G. Berry, J. Hartmanis, H. Barendregt. J. Halpern, & K. Mulmuley. Submissions in 6 copies (up to 6000 words) should be mailed by May 15 to R.K. Shyamasundar, Tata Institute, Bombay 400 005, INDIA. Email: fsttcs@tifrvax.bitnet. Fax: 091-22-215 2181. 2ND COMPULOG-NETWORK MEETING ON PROGRAMMING LANGUAGES joint with WORKSHOP ON LOGIC LANGUAGES Pisa, Italy, May 6-7, 1993 Info: Antonio Brog, E-mail: brogi@di.unipi.it, Fax: +39 50 510226. CATEGORY THEORY OCTOBERFEST McGill University, Montreal, Saturday-Sunday, October 9-10, 1993 Info: CRTC, Dept of Mathematics and Statistics McGill University, 805 Sherbrooke West, Montreal, Canada H3A 2K6. barr@triples.math.mcgill.ca, fox@triples.math.mcgill.ca.