AMAST Mail - February 1999
Last updated: Fri Mar 19 08:01:12 99
40 messages in chronological order
-
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>
[
January 1999 |
March 1999 |
Latest Update |
AMAST Mail Meta-Index |
AMAST Mail 1999 |
AMAST
]
Mail converted by MHonArc 1.2.3