science.types (date)
<
Prev Period
]
[
Next Period
>
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
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise