science.types (thread)

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
ICALP 2006 -- Preliminary Call For Papers, ICALP 2006
Preliminary Call for Papers: QAPL @ ETAPS06 (Vienna), Herbert Wiklicky
A geometry problem for proof systems, Yong Luo
- Re: A geometry problem for proof systems, Peter Freyd
  - Re: A geometry problem for proof systems, Andrew Myers
Paper: The essence of dataflow programming, Tarmo Uustalu
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
Job opening in Microsoft on program analysis and security defect detection, Ramanathan Venkatapathy
FOSSACS 2006 --- Call for Papers, Luca Aceto
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
Technical report on typed OO-FP programming, Ralf Lammel
SPACE 2006: Call for Papers, David Walker
ESOP 2006 Call for papers, Peter Sestoft
FLOPS 2006: Eighth International Symposium on Functional and Logic Programming, Philip Wadler
Extended Deadline - ACM SAC'06: Software Verification Track, Lunjin Lu