7th ANNUAL CONF. ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE (FPCA '95) June 26-28, 1995, La Jolla CA, USA. Intended to cover the design and theory of functional programming languages, their applications, and their implementations on both parallel and sequential architectures. * Submissions. Fourteen copies of a full paper (up to 10 pages in two-column conference-style format) to the program committee chairman, arriving no later than 31 December 1994. Each submission should be accompanied by email to fpca95@dcs.glasgow.ac.uk with the complete title, author and affiliation information, and a single postal address and electronic mail address for communication. * Program Committee. L. Augustsson, H. Baker, G. Blelloch, W. Bohm, A. Gordon, P. Hartel, M. Jones, J. Launchbury, C. Lengauer, X. Leroy, J. Mitchell, J. O'Donnell. * Program Chair. Simon Peyton Jones (FPCA '95), Department of Computing Science, Glasgow University, G12 8QQ, Scotland. E-mail: simonpj@dcs.glasgow.ac.uk. 2ND CONFERENCE ON THEOREM PROVERS IN CIRCUIT DESIGN (TPCD94) 26-28 Semptember 1994, Bad Herrenalb, Germany TPCD94 provides a forum for discussing the role of theorem provers in the design of digital systems. * Invited Speakers. P.Subrahmanyam (AT&T Bell Labs, USA), Geoff Barrett (INMOS Ltd., UK), Tom Melham (Glasgow University, UK) * Programme Committee. D. Borrione, H. Busch, L. Claesen, D. Dill H. Eveking, S. Finn, M. Gordo, K. Hanna, W.A. Hunt, P. Loewenstein, M. Leeser, T. Melham, T. Nipkow, D. Shepherd, J. Staunstrup, V. Stavridou, P. Subrahmanyam * Topics. Refinement approaches, verification of pipeline structures, verifcation of arithmetic circuits, combining higher-order and first order proof techniques, industrial applications of verification techniques, system demonstrations, tutorials. * Information via WWW. Use URL http://goethe.ira.uka.de/tpcd94/ * For further information send email to kropf@ira.uka.de or Fax: +49 721 370 455. PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION (PEPM '95) La Jolla, California, June 21--23, 1995 * Topics. Program manipulation techniques: program transformation, program specialization, partial evaluation. Program analysis techniques: abstract interpretation, static analysis, binding-time analysis. Related issues in language design and models of computation: functional, logic programming, object oriented, parallel, distributed. Programs as data objects: meta-programming, incremental computation, tools and techniques, prototyping and debugging. Applications: scientific computing, compiler generation, algorithm design. * Program Committee. Craig Chambers, Radhia Cousot, Olivier Danvy, Robert Glueck, Benjamin Goldberg, Tim Griffin, Paul Hudak, John Launchbury, Julia Lawall, Erik Ruf, William L. Scherlis, David A. Schmidt, Harald Sondergaard, Mitchell Wand. * Submissions. Either electronic, in Postscript or as a self-contained TeX or LaTeX file, or 7 double-sided hard copies. Submissions should not exceed 5000 words (about 10 pages), excluding bibliography and figures, and should arrive not later than November 16, 1994. * WWW. http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/user/wls/www/pepm95/pepm95.html. * Program Chair. William L. Scherlis, Department of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213 USA, Email: scherlis@cs.cmu.edu, Phone: 412-268-8741. TENTH INT'L CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE August 19-25, 1995, Florence, Italy. * General Program Committee. J.van Benthem (Chair), R.Chuaqui, P.Hajek, D.Mundici, Ren-Zong Qiu , E.Sober. * Contributed Papers. E.Casari (Chair), A.Cantini (Secretary). * Sections. Logic: (1) proof theory and categorical logic; (2) model theory, set theory and formal systems; (3) recursion theory and constructivism; (4) logic and computer science; (5) philosophical logic. General philosophy of science: (6) methodology; (7) probability, induction and decision theory; (8) history of logic, methodology and philosophy of science; (9) ethics of science and technology. Philosophical and foundational problems: (10) logic, mathematics and computer science; (11) physical sciences; (12) biological sciences; (13) cognitive sciences and artificial intelligence; (14) linguistics; (15) social sciences. * Chairs of Sectional Program Committees. (1) G. Mints; (2) W. Hodges; (3) W. Sieg; (4) C. Boehm; (5) P. Gardenfors; (6) A. Musgrave; (7) R. Jeffrey; (8) N. Cartwright; (9) K. Schrader-Frechette; (10) H. Field; (11) J Earman; (12) M. Ruse; (13) N. Block; (14) S. Soames (15) H. Del Soler Petit. * Invited Lecturers. Carlo Rubbia (Nobel Prize laureate), Michael Dummett. * Submissions. Abstracts of contributed papers (max. 2 pages) will appear in volumes available at the congress. The deadline for submission is February 1st, 1995. * Information. LMPS, Centro Servizi di Segreteria, via A. Lapini, 1, I-50136 Florence, Italy. Phone: ++39 (0)55 670369. Fax: ++39 (0)55 660236. CONF OF THE EUROPEAN ASSOCIATION FOR COMPUTER SCIENCE LOGIC (CSL '94) 26th - 30th September 26-30, 1994, Kazimierz, Poland. [call for papers in #15] * Invited Speakers. M. Ajtai, K. Apt, M. Baaz, H. Barendregt, J.-P. Jouannaud, V. Orevkov, P. Pudlak, A. Tarlecki. * WWW/FTP. Registration information and program available via WWW from http://grab.mimuw.edu.pl/CSL.html and via anonymous ftp from ftp.mimuw.edu.pl in the directory pub/CSL. * Conference Office. CSL '94, Institute of Informatics, Warsaw University, Banacha 2, 02-097 Warsaw, POLAND. Phone: (+48 2) 658-31-64. Fax: (+48 2) 658-31-65. E-mail: csl94@mimuw.edu.pl. INT'L CONF. ON THE MATHEMATICS OF PROGRAM CONSTRUCTION (MPC '95) July 17-21, 1995, Kloster Irsee, Germany [original announcement in #15 had an incorrect submission date] * Topics. The emphasis is on the combination of conciseness and precision in calculational techniques for program construction. Typical areas are: formal specification of sequential and concurrent programs; constructing implementations to meet specifications. In particular, program transformation; program analysis; program verification; convincing case studies. While this list is not exclusive it is intended to show the focus of the conference. * Programme Committee. R.-J. Back, R. Backhouse, G. Dromey, D. Gries, I. Hayes, R. Hehner, W. Hesselink, G. Huet, C. Jones, A. Kaldewaij, L. Meertens, B. Moller (chair), O. de Moor, C. Morgan, H. Partsch, R. Paterson, C. Paulin-Mohring, P. Pepper, W. Reif, B. Sanders, F. Schneider, M. Sheeran, D. Smith, W. Turski. * Submissions. Due December 1, 1994. The proceedings will be published in Springer LNCS. * Correspondence. Prof. Dr. B. M"oller (MPC '95), Institut f"ur Mathematik, Universit"at Augsburg, D-86135 Augsburg, Germany. E-mail: moeller@uni-augsburg.de. Fax: +49 821 598 2274. WORKSHOP ON UNCERTAINTY ON DATABASES AND DEDUCTIVE SYSTEMS November 17 OR 18, following Int. Logic Programming Symposium, Ithaca, NY, USA. * Topics. Uncertainty formalisms (numerical, non-numerical, and hybrid approaches); uncertainty in higher-order logics; uncertainty in different data models; query processing and optimization; complexity and termination issues; design and implementation of prototypes; applications. * Submissions. 10 double-spaced pages. Papers MUST be received by September 15, 1994. Email Submissions (strongly encouraged): send your paper in PostScript form to wudds@cs.concordia.ca. Hardcopy submissions: send 4 copies of your paper to Laks V.S. Lakshmanan, Dept. of Comp. Sci., Concordia University, 1455 DeMaisonneuve Blvd. W., Montreal, Que., Canada H3G 1M8. Ph: (514) 848-3018. Fax: (514) 848-2830. Email: laks@cs.concordia.ca. * Special Journal Issue. Full versions of high quality papers selected from the workshop will be published in a special issue of Theoretical Computer Science. * Program Committee. M. Fitting (CUNY, Bronx, NY), J. Han (SFU, Burnaby, BC), M. Kifer (SUNU, Stony Brook, NY), Laks Lakshmanan (Concordia U., Montreal, QC), R. Ng ( UBC, Vancouver, BC), F. Sadri (UNC at Greenboro, NC). * For further information and a full CFP, send email to: wudds@cs.concordia.ca. PLILP-ALP'94 September 14-16, 1994, Madrid, Spain. [call for papers in #12] * Information. Att: Juan Jose Moreno-Navarro, Facultad de Informatica, Universidad Politecnica de Madrid, Campus de Montegancedo s/n, Boadilla del Monte, 28660 Madrid, Spain. E-mail: plilp-alp-info@dia.fi.upm.es. Ftp: dia.fi.upm.es, pub/plilp-alp-94. Fax: +34 1 336 74 12.