2009 Archives by author

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

Starting: Sat Jan 3 12:54:38 EDT 2009
Ending: Tue Dec 29 11:43:31 EDT 2009
Messages: 508

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

Last message date: Tue Dec 29 11:43:31 EDT 2009
Archived on: Tue Dec 29 11:45:06 EDT 2009

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