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.