AMAST Mail - October 1998

• SUPERVISOR/RESEARCH ENGINEER POSITION
  98/10/01 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• FMCAD Lodging Reservation phone/fax number change
  98/10/01 -- "Linda Williams" <lwilliams@admin.dce.utah.edu>
• postdoc funded by Microsoft
  98/10/02 -- Oege de Moor <oege@comlab.ox.ac.uk>
• IEEE RTSS'98 - Program, Registration Info, Related Events
  98/10/06 -- rich@cs.umd.edu (Richard Gerber)
• submission
  98/10/06 -- "Alice E. Smith" <aesmith@engrng.pitt.edu>
• ICSEA 98
  98/10/07 -- rault@cnam.fr (Jean-Claude RAULT)
• CFP2 for PSI'99
  98/10/08 -- "Alexandre Zamulin" <zam@iis.nsk.su>
• AMAST Mini-Track at FM'99
  98/10/12 -- Teodor Rus <rus@cs.uiowa.edu>
• (fwd) Call for Participation: FORTE/PSTV'98, Estelle'98, SPIN'98
  98/10/19 -- scollo@cs.utwente.nl (Pippo Scollo)
• (fwd) Welcome [PAPM mailing list]
  98/10/19 -- scollo@cs.utwente.nl (Pippo Scollo)
• CfParticipation: ICFEM'98, Australia, December
  98/10/20 -- Colin Fidge <cjf@it.uq.edu.au>
• Lipari School 99 on "Computational Biology"
  98/10/20 -- "ferro alfredo" <ferro@dipmat.unict.it>
• International Masters Programme in Computational Logic
  98/10/20 -- CL Advertisement <cladv@pikas.inf.tu-dresden.de>
• Two PhD Studentships in Logic and Theorem Proving
  98/10/20 -- Renate Schmidt <R.A.Schmidt@doc.mmu.ac.uk>
• Workshop Announcement & First Call for Papers
  98/10/21 -- pkuehnle@lili.uni-bielefeld.de
• Second call for submission/participation
  98/10/22 -- Simone Panka <Simone.Panka@cwi.nl>
• Faculty Positions
  98/10/26 -- parnas@qusunt.cas.mcmaster.ca (Dave Parnas)
• LOPSTR'99: call-for-papers
  98/10/26 -- Annalisa Bossi <bossi@dsi.unive.it>
• 6th WoLLIC'99 - 2nd CFP
  98/10/27 -- Ruy de Queiroz <ruy@di.ufpe.br>
• PaCT-99 Conference
  98/10/28 -- PaCT-99 Conference <pact99@ssd2.sscc.ru>
• Research Positions at BRICS Research Centre and Int. PhD School
  98/10/29 -- Uffe Henrik Engberg <engberg@brics.dk>
• 9th SDL FORUM/ Call For Papers
  98/10/29 -- dssouli@IRO.UMontreal.CA (Rachida Dssouli)
• Extension deadline ARTS'99
  98/10/30 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
• AI-ED99 news # 1 october 98 (Artificial intelligence and education conference in Le Mans France)
  98/10/30 -- "ai-ed99 Local Organising Commitee" <ai-ed99@lium.univ-lemans.fr>
• (fwd) SPIN98 Workshop -- final details
  98/10/30 -- scollo@cs.utwente.nl (Pippo Scollo)
• PACLP99 Final CFP
  98/10/31 -- info@pap.com