AMAST Mail - May 1996
Last updated: Tue Dec 24 03:20:47 96
16 messages in chronological order
CADE-13 Workshop on Proof search in type-theoretic languages
96/05/02 -- Didier Galmiche <Didier.Galmiche@loria.fr>
CFP: logical aspects of comp. linguistics
96/05/12 -- Christian.Retore@loria.fr (Christian RETORE)
Call for Participation for ISIS
96/05/15 -- ISIS conference <isis@cs.monash.edu.au>
BRICS positions
96/05/15 -- Uffe Henrik Engberg <engberg@brics.dk>
Call for demos
96/05/17 -- priami@DI.Unipi.IT (Corrado Priami)
PhD thesis available
96/05/21 -- priami@DI.Unipi.IT (Corrado Priami)
Help with Call for Participation
96/05/21 -- Jim Grundy <jim.grundy@abo.fi>
CONCUR 96: Programme and forst call for participation
96/05/21 -- Vladimiro Sassone <vladi@DI.Unipi.IT>
CAV 96
96/05/22 -- tah@eecs.berkeley.edu (Tom Henzinger)
MFPS 12 Program
96/05/23 -- mwm@math.tulane.edu
TAPSOFT'97 CALL FOR PAPER.
96/05/23 -- Marc.Tommasi@lifl.fr
announcing a new joint mechanized reasoning web page
96/05/24 -- Carolyn Talcott <clt@steam.stanford.edu>
workshop announcement
96/05/24 -- nymeyer@cs.utwente.nl (Albert Nijmeijer)
No Subject
96/05/24 -- Patricia Johann <pjohann@cse.ogi.edu>
CFP: ACSW'97
96/05/29 -- Mehmet ORGUN <mehmet@mpce.mq.edu.au>
8th Nordic Workshop on Programming Theory (short announcement)
96/05/31 -- Magne.Haveraaen@ii.uib.no
[
April 1996
|
June 1996
|
Latest Update
|
AMAST Mail Meta-Index
|
AMAST Mail 1996
|
AMAST
]
Mail converted by
MHonArc
1.2.3