science.types (date)
<
Prev Period
]
[
Next Period
>
September 30, 2005
Paper: "Contextual Modal Type Theory"
,
Brigitte Pientka
Geocal06: call for participation
,
regnier-YrJ6uwBEqj+NMqqgB3vDxg
Paper: A compositional natural semantics and Hoare logic for low-level languages
,
Tarmo Uustalu
September 26, 2005
ICALP 2006 -- Preliminary Call For Papers
,
ICALP 2006
Preliminary Call for Papers: QAPL @ ETAPS06 (Vienna)
,
Herbert Wiklicky
September 22, 2005
Re: A geometry problem for proof systems
,
Andrew Myers
Re: A geometry problem for proof systems
,
Peter Freyd
A geometry problem for proof systems
,
Yong Luo
Paper: The essence of dataflow programming
,
Tarmo Uustalu
September 21, 2005
Submission Deadline Extension -- ESHOL WS at LPAR 2005
,
Christoph Benzmueller
[verimag-news ] SPIN 2006 - call for papers
,
Susanne Graf
CFP: PLAN-X 2006
,
Anders Møller
September 16, 2005
Job opening in Microsoft on program analysis and security defect detection
,
Ramanathan Venkatapathy
FOSSACS 2006 --- Call for Papers
,
Luca Aceto
September 15, 2005
Postdoc in Chicago - Joint Project between DePaul and Bell Labs
,
James Riely
urgent: 2 "ricercatore" positions in Bologna
,
Davide Sangiorgi
PostDoc position in Bologna
,
Davide Sangiorgi
Call for Participation APLAS'05
,
Kwangkeun Yi
September 13, 2005
Technical report on typed OO-FP programming
,
Ralf Lammel
September 09, 2005
SPACE 2006: Call for Papers
,
David Walker
September 07, 2005
ESOP 2006 Call for papers
,
Peter Sestoft
September 06, 2005
FLOPS 2006: Eighth International Symposium on Functional and Logic Programming
,
Philip Wadler
September 02, 2005
Extended Deadline - ACM SAC'06: Software Verification Track
,
Lunjin Lu
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise