AMAST Mail - January 1998

• ETAPS'98 - Call for participation
  98/01/07 -- Jose Luis Fiadeiro <llf@di.fc.ul.pt>
• INFINITY '98: Call for Papers (reminder)
  98/01/08 -- Javier Esparza <esparza@informatik.tu-muenchen.de>
• TOOLS USA'98: Conference Announcement and Preliminary Call for Papers
  98/01/08 -- Yossi Gil <yogi@cs.technion.ac.il>
• Conf. Prog.: CSMR98+REF98: Maintenance & Reengineering in Florence
  98/01/12 -- csmr98@dsi.UNIFI.IT
• CFP for MFCS
  98/01/13 -- Irene.Guessarian@liafa.jussieu.fr (Irene GUESSARIAN)
• (fwd:) Mathesius Lecture Series 12
  98/01/14 -- scollo@cs.utwente.nl (Pippo Scollo)
• Int. Workshop COCL'98 - first call for papers
  98/01/15 -- P M Hill <hill@scs.leeds.ac.uk>
• Master Class in Mathematical Logic
  98/01/19 -- Jaap van Oosten <jvoosten@math.ruu.nl>
• First Announcement
  98/01/19 -- 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
• 5th WoLLIC'98 - 2nd Call
  98/01/20 -- Ruy de Queiroz <ruy@di.ufpe.br>
• (fwd:) Federated Logic Conference (FLoC'99)
  98/01/21 -- scollo@cs.utwente.nl (Pippo Scollo)
• IRW/FMP'98&TPHOLs'98:Travel Bursaries and Other Announcements
  98/01/27 -- "IRW/FMP'98 Organising Committee" <irw@cs.anu.edu.au>
• Call For Papers -- IEEE Real-Time Systems Symposium 1998
  98/01/29 -- Richard Gerber <rich@cs.umd.edu>
• PROBMIV'98: 2nd CFP
  98/01/30 -- M.Z.Kwiatkowska@cs.bham.ac.uk
• Call for Papers: FORTE/PSTV'98
  98/01/30 -- Marine TABOURIER <tabouri@hugo.int-evry.fr>