24TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL'97) [U.S. page] January 15-17, 1997, Paris, France * Topics. POPL97 will address fundamental principles and important innovations and accomplishments in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. Both practical and theoretical papers on principles and innovations are welcome, including both frameworks for them and reports on experiences with their use. Papers on a diversity of topics are welcomed, particularly ones that point out new directions. POPL97 is not limited to topics discussed in previous symposia or to formal approaches. In particular, papers integrating new principles into ``mainstream'' programming languages or widely used systems are encouraged. Authors concerned about the appropriateness of a topic may communicate by electronic mail with the program chair prior to submission. * Submissions. A technical summary of a proposed paper is to be sent to the program chair. The summary should be 5000 words or less, excluding bibliography and figures. Submissions must be either (a) postscript received electronically by 5:00 PM EDT, Friday, July 12, 1996, or (b) sent by airmail and postmarked (not metered) on or before Friday, July 5, 1996. * Program Chair. Neil D. Jones, DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark. Email: neil@diku.dk. Tel.: +45-35321410. Fax: +45-35321401. * Program Committee. Alex Aiken, Harald Ganzinger, Alessandro Giacolone, Masami Hagiya, Chris Hankin, Luddy Harrison, Laurie Hendren, Manuel Hermenegildo, Neil Jones, Frank Pfenning, William Pugh, David Schmidt, Mary Sheeran, Doaitse Swierstra. ISIS CONFERENCE: INFORMATION, STATISTICS AND INDUCTION IN SCIENCE August 20-23, 1996, Melbourne, Australia * Topics. This conference will explore the use of computational modeling to understand and emulate inductive processes in science. The problems involved in building and using such computer models reflect methodological and foundational concerns common to a variety of academic disciplines, especially statistics, artificial intelligence (AI) and the philosophy of science. This conference aims to bring together researchers from these and related fields to present new computational technologies for supporting or analysing scientific inference and to engage in collegial debate over the merits and difficulties underlying the various approaches to automating inductive and statistical inference. * Invited Speakers. Henry Kyburg, Jr., Marvin Minsky, J. Ross Quinlan, Jorma J. Rissanen, Ray Solomonoff. * Tutorials. Peter Spirtes "Automated Learning of Bayesian Networks". Michael Pazzani "Machine Learning and Intelligent Info Access".. Jan Zytkow "Automation of Scientific Discovery". Paul Vitanyi "Kolmogorov Complexity & Applications". * Student Registration. A limited number of free student conference registrations or tutorial registrations will be available by application to the organizers in exchange for part-time work during the conference. * Program Committee. Hirotugu Akaike, Lloyd Allison, Shun-Ichi Amari, Mark Bedau, Jim Bezdek, Hamparsum Bozdogan, Wray Buntine, Peter Cheeseman, Honghua Dai, David Dowe, Usama Fayyad, Doug Fisher, Alex Gammerman, Clark Glymour, Randy Goebel, Josef Gruska, David Hand, Bill Harper, David Heckerman, Colin Howson, Lawrence Hunter, Frank Jackson, Max King, Kevin Korb, Henry Kyburg, Rick Lathrop, Ming Li, Nozomu Matsubara, Aleksandar Milosavljevic, Richard Neapolitan, Jon Oliver, Michael Pazzani, J. Ross Quinlan, Glenn Shafer, Peter Slezak, Padhraic Smyth, Ray Solomonoff, Paul Thagard, Neil Thomason, Raul Valdes-Perez, Tim van Gelder, Paul Vitanyi, Chris Wallace, Geoff Webb, Xindong Wu, Jan Zytkow. * Further Information. isis96@cs.monash.edu.au; David Dowe (chair): dld@cs.monash.edu.au; Kevin Korb (co-chair): korb@cs.monash.edu.au; or Jonathan Oliver (co-chair): jono@cs.monash.edu.au 8TH INT'L CONF ON COMPUTER-AIDED VERIFICATION (CAV 96) July 30 - August 3, 1996, Rutgers University, New Jersey, USA [Call for papers in Newsletter 30.] * Invited Speakers. M.O. Rabin, J.M. Rushby, A.W. Roscoe. * Industrial Session. J. Harlow and P. Verhofstadt (Semiconductor Research Corporation, USA), P. Scaglia (Cadence Berkeley Labs, USA), W. Buettner (Siemens Corporate Research and Development, Germany), G. de Palma (Lucent Technologies, USA), C. Pixley (Motorola, USA), S. Ben-David (IBM Haifa Research Lab, Israel). * Program and Registration. See www page or write to address below. * Email. cav96@bell-labs.com. HERBRAND AWARD GOES TO ALAN ROBINSON CADE Inc is delighted to announce that Alan Robinson will receive the Herbrand Award at CADE-13. The Herbrand Award is given by CADE Inc to honour a person or a group of people for exceptional contributions to the field of Automated Deduction. It carries a certificate and a cheque for $1000. Previous awards have been made at CADE-11 to Larry Wos and at CADE-12 to Woody Bledsoe. Alan Robinson has generously asked for the $1000 to be donated to the Woody Bledsoe Student Travel Award, which will be used to fund one or more students to attend CADE-13. THE AUSTRALASIAN THEORY SYMPOSIUM (CATS'97) February 3-4 1997, Macquarie University, Sydney, Australia * Topics. CATS aims at bringing together computing theorists from the Australasian region. Papers are solicited on all aspects of the theory of computer science, including, but not limited to: Category Theory, Complexity, Concurrency, Formal Semantics, Logic, Specification and Verification, and all aspects of the theory of Algorithms (including combinatorial algorithms, distributed algorithms, geometric algorithms, and parallel algorithms). * Affiliated Conferences. CATS is being held as part of the Australasian Computer Science Week. Other conferences during the week are:: The 20th Australasian Computer Science Conference (ACSC'97); and The Australasian Computer Architecture Conference (ACAC'97) * Submissions should be sent in Postscript format to cats97@cs.rmit.edu.au by the August 15 1996. * Email. acsw97@mpce.mq.edu.au. * Program Chair. James Harland. * Program Committee. Cristina Calude, Hossam ElGindy, Jeremy Gibbons, Kurt Mehlhorn, Dale Miller, Eugenio Moggi, Tadao Takaota, Arun Sharma, Harald So/ndergaard, Antonius Symvonis, Phil Wadler. FINITE MODEL THEORY TUTORIAL: PROBLEMS, METHODS AND APPLICATIONS July 7-9, 1996, University of Wales, Swansea, UK * Topics. The first day of the workshop will present an in-depth introduction to the central problems and methods of finite model theory, while the second day features invited lectures exploring specialised areas, including applications in complexity theory, database theory and computer-aided verification. * Further Information. Anuj Dawar, Department of Computer Science, Univeristy of Wales Swansea, Swansea SA2 8PP. E-mail: a.dawar@swansea.ac.uk. Tel.: 01792 205678 ext.4805. Fax.: 01792 295708. JOINT INT'L CONF AND SYMPOSIUM ON LOGIC PROGRAMMING (JICSLP '96) September 2-6, 1996, Bonn, Germany * Post-Conference Workshops. Non-Monotonic Extensions of Logic Programming. Verification and Analysis of Logic Programs. What Can Logic Programmers Learn From Functional Programmers?. Parallelism and Implementation Technology for (Constraint) Logic Programming Languages. Logic Programming and Soft Computing. Deductive Databases and Logic Programming. Multi-Paradigm Logic Programming. Logic Programming Tools for INTERNET Applications. Metaprogramming and Metareasoning in Logic (META96). * Email. icslp96@informatik.uni-bonn.de. 8TH NORDIC WORKSHOP ON PROGRAMMING THEORY December 4-6 1996, Oslo, Norway * Topics. The objective of the workshop is to bring together researchers from the Nordic and Baltic countries interested in programming theory, in order to improve mutual contacts and cooperation. Typical topics of the workshop include (but are not limited to): Semantics of programs, Programming logics, Program verification, Formal specification of programs, Program synthesis, Program transformation and program refinement, Modeling of concurrency, Programming methods, Tools for program construction and verification. * Registration. More information and registration form is available on the Web. N.B. As attendance at the workshop is limited to 60 participants, Please register as soon as possible, and by 28 October at the latest. * Submission. If you wish to give a presentation, please enclose a one-page abstract of the talk. 1996 SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Aug 25th-30th, 1996, Olympia, Washington, USA * Lectures. This year's lectures will focus on state-of-the-art topics that are considerably more application-oriented than those of the Baastad School. We have invited to the summer school speakers who have experience in using functional languages to build large systems. The topics that will be covered in the summer school are as follows: "Haskore, specifying electronic music", Paul Hudak; "Polytypic typing", Johan Jeuring; "Systems programming", Peter Lee; "Functional data structures", Chris Okasaki; "GUI programming using Concurrent Haskell", Simon Peyton Jones; "Miniaturizing functional programs", Colin Runciman; "Functional parsers", Doaitse Swierstra; "Programming in the large using SML modules", Mads Tofte. * Local Arrangements/registration. Lynette Osborne (osborne@cse.ogi.edu), phone (503) 690-1476, fax (503) 690-1548. 3RD INT'L WORKSHOP ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS '97) April 2-4 1997, University of Twente, Enschede, The Netherlands * Topics. Compositional verification and construction techniques; refinement-based methodologies; heterogeneous analysis; theorem--proving and model checking; analytical techniques for real--time, hybrid and safety-critical systems; tool environments and tool architectures; case studies. * Submissions. Electronic submission is encouraged via email. Deadline for submission is 18 October 1996. * Further Information. Albert Nymeyer, TIOS/INF, University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands. Tel: +31 (0)53 489 3767. Fax: +31 (0)53 489 3247. tacas97@cs.utwente. INDIANA UNIVERSITY DIRECTOR FOR EDUCATIONAL DEVELOPMENT The Indiana University Computer Science Department seeks candidates for a newly created position of Director of Educational Development. * Responsibilities. (1) Leading the administration and development of courses for students not majoring in computer science. All levels are targeted, but introductory courses in computer literacy and programming are most important. (2) Intellectual leadership in pre-graduate educational programs and initiatives, such as course development, innovative educational technologies, interdisciplinary initiatives, distance education, and outreach programs. In this capacity, the Director will also play a leading role in seeking external support for the department's educational projects. In fulfilling these tasks, the Director is expected to teach 2-3 courses a year, to maintain familiarity with the programs directed, and to develop new courses. In addition, we hope that the prospective Director will pursue research in computer science, preferably in areas relevant to the position's main responsibilities. * Position. The position is classified as high level administrative. It is open ended, and provides relative job stability short of academic tenure. The Director will be treated as a special member of the faculty. The option of switching to full academic status (tenure track or tenure) is not excluded, but can only come after a period of highly successful educational and research activities. * Qualifications. Candidates must have a PhD in computer science or a related area, and a demonstrable interest and commitment to dynamic development of educational programs and technologies. * Applications. As of this writing (early June 1996) the position is not yet filled. For consideration, please address a CV and a list of references to edu-search@cs.indiana.edu. Indiana University is an Equal Opportunity/Affirmative Action Employer.