2009 Archives by subject
Starting: Sat Jan 3 12:54:38 EDT 2009
Ending: Tue Dec 29 11:43:31 EDT 2009
Messages: 508
- [TYPES/announce] (2nd) Call for FLoC 2010 Workshops
Michael Norrish
- [TYPES/announce] (Deadline extended to October 5th) APLAS 2009 Call for Posters
Kiminori Matsuzaki
- [TYPES/announce] (no subject)
Oege de Moor
- [TYPES/announce] (no subject)
Stephanie Weirich
- [TYPES/announce] *** extended deadline: FLOPS 2010: Last Call for Papers ***
Matthias Blume
- [TYPES/announce] *** FLOPS 2010: 2nd Call for Papers ***
Matthias Blume
- [TYPES/announce] *** FLOPS 2010: Last Call for Papers ***
Matthias Blume
- [TYPES/announce] 1 Postdoc and 1 PhD vacancy in the MathWiki project
Herman Geuvers
- [TYPES/announce] 10 PhD, PostDoc, and Engineering Positions in EU Formal Methods
Davide Sangiorgi
- [TYPES/announce] 14th Estonian Winter School in Computer Science, Last Call for Partic
Tarmo Uustalu
- [TYPES/announce] 15th Estonian Winter School in Comput. Sci., Call for Partic.
Tarmo Uustalu
- [TYPES/announce] 1st CfP: Workhop on Rewriting Logic and its Applications 2010 (* Springer LNCS proceedings + journal special issue *)
Peter Csaba Ölveczky
- [TYPES/announce] 2 Call For Papers(Deadline Extended): ISDT2009
jiezhou at sei.ecnu.edu.cn
- [TYPES/announce] 2010 X10 Innovation Awards program announcement
Robert M. Fuhrer
- [TYPES/announce] 2012 - THE ALAN TURING YEAR
S Barry Cooper
- [TYPES/announce] 22nd IEEE Computer Security Foundations Symposium (CSF): Call For Participation
Scott Stoller
- [TYPES/announce] 2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)
Janis Voigtlaender
- [TYPES/announce] 2nd Call for Participation - Midlands Graduate School in the Foundations of Computing Science 2009
Roy L. Crole
- [TYPES/announce] 2nd CFP --- VeCoS 09 --- 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems
Bruno Monsuez
- [TYPES/announce] 2nd CFP Stacs
Jean-Yves Marion
- [TYPES/announce] 2nd CFP: FMA - Formal Methods for Aerospace
Manuela Bujorianu
- [TYPES/announce] 2nd CfP: ICTAC'09
Martin Leucker
- [TYPES/announce] 2nd CFP: IWOCE 2009 (Open Component Ecosystems), 24/08/09 Amsterdam
IWOCE 2009
- [TYPES/announce] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science
Temur Kutsia
- [TYPES/announce] 2nd CfP: ML Workshop 2009
Andreas Rossberg
- [TYPES/announce] 2nd Cfp: PCC09
David Pichardie
- [TYPES/announce] 2nd CFP: PLAS 2009
Stephen Chong
- [TYPES/announce] 2nd CFP: PLOS '09: 5th Workshop on Programming Languages and Operating Systems
Eric Eide
- [TYPES/announce] 2nd CfP: RAOOL at ECOOP'09
Stephanie Balzer
- [TYPES/announce] 2nd CFP: Second Workshop on Hot Topics in Software Upgrades (HotSWUp 2009)
Iulian Neamtiu
- [TYPES/announce] 2nd CFP: TLDI 2010
Andrew Kennedy
- [TYPES/announce] 2nd CFP: WWV 2009
Temur Kutsia
- [TYPES/announce] 2nd CfPart FM 2009 + tutorials and workshops: Early registration deadline 19 Oct
Arend Rensink
- [TYPES/announce] 3 full professor positions at DIKU
Fritz Henglein
- [TYPES/announce] 3 RA positions and 2 PhD positions for Web Services, London, Uk
kohei at dcs.qmul.ac.uk
- [TYPES/announce] 3rd CfP: RAOOL at ECOOP'09
Stephanie Balzer
- [TYPES/announce] 6 funded PhD studentships in Computer Science, Swansea. UK
Anton Setzer
- [TYPES/announce] [Call for Papers] Coordination Models, Languages, and Applications (CM) Special Track at SAC 2010 (Sierre, Switzerland)
Matteo Casadei
- [TYPES/announce] [CfP] ACP4IS at AOSD 2010
Daniel Lohmann
- [TYPES/announce] [CFP] ESSLLI 2010 Call for Course and Workshop Proposals
Carlos Areces
- [TYPES/announce] [CfP] NASSUE-2009, Seoul, Korea; Deadline: Jan 31, 2009
NASSUE 2009
- [TYPES/announce] [CFP]Int'l Workshop on Network Assurance and Security Services in Ubiquitous Environments (NASSUE-2009); Due: Jan 31, 2009
NASSUE2009
- [TYPES/announce] [CFP]International Workshop on Network Assurance & Security Services in Ubiquitous Environments NASSUE-2009, Seoul, Korea; Deadline: Jan 31, 2009
NASSUE2009
- [TYPES/announce] [Deadline Extension] SAC 2010, Special Track on Coordination Models, Languages and Application (CM)
Matteo Casadei
- [TYPES/announce] [FMICS 2009] Call for Posters
FMICS 2009 workshop chair
- [TYPES/announce] [FMICS 2009] Deadline Extension to 10 April
FMICS 2009 workshop chair
- [TYPES/announce] [FMICS 2009] Deadline Extension to 20 April
fmics2009 at dsic.upv.es
- [TYPES/announce] [FMICS 2009] Fourth Call for Papers
FMICS 2009 workshop chair
- [TYPES/announce] [FMICS 2009] Third Call for Papers
FMICS 2009 workshop chair
- [TYPES/announce] [STACS] First Call for Participation
Jean-Yves Marion
- [TYPES/announce] [TYPES] 2nd CALL FOR PAPERS : UML&FM2009
Isabelle Perseil
- [TYPES/announce] a workshop on commutativity of diagrams, Toulouse
soloviev at irit.fr
- [TYPES/announce] About The Computer Journal
Vladimiro Sassone
- [TYPES/announce] ACM-BCS Visions of Computer Science 2010
Philip Wadler
- [TYPES/announce] Additional 20% Off Sale – This Weekend Only
Men's Health
- [TYPES/announce] AFM '09 Call for Papers
Natarajan Shankar
- [TYPES/announce] AITO Dahl-Nygaard Awards for 2010
Vasco T. Vasconcelos
- [TYPES/announce] Analysis and Programming Languages for Web Apps and Cloud Apps 2010
Stephen Chong
- [TYPES/announce] announcement: ISDT2009
Jie Zhou
- [TYPES/announce] announcement: ISDT2009
Jie Zhou
- [TYPES/announce] Assistant professor (UD) in the Algebra & Logica group (Radboud University Nijmegen, NL)
Herman Geuvers
- [TYPES/announce] Assistant professor position in formal methods and proofs
Mamoun FILALI-AMINE
- [TYPES/announce] assoc. prof. opening at IT University of Copenhagen
Lars Birkedal
- [TYPES/announce] ATVA 2009: 2nd Call for Papers
Jun PANG
- [TYPES/announce] ATVA 2009: Call for participants
Jun PANG
- [TYPES/announce] Automated Formal Methods '09: Second Call For Papers
Natarajan Shankar
- [TYPES/announce] BASICS 2009 International Workshop on Computation and Interaction: Call for Participation
Deng.Yuxin at pps.jussieu.fr
- [TYPES/announce] BLC 2009 meeting
Anton Setzer
- [TYPES/announce] BLC 2009: Call for Participation
Ulrich Berger
- [TYPES/announce] British Colloquium for Theoretical Computer Science
Sara Kalvala
- [TYPES/announce] BYTECODE 2010 - Second Call for Papers
David Pichardie
- [TYPES/announce] BYTECODE 2010 Call for Papers
David Pichardie
- [TYPES/announce] CADE-22 last call for papers
Carsten Schuermann
- [TYPES/announce] CALCO 09: Call for Participation
Ivan Scagnetto
- [TYPES/announce] Call for Bids, ESSLLI 2011
Carlos Areces
- [TYPES/announce] Call for contributions: FLACOS'09
gerardo
- [TYPES/announce] Call for FLoC 2010 Workshops
Michael Norrish
- [TYPES/announce] Call For Paper : Workshop Composition & Variability at AOSD'2010
Philippe.LAHIRE at unice.fr
- [TYPES/announce] Call For Papers (902) : (HPCC-09, ISA-09, CPI-09, CIT-09, ScalCom-09, CSE-09, CloudCom-09, ISPAN-09)
Robert C. Hsu
- [TYPES/announce] Call For Papers (MUE-09, ISA-09, HPCC-09, SSDU-09, CPI-09, CIT-09, ScalCom-09, CSE-09, CloudCom-09, ISPAN-09)
Robert C. Hsu
- [TYPES/announce] CALL FOR PAPERS - The Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)
jun sun
- [TYPES/announce] Call for papers -- 11th Workshop on Formal Techniques for Java-like Programs, Genova, Italy
Anindya Banerjee
- [TYPES/announce] Call for Papers YR-CONCUR'09
Joost-Pieter Katoen
- [TYPES/announce] call for papers: 6th International Workshop on Web Services and Formal Methods
Cosimo Laneve
- [TYPES/announce] Call for Papers: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09)
Alain Girault
- [TYPES/announce] Call For Papers: APLAS (Korea, Dec 14-16, 2009)
Zhenjiang Hu
- [TYPES/announce] Call for Papers: Coordination'09
Herbert Wiklicky
- [TYPES/announce] Call for Papers: Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)
Martin Steffen
- [TYPES/announce] Call for Papers: Evaluation and Usability of Programming Languages and Tools (PLATEAU) 2009
Shane Markstrum
- [TYPES/announce] Call for Papers: HPC Symposium 2009 (Mar del Plata, Argentina)
Ricardo Medel
- [TYPES/announce] Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr '10
Eduardo Zambon
- [TYPES/announce] Call for Papers: IWS 2010
Munoz, Cesar Augusto (LARC-D320)
- [TYPES/announce] Call for Papers: MeCBIC 2009 (satellite event CONCUR 2009)
Gabriel Ciobanu
- [TYPES/announce] Call for Papers: NASSUE-2009 in conjunction with ISA 2009
NASSUE 2009
- [TYPES/announce] Call for Papers: PLPV 2010
Jean-Christophe Filliâtre
- [TYPES/announce] Call for Papers: PLPV 2010
Jean-Christophe Filliâtre
- [TYPES/announce] Call for Papers: Relationships and Associations in Object-Oriented Languages (RAOOL'09)
Stephanie Balzer
- [TYPES/announce] Call For Papers: SBLP 2009
Andre Rauber Du Bois
- [TYPES/announce] Call for papers: special issue MSCS
Lorenzo Tortora de Falco
- [TYPES/announce] Call for papers: SVT at ACM SAC 2010
Jan Cederquist
- [TYPES/announce] Call for papers: TFP 2009
Johan Jeuring
- [TYPES/announce] Call for Papers: TLDI 2010
Andrew Kennedy
- [TYPES/announce] CALL FOR PAPERS: TOOLS EUROPE 2010
Osmar Marchi dos Santos
- [TYPES/announce] CALL FOR PAPERS: TOOLS EUROPE 2010
Osmar Marchi dos Santos
- [TYPES/announce] Call For Papers: VMCAI 2010, Madrid, January 17-19, 2010
Gilles Barthe
- [TYPES/announce] Call for Papers: VSTTE 2009
Jean-Christophe Filliâtre
- [TYPES/announce] Call for papers: Workshop on Termination (WST 2009)
voigt at tcs.inf.tu-dresden.de
- [TYPES/announce] Call for Participation - PEPM'10 (co-located with POPL'10)
voigt at tcs.inf.tu-dresden.de
- [TYPES/announce] Call for Participation -- Quantitative Model Checking PhD School
Joost-Pieter Katoen
- [TYPES/announce] Call for Participation: 11th Workshop on Formal Techniques for Java-like Programs (FTfJP'09), Genova, Italy
Anindya Banerjee
- [TYPES/announce] Call for participation: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09)
Alain Girault
- [TYPES/announce] Call For Participation: APLAS 2009 (Korea, Dec 14-16)
Zhenjiang Hu
- [TYPES/announce] Call for Participation: Coordination'09 - Lisbon, 9-11 June 2009
Herbert Wiklicky
- [TYPES/announce] Call for Participation: Distributed Computing Techniques: DisCoTec 2009 (DAIS + FMOODS/FORTE + COORDINATION), Lisbon, 9-12 June 2009, student grants available
Martin Steffen
- [TYPES/announce] Call for Participation: Modules and Libraries for Proof Assistants (CADE workshop)
Florian Rabe
- [TYPES/announce] Call for Participation: PLPV 2010
Jean-Christophe Filliâtre
- [TYPES/announce] Call for Participation: Symposium in Honor of Mitchell Wand
Dave Herman
- [TYPES/announce] Call for Participation: TLDI'10
Andrew Kennedy
- [TYPES/announce] Call for Participation: VSTTE 2009
Jean-Christophe Filliâtre
- [TYPES/announce] Call for Posters: APLAS 2009
Kiminori Matsuzaki
- [TYPES/announce] Call for Workshop Proposals: ICGT/SPIN 2010
Eduardo Zambon
- [TYPES/announce] CAM-CAD, Toulouse (2-nd announcement)
soloviev at irit.fr
- [TYPES/announce] CATS 2010 Call for papers
Alex Potanin
- [TYPES/announce] Certified Complexity at PPS (Paris): Post-Doc + PhD
Roberto Amadio
- [TYPES/announce] Cfc: CALCO-jnr 2009: CALCO Young Researchers Workshop, Udine, Italy
Monika Seisenberger
- [TYPES/announce] CFP - PASTE 2010: 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Sorin Lerner
- [TYPES/announce] CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation)
vmcai10-announce at clip.dia.fi.upm.es
- [TYPES/announce] CFP - VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28
vmcai10-announce at clip.dia.fi.upm.es
- [TYPES/announce] CFP Extension: PLOS '09: 5th Workshop on Programming Languages and Operating Systems
Eric Eide
- [TYPES/announce] Cfp FBTC 2010, From Concurrency To Biology and back
Paola Quaglia
- [TYPES/announce] CfP for ESSLLI 2010: deadline September 7
Sophia Katrenko
- [TYPES/announce] CFP Haskell Symposium 2009
Stephanie Weirich
- [TYPES/announce] CFP Haskell Symposium 2009
Stephanie Weirich
- [TYPES/announce] CFP MSCS special issue Commutativity of Categorical Diagrams
Ralph Matthes
- [TYPES/announce] CFP special issue of JAR
urban at mathematik.uni-muenchen.de
- [TYPES/announce] CFP VeCoS'09: deadline extended to April, 10
Bruno Monsuez
- [TYPES/announce] CFP workshop DICE 2010 (*extended deadline*)
Patrick Baillot
- [TYPES/announce] CFP workshop DICE 2010 (Developments in Implicit Computational complExity)
Patrick Baillot
- [TYPES/announce] CFP WRS 2009 - Workshop on Reduction Strategies in Rewriting and Programming, Brasilia, 28 June
Maribel Fernandez
- [TYPES/announce] CFP, FSTTCS 2009
K. Narayan Kumar
- [TYPES/announce] CfP-2: FM 2009 Doctoral Symposium (Deadline July 24)
Arend Rensink
- [TYPES/announce] CFP: 19th International Workshop on Functional and (Constraint) Logic Programming
Julio Mariño y Carballo
- [TYPES/announce] CfP: 5th Intl. Symposium on Trustworthy Global Computing
Gefei Zhang
- [TYPES/announce] CFP: 8th Tbilisi Symposium
Temur Kutsia
- [TYPES/announce] CFP: Advances in Modal Logic 2010
Carlos Areces
- [TYPES/announce] cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy
Marina Lenisa
- [TYPES/announce] CfP: Deadline extension, 8th Tbilisi Symposium
Temur Kutsia
- [TYPES/announce] CFP: Extended Deadline for Int'l Workshop on Network Assurance & Security Services in Ubiquitous Environments NASSUE-2009, Seoul, Korea
NASSUE2009
- [TYPES/announce] CFP: First Workshop on Curricula in Concurrency and Parallelism OOPSLA 2009
Vijay Saraswat
- [TYPES/announce] CFP: Foundations of Aspect-Oriented Languages (FOAL) 2010
Gary T. Leavens
- [TYPES/announce] CfP: Fourth Working Conference on Programming Languages (ATPS'09)
Janis Voigtlaender
- [TYPES/announce] CfP: HPC Symposium 2009 (deadline extended 1 week)
Ricardo Medel
- [TYPES/announce] CFP: HyLo 2009
Carlos Areces
- [TYPES/announce] CFP: Int. Workshop on Program Understanding (19-22 June, Russia)
shilov at iis.nsk.su
- [TYPES/announce] CFP: International Symposium on Memory Management 2010
Kevin Hoffman
- [TYPES/announce] CFP: JACIL Special Issue on Unification
Temur Kutsia
- [TYPES/announce] CFP: JFP Special Issue on Generic Programming
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] CFP: LJ of the IGPL Special Issue on Hybrid Logics
Carlos Areces
- [TYPES/announce] CFP: LJ of the IGPL Special Issue on Hybrid Logics
Carlos Areces
- [TYPES/announce] CFP: LOPSTR 2010
Temur Kutsia
- [TYPES/announce] CfP: ML 2009
rossberg at ps.uni-sb.de
- [TYPES/announce] CFP: NASA Formal Methods Symposium 2010
Munoz, Cesar Augusto (LARC-D320)
- [TYPES/announce] CFP: NASSUE-2009 in conjunction with ISA'09; Deadline: Feb 19, 2009 (Final Extension)
Binod Vaidya
- [TYPES/announce] CFP: OOPS at ACM SAC 2010, details on the PC are now available
Davide Ancona
- [TYPES/announce] CFP: OWASP AppSec Research 2010 (Stockholm, Sweden)
Andrei Sabelfeld
- [TYPES/announce] CFP: PLAS 2010
Deepak Garg
- [TYPES/announce] CFP: PLOS '09: 5th Workshop on Programming Languages and Operating Systems
Eric Eide
- [TYPES/announce] CFP: Proof-Search in Type Theories 09
"Stéphane Lengrand (Work)"
- [TYPES/announce] CfP: QNET - Oxford - 10/11 Dec
Ross Duncan
- [TYPES/announce] CfP: RAOOL at ECOOP'09
Stephanie Balzer
- [TYPES/announce] CfP: Scheme Workshop 2009
John Clements
- [TYPES/announce] CfP: SCSS 2009
Temur Kutsia
- [TYPES/announce] CFP: Second Workshop on Hot Topics in Software Upgrades (HotSWUp 2009)
Iulian Neamtiu
- [TYPES/announce] CFP: Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning
Lujo Bauer
- [TYPES/announce] CFP: The First Scala Workshop - Scala Days 2010
Antonio Cunei
- [TYPES/announce] Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming
Santiago Escobar
- [TYPES/announce] CfP: Winter school on game semantics and linear logic, in Lyon
Patrick Baillot
- [TYPES/announce] CFP: Workshop on Functional and (Constraint) Logic Programming WFLP2010
Julio Mariño
- [TYPES/announce] CFP: Workshop on the Theory and Practice of Provenance (TaPP '10)
James Cheney
- [TYPES/announce] CfPart: FM 2009, 2-7 November 2009
Arend Rensink
- [TYPES/announce] CfPart: ICTAC'09
Martin Leucker
- [TYPES/announce] CfParticipation: FOPARA
Olha Shkaravska
- [TYPES/announce] CiE 2009 - Call for Participation and Informal Presentations
S B Cooper
- [TYPES/announce] CiE 2009: COMPUTABILITY IN EUROPE 2009 - Final Call for Papers
S B Cooper
- [TYPES/announce] CMCS 2010 Pre-announcement/call for papers
Alexandra Silva
- [TYPES/announce] CMCS 2010: Final call for papers
A.M.Silva at cwi.nl
- [TYPES/announce] CMCS 2010: First call for papers
A.M.Silva at cwi.nl
- [TYPES/announce] CMSB 2010 - Preliminary Call For Papers
Paola Quaglia
- [TYPES/announce] Conference in Uppsala, May 5-8: Philosophy and Foundations of Mathematics (2nd announcement)
Peter Dybjer
- [TYPES/announce] Contest: how to combine logics?
N. Raja
- [TYPES/announce] CRA-W/CDC PLOSA Workshop - Application deadline January 23rd
Stephanie Weirich
- [TYPES/announce] CSL'09: 2nd Call for Papers and Call for Workshop Proposals
Simone Martini
- [TYPES/announce] DBPL 2009: The Symposium for Database Programming Languages
Philippa Gardner
- [TYPES/announce] DCM 2009, Rhodes, Greece - EXTENDED DEADLINE: 7 MAY, 2009
S Barry Cooper
- [TYPES/announce] Deadline extended: Software Verification and Testing at ACM SAC 2010
Jan Cederquist
- [TYPES/announce] Deadline extension - FBTC 2010, From Concurrency To Biology and back
Paola Quaglia
- [TYPES/announce] DEADLINE EXTENSION 08/06/2009: IWOCE 2009 (Open Component Ecosystems)
IWOCE 2009
- [TYPES/announce] Deadline Extension for SD'09 in Bordeaux
Lutz Strassburger
- [TYPES/announce] Deadline extension: 10./ 13. February (abstract / paper deadline). Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION)
Martin Steffen
- [TYPES/announce] Deadline extension: FMA Formal Methods for Aerospace
Manuela Bujorianu
- [TYPES/announce] Deadline extension: SAVCBS 2009
Marieke Huisman
- [TYPES/announce] Deadline extension: WWV 2009
Temur Kutsia
- [TYPES/announce] DEFUN09: Call for Talks & Tutorials (co-located w/ ICFP09)
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] DEFUN09: Final Call for Talks & Tutorials (co-located w/ ICFP09)
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] E. W. Beth Dissertation Prize: 2009 call for submissions
Carlos Areces
- [TYPES/announce] E.W. Beth Dissertation Prize: Extended Deadline
Carlos Areces
- [TYPES/announce] ECOOP 2009 Call for Participation
Dave Clarke
- [TYPES/announce] ECOOP 2009 Call for Participation
Dave Clarke
- [TYPES/announce] ECOOP 2009 call for Posters and Demos
Giovanni Lagorio
- [TYPES/announce] ECOOP 2009 Call for Student Volunteers
Dave Clarke
- [TYPES/announce] ECOOP 2009 Last Call for Workshops and Tutorials
Dave Clarke
- [TYPES/announce] ECOOP'09 Doctoral Symposium: Deadline extended
Stephen Nelson
- [TYPES/announce] EPTCS, a new open access proceedings series
Rob van Glabbeek
- [TYPES/announce] EPTCS, a new open access proceedings series
Paul Levy
- [TYPES/announce] ESSLLI 2009 - Early registration deadline approaching
Richard Moot
- [TYPES/announce] ESSLLI 2009 - Second Call for Participation
Richard Moot
- [TYPES/announce] ESSLLI 2009 Bordeaux: Program and Call for Participation
Richard Moot
- [TYPES/announce] ESSLLI 2009 Call for Participation
Richard Moot
- [TYPES/announce] ETAPS 2009 Final Call for Participation
Joost-Pieter Katoen
- [TYPES/announce] ETAPS 2009: Call for Participation
Joost-Pieter Katoen
- [TYPES/announce] ETAPS 2010: Call for papers
Joost-Pieter Katoen
- [TYPES/announce] ETAPS 2010: Call for Satellite Events
Joost-Pieter Katoen
- [TYPES/announce] ETAPS 2011: Call for Satellite Events
Joost-Pieter Katoen
- [TYPES/announce] EXPRESS'09: call for papers
Daniele Gorla
- [TYPES/announce] EXPRESS'09: extended deadline (one week more for submitting)
Daniele Gorla
- [TYPES/announce] EXPRESS'09: preliminary call for papers
gorla at di.uniroma1.it
- [TYPES/announce] EXTENDED Deadline for Coordination'09
Herbert Wiklicky
- [TYPES/announce] Extended Deadline: 4th International Workshop on Systems Software Verification (SSV 09)
Gerwin Klein
- [TYPES/announce] Extended deadline: OOPS at ACM SAC 2010
Davide Ancona
- [TYPES/announce] Extended deadline: UML&FM2009
Isabelle Perseil
- [TYPES/announce] Extended draft paper submission: TMFCS-09 call for papers
John Edward
- [TYPES/announce] FAST extended deadline: 20 July abstracts, 24 July papers (Formal Aspects of Security and Trust)
Joshua D. Guttman
- [TYPES/announce] FCS'09 -- call for papers
Bugliesi Michele
- [TYPES/announce] FICS'09 2nd Call for papers - Fixed Points in Computer Science (CSL'09 workshop)
Tarmo Uustalu
- [TYPES/announce] FICS'09 Call for papers - Fixed Points in Computer Science (CSL'09 workshop)
Tarmo Uustalu
- [TYPES/announce] Final Call for Papers FM 2009; deadline: 4 May 2009
Arend Rensink
- [TYPES/announce] Final Call for Papers: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09)
Alain Girault
- [TYPES/announce] Final Call for Participation: TLDI'10
Andrew Kennedy
- [TYPES/announce] Final Call for Workshop Proposals: ATVA 2009
Wang Xu
- [TYPES/announce] Final CfP: ICTAC'09 - Last Chance
Martin Leucker
- [TYPES/announce] Final CfP: WRLA 2010 (LNCS proceedings, journal special issue, deadline extension, etc.)
Peter Csaba Ölveczky
- [TYPES/announce] First CFP: AMAI Special Issue
Manuela Bujorianu
- [TYPES/announce] First CFP: FMA - Formal Methods for Aerospace
Manuela Bujorianu
- [TYPES/announce] First CFP: PCC 2009
David Pichardie
- [TYPES/announce] FIRST PhD Autumn School on Modal Logic
Carsten Schuermann
- [TYPES/announce] First public release of ULTRA type error slicer for SML
rahli vincent
- [TYPES/announce] FIT 2009 summer school
Jelena Ivetic
- [TYPES/announce] FLOPS 2010: Preliminary Call for Papers
Matthias Blume
- [TYPES/announce] FM 2009: Accepted Papers
Arend Rensink
- [TYPES/announce] FM 2009: Call for Tutorial Proposals
Arend Rensink
- [TYPES/announce] FM2009: Third Call for Papers
Arend Rensink
- [TYPES/announce] FMICS 2009: Second Call for Papers
FMICS 2009 workshop chair
- [TYPES/announce] FMWS 2009: Formal Methods for Wireless Systems (2nd CFP)
Sebastian Nanz
- [TYPES/announce] FMWS 2009: Formal Methods for Wireless Systems (CFP)
Jens Chr. Godskesen
- [TYPES/announce] FOOL '09: 2nd Call for Participation
Christopher A. Stone
- [TYPES/announce] FOPARA (resource analysis): 2nd call
Olha Shkaravska
- [TYPES/announce] FOPARA'09 -- First Call for Papers
Olha Shkaravska
- [TYPES/announce] FOPARA'09 -- First Call for Papers
CFP
- [TYPES/announce] FOPARA: Third call + extended deadlines
Olha Shkaravska
- [TYPES/announce] For the Types mailing list, please
Roy Dyckhoff
- [TYPES/announce] Formal Aspects of Security and Trust: CFP
Joshua D. Guttman
- [TYPES/announce] Formal Aspects of Security and Trust: Call for Participation
Joshua D. Guttman
- [TYPES/announce] Formal Methods for Aerospace workshop: Call for Participation
Manuela Bujorianu
- [TYPES/announce] FroCoS'09 Call for Papers
Roberto Sebastiani
- [TYPES/announce] FroCoS'09 Final Call for Papers
Roberto Sebastiani
- [TYPES/announce] FroCoS'09: Call for Participation
Roberto Sebastiani
- [TYPES/announce] FSTTCS 2009: Final CFP
K. Narayan Kumar
- [TYPES/announce] Fully-funded doctoral studentships in dependently type programming at Oxford and Strathclyde
Jeremy.Gibbons at comlab.ox.ac.uk
- [TYPES/announce] Fwd: [Third CfP] Coordination Models, Languages, and Applications (CM) Special Track at SAC 2010 (Sierre, Switzerland)
Matteo Casadei
- [TYPES/announce] Fwd: NSF -- Open Call for Participation in Future Internet Architectures Summit
David Walker
- [TYPES/announce] GALOP IV: Submission Deadline Extended
Andrzej Murawski
- [TYPES/announce] Galop V @ ETAPS 2010: call for papers
Olivier Laurent
- [TYPES/announce] Gentle Reminder: IEEE ICWS 2009 Submission Deadline Approaching - 2/15/2009
Jia Zhang
- [TYPES/announce] Graduate student and postdoc opportunities at Dalhousie
Peter Selinger
- [TYPES/announce] GT-VMT 2010: call for papers
Emilio Tuosto
- [TYPES/announce] GT-VMT 2010: deadlines extended
Emilio Tuosto
- [TYPES/announce] GTTSE 2009 --- First call for participation (06-11 July 2009)
João Saraiva
- [TYPES/announce] Haskell Symposium Submission site now open
Stephanie Weirich
- [TYPES/announce] HOR'2010
Eduardo Bonelli
- [TYPES/announce] HyLo09: Deadline Extended till 15th March, 2009
Carlos Areces
- [TYPES/announce] ICE09: CALL FOR PARTICIPATION
Filippo Bonchi
- [TYPES/announce] ICE09: Extended Deadline
Filippo Bonchi
- [TYPES/announce] ICE09: Second Call for Papers
Filippo Bonchi
- [TYPES/announce] ICECCS09 : CALL FOR PAPERS
Isabelle Perseil
- [TYPES/announce] ICFP '10: Second call for workshop proposals
Wouter Swierstra
- [TYPES/announce] ICFP 2010: Call for papers
Wouter Swierstra
- [TYPES/announce] ICFP videos now available
Wouter Swierstra
- [TYPES/announce] ICFP09 Accepted Papers
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICFP09 Call for Participation
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICFP09 Final Call for Participation
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICFP09 Final CFP
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICFP10: Call for Workshop Proposals
Wouter Swierstra
- [TYPES/announce] ICFP: Child care at conference
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICLP 2009: Call for workshop proposals
cfp at clip.dia.fi.upm.es
- [TYPES/announce] ICLP 2009: Call for Workshop Proposals
cfp at clip.dia.fi.upm.es
- [TYPES/announce] ICTCS '09 announcements
Mario Coppo
- [TYPES/announce] IFL 2009: Call for Papers
IFL 2009
- [TYPES/announce] IFL 2009: Call for Papers and Participation
IFL 2009
- [TYPES/announce] IFL 2009: Final Call for Papers and Participation
IFL 2009
- [TYPES/announce] IFL 2009: Second Call for Papers
IFL 2009
- [TYPES/announce] IFL 2009: Third Call for Papers
IFL 2009
- [TYPES/announce] INRIA post-doc position on proof reconstruction from SMT solvers
Stephan Merz
- [TYPES/announce] INRIA postdoc programme
Pierre-Louis Curien
- [TYPES/announce] International Summer School on Advances in Programming Languages
voigt at tcs.inf.tu-dresden.de
- [TYPES/announce] International Summer School on Advances in Programming Languages (precedes ICFP'09)
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ISDT2009:CALL FOR PARTICIPATION (ACCEPTED PAPERS added)
jiezhou at sei.ecnu.edu.cn
- [TYPES/announce] IWACO 2009 Call for papers
Matthew Parkinson
- [TYPES/announce] IWACO 2009 Deadline extended
Matthew Parkinson
- [TYPES/announce] IWACO 2009 Final call for papers
Matthew Parkinson
- [TYPES/announce] JFLA 2010: 2nd CALL FOR PAPERS
Mayero Micaela
- [TYPES/announce] JFLA 2010: Deadline extension to 22 October 2009
Mayero Micaela
- [TYPES/announce] Journal of Automated Reasoning: Special Issue on the POPLmark Challenge
Stephanie Weirich
- [TYPES/announce] Journal of Automated Reasoning: Special Issue on the POPLmark Challenge
Stephanie Weirich
- [TYPES/announce] Journal of Automated Reasoning: Special issue on the POPLmark Challenge
Stephanie Weirich
- [TYPES/announce] JSC Special Issue on Symbolic Computation in Software Science
Temur Kutsia
- [TYPES/announce] Last Call for Papers HyLo09
Carlos Areces
- [TYPES/announce] Last call for papers: 6th International Workshop on Web Services and Formal Methods
Cosimo Laneve
- [TYPES/announce] Last call for papers: Modules and Libraries for Proof Assistants (CADE workshop)
Florian Rabe
- [TYPES/announce] Last Call for Papers: VSTTE 2009
Jean-Christophe Filliâtre
- [TYPES/announce] Last CfP (and Deadline Extension): Workshop SD09, Bordeaux, July 20-24, 2009
Lutz Strassburger
- [TYPES/announce] Last CfP: JSC Special Issue on Symbolic Computation in Software Science
Temur Kutsia
- [TYPES/announce] Last Cfp: Software Verification and Testing at ACM SAC 2010
Jan Cederquist
- [TYPES/announce] Last CFP: Trends in Functional Programming
Horváth Zoltán
- [TYPES/announce] LATA 2010: 2nd call for papers
carlos.martin at urv.cat
- [TYPES/announce] LATA 2010: call for papers
carlos.martin at urv.cat
- [TYPES/announce] LATA 2010: last call for papers
carlos.martin at urv.cat
- [TYPES/announce] LCC09 CfP
Daniel Leivant
- [TYPES/announce] Lecturer in Computer Science, University of Leicester
Roy L. Crole
- [TYPES/announce] Lecturer position at LIPN, University Paris 13 (chaire CNRS)
Damiano Mazza
- [TYPES/announce] lecturer position in Paris
Paul-Andre Mellies
- [TYPES/announce] Lectureship in formal modelling and analysis at University of Glasgow
Simon Gay
- [TYPES/announce] LFMTP 2009: 2nd Call for Papers
Amy Felty
- [TYPES/announce] LFMTP 2009: Call for Papers
Amy Felty
- [TYPES/announce] LFMTP 2009: Call for Participation
Amy Felty
- [TYPES/announce] LFMTP 2009: Deadline extension
Amy Felty
- [TYPES/announce] LINEARITY 2009 - Call for Papers
Mário Florido
- [TYPES/announce] LSFA 2009 (RDP 2009 associated workshop) - Extended deadline 19th April , 2009
Mauricio Ayala-Rincón
- [TYPES/announce] MALOA network in Mathematical Logic: 18 PhD student positions (Leeds, Manchester, Oxford, Lyon, Paris, Muenster, Muenchen, Prague)
Peter Schuster
- [TYPES/announce] Message 72068
sweirich at central.cis.upenn.edu
- [TYPES/announce] Microsoft PhD Scholarship at Strathclyde
Conor McBride
- [TYPES/announce] ML 2009 Call for Demos
Andreas Rossberg
- [TYPES/announce] ML 2009: Call for Participation
Andreas Rossberg
- [TYPES/announce] ML 2009: Deadline Extension
Andreas Rossberg
- [TYPES/announce] MLQA - Call for Participation
Henrik Pilegaard
- [TYPES/announce] MLQA in York in March
Prof Flemming Nielson
- [TYPES/announce] MODEL THEORY AND LAMBDA-CALCULUS - a meeting in honor of Chantal Berline
Thomas Ehrhard
- [TYPES/announce] My automated theorem proving textbook is now available
John R Harrison
- [TYPES/announce] NASSLLI 2010 call for course and workshop proposals
Chung-chieh Shan
- [TYPES/announce] NBE'09 call for papers
Olivier Danvy
- [TYPES/announce] New Book on Grid Programming using Components
Gerstner, Ralf, Springer DE
- [TYPES/announce] new book series
carlos.martin at urv.cat
- [TYPES/announce] New Book: Labelled Markov Processes
Prakash Panangaden
- [TYPES/announce] New Book: SEwPR
Robby Findler
- [TYPES/announce] New moderator: Derek Dreyer
Stephanie Weirich
- [TYPES/announce] New moderator: Derek Dreyer
Benjamin Pierce
- [TYPES/announce] New submission date for WRS 2009 - Workshop on Reduction Strategies in Rewriting and Programming, Brasilia, 28 June
Maribel Fernandez
- [TYPES/announce] NFM 2010 (2nd Call for Papers)
Munoz, Cesar Augusto (LARC-D320)
- [TYPES/announce] NFM 2010 (Last Call for Papers)
Munoz, Cesar Augusto (LARC-D320)
- [TYPES/announce] One PhD and one Postdoc Position in Coalgebraic Logics
Pattinson, Dirk
- [TYPES/announce] OOPS at ACM SAC 2010: preliminary CfP
Davide Ancona
- [TYPES/announce] OOPSLA 2009 accepted research papers
Gary T. Leavens
- [TYPES/announce] Open CFP: SCP Special Issue on Object-Oriented Languages and Systems (OOPS 2009)
Davide Ancona
- [TYPES/announce] Open PhD positions
Carsten Schuermann
- [TYPES/announce] open positions at CoSBi, Trento
Paola Quaglia
- [TYPES/announce] Open positions in Language Based Technology at DTU Informatics
Henrik Pilegaard
- [TYPES/announce] Open Postdoc and PhD positions at University of Marburg, Germany
Klaus Ostermann
- [TYPES/announce] Open Research Professor positions
Kwangkeun Yi
- [TYPES/announce] Oregon Programming Languages Summer School (ad)
Yannis Smaragdakis
- [TYPES/announce] Papers on Interactive Theorem Proving
N. Raja
- [TYPES/announce] papers on model-checking higher-order programs
koba at kb.ecei.tohoku.ac.jp
- [TYPES/announce] PCC'09 Call for Participation
David Pichardie
- [TYPES/announce] PEPM'10 - Call for Papers (Deadline: 6 Oct 09) - Invited Speakers announced
Janis Voigtlaender
- [TYPES/announce] PEPM'10 - Final CFP (Submission: 6 Oct 09, Notification: 29 Oct 09)
Janis Voigtlaender
- [TYPES/announce] PEPM'10 - First Call for Papers (Deadline: 6th October 2009)
Janis Voigtlaender
- [TYPES/announce] Ph.D and Postdoc Positions available at the University of Oslo
Martin Steffen
- [TYPES/announce] Ph.D and Postdoc Positions available in Durham, UK
CRACIUN F.
- [TYPES/announce] Ph.D. position at Utrecht University
S. Doaitse Swierstra
- [TYPES/announce] Ph.D. scholarships at the IT University of Copenhagen
Lars Birkedal
- [TYPES/announce] PhD and Postdoc Positions available in "ICT for Electrical Mobility" at TU Munich, Germany
Martin Leucker
- [TYPES/announce] PhD Assistantship at University of Vermont
Christian Skalka
- [TYPES/announce] PhD Position Available
Neil Ghani
- [TYPES/announce] PhD Position in Computer Security in Marseille
Clara Bertolissi
- [TYPES/announce] PhD position in Nottingham
vxc at Cs.Nott.AC.UK
- [TYPES/announce] PhD Position in Type Systems
Dave Clarke
- [TYPES/announce] PhD position on Security by Logic for Multithreaded, applications (U. Twente, Netherlands)
Marieke Huisman
- [TYPES/announce] PhD position, information flow security, KTH
Mads Dam
- [TYPES/announce] PhD positions at Nottingham & Swansea
Thorsten Altenkirch
- [TYPES/announce] PhD Program at IMT Lucca, Italy
Marzia Buscemi
- [TYPES/announce] PhD Scholarship in Implicit Computational Complexity
Virgile.Mogbil at lipn.univ-paris13.fr
- [TYPES/announce] PhD Scholarships in Types for Context-sensitive Services
Thomas Hildebrandt
- [TYPES/announce] PhD Stipends in MT-LAB
Henrik Pilegaard
- [TYPES/announce] PhD students and interns; game theoretic models for open systems
Andrzej Wąsowski
- [TYPES/announce] PhD studentships - Dublin
Matthew Hennessy
- [TYPES/announce] PhD studentships at Nottingham
Thorsten Altenkirch
- [TYPES/announce] PhD studentships at University of Bath, UK
Guy McCusker
- [TYPES/announce] PhD studentships: Reasoning about Relaxed Memory Models
Peter Sewell
- [TYPES/announce] PLACES'09 Accepted Papers
Simon Gay
- [TYPES/announce] PLACES'10: call for papers
Kohei Honda
- [TYPES/announce] PLAN-X '09: 2nd call for participation
Gavin Bierman
- [TYPES/announce] Planning to go to POPL? Consider registering for PEPM as well!
voigt at tcs.inf.tu-dresden.de
- [TYPES/announce] PLPV Discuss
Aaron Stump
- [TYPES/announce] POPL 2010 - CALL FOR CO-LOCATED EVENT PROPOSALS
Swarat Chaudhuri
- [TYPES/announce] POPL 2010 - Call for participation
Swarat Chaudhuri
- [TYPES/announce] POPL 2010: early registration and hotel reservation deadlines approaching!
Swarat Chaudhuri
- [TYPES/announce] POPL 2010: early registration and hotel reservation deadlines approaching!
voigt at tcs.inf.tu-dresden.de
- [TYPES/announce] Position available in Paris: Cduce, Ocsigen, OCaml
Giuseppe Castagna
- [TYPES/announce] possible INRIA post doc in mechanizing meta-theory
Dale Miller
- [TYPES/announce] Post doc position in Lisbon
Vasco T. Vasconcelos
- [TYPES/announce] Post-doc job offer : cryptographic security
Pierre Corbineau
- [TYPES/announce] Post-doc job offer : cryptographic security [New deadline]
Pierre Corbineau
- [TYPES/announce] Post-doc position (3 years) available at Queen Mary University of London
Dino Distefano
- [TYPES/announce] Post-doc position (4 years) available at U. of Oslo
Martin Steffen
- [TYPES/announce] post-doc position at ENS Lyon
Patrick Baillot
- [TYPES/announce] post-doc position in proof theory at INRIA Saclay (Paris)
lutz at lix.polytechnique.fr
- [TYPES/announce] Post-Doctoral Research Associate - Reasoning with Relaxed Memory Models
Peter Sewell
- [TYPES/announce] Postdoc @ Princeton, machine-verified semantics
Andrew W. Appel
- [TYPES/announce] Postdoc and Ph.D. position on 3gERP-project at DIKU
Fritz Henglein
- [TYPES/announce] Postdoc and PhD position in Coalgebraic Logic
Alexander Kurz
- [TYPES/announce] Postdoc in computer and network security at KTH
Mads Dam
- [TYPES/announce] Postdoc or PhD position available
Cedric Lhoussaine
- [TYPES/announce] postdoc position at UCLA
Todd Millstein
- [TYPES/announce] Postdoc position available at MPI-SWS in Type Systems and Functional Programming Group
Derek Dreyer
- [TYPES/announce] Postdoc position in Lisbon
Vasco T. Vasconcelos
- [TYPES/announce] postdoc position in security modeling and analysis
David Naumann
- [TYPES/announce] Postdoc Position in Systems Biology at the University of Turin
Angelo Troina
- [TYPES/announce] Postdoc Position: University of Ottawa
Phil Scott
- [TYPES/announce] Postdoc Positions at the CLIP group, Spain
CFP
- [TYPES/announce] Postdoc positions available at INRIA Rennes, France
David Pichardie
- [TYPES/announce] POSTDOC Positions in Lisbon (Carnegie Mellon | Portugal Research Project)
Luís Caires
- [TYPES/announce] Postdoctoral Opportunity at the University of Minnesota
Gopalan Nadathur
- [TYPES/announce] Postdoctoral position at INRIA Grenoble, France
Pierre Geneves
- [TYPES/announce] Postdoctoral research fellowship on Foundations of Software Components- INRIA Grenoble, France
Alan Schmitt
- [TYPES/announce] Postdoctoral Research Position at Yale University
Paul Hudak
- [TYPES/announce] Postodoc program 2010 (Foundation "Sciences Mathématiques de Paris" )
Pierre-Louis Curien
- [TYPES/announce] Pr or Mcf position in France
rené david
- [TYPES/announce] Proof Search in Type Theories: Deadline Extension 15th May
"Stéphane Lengrand (Work)"
- [TYPES/announce] Proof-Search in Type Theories 2009: Call for participation
Stephane Lengrand
- [TYPES/announce] QAPL 2010 Call for Papers
Gethin Norman
- [TYPES/announce] QAPL 2010 Call for Papers
Gethin Norman
- [TYPES/announce] QNET - final call for participation - Oxford 10/11 December
Ross Duncan
- [TYPES/announce] Quantum Physics and Logic - Oxford April 8-9
Bob Coecke
- [TYPES/announce] RAOOL at ECOOP'09: Deadline extended
Stephanie Balzer
- [TYPES/announce] Regional Haskell meeting this June
Janis Voigtlaender
- [TYPES/announce] Register now! for the Scheme Workshop
John Clements
- [TYPES/announce] Release of version 0.4 of the ULTRA type error slicer for SML
rahli vincent
- [TYPES/announce] Reminder: Deadline for Special Issue of IMLA approaching (31st May 2009)
Valeria de Paiva
- [TYPES/announce] SAS 2009 2nd Call for Papers
Zhendong Su
- [TYPES/announce] SAVCBS 2009 Final Call For Papers -- 8th Workshop on Specification and Verification of Component-based Systems (co-located with ESEC/FSE 2009)
Marieke Huisman
- [TYPES/announce] SBLP 2009 (NEW DEADLINE)
Andre Rauber Du Bois
- [TYPES/announce] Scheme *and Functional Programming* Workshop 2009: 2nd cfp
John Clements
- [TYPES/announce] Scholarships available: Carnegie-Mellon|Portugal PhD Program in Computer Science
Luis Caires
- [TYPES/announce] Scottish Category Theory Seminar
Neil Ghani
- [TYPES/announce] SecCo'09 CFP
Steve Kremer
- [TYPES/announce] SecCo'09 CFP ***extended deadline***
Steve Kremer
- [TYPES/announce] SecCo'09: call for papers
Steve Kremer
- [TYPES/announce] Second Call for papers -- 11th Workshop on Formal Techniques for Java-like Programs, Genova, Italy
Anindya Banerjee
- [TYPES/announce] Second Call for Papers: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09)
Alain Girault
- [TYPES/announce] Second call for papers: Modules and Libraries for Proof Assistants
Florian Rabe
- [TYPES/announce] Second Call for Workshop Proposals: ICGT/SPIN 2010
Eduardo Zambon
- [TYPES/announce] Second CfP: "Structures and Deduction", Bordeaux, July 20-24, 2009
Lutz Strassburger
- [TYPES/announce] Second CfP: 8th Tbilisi Symposium on Language, Logic and Computation
Temur Kutsia
- [TYPES/announce] Second CFPs LSFA 2009
Mauricio Ayala-Rincón
- [TYPES/announce] Session "PARADOXES" at UNILOG, Lisboa (April 22-25-2010) - Call for Papers
Pierluigi Minari
- [TYPES/announce] Several PhD and Postdoc Vacancies
Holger Hermanns
- [TYPES/announce] SOAP Track @ SAC 2010
Manuel Mazzara
- [TYPES/announce] SPIN 2009 2nd Call for Papers
Corina Pasareanu
- [TYPES/announce] SPIN 2009: Last Call For Papers
Corina Pasareanu
- [TYPES/announce] STACS 2010
Jean-Yves Marion
- [TYPES/announce] STACS 2010 - Last call for papers
Jean-Yves Marion
- [TYPES/announce] STOP 2009 [Deadline Extension]
Tobias Wrigstad
- [TYPES/announce] STOP 2009 Call for Papers
Tobias Wrigstad
- [TYPES/announce] Student grants available: Global Computing Tutorial Series
Martin Steffen
- [TYPES/announce] Take a break: write an essay for Onward! essays
Simon Peyton-Jones
- [TYPES/announce] TAMC 2009 - final Call for Papers
S B Cooper
- [TYPES/announce] TASE 2009 - CALL FOR PAPERS
CRACIUN F.
- [TYPES/announce] TASE 2009 - Call for Participation
CRACIUN F.
- [TYPES/announce] TASE 2009 - CALL FOR POSTER PRESENTATIONS
CRACIUN F.
- [TYPES/announce] TASE 2009 - Second CALL FOR PAPERS
CRACIUN F.
- [TYPES/announce] TFM09: Call for Papers (Formal Methods Week, Eindhoven, November 6th 2009)
J.N. Oliveira
- [TYPES/announce] The 1st Coq workshop
Hugo Herbelin
- [TYPES/announce] TLCA'09 - Call for Participation
Luca Paolini
- [TYPES/announce] TLCA'09 -- DEADLINE EXTENSION
Luca Paolini
- [TYPES/announce] TOOLS 2009 - call for participation
Philippe.LAHIRE at unice.fr
- [TYPES/announce] TPHOLs 2009 in Munich: Call for Participation and Accepted Papers
Stefan Berghofer
- [TYPES/announce] TPHOLs 2009: Early Registration Deadline Approaching (5th of July)
Stefan Berghofer
- [TYPES/announce] TPHOLs'09 Last Call for Papers
Stefan Berghofer
- [TYPES/announce] TTSS'09: final call for papers
Einar Broch Johnsen
- [TYPES/announce] two bisimulation papers
Eijiro Sumii
- [TYPES/announce] Two post-doc positions in Paris: Ludics and Differential Linear Logic
Damiano Mazza
- [TYPES/announce] Two post. doc. positions - Tools and Methods for Scalable Software Verification
Lars Birkedal
- [TYPES/announce] TYPES 2009
Christophe Raffalli
- [TYPES/announce] TYPES annual workshop
Christophe Raffalli
- [TYPES/announce] UML&AADL'2009 : EXTENDED DEADLINE
Isabelle Perseil
- [TYPES/announce] UML&AADL'2009 : LAST CALL FOR PAPERS
Isabelle Perseil
- [TYPES/announce] Up To 20% OFF At Our Signature Style Event + Holiday Weekend Clearance
Men's Health
- [TYPES/announce] Vacant PhD Scholarships at FIRST, Copenhagen
Thomas Hildebrandt
- [TYPES/announce] VMCAI 2010 Call for Participation -- early registration Dec 22
Gilles Barthe
- [TYPES/announce] VTSA summer school
Stephan Merz
- [TYPES/announce] WFLP2010 2nd CFP: LNCS + invited speaker + abstract due Nov 9
Julio Mariño
- [TYPES/announce] WFLP2010: Call for Participation
Julio Mariño
- [TYPES/announce] WG: New Book on"Coloured Petri Nets"
Gerstner, Ralf, Springer DE
- [TYPES/announce] WGP'09: Workshop on Generic Programming Call for Papers
Jeremy Gibbons
- [TYPES/announce] WLPE 2009: The 19th Workshop on Logic-based methods in Programming Environments
Rafael Caballero
- [TYPES/announce] WMM'09 call for papers
urban at mathematik.uni-muenchen.de
- [TYPES/announce] WoLLIC 2009 - DEADLINE APPROACHING: Feb 28
Ruy de Queiroz
- [TYPES/announce] WoLLIC 2009 - Second Call for Papers (DEADLINE: Feb 28)
Ruy de Queiroz
- [TYPES/announce] Workshop on Quantum Logic Insipred by Quantum Computation
larry moss
- [TYPES/announce] World Congress and School of Universal Logic, Lisbon 2010
N. Raja
Last message date:
Tue Dec 29 11:43:31 EDT 2009
Archived on: Tue Dec 29 11:45:06 EDT 2009
This archive was generated by
Pipermail 0.09 (Mailman edition).