LICSNEWS 1 NINTH INTERNATIONAL CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS Tulane University, New Orleans, April 7 - 10, 1993. Invited speakers include Peter Aczel, Pierre-Louis Curien, Albert Meyer, Dale Miller, Andrew Pitts, Gordon Plotkin, and Tucker Taft. Deadline for both early registration and for hotel reservation (at half normal rate) is March 15. For complete program and registration instructions see news groups news.announce.conferences and comp.theory, or send email to firstname.lastname@example.org. INTERNATIONAL SUMMER SCHOOL ON TYPES FOR PROOFS AND PROGRAMS Baastad, Sweden, June 7 - 18, 1993. A two week course about interactive proof development, for graduate students and researchers. There will be self-contained introductory and advanced lectures on lambda calculus, type theory, logical frameworks, program extraction, and related background topics. Interactive proof systems like Coq, Lego and Alf will be demonstrated, and participants will have ample opportunities to use them in a workstation environment for developing their own proofs. Speakers will include Henk Barendregt, Jean-Louis Krivine, Stefano Berardi, Per Martin-Lof, Rod Burstall, Michel Parigot, Thierry Coquand, Christine Paulin, Gerard Huet and Randy Pollack. Application deadline is April 15, 1993. School fee is 4 000 Swedish crowns, room and board are 4 000 crowns. A limited number of scholarships is available. For further information send email to email@example.com. EIGHTH MARYLAND THEORETICAL COMPUTER SCIENCE DAY Friday, March 19, 1993, UMBC campus in Baltimore. Speakers: Stephen Altschul, Michael Fellows, Bernard Chazelle, Michael Kearns, and Miles Smid. There will also be a luncheon (at modest fee) and ample time for informal interactions. For complete schedule, abstracts and directions to UMBC, send email to firstname.lastname@example.org. For luncheon reservation send email to email@example.com or contact by March 12 firstname.lastname@example.org or email@example.com, 410-455-3000, fax: 3969. *POSTPONEMENT* CONFRNCE ON INFORMATION-ORIENTED APPROACHES TO LOGIC, LANGUAGE & COMPUTATION is regrettably POSTPONED until August 1994. The likely location will be St Mary's College, where Keith Devlin, the organizer, will take up the deanship of the School of Science. St Mary's is located in the Moraga Valley, 10 miles east of Berkeley, just off a San Francisco BART line. For further info contact Keith Devlin, local organizer (firstname.lastname@example.org) or Dag Westerstahl, program chair (email@example.com).