LICSNEWS 2 1. PROGRAMMING LANGUAGE AND SYSTEM ANNOUNCEMENTS ================================================ FORMAL METHODS IN SYSTEM DESIGN -- a new international journal The focus of this journal is formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems, as they are studied and developed in both academia and industry. * EDITORS-IN-CHIEF: R.K. Brayton (brayton@ic.berkeley.edu), E.M. Clarke (Edmund.Clarke@g.gp.cs.cmu.edu), P.A. Subrahmanyam (subra@vax135.att.com). * EDITORIAL BOARD: J. Allen, F. Anceau, L. Berman, G. Birtwistle, D. Borrione, R.E.Bryant, L. Claesen, R. Constable, J. Darringer, S. Devadas, D. Dill, E.A. Emerson, H. Eveking, M.P. Fourman, M. Fujita, J.A. Goguen, M. Gordon, G. Hachtel, C.A.R. Hoare, W. Hunt, S.D. Johnson, K. Keutzer, R. Kurshan, D.C. Luckham, A.J. Martin, G. Milne, R.Milner, A.K. Mok, D. Musser, A.R. Newton, R. Platek, P. Prinetto, A. Sangiovanni-Vincentelli, M. Sheeran, J. Sifakis, H. Simonis, H. Yasu'ura. ** The journal's aims and scope, a full table of contents of all published issues, and instructions for authors, are all available by anonymous ftp from world.std.com, as files Kluwer/journals/form and Kluwer/journals/form_info. PROGRAMMING LANGUAGE CONFERENCES, Copenhagen: *June 9-11: FPCA (Functional Programming Languages and Computer Architecture) *June 12 : SIPL (State in Programming Languages) *June 14-16: PEPM (Symposium on Partial Evaluation & Semantics Based Program Manipulation) For advanced programs and registration information contact: Lisa Wiese (FPCA'93), DIKU, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen East, Denmark. Phone: +45-35 321413.Email: wiese@diku.dk Information available for anonymous ftp at ftp.diku.dk, directory diku/semantics, files FPCA-SIPL-PEPM.dvi and FPCA-SIPL-PEPM.ps. WORKSHOP ON STATE IN PROGRAMMING LANGUAGES Copenhagen, Denmark, June 12, 1993 (in conjunction with FPCA & PEPM) Submit 8 copies of a detailed summary by March 15, 1993, to the program chair: Paul Hudak (State Workshop '93), Computer Science, Yale University, 51 Prospect Street, New Haven, CT 06520-2158, USA. Contact and info: state-workshop@cs.yale.edu. SPECIFICATION & VALIDATION METHODS FOR PROGRAMMING LANGUAGES & SYSTEMS (Fifth International School for Computer Science Researchers) June 21 - July 3, 1993, in the beautiful Island of Lipari, ITALY, serviced by ferries from Naples, Milazzo, Messina, Reggio Calabria and Palermo. Six courses will be given, by K. Apt, E. Boerger, W. Damm, M. Fourman, Y. Gurevich, and A. Pnueli. Saturday, June 26, will be dedicated to research problems and selected presentations by participants. For further information and applications write by March 31 to: Prof. Alfredo Ferro, Dipartimento di Matematica, Citta' Universitaria, Viale A. Doria 6, 95125 Catania, ITALY. Phone 39-95-222222 / 330533 (ext.663). Fax: 39-95-330094. Email: school@mathct.cineca.it. 3rd INTERNATIONAL WORKSHOP ON STATIC ANALYSIS Padova (Italy), September 22-24, 1993 Topics include: Static Analysis, abstract Interpretation, partial evaluation, and program transformation. Submit six hard copies of an extended abstract by April 30,1993, to: Gilberto File (WSA'93), Matematica Pura e Applicata, Via Belzoni 7, I-35131 Padova, Italy. Email: file@pdmat1.unipd.it Phone: +39-49-831989.Fax: +39-49-36351. Also email a 5 line abstract to: wsa93@artemide.dei.unipd.it. Further info: wsa93@artemide.dei.unipd.it FOURTH INTERNATIONAL WORKSHOP ON DATABASE PROGRAMMING LANGUAGES New York City, August 30 -- September 1, 1993.Topics of interest include data modeling, typing, language technology, dynamic aspects, system implementation, optimization aspects, & transaction management. Submit ten copies of an extended abstract by March 20, 1993 to ONE of the co-chairs: Catriel Beeri, Computer Science, Hebrew University, Jerusalem 91904, Israel (Tel:+ 972-2-585266 Fax:+ 972-2-5854397, email: beeri@cs.huji.ac.il); Atsushi Ohori, Kansai Lab., Oki Electric, Crystal Tower, 1-2-27 Shiromi, Chuo-ku, Osaka 540 JAPAN (Tel:+ 81-6-9495102 Fax:+ 81-6-9495108 email: ohori@kansai.oki.co.jp); Dennis Shasha, Computer Science, Courant Institute, 251 Mercer Str, New York, NY 10012. For electronic submissions contact one of the co-chairs. INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM Vancouver, British Columbia, Canada, 26-29 October 1993 Topics include: Algorithmic analysis, Artificial intelligence, Compilation techniques, Constraints, Concurrency and parallelism, Deductive databases, Environmental support, Logical extensions, Implementations and architectures, Natural language, Meta and higher-order programming, Proof theory, Programming methodologies, Semantic analysis, Programming language design. The proceedings will be published by MIT Press. Submit six copies by April 16 to: Dale Miller, Computer Science, 200 South 33rd Street, University of Pennsylvania, Philadelphia, PA 19104. Phone: +1 215 898 1593 FAX: +1 215 898 0587 dale@saul.cis.upenn.edu Full information by anonymous ftp: ftp.cis.upenn.edu:pub/meetings/ilps93. FORMALE METHODEN ZUM ENTWURF KORREKTER SYSTEME (FORMAL METHODS IN DESIGN OF CORRECT SYSTEMS) Bad Herrenalb, Schwarzwald (GERMANY) 21.-23. Maerz 1993 For info contact: Thomas Kropf, Institut fuer Rechnerentwurf und Fehlertoleranz, Universitaet Karlsruhe, P.O. Box 6980, D-7500 Karlsruhe, Germany Email: kropf@ira.uka.de, Tel.: +49 721 608 4220, Fax: +49 721 370 455 2. COMPUTING THEORY ANNOUNCEMENTS ================================= FEDERATED COMPUTING RESEARCH CONFERENCES May 14 to 22 in San Diego: * 20th Annual Int'l Symposium on Computer Architecture (ISCA), May 17-19 * 25th Annual ACM Symposium on Theory of Computing (STOC), May 16-18 * 4th ACM Symp. on Principles & Practices of Parallel Programming, May 19-21 * 9th Annual ACM Symposium on Computational Geometry, May 19-21 * 8th Annual IEEE Conf. on Structure in Complexity Theory, May 18-21 * 3rd Workshop on Parallel Algorithms (WOPA), May 19-20 * 7th Workshop on Parallel and Distributed Simulation (PADS), May 16-19 * ACM/ONR Workshop on Parallel and Distributed Debugging, May 17-18 * CRA Workshop on Academic Careers for Women, May 15 Advance program and information (in postscript) for the Federated Conferences is available for public ftp from arthur.cs.purdue.edu (128.10.2.1) as filepub/fcrc/program.ps SUMMER SCHOOL ON LOGICAL METHODS IN CONCURRENCY Aarhus, Denmark, August 2-13, 1993. Speakers include: David Dill, David Harel, Larry Moss, Colin Stirling, P.S. Thiagarajan, Pierre Wolper. Organizers: Mogens Nielsen, Glynn Winskel, Nils Klarlund. Deadlines for applications: May 1, 1993. Further information: Nils Klarlund, Computer Science, Aarhus University, Ny Munkegade # 540, DK-8000 Aarhus C, DENMARK. Phone:+45 86 127188 Fax:+45 86 135725. E-mail: summerschool93@daimi.aau.dk. 3. ARTIFICIAL INTELLIGENCE AND AUTOMATED THEOREM PROVING ANNOUNCMENTS ====================================================================== ADVANCED SCHOOL ON COMPUTATIONAL LEARNING AND CRYPTOGRAPHY Vietri sul Mare, near Naples (Italy), September 13-24, 1993 Directors: Alfredo De Santis, Giancarlo Mauri. Ten hour courses will be given by: Shimon Even, Moti Yung, Michael Kearns, and WolfgangMaass. For more information and application requirements contact Alfredo De Santis Dip. di Informatica e Applicazioni, Universita' di Salerno, 84081 Baronissi (SA), Italy Tel. +39 89 822329, Fax +39 89 822272 e-mail: ads@udsab.dia.unisa.it. HIGHER ORDER LOGIC THEOREM PROVING & APPLICATIONS (International workshop) Vancouver, Canada, August 11-13 1993 Topics include: Extensions of the HOL system, alternative HOL formalisms, alternative HOL theorem-provers, applications, and implementation issues. Deadline for submissions: May 1, 1993. Email submissions (prefered): hug93@cs.ubc.ca Hardcopy submissions: Carl Seger (HUG'93), Computer Science, University of British Columbia, Vancouver, BC, Canada V6T 1Z2. Phone contacts: (604)-822-6176. Fax: (604)-822-5485 Updated info available for anonymous ftp as cs.ubc.ca:/ftp/local/hug93 RELATED EVENTS: * Introductory course on HOL: August 9-10. * Formal hardware verification: August 4-6. WORKSHOP ON AUTOMATED THEOREM PROVING Chambery (France), August 29 - September 3, 1993 Organizers: Alan Bundy, Martin Golumbic, Nachum Dershowitz, Helene Kirchner Contributions sollicited about four specific topics: * Automated theorem proving versus interactive theorem proving * The state of non-classical theorem * The prospects for applications of automated theorem proving * Interactions between artificial intelligence & symbolic cimputing. Send abstract or position paper by March 1 to Helene Kirchner, CRIN-CNRS, BP 239, 54 506 Vandoeuvre-les-Nancy Cedex, FRANCE Phone: 33-83-59-30-12.Fax: 33-83-27-83-19. Email: Helene.Kirchner@loria.fr Electronic submissions are possible.Participants limited to 35. THIRD BAR-ILAN SYMPOSIUM ON THE FOUNDATIONS OF ARTIFICIAL INTELLIGENCE Ramat Gan, Israel, 15-17 June 1993 Symposium Chair: Martin Golumbic. Invited speakers: Barbara Grosz, Jean-Louis Lassez, Vladimir Lifschitz and Jeffrey Rosenschein. Submit 3 copies of extended abstract or full paper by 1 March 1993 to Sarit Kraus (Program Chair), Mathematics & Computer Science, Bar-Ilan University, Ramat Gan, Israel sarit@bimacs.bitnetor sarit@bimacs.cs.biu.ac.il. Further info: Ronen Feldman (Organizing Chair), address as above, feldman@bimacs.bitnetor feldman@bimacs.cs.biu.ac.il.