AMAST Mail - September 1999

• Work-in-Progress RTC-99 Session CFP
  99/09/01 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Sixth Barcelona Logic Meeting (6BLM) : First announcement
  99/09/01 -- "Josep M. Font" <font@mat.ub.es>
• [2nd CFP:] OOPSLA'99 workshop #23
  99/09/02 -- Jean-Michel.Bruel@univ-pau.fr (Jean-Michel BRUEL)
• Jelia 2000 Call for Papers
  99/09/02 -- Manuel Ojeda Aciego <aciego@ctima.uma.es>
• ETAPS 2000 in Berlin, 2nd Call for Papers
  99/09/02 -- Doris Faehndrich <doris@cs.tu-berlin.de>
• FroCoS'2000: Third Call for Papers
  99/09/02 -- Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
• Invitation From FORTE/PSTV'99
  99/09/03 -- "Yin Xia" <yxia@csnet1.cs.tsinghua.edu.cn>
• Workshop on Ubiquitous Computing
  99/09/03 -- Dr H Mohanty <hmcs@uohyd.ernet.in>
• DISC'99 Registration (Last Call)
  99/09/06 -- DISC 99 <disc99@dcs.fmph.uniba.sk>
• Linux@work: Amsterdam
  99/09/07 -- Roberto Zicari <zicari@ltt.de>
• CFP: DSVV 2000 (International Workshop on Distributed System Validation and Verification)
  99/09/09 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• ACM ICPC Asia Region (Kanpur Site) Contest
  99/09/09 -- "P. Gupta" <pg@iitk.ac.in>
• SAS-LOPSTR'99 Last Call for Participation
  99/09/09 -- Agostino Cortesi <cortesi@dsi.unive.it>
• SERG REPORT ANNOUNCEMENT
  99/09/09 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• CfP: Journal of UCS, Special Issue on RE
  99/09/10 -- recs@informatik.uni-kl.de
• (fwd) Announcing PVS Version 2.3
  99/09/11 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) CfParticipation: CoFI at FM'99
  99/09/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• Mobile Computation: deadline extension
  99/09/14 -- FSTTCS99 <fsttcs99@imsc.ernet.in>
• LOFT4: call for papers
  99/09/14 -- Giacomo Bonanno <gfbonanno@ucdavis.edu>
• ICCI2000_Call_for_Papers
  99/09/15 -- almulla@sci.kuniv.edu.kw (Almulla M)
• FMOODS 2000 CFP correction
  99/09/16 -- Carolyn Talcott <clt@Steam.Stanford.EDU>
• Networking2000:SUBMISSION DEADLINE EXTENDED to OCTOBER 1
  99/09/16 -- Rebecca Morales <Rebecca.Morales@prism.uvsq.fr>
• call for papers: ASM2000, March 19th - 24th
  99/09/16 -- Application Asm <asm@tik.ee.ethz.ch>
• CAV 2000 call for papers
  99/09/17 -- "E. Allen Emerson" <emerson@cs.utexas.edu>
• FORTE/PSTV'99 Call for Participation
  99/09/17 -- Jianping Wu <jianping@sea.net.edu.cn>
• PA EXPO 2000 Second Call for Papers
  99/09/20 -- info@pap.com
• Last CFP: FroCoS'2000
  99/09/20 -- Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
• CADE-17 Call for Workshops and Tutorials
  99/09/21 -- Michael Kohlhase <kohlhase@ags.uni-sb.de>
• Job Opportunity at INRIA Sophia Antipolis
  99/09/23 -- Isabelle Attali <Isabelle.Attali@sophia.inria.fr>
• TANCS 2000 - First Call for Experimental Papers
  99/09/24 -- "TANCS 2000" <tancs@dis.uniroma1.it>
• for Amast newsletter
  99/09/26 -- "Bruce H. Krogh" <krogh@ece.cmu.edu>
• Linux@work: Amsterdam
  99/09/29 -- Roberto Zicari <zicari@ltt.de>
• POPL '00, List of accepted papers
  99/09/29 -- Thomas Reps <reps@cs.wisc.edu>
• Linux@work: Amsterdam -- reminder
  99/09/30 -- Roberto Zicari <zicari@ltt.de>