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 mfps@tulmath.math.tulane.edu.


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 baastad@cs.chalmers.se. 


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 md_theory_day@cs.umbc.edu.  For luncheon reservation send email to
mtd_lunch@cs.umbc.edu or contact by March 12 chang@cs.umbc.edu or 
sherman@cs.umbc.edu, 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 (kjdevlin@colby.edu) 
or Dag Westerstahl, program chair (dagw@dsv.su.se).