AMAST Mail - February 1999

• PSI99 submission deadline extension
  99/02/01 -- Alexandre Zamulin <zam@lri.fr>
• SGM GUI v1.2 Released
  99/02/01 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Positions at Chalmers, Gothenburg, Sweden
  99/02/02 -- Bengt Nordstr|m <bengt@cs.chalmers.se>
• SMC99: Call for Papers
  99/02/02 -- Alessandro Cimatti <cimatti@irst.itc.it>
• LUATCS99 1st announcement
  99/02/03 -- Peter Jipsen <pjipsen@proof.mth.uct.ac.za>
• Research Assisstant opening in Hong Kong
  99/02/04 -- "Dr. Wai Wong" <wwong@Comp.HKBU.Edu.HK>
• List of accepted papers ARTS '99
  99/02/04 -- Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
• PROBMIV'99: Preliminary Announcement
  99/02/04 -- Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
• Research Officer; PhD Studentship
  99/02/04 -- Ranko Lazic <Ranko.Lazic@comlab.ox.ac.uk>
• CFE for INFORMATION
  99/02/05 -- Jingde Cheng <cheng@csce.kyushu-u.ac.jp>
• TLCA'99 Call for Participation (Text & LaTex versions)
  99/02/05 -- "tlca99.aquila" <tlca99@univaq.it>
• Job Advertisement: Research Fellow in Logic and Automated Reasoning [MMU, UK]
  99/02/05 -- Michael Fisher <M.Fisher@doc.mmu.ac.uk>
• ECOOP99 workshop
  99/02/05 -- lm@di.fct.unl.pt (Luis Monteiro)
• "Final_Call:FEmSys99"
  99/02/05 -- Axel Poigne <ap@borneo.gmd.de>
• VERIMAG is recruiting a research software engineer
  99/02/05 -- Oded Maler <Oded.Maler@imag.fr>
• Announcement Meeting in Barcelona
  99/02/08 -- Rafel Farre i Cirera <farre@grec.upc.es>
• New Book Announcement
  99/02/08 -- Cristian Oara ER <oara@df.op.dlr.de>
• PhD Research Studentships (AiO positions)
  99/02/08 -- Ed Brinksma <brinksma@cs.utwente.nl>
• MFPS XV Update
  99/02/09 -- Michael Mislove <mwm@math.tulane.edu>
• last_call
  99/02/09 -- root <root@Leibniz.lili.uni-bielefeld.de>
• [SOAP @ ECOOP] Semantics of Objects As Processes '99 (CFP)
  99/02/09 -- Uwe Nestmann <uwe@cs.auc.dk>
• PhD positions at Chalmers, Gothenburg, Sweden.
  99/02/11 -- "K. V. S. Prasad" <prasad@cs.chalmers.se>
• Second Call for Papers -- BISFAI'99 (June 23-25, 1999)
  99/02/11 -- "Prof. Martin Charles Golumbic" <golumbic@macs.biu.ac.il>
• Register now for ETAPS'99
  99/02/12 -- Simone Panka <Simone.Panka@cwi.nl>
• Call For Papers, Int'l Conf. PDPTA/CISST/IC-AI'99, Las Vegas, June 28, 1999
  99/02/12 -- Hamid Arabnia <hra@cs.uga.edu>
• TACAS '99 call for participation
  99/02/15 -- Rance Cleaveland <rance@cs.sunysb.edu>
• position in COMPUTER SCIENCE, deadline March 10, 1999
  99/02/15 -- Veronique Bruyere <vero@sun1.umh.ac.be>
• book announcement: Categorical Logic and Type Theory
  99/02/16 -- Bart Jacobs <Bart.Jacobs@cs.kun.nl>
• CFP: FLoC'99 workshop on Run-Time Result Verification
  99/02/18 -- Paolo Traverso <leaf@irst.itc.it>
• CSL'99 Last CFP (Text & LaTex versions)
  99/02/18 -- Eva Ullan <evah@eucmax.sim.ucm.es>
• Final CFP: PDPTA-99 Codesign Session
  99/02/22 -- eric@iis.sinica.edu.tw (Pao-Ann Hsiung)
• Preliminary Program and Call for Participation: COORDINATION 99
  99/02/22 -- Farhad.Arbab@cwi.nl
• FORTE/PSTV'99 paper submission extension
  99/02/24 -- Samuel Chanson <chanson@cs.ust.hk>
• International Masters Programme in Computational Logic
  99/02/24 -- cladv@pikas.inf.tu-dresden.de (CL Advertisement)
• CRL Report Announcement
  99/02/24 -- burns@raid.cas.mcmaster.ca (Doris Burns)
• TOOLS USA '99 - Last Call for Submissions
  99/02/24 -- "Karen Ouellette" <karen@tools.com>
• ETAPS'99: register now! NEW: Panel discussion on funding policy
  99/02/25 -- Don Sannella <dts@dcs.ed.ac.uk>
• Ask for Postdoc or Visiting Fellowship or Faculty position: More than 10 yrs research on compound semiconductors, have joined more than 10 projects as team member or project leader, more than thirty papers as first author (most of them were published in English at International Conferences or international
  99/02/26 -- yjhan@red.semi.ac.cn
• CFP LPAR'99: Logic for Programming and Automated Reasoning
  99/02/26 -- Andrei Voronkov <voronkov@csd.uu.se>
• 2nd Annoucemet 5BLM & &KGC
  99/02/27 -- Rafel Farre <farre@grec.upc.es>