AMAST Mail - June 1999

• CONCUR'99 Call for participation
  99/06/01 -- sjouke@win.tue.nl (Sjouke Mauw)
• ASIAN'99 CFP: Phuket, Thailand, Dec 10-12, 1999
  99/06/03 -- Roland Yap Hock Chuan <asian99@iscs.nus.edu.sg>
• CSL'99 Call for Participation
  99/06/04 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• WDS'99 - Deadline estenssion: June 10th, 1999
  99/06/07 -- Gheorghe Stefanescu <ghstef@funinf.math.unibuc.ro>
• CRL Report Announcement
  99/06/09 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• THAI-ETIS Symposium
  99/06/12 -- "G. A. Lanzarone" <lanzarone@mail.varbio.unimi.it>
• FCT'99 Accepted Papers
  99/06/13 -- "FCT'99 Organizing Committee" <fct99@infoiasi.ro>
• ICCSEA 99
  99/06/14 -- Jean-Claude RAULT <rault@cnam.fr>
• temporary position
  99/06/14 -- Giuseppe Longo <Giuseppe.Longo@ens.fr>
• INAP99 last CFP
  99/06/15 -- Oskar Bartenstein <oskar@ifcomputer.co.jp>
• CASES99--Reminder
  99/06/16 -- Bruce L Jacob <blj@imap1.glue.umd.edu>
• CALL FOR PARTICIPATION: 5th SPIN WORKSHOP ON THEORETICAL ASPECTS OF MODEL CHECKING
  99/06/16 -- Dennis Dams <D.R.Dams@ele.tue.nl>
• New CRL Report Announcement
  99/06/16 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• JASS Journal - Call for Papers
  99/06/17 -- Nikitas Assimakopoulos <assinik@unipi.gr>
• IFIP TC1 TCS Conference Y2000 in Japan
  99/06/18 -- "ito@ito.ecei.tohoku.ac.jp" <ito@ito.ecei.tohoku.ac.jp>
• International Masters Programme in COMPUTATIONAL LOGIC
  99/06/21 -- cladv@pikas.inf.tu-dresden.de (CL Advertisement)
• No Subject
  99/06/22 -- Agostino Cortesi <cortesi@dsi.unive.it>
• MPC2000: 5th Int. Conf. on Mathematics of Program Construction - CFP
  99/06/23 -- jno@di.uminho.pt (Jose Nuno Oliveira)
• CFP ASIAN'99: Asian Computing Science Conference,Phuket,Dec 10-12,1999
  99/06/23 -- Roland Yap Hock Chuan <asian99@iscs.nus.edu.sg>
• PROBMIV'99: Call for Participation
  99/06/26 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• Call for Papers HS'00 -- for the Amast newsletter
  99/06/26 -- "Bruce H. Krogh" <krogh@ece.cmu.edu>
• No Subject
  99/06/29 -- Raamsdonk van F <femke@cs.vu.nl>
• CSL'99 Programme and CFP
  99/06/30 -- Eva Ullan <evah@eucmax.sim.ucm.es>