LICSNEWS 6
SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'94)
Third Russian Symposium, St. Petersburg, Russia, July 11--14, 1994
Submit extended abstract by November 29, 1993 to either:
1. E.Ya. Dantsin, LFCS'94, Laboratory of Mathematical Logic,
Steklov Institute of Mathematics, 27 Fontanka, St.Petersburg 191011, RUSSIA
Phone: (7)(812) 311-4392, Fax: (7)(812) 310-5377, E-mail: lfcs@sovam.com.
OR 2. (prefered for non-CIT countries) LFCS '94, MSRI, Cornell University,
407 College Av., Ithaca, NY 14850. Phone: (1)(607) 255-7752,
Fax: (1)(607) 255-8005, E-mail: lfcs@msiadmin.cit.cornell.edu
For electronic submission consult with lfcs@msiadmin.cit.cornell.edu.
Program Committee: A. Nerode (Chair), S. Abiteboul, S.I. Adian,
S.N.Artemov, H. Barendregt, A. Blass, G. Jaeger, V. Marek,
Yu.V. Matijasevich, V.A. Nepomnyaschy, V.P. Orevkov, A.A. Razborov,
J.Remmel, A. Scedrov, M.A.Taitslin, M. Vardi.
For full details contact lfcs@msiadmin.cit.cornell.edu.
10th INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (Budapest)
Advance Program and Registration Forms are now available electronically:
1. E-mail to mail-server@sics.se a message containing the lines
send /pub/peters/iclp93/program.ps
and/or send /pub/peters/iclp93/forms.ps
You will receive these forms in uuencoded, compressed form.
2. By anonymous ftp to camus.quintus.com, binary (compressed) files
/pub/iclp-info/program.ps.Z and /pub/iclp-info/forms.ps.Z.
Other enquiries: iclp-publicity@quintus.com
COLLOQUIUM ON TREES IN ALGEBRA AND PROGRAMMING (CAAP'94)
EUROPEAN SYMPOSIUM ON PROGRAMMING (ESOP'94)
INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION (CC'94)
Edinburgh, Scotland, 7-13 April 1993.
INVITED SPEAKERS: H. Comon, J. Engelfriet, L. Cardelli, R. Milner, K. Nygaard.
Deadline for submissions is 15th October.
Facilities will be available for short specialized workshops and other
meetings in conjection with CAAP/ESOP/CC'94. Contact the local arrangements
chair: George Cleland (glc@dcs.ed.ac.uk).
Full call for papers by ftp: /pub/dts/call-for-papers.dvi on ftp.dcs.ed.ac.uk.
KURT GOEDEL SOCIETY Yearbooks
Back issues of the Society's Yearbook are available at ATS 350.00 for
non-members and ATS 150.00 for members.
Payment of membership dues may be combined with orders at member rates.
The yearbooks for 1988-1992 contain papers by M. Baaz, A. Blass, E. Boerger,
M. Boffa, D. Bojadziew, N. Brunner, M-L. Dalla Chiara, E. Engeler, P. Erdos,
U. Felgner, C. Fermueller, J. Hilgert, J. Hintikka, W. Hodges, T. Jech,
W. Just, E. Koehler, M. van Lambalgen, A. Leitsch, P. Loeb, R. Manka,
E.G.K. Lopez-Escobar, A.R.D. Mathias, J. Mattes, D. Mundici, G. Quirchmayr,
H. Rasiowa, N. Rozsenich, V. Rudenko, G. Salzer, D. Scott, J. C. Simms,
K. Svozil, R. F. Tichy, T. Oberdan, H. Wang, and J. Wolenski.
Address enquiries to Kurt-Goedel-Gesellschaft, Technische Universitaet Wien,
Inst. fuer Computersprachen E185/2, Resselgasse 3/1, A-1040 Vienna, Austria.
Fax: (+43 1) 504 15 89. Email: kgs@csdec2.tuwien.ac.at
TWELFTH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-12)
Nancy, France, June 28-July 1, 1994, coordinated with
LICS-94, to be held in Paris, July 4-7, 1994.
CADE conferences cover all aspects of automated deduction, including
first vs. higher order logics, classical vs. non-classical logics,
special vs. general Purpose Inference, interactive vs. automatic systems,
resolution sequent calculus, decision procedures, unification rewrite rules,
applications in deductive databases, in logic and functional programming,
in commonsense reasoning, and in software and hardware development.
Submit research papers, system descriptions and problem sets by December 1,
to the Program Chair: Alan Bundy, Department of Artificial Intelligence,
University of Edinburgh, 80 South Bridge, Edinburgh EH1 1HN, Scotland.
Phone: (44-31) 650-2716. Fax: 650-6516. Email: cade-12@ai.ed.ac.uk
Conference info: Claude.Kirchner@loria.fr.
FUZZY LOGIC IN ARTIFICIAL INTELLIGENCE (FLAI'93)
June 28-30, 1993, Bildungszentrum St. Magdalena, Linz, Austria
The conference will consist of tutorials (in German) and workshops on June 28,
of invited talks, contributed papers, and discussion panels on June 29-30,
and of exhibitions of books, sfotware and hardware.
For detailed info send email to flai93_info@vexpert.dbai.tuwien.ac.at.
APPLICATION AND THEORY OF PETRI NETS, 14th International Conference
June 21-25, 1993, Bismark Hotel, Chicago
The conference will consist of tutorial, invited lectures, and contributed
papers. People interested in presenting a short talk at the
"Work-in-Progress" Session, should send title, name, and affiliation
before June 18 by fax or email.
For complete conference information:
Email pn93@eecs.uic.edu. Fax: (312)413-0024, Tel: (312) 996-5488.
4TH ANNUAL INTERNATIONAL SYMPOSIUM ON ALGORITHMS & COMPUTATION (ISAAC'93)
Hong Kong, December 15-17, 1993
Topics of interest include computational complexity, parallel algorithms,
automata/languages/computability, networks and distributed algorithms,
theory of learning and robotics, and number theory and cryptography.
INVITED SPEAKERS: Allan Borodin, Tom Leighton, Mihalis Yannakakis.
PROGRAM COMMITTEE: P. Chaudhury, D.-Zh. Du, W-L. Hsu, H. Imai, M. Klawe,
R. Kosaraju, R.C.T. Lee, J. van Leeuwen, C. Papadimitriou, M. Tompa,
E. Upfal, O. Watanabe.
Deadline fo submissions: July 5, 1993.
INFO: General: FAX (852) 7888614 csbalu@cphkvx.bitnet
Program: FAX (852) 6035024 kwng@cs.cuhk.hk
Registration: FAX (852) 5598447 twlam@csd.hku.hk
Local arrngmnt: FAX (852) 7888614 cship@cphkvx.bitnet
PRINCIPLES OF KNOWLEDGE REPRESENTATION & REASONING (4th Intl Conference) KR'94
Gustav Stresemann Institut, Bonn, Germany, May 24-27, 1994
Submission deadline: November 8, 1993
Further info: Werner Horn (KR'94 Publicity Chair),
Phone: +43 1 53532810. Fax: +43 1 5320652. Email: werner@ai.univie.ac.at