science.types (date)

science.types (date)

October 30, 2005

COORDINATION 2006: Preliminary Call for Papers, Herbert Wiklicky

October 27, 2005

FMOODS 06: 1st Call for Papers, Martin Steffen

October 25, 2005

Stevens / Columbia / IBM Research Security & Privacy Day, Dominic Duggan

October 21, 2005

research position in logic and discrete maths, rené david

October 20, 2005

Call for Demonstration Proposals - PLAN-X 2006, Anders Møller
HM(x) vs Theory of Qualified Types, Martin Sulzmann
CfP: AiML 2006, Alexander Kurz

October 19, 2005

HM(x) vs Theory of Qualified Types, robert dockins
CLA call for papers, René David

October 18, 2005

Research position in Coalgebras and Formal Verification at Southampton, Corina Cirstea
Research Job: Compositional Analysis for Mobility & Concurrency @ Heriot-Watt U., Scotland, UK, Joe Wells
Claire Jones, Gordon Plotkin

October 13, 2005

Research Position at DoCoMo USA Labs, Ajay Chander

October 12, 2005

workshop on invertibility of terms -- call for registration, barral

October 11, 2005

Workshop on Logic programming and concurrency, Lutz Strassburger
sabbatical positions 2005-12, D.FILROM - CARLOS MARTIN VIDE
CFP: TERMGRAPH 2006, Ian Mackie

October 07, 2005

PhD Studentship available, Alexander Kurz
PhD grant: Computational Applications of Nominal Sets, Maribel Fernandez
CFP: Workshop on Implicit Computational Complexity (Geocal'06), Patrick Baillot

October 06, 2005

Natural Language and Knowledge Representation/Reasoning (CFP), Jana Sukkarieh
FOSSACS 2006 --- Final CFP, Luca Aceto
CSL'06 workshops and Ackermann Award, Computer Science Logic '06 Conference

October 04, 2005

EATCS AWARD 2006, Mariangiola Dezani

October 03, 2005

research positions 2005-11, D.FILROM - CARLOS MARTIN VIDE

October 01, 2005

CFP: WORKSHOP ON SOFTWARE VERIFICATION AND VALIDATION, zijiang . yang-PheikujVRdqHXe+LvDLADg
CFP: PLAN-X 2006 - deadline extended, Anders Møller

News | FAQ | advertise