2010 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Mon Jan 4 08:35:30 EST 2010
Ending: Fri Dec 24 13:27:17 EST 2010
Messages: 496

• [TYPES/announce] PCC 2010 -- Call for Papers   Kai Brünnler
• [TYPES/announce] PLDI 2010: Call for Tutorials   Michael Hicks
• [TYPES/announce] MFPS 26 - call for papers   Peter Selinger
• [TYPES/announce] Post-Doc position in the CerCo FET-Open EU Project   Claudio Sacerdoti Coen
  • [TYPES/announce] PhD student in the FormMath project   Herman Geuvers
• [TYPES/announce] Call for Bids (ITP 2011)   Lawrence Paulson
• [TYPES/announce] New draft textbook on practical Coq   Adam Chlipala
• [TYPES/announce] Call for Papers Reminder: The First Scala Workshop - Scala Days 2010   Antonio Cunei
• [TYPES/announce] Request for comments: Two-phase reviewing for POPL   swarat at cse.psu.edu
  • [TYPES/announce] Request for comments: Two-phase reviewing for POPL   Norman Ramsey
• [TYPES/announce] ITRS 2010: Call for papers   Betti Venneri
• [TYPES/announce] CiE 2010 - Final Call for Papers   S B Cooper
• [TYPES/announce] Last CfP for TGC 2010: EXTENDED deadline Jan. 20th, 2010   Roberto Bruni
• [TYPES/announce] Final Call for Bids (ITP 2011)   Matt Kaufmann
• [TYPES/announce] DCM 2010 in Edinburgh - First Call for Papers   S B Cooper
• [TYPES/announce] Two phase reviewing for POPL; a response   Simon Peyton-Jones
  • [TYPES/announce] Two phase reviewing for POPL; a response   Matthias Blume
  • [TYPES/announce] Two phase reviewing for POPL; a response   Kim Bruce
  • [TYPES/announce] Two phase reviewing for POPL; a response   Robert Harper
  • [TYPES/announce] Two phase reviewing for POPL; a response   Matthias Felleisen
    • [TYPES/announce] Two phase reviewing for POPL; a response   Sophia Drossopoulou
      • [TYPES/announce] Two phase reviewing for POPL; a response   martin odersky
      • [TYPES/announce] Two phase reviewing for POPL; a response   Sophia Drossopoulou
    • [TYPES/announce] Two phase reviewing for POPL; a response   Derek Dreyer
      • [TYPES/announce] Two phase reviewing for POPL; a response   James Cheney
    • [TYPES/announce] Two phase reviewing for POPL; a response   Andrew Myers
      • [TYPES/announce] Two phase reviewing for POPL; a response   Michael Hicks
      • [TYPES/announce] Two phase reviewing for POPL; a response   Andrew Myers
  • [TYPES/announce] Two phase reviewing for POPL; a response   Prakash Panangaden
    • [TYPES/announce] Two phase reviewing for POPL; a response   Mitchell Wand
    • [TYPES/announce] Two phase reviewing for POPL; a response   Michael Mislove
      • [TYPES/announce] Two phase reviewing for POPL; a response   Riccardo Pucella
      • [TYPES/announce] Two phase reviewing for POPL; a response   Jamie Andrews
      • [TYPES/announce] Two phase reviewing for POPL; a response   Alain Girault
      • [TYPES/announce] Two phase reviewing for POPL; a response   Vladimiro Sassone
    • [TYPES/announce] Two phase reviewing for POPL; a response   Manuela Bujorianu
  • [TYPES/announce] Two phase reviewing for POPL; a response   Harry Mairson
  • [TYPES/announce] Two phase reviewing for POPL; a response   Philip Wadler
    • [TYPES/announce] Two phase reviewing for POPL; a response   Stefan Monnier
      • [TYPES/announce] Two phase reviewing for POPL; a response   Rod Moten
      • [TYPES/announce] Two phase reviewing for POPL; a response   Jonathan Aldrich
      • [TYPES/announce] Two phase reviewing for POPL; a response   Christopher Dutchyn
    • [TYPES/announce] Two phase reviewing for POPL; a response   Philip Wadler
  • [TYPES/announce] Two phase reviewing for POPL; a response   Matthias Felleisen
• [TYPES/announce] AMAST (Algebraic Methodology and Software Technology) CFP   Michael Johnson
• [TYPES/announce] 4 PhD positions in Formalization of Mathematics in Type Theory   Thierry Coquand
• [TYPES/announce] tenure track assistant professorships at Chalmers   Peter Dybjer
• [TYPES/announce] reviewing, conference presentations, conference vs journal publications   Deepak Kapur
  • [TYPES/announce] reviewing, conference presentations, conference vs journal publications   Greg Morrisett
• [TYPES/announce] CS2Bio'10 - First Call for Papers   Angelo Troina
• [TYPES/announce] Two phase reviewing for POPL; a response   Alessio Guglielmi
  • [TYPES/announce] Two phase reviewing for POPL; a response   Derek Dreyer
    • [TYPES/announce] Two phase reviewing for POPL; a response   Robert Harper
    • [TYPES/announce] Two phase reviewing for POPL; a response   Alessio Guglielmi
      • [TYPES/announce] Two phase reviewing for POPL; a response   Michael Hicks
      • [TYPES/announce] Two phase reviewing for POPL; a response   Alessio Guglielmi
      • [TYPES/announce] Two phase reviewing for POPL; a response   Adam Chlipala
• [TYPES/announce] Two phase reviewing for POPL; a response   David Walker
  • [TYPES/announce] Two phase reviewing for POPL; a response   Derek Dreyer
• [TYPES/announce] DICE 2010 workshop -- Call for short presentations   Patrick Baillot
• [TYPES/announce] Two PhD positions in theoretical computer science   Marcello M. Bonsangue
• [TYPES/announce] CFP: Workshop on Program Semantics, Specification and Verification (PSSV 2010, June 14-15, 2010 in Kazan, Russia)   shilov at iis.nsk.su
• [TYPES/announce] Proposed changes to POPL review process   Rajeev Alur
  • [TYPES/announce] Proposed changes to POPL review process   Philip Wadler
    • [TYPES/announce] Proposed changes to POPL review process   Derek Dreyer
    • [TYPES/announce] Proposed changes to POPL review process   Francois Pottier
• [TYPES/announce] POPL Review Process   Martin Rinard
• [TYPES/announce] 2nd CfP: LOPSTR 2010   Temur Kutsia
• [TYPES/announce] PLACES'10: deadline extension   Kohei Honda
• [TYPES/announce] ITP-10: Call for Rough Diamonds   Matt Kaufmann
• [TYPES/announce] LAST REMINDER - CALL FOR PAPERS: TOOLS EUROPE 2010   Osmar Marchi dos Santos
• [TYPES/announce] CFP: First International Workshop on Programming Methods for Mobile and Pervasive Computing (PMMPS 10)   Dominic Duggan
• [TYPES/announce] Spring School in Generic and Indexed Programming   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] Openings at IMDEA-Software, Madrid, Spain   Aleksandar Nanevski
• [TYPES/announce] PhD studies in Computer Science at Bath   Guy McCusker
• [TYPES/announce] 3-year faculty position at Cambridge (Programming/Logic/Semantics)   Peter Sewell
• [TYPES/announce] Calculemus 2010: First Call for Papers   david.delahaye at cnam.fr
• [TYPES/announce] (PN) [STACS] First Call for Participation   Jean-Yves Marion
• [TYPES/announce] CfP: PPDP 2010   Temur Kutsia
• [TYPES/announce] Reviewing for POPL: a concrete proposal   Simon Peyton-Jones
• [TYPES/announce] Reviewing for POPL: a concrete proposal   David Walker
  • [TYPES/announce] Reviewing for POPL: a concrete proposal   Alain Girault
    • [TYPES/announce] Reviewing for POPL: a concrete proposal   S. Doaitse Swierstra
• [TYPES/announce] SPIN 2010 Call for Papers   Michael Weber
• [TYPES/announce] CfP: Workshop on Rewriting Techniques for Real-Time Systems (Spitsbergen/polar bears/EPTCS proceedings)   Peter Csaba Ölveczky
• [TYPES/announce] CfP: Midlands Graduate School in the Foundations of Computing Science   Mike Stannett
• [TYPES/announce] MSCS Special Issue - Mechanization of Mathematics   Andrea Asperti
• [TYPES/announce] 6th Workshop on Categories, Logic and Foundations of Physics, Oxford, 9th March 2010   Bob Coecke
• [TYPES/announce] Post-doctoral position at VERIMAG, Grenoble, France   Radu Iosif
• [TYPES/announce] Call for Papers: COORDINATION 2010   Dave Clarke
• [TYPES/announce] CS2Bio'10 - Second Call for Papers (Invited Speakers Updated)   Angelo Troina
  • [TYPES/announce] CS2Bio'10 - Final Call for Papers (Submission deadline extended)   Angelo Troina
  • [TYPES/announce] CS2Bio'10 - Second Call for Papers (Invited Speakers Updated)   Angelo Troina
• [TYPES/announce] ICTCS 2010 preliminary CFP   moggi at disi.unige.it
• [TYPES/announce] PAR 2010: First CFP   Ana Bove
• [TYPES/announce] CFP UNIF 2010 at FLoC (Edinburgh, 14 July)   Maribel Fernandez
• [TYPES/announce] ETAPS 2010: Call For Participation   Joost-Pieter Katoen
• [TYPES/announce] Postdoctoral position at INRIA Grenoble, France   Pierre Geneves
• [TYPES/announce] 2nd Call for Papers IWS2010   Munoz, Cesar Augusto (LARC-D320)
• [TYPES/announce] LATA 2010: early registration deadline   carlos.martin at urv.cat
• [TYPES/announce] 2nd Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr '10   Eduardo Zambon
• [TYPES/announce] Workshop on Logic and Computational Complexity (LCC'10)   Simona Ronchi della Rocca
• [TYPES/announce] Postdoctoral Research Fellows in, Methods of Model-Based Design and, Verification (UNU-IIST)   Xinyu Feng
• [TYPES/announce] Ph.D. positions at the IT University of Copenhagen   Lars Birkedal
• [TYPES/announce] NASSLLI 2010: CALL FOR PARTICIPATION   Joey Frazee
• [TYPES/announce] call for papers: IFIP-TCS 2010   Vladimiro Sassone
• [TYPES/announce] OOPSLA 2010 Call For Papers   Martin Rinard
• [TYPES/announce] CSR 2010 Workshop on High Productivity Computations, Kazan, Russia, June 21-22 2010.   Bob Coecke
• [TYPES/announce] Call for papers: User Interfaces for Theorem Provers, UITP 2010   Claudio Sacerdoti Coen
• [TYPES/announce] Final Call for Participation: BYTECODE 2010   David Pichardie
• [TYPES/announce] Jobs in Program Analysis R&D   Don Sannella
• [TYPES/announce] PDMC 2010 Call for Papers   Michael Weber
• [TYPES/announce] Workshop on Higher-Order Recursion Schemes & Pushdown Automata   Paweł Urzyczyn
• [TYPES/announce] Call for Papers: Haskell Symposium 2010   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] ICE 2010: First call for papers   A.M.Silva at cwi.nl
• [TYPES/announce] Second Call for Papers: PLAS 2010, Toronto, Canada   Anindya Banerjee
• [TYPES/announce] HOR'2010 - 2nd CFP   Eduardo Bonelli
• [TYPES/announce] Third Summer School on Trends in Concurrency   Jan Vitek
• [TYPES/announce] SBLP 2010 - 1st Call for Paper   Christiano Braga
• [TYPES/announce] ICTAC 2010: FINAL Call for Papers   Christiano Braga
• [TYPES/announce] CFP: 7th workshop on QUANTUM PHYSICS AND LOGIC (QPL), Oxford University, May 29-30, 2010.   Bob Coecke
• [TYPES/announce] *** FLOPS 2010: Call for Participation ***   Matthias Blume
• [TYPES/announce] Two phase reviewing for POPL; a response   Stavros Tripakis
  • [TYPES/announce] Two phase reviewing for POPL; a response   Roberto Di Cosmo
• [TYPES/announce] Galop V @ ETAPS 2010: Call for participation   Olivier Laurent
• [TYPES/announce] Internship Positions at DOCOMO USA Labs   Dachuan Yu
• [TYPES/announce] OWASP AppSec Research deadline extended to March 7   Andrei Sabelfeld
• [TYPES/announce] PLMMS 2010 Call for Papers   Lucas Dixon
• [TYPES/announce] Chair and Readership in Computer Security and Algorithms and Computational Complexity   Philip Wadler
• [TYPES/announce] CFP Types postproceedings   Tom Hirschowitz
• [TYPES/announce] CMCS 2010: Call for Short Submissions & Call for Participation   A.M.Silva at cwi.nl
• [TYPES/announce] CFP - MASPEGHI 2010   Erik Ernst
• [TYPES/announce] Theory workshop at VSTTE 2010 - call for papers   David Naumann
• [TYPES/announce] Post-doctoral positions in Formal Verification / Software Analysis / Hybrid Systems at Penn   Rajeev Alur
• [TYPES/announce] Post-doc position at Paris 13   Damiano Mazza
• [TYPES/announce] WGP 2010 Call for Papers   Bruno Oliveira
• [TYPES/announce] Call for Votes on bids to host ITP-2011   Matt Kaufmann
• [TYPES/announce] Higher-Order Flow Analysis (HOFA) Forum   David Van Horn
• [TYPES/announce] DEPENDENTLY TYPED PROGRAMMING 2010 (CFP)   Thorsten Altenkirch
• [TYPES/announce] DICE @ ETAPS 2010: call for participation   Patrick Baillot
• [TYPES/announce] Call for papers: FCS-PrivMod 2010   Deepak Garg
• [TYPES/announce] 2nd CFP: Analysis and Programming Languages for Web Apps and Cloud Apps 2010   Stephen Chong
• [TYPES/announce] CFP: MMM-ACNS 2010   Andrei Sabelfeld
• [TYPES/announce] Call for Papers: 20th WADT (Workshop on Algebraic Development Techniques)   Till Mossakowski
• [TYPES/announce] CFP: NASSLLI 2010 Student Session   Joey Frazee
• [TYPES/announce] ICFP 2010: Second call for papers   Wouter Swierstra
• [TYPES/announce] Postdocs and PhD positions - Formal methods in computational systems and synthetic biology, ETH Zurich   Koeppl Heinz
• [TYPES/announce] Calculemus 2010: Deadline Extension and Final Call for Papers   david.delahaye at cnam.fr
• [TYPES/announce] ETAPS 2010: Final Call For Participation   Joost-Pieter Katoen
• [TYPES/announce] MSFP: Call for Papers   Venanzio Capretta
• [TYPES/announce] PhD position in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [TYPES/announce] FICS 2010 -- call for papers   Luigi Santocanale
• [TYPES/announce] Lectures on inter-disciplinary analysis of cyber-physical systems   Manuela Bujorianu
• [TYPES/announce] University of Oregon Programming Languages Summer School   Robert Harper
• [TYPES/announce] CFP: Call for papers, Coq Workshop (Edinburgh, July 9)   Yves Bertot
• [TYPES/announce] CFP CICLOPS-WLPE 2010 at FLoC (Edinburgh, 15 July)   German Vidal
• [TYPES/announce] 2nd CfP: PPDP'10   Temur Kutsia
• [TYPES/announce] ITRS 2010 - 2nd CFP   Betti Venneri
• [TYPES/announce] SecReT 2010   Steve Kremer
• [TYPES/announce] Result of Call for Votes on bids to host ITP-2011   Matt Kaufmann
• [TYPES/announce] Call for Participation NFM 2010   Munoz, Cesar Augusto (LARC-D320)
• [TYPES/announce] deadline extension: IFIP TCS 2010   Vladimiro Sassone
• [TYPES/announce] Workshop on ML 2010 - Call for Content   Matthew Fluet
• [TYPES/announce] CFP: iFM 2010   Stephan Merz
• [TYPES/announce] SPIN 2010 2nd Call for Papers   Michael Weber
• [TYPES/announce] PLAS 2010: Final call for papers   Deepak Garg
• [TYPES/announce] MFPS XXVI, in Ottawa (May 6--10): call for participation   Philip Scott
• [TYPES/announce] PAR'10 at FLOC'10: 2nd CFP   Ana Bove
• [TYPES/announce] Proof Systems for Program Logics 2010: call for talks   Alex Simpson
• [TYPES/announce] GT-VMT 2010: cfp   Emilio Tuosto
• [TYPES/announce] Logic Colloquium 2010   Thomas Ehrhard
• [TYPES/announce] PLACES'10: call for participation   Kohei Honda
• [TYPES/announce] CfP: Proof-Search in Type Theories (PSTT'10)   Stephane Lengrand (Work)
• [TYPES/announce] LFMTP 2010 at FLoC: Call for Papers   Marino Miculan
• [TYPES/announce] Scientific Programmer Vacancy   Herman Geuvers
• [TYPES/announce] ICTAC'10: Deadline extension   Christiano Braga
• [TYPES/announce] LFMTP 2010 at FLoC: Call for Papers (CORRECT DATES)   Marino Miculan
• [TYPES/announce] LOLA 2010 -- call for contributed talks   Paul-Andre Mellies
• [TYPES/announce] CFP: SSV'10 @ USENIX OSDI 2010   Gerwin Klein
• [TYPES/announce] LECTURESHIPS IN (THEORETICAL) COMPUTER SCIENCE   Roy Crole
• [TYPES/announce] Call for Papers DCM 2010   Prakash Panangaden
• [TYPES/announce] CMSB 2010 - Second Call For Papers   Paola Quaglia
• [TYPES/announce] Formal Techniques for Java-like Program (FTFJP) 2010 --- Call for Papers   Nikhil Swamy
• [TYPES/announce] Deadline extension: PPDP'10   Temur Kutsia
• [TYPES/announce] Call for Posters: MLQA 2010 - Models and Logics for Quantitative Analysis   Michael Smith
• [TYPES/announce] New Book on "Parallel Programming"   Gerstner, Ralf, Springer DE
• [TYPES/announce] Last CfP: LOPSTR'10   Temur Kutsia
• [TYPES/announce] MALOA PhD position in logic at ENS Lyon   Olivier Laurent
• [TYPES/announce] CFP: Call for papers, Coq Workshop (deadline March 22nd)   Yves Bertot
• [TYPES/announce] CiE 2010 - Call for Participation and Informal Presentations   S B Cooper
• [TYPES/announce] SOS `10 call for papers   Pawel Sobocinski
• [TYPES/announce] ICE 2010: Final call for papers (Submission deadline extended)   A.M.Silva at cwi.nl
• [TYPES/announce] Open Postdoc and PhD positions at University of Marburg, Germany   Klaus Ostermann
• [TYPES/announce] NASSLLI 2010: Open for Registration   Joey Frazee
• [TYPES/announce] E. W. Beth Dissertation Prize: 2010 call for nominations   Richard Moot
• [TYPES/announce] HOR'2010 - Extended deadline   Eduardo Bonelli
• [TYPES/announce] ICFP 2010: Final Call for Papers   Wouter Swierstra
• [TYPES/announce] Final CFP: Analysis and Programming Languages for Web Apps and Cloud Apps 2010   Stephen Chong
• [TYPES/announce] APLAS 2010 Call For Papers   Kazunori UEDA
• [TYPES/announce] PAR'10 at FLOC'10: -- Final CFP   Ana Bove
• [TYPES/announce] Proof Systems for Program Logics 2010: student grants available   Alex Simpson
• [TYPES/announce] LOPSTR 2010: Deadline extension   Temur Kutsia
• [TYPES/announce] IWS 2010: Extended Deadline   Munoz, Cesar Augusto (LARC-D320)
  • [TYPES/announce] IWS 2010: Call for Participation   Munoz, Cesar Augusto (LARC-D320)
• [TYPES/announce] 1 PhD and 1 Post-Doc at CNRS - Ecole Polytechnique   Stephane Lengrand (Work)
• [TYPES/announce] RADICAL: workshop on data, types, languages at MSR Cambridge, May 10-11   Andy Gordon (MSR)
• [TYPES/announce] 3 years PhD position at CNRS in Computational Biology   Cedric Lhoussaine
• [TYPES/announce] QICS School: Foundational Structures in Quantum Comp & Inf, May 24-28, Oxford (followed by Quantum Physics and Logic workshop)   Bob Coecke
• [TYPES/announce] DEPENDENTLY TYPED PROGRAMMING 2010 (CFP)   Thorsten Altenkirch
• [TYPES/announce] UNIF 2010: submission deadline extended   Laurent Vigneron
• [TYPES/announce] summer school on Coq   Francesco Zappa Nardelli
• [TYPES/announce] Extended Deadline: ITRS 2010   Betti Venneri
• [TYPES/announce] ICFP 2010 deadline   Wouter Swierstra
• [TYPES/announce] Funding opportunity - Foundational Questions   S Barry Cooper
• [TYPES/announce] Deadline Extension for DCM 2010, FLoC affiliated workshop   Prakash Panangaden
• [TYPES/announce] Program Director positions (programming languages & formal methods) application deadline May 3, 2010   Michael Hicks
• [TYPES/announce] Multiparadigm Programming with OO Languages (MPOOL) Workshop - Call for papers   Gavin Bierman
• [TYPES/announce] TFP 2010 - Final Call: Submission deadline one week away, April 9   TFP 2010
• [TYPES/announce] LOPSTR'10: New deadline for extended abstract submission   Temur Kutsia
• [TYPES/announce] MSFP: last call for papers   Venanzio Capretta
• [TYPES/announce] LFMTP 2010 at FLoC: extended deadline   Marino Miculan
• [TYPES/announce] Final Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr '10   Eduardo Zambon
• [TYPES/announce] SPIN 2010 Last Call for Papers   Michael Weber
• [TYPES/announce] Assistant professorship in Natural Language Technology in Gothenburg, Sweden   Bengt Nordstrom
• [TYPES/announce] SBLP 2010   Christiano Braga
• [TYPES/announce] Workshop on Logic and Computational Complexity (LCC '10)   Ronchi Della Rocca Simona
• [TYPES/announce] Deadline Extended: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)   jun sun
• [TYPES/announce] CfP: Proof-Search in Type Theories (PSTT'10)   Stephane Lengrand (Work)
• [TYPES/announce] Amir Pnueli Memorial Symposium, NYU, May 7-9, 2010   Christopher L Conway
• [TYPES/announce] CFP - MASPEGHI 2010 (1 Week)   Erik Ernst
• [TYPES/announce] WWV'10: Deadline extension   Temur Kutsia
• [TYPES/announce] 2nd CFP Types postproceedings   Tom Hirschowitz
• [TYPES/announce] 2nd Scottish Category Theory Seminar   Alex Simpson
• [TYPES/announce] Call for participation: QICS School, May 24-28, Oxford   Ross Duncan
• [TYPES/announce] Oregon Programming Languages Summer School : Expanded Enrollment and Extended Deadline   Robert Harper
• [TYPES/announce] LOLA 2010 -- final call for contributed talks   Nick Benton
• [TYPES/announce] Deadline Extension!! Proof-Search in Type Theories (PSTT'10)   Stephane Lengrand (Work)
• [TYPES/announce] PAR-10 call for participation and informal presentations   Ana Bove
• [TYPES/announce] PhD position in programming languages and formal proof   Randy Pollack
• [TYPES/announce] Workshop "Realizability in Chambéry"   Pierre Hyvernat
• [TYPES/announce] FMSPLE 2010 - First Call for Papers   Ina Schaefer
• [TYPES/announce] Final Call For Submissions Doctoral Symposium and PhD Students Workshop ECOOP 2010   Beatrice Åkerblom
• [TYPES/announce] Coq-workshop: Call for informal presentations   Yves Bertot
• [TYPES/announce] CFP - MASPEGHI 2010 - 1 week extension   Erik Ernst
• [TYPES/announce] Automatheo 2010 at FLoC: Final Call for Papers, Talks, and System Demonstrations   Lucas Dixon
• [TYPES/announce] ESSLLI 2011 Call for Course and Workshop Proposals   Ralph Matthes
• [TYPES/announce] Positions in formal methods at NASA   Ewen Denney
• [TYPES/announce] Coq-Workshop: Call for informal presentations (updated information)   Yves Bertot
• [TYPES/announce] 2nd CfP: 20th WADT - deadline April, 30th   Till Mossakowski
• [TYPES/announce] University of Oslo: PhD Position in Formal Methods.   Peter Csaba Ölveczky
• [TYPES/announce] PCC 2010 Second Call for Papers   Kai Brünnler
• [TYPES/announce] PASTE 2010 Call for Participation   Sorin Lerner
• [TYPES/announce] 5th International School on Rewriting, Call for Participation   Vincent van Oostrom
• [TYPES/announce] Initial MALOA Training Workshop September 2010, Fischbachau   Peter Schuster
• [TYPES/announce] CfP: WORKSHOP RP'2010   Alexander Kurz
• [TYPES/announce] E.W. Beth Dissertation Award 2010 - deadline extended   Richard Moot
• [TYPES/announce] First Call for papers for the workshop Classical Logic and Computation (CL&C'10) - 21-22 August 2010 - Brno, Czech Republic   Stefano Berardi
• [TYPES/announce] Call for Participation: FLoC Workshop on Modules and Libraries for Proof Assistants   Florian Rabe
• [TYPES/announce] LSFA 2010 - Call for papers   Christiano Braga
• [TYPES/announce] ICE 2010: Call for short contributions and participation   A.M.Silva at cwi.nl
• [TYPES/announce] PhD offer on categorical logic (University of Bordeaux, INRIA Grant)   retore
• [TYPES/announce] FICS 2010: 2nd Call for Contributions   Luigi Santocanale
• [TYPES/announce] CfP: 20th WADT - deadline extended to May, 10th   Till Mossakowski
• [TYPES/announce] MeCBIC 2010: 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi   Gabriel Ciobanu
• [TYPES/announce] WGP 2010 Second Call for Papers   Bruno Oliveira
• [TYPES/announce] PCAs 2010: a LICS-FLoC 2010 workshop   Phil Scott
• [TYPES/announce] ICTCS 2010 last CFP   moggi at disi.unige.it
• [TYPES/announce] PAR'10: Call for Participation   Ana Bove
• [TYPES/announce] PSPL 2010: Programme, registration and student grants   Alex Simpson
• [TYPES/announce] MSCS Special Issue - Mechanization of Mathematics (second call)   Andrea Asperti
• [TYPES/announce] SCTS (Edinburgh, 21st May): Programme and call for participation   Alex Simpson
• [TYPES/announce] HOR'2010 (Affiliated with RTA'2010) - Call for participation   Eduardo Bonelli
• [TYPES/announce] ITRS 2010: Call for Participation and Programme   Betti Venneri
• [TYPES/announce] DTP 2010: call for participation   Thorsten Altenkirch
• [TYPES/announce] PLAS 2010: Call for participation   Deepak Garg
• [TYPES/announce] Coq-Workshop: Call for informal presentations (updated information)   Yves Bertot
• [TYPES/announce] *SOS 2010* 2nd call for papers   Pawel Sobocinski
• [TYPES/announce] LFMTP 2010 at FLoC: Call for participation   Marino Miculan
• [TYPES/announce] Postdoc / PhD position in Computer Science, McGill University   Brigitte Pientka
• [TYPES/announce] CiE 2010 - Call for Participation and Informal Presentations   S B Cooper
• [TYPES/announce] SecReT 2010 Call for Participation   Steve Kremer
• [TYPES/announce] iFM 2010: final CFP and deadline extension   Stephan Merz
• [TYPES/announce] Calculemus 2010: Deadline Extension for Emerging Trends   david.delahaye at cnam.fr
• [TYPES/announce] CICLOPS-WLPE 2010 at FLoC: Call for Participation   German Vidal
• [TYPES/announce] MLQA 2010 - Models and Logics for Quantitative Analysis: Call for Posters and Participation   Michael Smith
• [TYPES/announce] [Cfp] Coq Workshop, Edinburgh, July 9, Program and call for participation   Yves Bertot
• [TYPES/announce] LOLA 2010 Programme and call for participation   Nick Benton
• [TYPES/announce] UNIF 2010 at FLoC - 14 July 2010 - Call for participation   Maribel Fernandez
• [TYPES/announce] 2nd CFP: SSV'10 @ USENIX OSDI 2010   Gerwin Klein
• [TYPES/announce] (PN) Call for participation: VTSA 2010 Summer School on Verification Technology, Systems & Applications   Jun PANG
• [TYPES/announce] PhD studentships in compiler and language design for high-performance, massively parallel systems   Stephan Herhut
• [TYPES/announce] Call for Participation - The Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'10)   jun sun
• [TYPES/announce] Second Call for Papers CL&C'10   Steffen van Bakel
• [TYPES/announce] Automatheo 2010 at FLoC: Call for Participation and Registration   Lucas Dixon
• [TYPES/announce] Call for Paper: The 3rd International Symposium on Unifying Theories of Programming   jun sun
• [TYPES/announce] Call for abstracts: Workshop on Mechanizing Metatheory   Benjamin Pierce
• [TYPES/announce] Extended deadline: SBLP 2010   Jonathan Aldrich
• [TYPES/announce] Call for Participation: 20th WADT, July 1-4, 2010   Till Mossakowski
• [TYPES/announce] Haskell in Leipzig (HaL5)   Matthias-Christian Ott
• [TYPES/announce] EXTENDED DEADLINE: VSTTE workshops on Theory and on Experiments & Tools   David Naumann
• [TYPES/announce] CFP: ICFEM 2010, Shanghai   jun sun
• [TYPES/announce] Workshop on ML 2010 - Call for Content   Matthew Fluet
• [TYPES/announce] APLAS 2010 Second Call For Papers   Kazunori UEDA
• [TYPES/announce] ECOOP 2010 in Maribor   Stephan Herrmann
• [TYPES/announce] Book announcement: Transitions and Trees - An Introduction to Structural Operational Semantics   Hans Hüttel
• [TYPES/announce] LOPSTR/PPDP 2010 Call for Participation   Temur Kutsia
• [TYPES/announce] Types Meeting 2010   Pawel Urzyczyn
• [TYPES/announce] FICS 2010, last call for contributions   Luigi Santocanale
• [TYPES/announce] CFP: Modularity Constructs in Programming Languages (Special issue of TAOSD)   Klaus Ostermann
• [TYPES/announce] YR-CONCUR 2010 (Call for Papers)   Bas Luttik
• [TYPES/announce] Final Call for Paper: The 3rd International Symposium on Unifying Theories of Programming (UTP 2010 Shanghai)   jun sun
• [TYPES/announce] LC 2010 extended early registration deadline   Thomas Ehrhard
• [TYPES/announce] Logical and Semantic Frameworks, with Applications (LSFA'10) - new deadline   Christiano Braga
• [TYPES/announce] CFP Formal Aspects of Component Software (FACS 2010)   Christiano Braga
• [TYPES/announce] Deadline Extended: ICFEM 2010, Shanghai   jun sun
• [TYPES/announce] CFP: SAC 2011 track on Service Oriented Architectures and Programming (SOAP)   Fabrizio Montesi
• [TYPES/announce] CFP: SPLASH doctoral symposium   Gary T. Leavens
• [TYPES/announce] Cfp: Software Verification and Testing at ACM SAC 2011   Jan Cederquist
• [TYPES/announce] CFP LSFA 2010 (Extended Deadline 7th June)   flavio leonardo cavalcanti de moura
• [TYPES/announce] CfP: SAC 2011 Track on Coordination Models, Languages and Applications   Matteo Casadei
• [TYPES/announce] MRes Studentship in Swansea   Markus Roggenbach
• [TYPES/announce] Deadline extension: SSV'10   Gerwin Klein
• [TYPES/announce] Final Call for Papers: Haskell Symposium 2010   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] Scott in Scotland: Tuesday 29th June, Edinburgh   Alex Simpson
• [TYPES/announce] Release of version 0.5 of the ULTRA type error slicer for SML   rahli vincent
• [TYPES/announce] 2nd CfP 4th MeCBIC, 23-24 August, Jena (Germany)   Gabriel Ciobanu
• [TYPES/announce] BLC 2010   E.Ritter at cs.bham.ac.uk
• [TYPES/announce] FINAL CALL FOR POSTERS - MLQA 2010: Models and Logics for Quantitative Analysis   Michael Smith
• [TYPES/announce] VECoS' 2010 - Call for Participation   Bruno Monsuez
• [TYPES/announce] PDMC 2010 2nd Call for Papers   Michael Weber
• [TYPES/announce] LSFA 2010 Deadline extension June 13th!!   flavio leonardo cavalcanti de moura
• [TYPES/announce] CFP: AOSD 2011: Perspectives on Modularity   Atsushi Igarashi
• [TYPES/announce] Postdoc position in Grenoble (CRI / INRIA)   Alain Girault
• [TYPES/announce] CICM 2010 Call for Participation   david.delahaye at cnam.fr
• [TYPES/announce] Calculemus 2010: Call for Participation   david.delahaye at cnam.fr
• [TYPES/announce] workshop on Curry Howard for Concurrency - 28-30 June, Lyon, France   Emmanuel Beffara
• [TYPES/announce] FICS 2010 : submission deadline extension (June 20)   Luigi Santocanale
• [TYPES/announce] CMSB 2010 - call for posters   Paola Quaglia
• [TYPES/announce] POPL 2011: Call for Papers   Swarat Chaudhuri
• [TYPES/announce] UTP 2010 Shanghai - Deadline Extension   jun sun
• [TYPES/announce] LOPSTR/PPDP 2010 Early Registration Deadline: June 21   Temur Kutsia
• [TYPES/announce] Fully-funded PhD in programming languages at Oxford   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] CFP - WoLLIC 2011, May 18-21, Philadelphia   Ruy de Queiroz
• [TYPES/announce] VTSA 2010 summer school: 2nd Call for participants   Jun PANG
• [TYPES/announce] OOPS track at SAC 2011: Call for Papers   Davide Ancona
• [TYPES/announce] Special Issue of Quantitative Aspects of Programming Languages and Systems   Gethin Norman
• [TYPES/announce] CfP 2nd Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU) @ SPLASH/Onward!   Shane Markstrum
• [TYPES/announce] Workshop on ML 2010 - Extended Submission Deadline   Matthew Fluet
• [TYPES/announce] Lecture Series by John Power   Neil Ghani
• [TYPES/announce] TLDI 2011 Call For Papers   Stephanie Weirich
• [TYPES/announce] CfP: FOOL '10, Foundations of Object-Oriented Languages   Jeremy Siek
• [TYPES/announce] 2nd Cfp: Software Verification and Testing at ACM SAC 2011   Jan Cederquist
• [TYPES/announce] [2nd CfP] SAC 2011 Track on Coordination Models, Languages and Applications   Matteo Casadei
• [TYPES/announce] ICDCIT -- 2011, Bhubaneswar, India, Call for papers   N. Raja
• [TYPES/announce] LC2010 registration deadline extension   Thomas Ehrhard
• [TYPES/announce] Second CFP: SAC 2011 track on Service Oriented Architectures and Programming   Manuel Mazzara
• [TYPES/announce] CfPart ICGT and SPIN, 27 Sep - 2 Oct 2010 at University of Twente, The Netherlands   Arend Rensink
• [TYPES/announce] Call for Papers: VMCAI'11   Dave Schmidt
• [TYPES/announce] Postdoctoral Positions on Computational Logic   Frank Pfenning
• [TYPES/announce] Final call for abstracts: Workshop on Mechanizing Metatheory   Benjamin Pierce
• [TYPES/announce] PhD Position in Automated Reasoning Using Machine Learning (vacancy ?number 62.58.10)   freek
• [TYPES/announce] BLC 2010 2nd Call for Participation   E.Ritter at cs.bham.ac.uk
• [TYPES/announce] Call for Papers for ACM PLPV 2011   Ranjit Jhala
  • [TYPES/announce] Second Call for Papers for ACM PLPV 2011   Ranjit Jhala
• [TYPES/announce] PEPM'11 Call for Papers   Jeremy Siek
• [TYPES/announce] Postdoctoral positions on logic-based ensemble programming   Iliano Cervesato
• [TYPES/announce] OOPS track at SAC 2011: 2nd Call for Papers   Davide Ancona
• [TYPES/announce] PhD grant in Grenoble (France) on advanced dataflow programming for embedded systems at INRIA and ST Microelectronics   Alain Girault
• [TYPES/announce] ICFP 2010: Call for participation   Wouter Swierstra
• [TYPES/announce] CFP for Workshop on Curricula and Concurrency and Parallelism at SPLASH (Oct 2010)   Vijay Saraswat
• [TYPES/announce] MSFP call for participation   Venanzio Capretta
• [TYPES/announce] MAP 2010: Mathematics, Algorithms, Proofs, Logrono (Spain), 8-12 Nov 2010   Peter Schuster
• [TYPES/announce] ETAPS 2011: First Call for Papers   Joost-Pieter Katoen
• [TYPES/announce] CFPart : iFM 2010   Stephan Merz
• [TYPES/announce] [Last CfP] SAC 2011 Track on Coordination Models, Languages and Applications   Matteo Casadei
• [TYPES/announce] Workshop on ML 2010 - Call for Participation   Matthew Fluet
• [TYPES/announce] Call for participation: Workshop on Mechanizing Metatheory   Benjamin Pierce
• [TYPES/announce] Open Research Professor positions   Bruno Oliveira
• [TYPES/announce] GAMES 2010: Call for Participation   James Worrell
• [TYPES/announce] ULTRA type error slicer for SML: version 0.6 and TECHNICAL REPORT   rahli vincent
• [TYPES/announce] Software Verification and Testing at ACM SAC 2011: Deadline extended   Jan Cederquist
• [TYPES/announce] [DEADLINE EXTENSION] SAC 2011 track on Service Oriented Architectures and Programming   Manuel Mazzara
• [TYPES/announce] [Deadline Extension] SAC 2011 Track on Coordination Models, Languages and Applications   Matteo Casadei
• [TYPES/announce] ICFP '10: Final call for participation   Wouter Swierstra
• [TYPES/announce] OOPS track at SAC 2011: Deadline Extension   Davide Ancona
• [TYPES/announce] Postdoc opportunities at UPenn, Harvard, and Northeastern   Benjamin Pierce
• [TYPES/announce] One year of Electronic Proceedings in Theoretical Computer Science (EPTCS)   Luca Aceto
• [TYPES/announce] CUFP 2010 Call for Participation   yminsky
• [TYPES/announce] Haskell 2010 Call for Participation   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] MSFP - early registration: 30 August   Venanzio Capretta
• [TYPES/announce] Categories, Logic and Foundations of Physics (CLP)   Bob Coecke
• [TYPES/announce] Types'10 - Call for Participation   Pawel Urzyczyn
• [TYPES/announce] Full Professor Position Announcement   Christophe Fouquere
• [TYPES/announce] Post-Doc and PhD positions - Semantics of Real-World Computer Systems   Peter Sewell
• [TYPES/announce] New PhD position in MDE at Bergen University College   Adrian Rutle
• [TYPES/announce] Call for papers: HotSWUp III   Michael Hicks
• [TYPES/announce] PhD position at the Software Technology group at Utrecht University   Atze Dijkstra
• [TYPES/announce] FACS 2010 - Doctoral Symposium: Call for Contributions   Christiano Braga
• [TYPES/announce] TLDI 2011: 2nd Call For Papers   Stephanie Weirich
• [TYPES/announce] Searching for MT-LAB Phd students   Andrzej Wąsowski
• [TYPES/announce] Post Doctoral Position in Formal Methods at Cornell University   Stephanie Weirich
• [TYPES/announce] Call for Paper: TLCA'11, 1-3 June 2011, Novi Sad   Luke Ong
• [TYPES/announce] Assistant Professor position at University Paris Diderot   Roberto Di Cosmo
• [TYPES/announce] Final CfPart ICGT and SPIN, 27 Sep - 2 Oct 2010 at University of Twente, The Netherlands   Eduardo Zambon
• [TYPES/announce] Call for papers : DICE 2011   Jean-Yves Marion
• [TYPES/announce] PhD Scholarships at the IT University of Copenhagen   Carsten Schuermann
• [TYPES/announce] SPLASH/OOPSLA 2010 Call for Participation (Early registration until Sept 22)   William Cook
• [TYPES/announce] RDP 2011 -- Call For Workshop Proposals   Luca Paolini
• [TYPES/announce] Post Doctoral Position in Formalization of Mathematics   Thierry Coquand
• [TYPES/announce] [fm-announcements] RV 2010 - Second Call for Participation   Havelund, Klaus (316D)
• [TYPES/announce] QAPL 2011 First Call For Papers   Gethin Norman
• [TYPES/announce] "logic, categories, semantics" Bordeaux November 12-13   retore
• [TYPES/announce] Postdoc in category theory/quantum foundations in Oxford/Singapore   Bob Coecke
• [TYPES/announce] STOP'11 Call for Papers   Tobias Wrigstad
• [TYPES/announce] [fm-announcements] NFM 2011 : Second Call for Papers   Havelund, Klaus (316D)
• [TYPES/announce] A Combinatory Account of Internal Structure   Barry Jay
• [TYPES/announce] CRASH/SAFE postdoc opportunities at Penn, Harvard, and Northeastern   Benjamin C. Pierce
• [TYPES/announce] Special Issue of Quantitative Aspects of Programming Languages and Systems   Gethin Norman
  • [TYPES/announce] Type theory at IAS   Vladimir Voevodsky
• [TYPES/announce] FOOL 2010 Call for Participation   Jeremy Siek
• [TYPES/announce] PhD position in Computational Systems Biology, ETH Zurich   Koeppl Heinz
• [TYPES/announce] ETAPS 2011 Call for Papers   Joost-Pieter Katoen
• [TYPES/announce] TLDI 2011: Final CALL FOR PAPERS   Stephanie Weirich
• [TYPES/announce] Tableaux 2011 First Call for Papers   Kai Brünnler
• [TYPES/announce] CFP MSCS Issue: Dependently Typed Programming   Conor McBride
• [TYPES/announce] PhD place at the FP lab, Nottingham   Thorsten Altenkirch
• [TYPES/announce] SSFLA 2011   carlos.martin at urv.cat
• [TYPES/announce] 17 openings at IMT Lucca (Italy)   Marzia Buscemi
• [TYPES/announce] LATA 2011: first call for papers   carlos.martin at urv.cat
• [TYPES/announce] Third Scottish Category Theory Seminar   Neil Ghani
• [TYPES/announce] CfP: Special Issue APAL on "Classical Logic and Computation"   Steffen van Bakel
• [TYPES/announce] Foundations of nominal techniques   murdoch gabbay
• [TYPES/announce] Article on (Conversation) Types for Multiparty Distributed Services   Hugo Torres Vieira
• [TYPES/announce] Lecturer in Automated Verification, University of Southampton   Michael J Butler
• [TYPES/announce] PostDoc and PhD Positions at Yale University   Zhong Shao
• [TYPES/announce] APLAS 2010 Call For Participation   Kazunori UEDA
• [TYPES/announce] ICFP 2011: Call for Workshop Proposals   Wouter Swierstra
• [TYPES/announce] 2012-2013 special program at IAS   Vladimir Voevodsky
• [TYPES/announce] 2nd call for papers: HotSWUp III   Michael Hicks
• [TYPES/announce] PhD Studentship in Foundations of Secure Web Programming at Imperial College London   Sergio Maffeis
• [TYPES/announce] STOP'11 CFP -- Extended Deadline Nov 8th   Tobias Wrigstad
• [TYPES/announce] 3 years research assistant position in TCS, LMU Munich   Martin Hofmann
• [TYPES/announce] MEMOCODE 2011 Call for Papers   Alain Girault
• [TYPES/announce] PhD and Post Doc position on ERC project Verifcation of Concurrent Data Structures (U. Twente, Netherlands)   Marieke Huisman
• [TYPES/announce] logic, categories, semantics - Bordeaux 12-13 nov.   retore
• [TYPES/announce] SBLP 2011: Call For Papers   Christiano Braga
• [TYPES/announce] LATA 2011: 2nd call for papers   carlos.martin at urv.cat
• [TYPES/announce] EAPLS PhD Award 2010: Call for Nominations   Arend Rensink
• [TYPES/announce] IMLA11: Call for Papers   Valeria de Paiva
• [TYPES/announce] ASPLOS 2011 Call for Posters   Soner Onder
• [TYPES/announce] CALL FOR PAPERS for ASPLOS Workshops ASSMA, GPGPU, and WoDET   Soner Onder
• [TYPES/announce] [fm-announcements] NASA Formal Methods Symposium - NFM 2011 : Third Call for Papers   Havelund, Klaus (317J)
• [TYPES/announce] QAPL 2011 Second Call For Papers   Gethin Norman
• [TYPES/announce] HAS at ETAPS'2011   Manuela Bujorianu
• [TYPES/announce] Call for Papers: MSCS Special Issue on PCA's, Realizability, and Computability   Philip Scott
• [TYPES/announce] CFP: MISS 2011 workshop (ex ACP4IS) at AOSD 2011   Bram Adams
• [TYPES/announce] Foundation Sciences Mathematiques de Paris: post-doc and post-graduate programs   Thomas Ehrhard
• [TYPES/announce] NII Shonan Meetings - Call for seminar proposals   Soichiro Hidaka
• [TYPES/announce] PhD and Postdoc Positions in Language-based Security at Chalmers   Andrei Sabelfeld
• [TYPES/announce] 16th Estonian Winter School in Comput. Sci., Call for Partic.   Tarmo Uustalu
• [TYPES/announce] Information and Computation special issue on security and rewriting   Steve Kremer
• [TYPES/announce] Call for Participation - PEPM'11 (co-located with POPL'11)   Jeremy Siek
• [TYPES/announce] TLDI 2011 Call for participation   Stephanie Weirich
• [TYPES/announce] New: Algorithmic Randomness and Complexity   S Barry Cooper
• [TYPES/announce] ARSPA-WITS 2011 - deadline extension   Sebastian Alexander Mödersheim
• [TYPES/announce] Second call for papers : DICE 2011 / ETAPS   Jean-Yves Marion
• [TYPES/announce] CFP: The Second Scala Workshop - Scala Days 2011   Antonio Cunei
• [TYPES/announce] Reminder: EAPLS PhD Award 2010: Call for Nominations (deadline 31-12-2010)   Arend Rensink
• [TYPES/announce] lectureship at Imperial   Gardner, Philippa A
• [TYPES/announce] PhD opportunities in Computer Science at Bath   Guy McCusker
• [TYPES/announce] ICFP 2011: Call for papers   Wouter Swierstra
• [TYPES/announce] POPL 2011: Call for participation   Swarat Chaudhuri
• [TYPES/announce] Places 2011 - Call for Papers   Vasco T. Vasconcelos
• [TYPES/announce] Postdoctoral position in concurrency/parallel programming/verification at Penn State   Swarat Chaudhuri
• [TYPES/announce] PhD position available on the DMPL project at Bergen Language Design Laboratory (BLDL)   Magne Haveraaen
• [TYPES/announce] [fm-announcements] NFM 2011 - Deadline extension   Havelund, Klaus (317J)
• [TYPES/announce] SBLP 2011 - 2nd. call for papers   Christiano Braga
• [TYPES/announce] DICE 2011 : Extended deadline and publication information   Jean-Yves Marion
• [TYPES/announce] Post-doc opportunity: Verification of Time Sensitive Safety Critical Systems using High Performance Computing   Hao Wang
• [TYPES/announce] Postdoctoral Fellowship in Formal Methods for Wireless Systems   Massimo Merro
• [TYPES/announce] Post-doctoral position in coalgebraic logic at DFKI Bremen   Lutz Schroeder
• [TYPES/announce] CiE 2011 - 2nd call for papers: Deadline 14 January 2011   S Barry Cooper
• [TYPES/announce] CfP: FCT 2011 - Fundamentals of Computer Theory, 18th International Symposium   Cristian Prisacariu
• [TYPES/announce] CIT-11 conference announcement   Apostolos Syropoulos
• [TYPES/announce] 1st CFP Trends in Functional Programming 2011   Ricardo Peña
• [TYPES/announce] ASPLOS 2011 Travel Grants   Soner Onder
• [TYPES/announce] LATA 2011: final call for papers   carlos.martin at urv.cat
• [TYPES/announce] TAMC 2011, Tokyo, Japan - SECOND CALL FOR PAPERS   S Barry Cooper
• [TYPES/announce] TACL 2011, first call for papers   luigi.santocanale at lif.univ-mrs.fr
• [TYPES/announce] ITP 2011 (Preliminary Call for Papers)   Freek Wiedijk
• [TYPES/announce] Post-Doc at Carnegie Mellon   Steve Awodey
• [TYPES/announce] International Workshop: DATICS-ISPA'11 (EI Indexed)   SS DATICS
• [TYPES/announce] PhD position in probabilistic processes and modal logic   Bas Luttik
• [TYPES/announce] Call for Papers: CICM conference 2011 (= MKM 2011 + Calculemus 2011)   Florian Rabe
• [TYPES/announce] TLCA 2011 --- Last Call for Papers   Luca Paolini
• [TYPES/announce] SSFLA 2011: 2nd call   carlos.martin at urv.cat

Last message date: Fri Dec 24 13:27:17 EST 2010
Archived on: Fri Dec 24 13:29:28 EST 2010

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...