science.types (date)

science.types (date)

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

News | FAQ | advertise