2011 Archives by thread

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

Starting: Sun Jan 2 10:18:59 EST 2011
Ending: Thu Dec 29 16:55:50 EST 2011
Messages: 649

• [TYPES/announce] LATA 2011: deadline extended   carlos.martin at urv.cat
• [TYPES/announce] European Workshop on Computational Effects   Alex Simpson
• [TYPES/announce] CFP: Workshop on Theory and Practice of Delimited Continuations   Noam Zeilberger
• [TYPES/announce] CFP: Workshop on Intermediate Representations: deadline Jan 21   Simon Peyton-Jones
• [TYPES/announce] Call for Participation: STOP'11   Tobias Wrigstad
• [TYPES/announce] CfP: 4th Workshop on Approaches and Applications of Inductive Programming (AAIP 2011)   Emanuel Kitzelmann
• [TYPES/announce] Deadline Extension: MISS 2011 workshop (ex ACP4IS) at AOSD 2011   Bram Adams
• [TYPES/announce] CSL'11 call for papers and workshop proposals   Marc.Bezem at ii.uib.no
• [TYPES/announce] QAPL 2011 Call For Presentation reports/Abstracts   Gethin Norman
• [TYPES/announce] [fm-announcements] CFP - VVPS 2011: Verification and Validation for Planning and Scheduling Systems   Havelund, Klaus (317J)
• [TYPES/announce] Postdocs and PhD positions - Center for Advanced Software Analysis   Anders Møller
• [TYPES/announce] GaLoP VI Call of Submissions   Dan Ghica
• [TYPES/announce] ITP 2011 (Call for Papers)   Freek Wiedijk
• [TYPES/announce] ASPLOS 2011 Call for Participation   Soner Onder
• [TYPES/announce] 2nd CfP: JAL Special Issue on Automated Specification and Verification of Web Systems   Temur Kutsia
• [TYPES/announce] PLACES'11 _ Deadline extended to Jan 16th   Vasco T. Vasconcelos
• [TYPES/announce] New conference - Certified Programs and Proofs   bywang at iis.sinica.edu.tw
• [TYPES/announce] LOPSTR 2011 - call for papers   German Vidal
• [TYPES/announce] Oregon Programming Languages Summer School   Robert Harper
• [TYPES/announce] Vacancy: Assistant or Associate Professor of Computer Science (1, 0 fte)   Herman Geuvers
• [TYPES/announce] Open Research Positions at Microsoft Research Cambridge   Matthew Parkinson
• [TYPES/announce] Post-doc position at VERIMAG, Grenoble, France   Radu Iosif
• [TYPES/announce] Assistant or Associate Professors of Computer Science   Lars Birkedal
• [TYPES/announce] ICALP 2011: Call for Papers   Luca Aceto
• [TYPES/announce] ETAPS 2011: First Call for Participation   Joost-Pieter Katoen
• [TYPES/announce] Postdoctoral Positions on Ensemble Programming   Iliano Cervesato
• [TYPES/announce] CFP: FCS'11 Workshop on Foundations of Computer Security   Bruno Blanchet
• [TYPES/announce] Course: Introduction to Dependently Typed Programming using Agda   Ohad Kammar
• [TYPES/announce] GF Summer School, Barcelona, 15-26 August   Aarne Ranta
• [TYPES/announce] PPDP 2011, Call for papers   Tarmo Uustalu
• [TYPES/announce] professor position in computer science at IRIT, Toulouse   soloviev at irit.fr
• [TYPES/announce] OSEMA 2011 Call for Papers   Lutz Schroeder
• [TYPES/announce] ITP 2011 (Call for Workshop Proposals)   Freek Wiedijk
• [TYPES/announce] Postdoc position at MPI-SWS in software verification   Viktor Vafeiadis
  • [TYPES/announce] Associate professor position at PPS (Paris, France): programming in the large, theory and applications   Roberto Di Cosmo
• [TYPES/announce] PhD Assistantship at University of Vermont   Christian Skalka
• [TYPES/announce] CfP: 4th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM'11), 10 September 2011, Aachen, Germany   "Dr. Michael Köhler-Bussmeier"
• [TYPES/announce] FMOODS & FORTE 2011 - Second CfP   Roberto Bruni
• No subject  
• [TYPES/announce] POSTDOC Position in Lisbon (Carnegie Mellon | Portugal Research Project)   Vasco T. Vasconcelos
• [TYPES/announce] CfP: The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM'11)   Gerardo Schneider
  • [TYPES/announce] Final CfP: The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM'11)   Gerardo Schneider
• [TYPES/announce] ASPLOS 2011 Student Travel Grants Deadline is January 26.   Soner Onder
• [TYPES/announce] CS2Bio11 - Call for Papers   Paola Giannini
• [TYPES/announce] CfP Reminder: The Second Scala Workshop - Scala Days 2011   Garcia Gutierrez Miguel Alfredo
• [TYPES/announce] CFP: Second Workshop on Programming Methods for Mobile and Pervasive Systems (PMMPS'11)   Dominic Duggan
• [TYPES/announce] 2nd CFP: 24th IEEE Computer Security Foundations Symposium (CSF 2011)   Matteo Maffei
• [TYPES/announce] ICE 2011 - First Call for Papers (Deadline: 4th April 2011)   Marco Carbone
• [TYPES/announce] CONCUR 2011: First Call for Papers   Joost-Pieter Katoen
• [TYPES/announce] Post-Doc position in the CerCo FET-Open EU Project   Claudio Sacerdoti Coen
• [TYPES/announce] Assistant Professor/Research Associate in Computing Science   Tobias Wrigstad
• [TYPES/announce] CFP: Process Algebra and Coordination (PACO 2011), co-located with DisCoTec'11   Luca Aceto
• [TYPES/announce] MGS 2011   Venanzio Capretta
• [TYPES/announce] Reminder: ASPLOS 2011 early registration deadline is February 2   Soner Onder
• [TYPES/announce] New book announcement: "Foundations of XML Processing: The Tree-Automata Approach"   Haruo HOSOYA
• [TYPES/announce] International Summer School Marktoberdorf   Tobias Nipkow
• [TYPES/announce] CfP for the Special Issue of APAL on "Classical Logic and Computation" - Extended deadline: March, 15 2011   Stefano Berardi
• [TYPES/announce] PhD studentships in Nottingham   Thorsten Altenkirch
• [TYPES/announce] GaLoP VI Program and Call for Participation   Dan Ghica
• [TYPES/announce] 2nd CFP: Workshop on Theory and Practice of Delimited Continuations   Noam Zeilberger
• [TYPES/announce] CFP - Types for Proofs and Programs   Pawel Urzyczyn
• [TYPES/announce] Workshop Announcement: Domains X   Ulrich Berger
• [TYPES/announce] PSSL 92 - First Announcement   Andrei Akhvlediani
• [TYPES/announce] FMOODS & FORTE 2011 (extended deadline!) - Last CfP   Roberto Bruni
• [TYPES/announce] Oregon Programming Languages Summer School 2011 - Call For Participation   Marco Gaboardi
• [TYPES/announce] SBLP 2011 - 3rd. call for papers   Christiano Braga
• [TYPES/announce] GandALF 2011: Call for Papers   Dario Della Monica
• [TYPES/announce] [fm-announcements] VVPS 2011 - deadline extension for all ICAPS workshops   Havelund, Klaus (317J)
• [TYPES/announce] Call for Papers - AMMSE 2001 - Algebraic Methods in Model-Based Software Engineering   Vlad Rusu
  • [TYPES/announce] extended deadline - April 20 - AMMSE 2001 - Algebraic Methods in Model-Based Software Engineering   Vlad Rusu
• [TYPES/announce] CFP: Second Workshop on Program Semantics, Specification and Verification (St. Petersburg, Russia).   shilov at iis.nsk.su
• [TYPES/announce] CFP: Workshop on Program Understanding (July 2 - 4, 2011, Novosibirsk, Russia)   shilov at iis.nsk.su
• [TYPES/announce] Postdoc position for 6 months in Orsay   Sylvie Boldo
• [TYPES/announce] Continuation Workshop 2011: Call for Contributions   Chung-chieh Shan
• [TYPES/announce] Call for participation DICE 2011   Jean-Yves Marion
• [TYPES/announce] ICFP 2011: Second Call for Papers   Wouter Swierstra
• [TYPES/announce] FOPARA 2011, 1st CALL FOR PAPERS   Ricardo Peña
• [TYPES/announce] ACM SIGPLAN Workshop on ML   Chung-chieh Shan
• [TYPES/announce] CfP - International Workshop on Computational Systems Biology (WCSB2011) - June 6-8, ETH Zurich   Koeppl Heinz
• [TYPES/announce] faculty and post-doc positions at USTC-Yale Joint Research Center on High-Confidence Software   Xinyu Feng
• [TYPES/announce] CfP: Time'11   Martin Leucker
• [TYPES/announce] CFP: Workshop on Theory and Practice of Provenance (TAPP 2011)   James Cheney
• [TYPES/announce] QAPL 2011 Call For Participation   Gethin Norman
• [TYPES/announce] PLACES 2011 Call For Participation   Vasco T. Vasconcelos
• [TYPES/announce] Job Opportunities at Kestrel Institute   Alessandro Coglio
• [TYPES/announce] Simple algebraic data types for C -- paper and tool   pieter.hartel at utwente.nl
• [TYPES/announce] ICTAC 2011: First Call for Papers   Jun PANG
• [TYPES/announce] 1st Call for Papers: WWV 2011   Francesco Tiezzi
• [TYPES/announce] RDP-IFCoLog Student Session   Sandra Alves
• [TYPES/announce] LOPSTR 2011 - second call for papers   German Vidal
• [TYPES/announce] research post   zhaohui at cs.rhul.ac.uk
• [TYPES/announce] ETAPS 2012 Call for Satellite Events   Tarmo Uustalu
• [TYPES/announce] PLAS 2011: call for papers   Aslan Askarov
• [TYPES/announce] Post-doc positions at Portland State University   Mark P. Jones
• [TYPES/announce] Associate Professor Position at LIG (Grenoble, France): Logic and Foundations of Programming   Pierre Geneves
• [TYPES/announce] TACL 2011, 2nd call for papers   Luigi Santocanale
• [TYPES/announce] ASPLOS 2011 Call for Participation   Soner Onder
• [TYPES/announce] CFP: WGP 2011 - Workshop on Generic Programming   Jaakko Järvi
• [TYPES/announce] CS2Bio 2011 - Call For Paper   Paola Giannini
• [TYPES/announce] Doctoral Symposium on Object-Oriented Programming - ECOOP (UK)   Hesam Samimi
• [TYPES/announce] [fm-announcements] RV 2011 Call for Papers and Tutorials   Havelund, Klaus (317J)
• [TYPES/announce] Call for participation: HotSWUp III   Michael Hicks
• [TYPES/announce] 2nd CfP: WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming   Santiago Escobar
• [TYPES/announce] CFP: Formal Techniques for Java-like Programs (FTfJP) 2011   Steve Freund
• [TYPES/announce] CFP: 13th International Conference on Formal Engineering Methods (ICFEM 2011)   jun sun
• [TYPES/announce] IWACO 2011: Call for Papers   Nicholas Cameron
• [TYPES/announce] Onward! 2011: Call for Papers, Essays, Films, and Workshops   Eelco Visser
• [TYPES/announce] PhD position in Communicating Transactions at Trinity College Dublin   Matthew Hennessy
• [TYPES/announce] LOLA 2011 -- call for contributed talks   Zhong Shao
• [TYPES/announce] LSFA 2011 - First call for papers   Elaine Pimentel
• [TYPES/announce] CALL FOR PAPERS : UML&FM’2011   Isabelle Perseil
• [TYPES/announce] CfP: Theoretical Aspects of Computing (ICTAC 2011) - DEADLINE EXTENDED   Antonio Cerone
• [TYPES/announce] CFP: Workshop on Theory and Practice of Delimited Continuations (deadline extension - 11 March)   Noam Zeilberger
• [TYPES/announce] ETAPS 2011: Final Call for Participation   Joost-Pieter Katoen
• [TYPES/announce] survey paper "Nominal terms and nominal logics"   murdoch gabbay
• [TYPES/announce] CfP: RP 2011   Davide Ancona
• [TYPES/announce] CONCUR 2011: Final Call for Papers   Joost-Pieter Katoen
• [TYPES/announce] CICM 2011: Final Call for Papers   Florian Rabe
• [TYPES/announce] CMSB 2011: call for papers   Francois Fages
• [TYPES/announce] INTRUSO 2011 CFP   Manuel Mazzara
• [TYPES/announce] CFP WFLP 2011   Janis Voigtländer
• [TYPES/announce] Oregon Programming Languages Summer School 2011 - Second Call For Participation   Marco Gaboardi
• [TYPES/announce] Last CfP: JAL Special Issue on Automated Specification and Verification of Web Systems   Temur Kutsia
• [TYPES/announce] CFP for First Workshop on Compilers by Rewriting, Automated (COBRA) 2011   James Cheney
• [TYPES/announce] PSSV: final CFP & deadline extension (St. Petersburg, Russia).   shilov at iis.nsk.su
• [TYPES/announce] CHOCO meeting & Differential Linear Logic course - 4th to 7th April 2011, Lyon, France   Colin RIBA
• [TYPES/announce] GPCE 2011 Call for Papers   Chang Hwan Peter Kim
• [TYPES/announce] GandALF 2011: 3rd Call For Papers   Dario Della Monica
• [TYPES/announce] CiE 2011 - Call for Informal Presentations   S Barry Cooper
• [TYPES/announce] SPLASH 2011: Call for Contributions   Jonathan Aldrich
• [TYPES/announce] PhD Positions on Trustworthy Electronic Elections   Carsten Schuermann
  • [TYPES/announce] Microsoft PhD Studentship   Dan Ghica
• [TYPES/announce] CFP: FORMATS 2011, 21-23 Sep 2011   Stavros Tripakis
• [TYPES/announce] Extended deadline: JAL Special Issue on Automated Specification and Verification of Web Systems   Temur Kutsia
• [TYPES/announce] LCC'11 Workshop Announcement   U.Berger at swansea.ac.uk
• [TYPES/announce] 2nd CFP: Fundamentals of Computation Theory, 18th International Symposium (FCT2011)   Cristian Prisacariu
• [TYPES/announce] SBLP 2011 - 4th. call for papers   Christiano Braga
• No subject  
• [TYPES/announce] ICE 2011 - Second Call for Papers (Deadline: 4th April 2011)   Marco Carbone
• [TYPES/announce] GandALF2011 -- EXTENDED DEADLINE   Dario Della Monica
• [TYPES/announce] URGENT: PhD position on Satisfiability-based algorithms for Requirements Engineering   Roberto Sebastiani
• [TYPES/announce] Book Announcement: "Computability In Context"   S Barry Cooper
• [TYPES/announce] 2nd Call for Papers: WWV 2011   Francesco Tiezzi
• [TYPES/announce] Last CfP: WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming   Santiago Escobar
• [TYPES/announce] Lecturer position in Paris 13   Michele.Pagani at lipn.univ-paris13.fr
• [TYPES/announce] Privacy, Security, Trust (PST 2011) - 2nd Call for Papers (Deadline: March 20)   Serguei A. Mokhov on behalf of PST-11
• [TYPES/announce] Announcing Summer Formal 2011: Summer School on Formal Techniques   Natarajan Shankar
• [TYPES/announce] PhD Position at INRIA Grenoble, France   Pierre Geneves
• [TYPES/announce] POPL 12: Call for Proposals for Workshops, Tutorials, and Other Events   John Field
• [TYPES/announce] Call for Tutorials and Workshops: ICTAC 2011 - Theoretical Aspects of Computing   Antonio Cerone
• [TYPES/announce] FHIES 2011: First Call for Papers   Lutz Schroeder
• [TYPES/announce] ICFP 2011 Deadline Extension   Wouter Swierstra
• [TYPES/announce] LOPSTR 2011 - Last CFP   German Vidal
• [TYPES/announce] AMMSE'11 - 2nd International Workshop on Algebraic Methods in Model-Based Software Engineering   Vlad Rusu
• [TYPES/announce] CS2Bio 2011 Deadline Extension   Paola Giannini
• [TYPES/announce] Last CFP: Workshop on Compilers by Rewriting, Automated (COBRA 2011)   James Cheney
• [TYPES/announce] First CfP: 8th International Symposium on Formal Aspects of Component Software   Peter Csaba Ölveczky
• [TYPES/announce] CfP: Modelling for Sustainable Development at SEFM 2011   Antonio Cerone
• [TYPES/announce] CIT-2011 & ScalCom-2011: Submission deadline extended to April 15, 2011   Apostolos Syropoulos
• [TYPES/announce] *SOS 2010* call for papers   Pawel Sobocinski
• [TYPES/announce] 2011 Informatics Europe Curriculum Best Practices Award - Parallelism/Concurrency   Cristina Pereira
• [TYPES/announce] POPL 2012: Call for papers   Swarat Chaudhuri
• [TYPES/announce] [Reminder] CHOCO meeting & Differential Linear Logic course - 4th to 7th April 2011   Colin RIBA
• [TYPES/announce] Summer School in Software Engineering and Verification 2011 - Call For Participation   Andrei Sabelfeld
• [TYPES/announce] Post-doc position: Timed systems   Markus Roggenbach
• [TYPES/announce] CfP: Proof-Search in Axiomatic Theories and Type Theories 2011   Stephane Lengrand (Work)
• [TYPES/announce] SSFLA 2011: last call   "Carlos Martín Vide"
• [TYPES/announce] DBPL 2011 Call for papers   Nate Foster
• [TYPES/announce] Summer School on Programming Languages for Concurrent and Parallel Computing   Tobias Wrigstad
• [TYPES/announce] CSL'11 call for papers, deadline approaching   Marcus Aloysius Bezem
• [TYPES/announce] CFP for PxTP 2011   Aaron Stump
• [TYPES/announce] [fm-announcements] VVPS'11 CFP - deadline extension: March 25   Havelund, Klaus (318M)
• [TYPES/announce] Types 2011 in Bergen 8 - 11 Sept. Submission deadline June 3.   Bengt Nordstrom
• [TYPES/announce] Privacy, Security, Trust (PST 2011) - Call for Papers (EXTENDED Deadline: April 3, 2011)   Serguei A. Mokhov on behalf of PST-11
• [TYPES/announce] SLE 2011 - Final Call for Papers   Vadim Zaytsev
• [TYPES/announce] Workshop Developments in Computational Models: CFP   Femke van Raamsdonk
• [TYPES/announce] EXPRESS 2011: Call for Papers   Bas Luttik
• [TYPES/announce] Final Call for Papers: WWV 2011   Francesco Tiezzi
• [TYPES/announce] Second call for contributions: CALCO-Jnr 2011: CALCO Young Researchers Workshop (Winchester, UK)   Corina Cirstea
• [TYPES/announce] Last CFP: 4th Workshop on Approaches and Applications of Inductive Programming (AAIP 2011)   Emanuel Kitzelmann
• [TYPES/announce] RDP 2011 - FIRST CALL FOR PARTICIPATION   Luca Paolini
• [TYPES/announce] Fwd: Position Vacancy Listing UW Madison Computer Sciences   Tonya Messer
• [TYPES/announce] Call for Papers: Conference on Domain-Specific Languages (DSL 2011)   Emilie Balland
• [TYPES/announce] Oregon Programming Languages Summer School 2011 - Call For Participation   Marco Gaboardi
• [TYPES/announce] Submission Deadline approaching (April 5): 19th Symp.\ on Fundamentals of Computing Theory, Oslo   Martin Steffen
• [TYPES/announce] PLAS: Programming Languages and Security (final cfp)   Joshua D. Guttman
• [TYPES/announce] LOPSTR 2011 - Submission deadline extended: April 17 (both full papers and extended abstracts)   German Vidal
• [TYPES/announce] CS2Bio'11 Submission Deadline Approaching (April 2)   Paola Giannini
• [TYPES/announce] ICE 2011 - DEADLINE EXTENSION (now April 11, 2011)   Marco Carbone
• [TYPES/announce] EXTENDED Deadline for WWV 2011   Francesco Tiezzi
• [TYPES/announce] INTRUSO 2011 - Second CFP   Manuel Mazzara
• [TYPES/announce] FCS'11 extended deadline April 10 (Workshop on Foundations of Computer Security)   Bruno Blanchet
• [TYPES/announce] SLE 2011 - Deadline extension   Vadim Zaytsev
• [TYPES/announce] TFP 2011: Last Call for Papers and Call for Participation   Ricardo Peña
• [TYPES/announce] FIRE research school in Manchester   Manuela Bujorianu
• [TYPES/announce] BCTCS 2011: 2nd Call for Participation   Achim Jung
• [TYPES/announce] SecCo 2011: First Call for Papers   Jun PANG
• [TYPES/announce] PhD position in probabilistic processes and modal logic at VU University Amsterdam   Bas Luttik
• [TYPES/announce] [fm-announcements] NFM 2011 - call for participation   Havelund, Klaus (318M)
  • [TYPES/announce] [fm-announcements] RV 2011 - call for papers + tutorial and tool demo proposals   Havelund, Klaus (318M)
• [TYPES/announce] [fm-announcements] RV 2011 - 2nd Call for Papers and Tutorials   Havelund, Klaus (318M)
• [TYPES/announce] Second CFP: Formal Techniques for Java-like Programs (FTfJP) 2011   Steve Freund
• [TYPES/announce] Deadline Extended (14 Apr.): FCT 2011   Cristian Prisacariu
• [TYPES/announce] CompCertTSO release   Jaroslav Sevcik
• [TYPES/announce] TACL 2011, third and last call for papers (submission deadline approaching: 18/04/2011)   Luigi Santocanale
• [TYPES/announce] Extended submission deadline, AAIP 2011   Emanuel Kitzelmann
• [TYPES/announce] CMSB 2011: second call for papers   François Fages
• [TYPES/announce] UNIF 2011: call for papers   Barbara Morawska
• [TYPES/announce] LOLA 2011 -- Final Call for Contributed Talks (Deadline: April 29th)   Zhong Shao
• [TYPES/announce] Dahl-Nygaard Awards   Jan Vitek
• [TYPES/announce] Final CfP and Extended Deadline: ICTAC 2011 - Theoretical Aspects of Computing   Antonio Cerone
• [TYPES/announce] Call for Participation: 2FC'11   Andrey Rybalchenko
• [TYPES/announce] DSL 2011 - Last CFP   Emilie Balland
• [TYPES/announce] CPP 2011 2nd CFP   bywang at iis.sinica.edu.tw
• [TYPES/announce] LFMTP 2011 , Call for Papers   Gopalan Nadathur
• [TYPES/announce] SBLP 2011 - Final call for papers   Christiano Braga
• [TYPES/announce] Call for papers DTP'11   Wouter Swierstra
• [TYPES/announce] 4th Scottish Category Theory Seminar   Alex Simpson
• [TYPES/announce] Winner EAPLS Best Phd Dissertation Award 2010   Arend Rensink
• [TYPES/announce] 2nd CfP: Special journal issue on Functional and (Constraint) Logic Programming   Santiago Escobar
• [TYPES/announce] TIME'11: CFP   Martin Leucker
• [TYPES/announce] FOPARA 2011: Last CFP and Call for Participation   Ricardo Peña
• [TYPES/announce] Special Issue LMCS: Types for Proofs and Programs   henk
• [TYPES/announce] CfP: TIME'11 - EXTENDED DEADLINE   Martin Leucker
• [TYPES/announce] [ ] EXTENDED DEADLINE : UML&FM'2011   Isabelle Perseil
• [TYPES/announce] CFP -- Haskell Symposium 2011   Haskell Symposium
• [TYPES/announce] LSFA 2011 - Second call for papers   Elaine Pimentel
• [TYPES/announce] PhD studentship   Patricia Johann
• [TYPES/announce] LAM'11: 2nd Call for Paper   "Dr. Michael Köhler-Bussmeier"
• [TYPES/announce] FOPARA 2011: Extended submission deadline May 29th   Ricardo Peña
• [TYPES/announce] PhD opportunities at Leicester   Andrzej Murawski
• [TYPES/announce] Summer School on Mechanized Logic for High Assurance Software   Walid Taha
• [TYPES/announce] Summer school on Applied Functional Programming at Utrecht University; deadline for registration May 15   S. Doaitse Swierstra
• [TYPES/announce] INTRUSO 2011: Deadline Extended to May 11   Manuel Mazzara
• [TYPES/announce] Two Postdoc Positions at the IT University of Copenhagen   Carsten Schuermann
• [TYPES/announce] Another(!) PhD Position at Strathclyde   Conor McBride
• [TYPES/announce] Extended deadline; IFIP sponsorship: IFIP Working Conference on Domain-Specific Languages   Chung-chieh Shan
• [TYPES/announce] CfP: SEFM'11 - Deadline EXTENDED till May 9   Gerardo Schneider
• [TYPES/announce] post-doc position in INRIA-MSR project (Paris, France)   Stephan Merz
• [TYPES/announce] THedu'11 at CADE: last call for ext.abstracts   Cezary Kaliszyk
• [TYPES/announce] CfPart: IM-PCS and FoRMA, Manchester, UK   Manuela Bujorianu
• [TYPES/announce] LATA 2011: call for participation   "Carlos Martín Vide"
• [TYPES/announce] RDP 2011 - Second Call for Participation   Luca Paolini
• [TYPES/announce] Fourth workshop "réalisabilité à Chambéry", June 2011   Pierre Hyvernat
• [TYPES/announce] SSLST 2011: 1st announcement   "Carlos Martín Vide"
• [TYPES/announce] Second CfP TARK-workshop 'Reasoning about other minds', Groningen, 11 July 2011   Rineke Verbrugge
• [TYPES/announce] [Sbc-l] SBLP 2011 - Deadline extension   Christiano Braga
• [TYPES/announce] CFP: Foundations of Coordination Languages and Software Architectures (Deadline: June 3)   Mousavi, M.
• [TYPES/announce] Request for Help for getting a Type Inferencer Right   M.C.A. (Marco) Devillers
• [TYPES/announce] Postdoc position in proof theory in Paris   Lutz Strassburger
• [TYPES/announce] FHIES 2011: 2nd Call for Papers   Jun PANG
• [TYPES/announce] WS-FM 2011 - Second Call for Papers (Deadline: 12h June 2011)   Marco Carbone
• [TYPES/announce] 2011 Curriculum Best Practices Award - DEADLINE MAY 1st!   Cristina Pereira
• [TYPES/announce] call for abstracts: Doctoral Symposium at FCT 2011   Cristian Prisacariu
• [TYPES/announce] CFP: Scheme and Functional Programming (co-located with SPLASH 2011)   Matt Might
• [TYPES/announce] deadline extension: PxTP '11   Aaron Stump
• [TYPES/announce] "Types for Proofs and Programs" - deadline extension   Paweł Urzyczyn
• [TYPES/announce] 2nd CFP: FORMATS 2011, 21-23 Sep 2011   Stavros Tripakis
• [TYPES/announce] Postdoctoral Positions on Ensemble Programming   Iliano Cervesato
• [TYPES/announce] summer REU at CMU   Jonathan Aldrich
• [TYPES/announce] UNIF 2011: deadline extension   Barbara Morawska
• [TYPES/announce] FHIES 2011 Second Call for Papers   Lutz Schroeder
• [TYPES/announce] CFP: RACORE 2011 - Resource Adaptive Compilation and Runtime Environments   Clemens Grelck
• [TYPES/announce] Call for bids ITP 2012   Freek Wiedijk
• [TYPES/announce] Call for Papers ACL2 2011   Freek Wiedijk
• [TYPES/announce] TFP 2011: Call for participation (May 16th-18th)   Ricardo Peña
• [TYPES/announce] *SOS 2011* 2nd call for papers   Pawel Sobocinski
• [TYPES/announce] ICFP Programming Contest 2011   Eijiro Sumii
• [TYPES/announce] Call for Papers: 3rd Workshop on Modules and Libraries for Proof Assistants (affiliated with ITP 2011)   Florian Rabe
• [TYPES/announce] CfP - Deadline extension: "Proof-Search in Axiomatic Theories and Type Theories 2011"   Stephane Lengrand (Work)
• [TYPES/announce] Post-doctoral position at University of Cambridge   Sam Staton
• [TYPES/announce] DCM 2011: call for papers   Femke van Raamsdonk
• [TYPES/announce] Logic related PhD studentships available in Swansea, UK   Anton Setzer
• [TYPES/announce] Postdoc Position   Ugo Dal Lago
• [TYPES/announce] An update on ICFP'11 in Tokyo (September 18-24, 2011)   Wouter Swierstra
• [TYPES/announce] GTTSE 2011: Call for Participation   Vadim Zaytsev
• [TYPES/announce] Post-Doctoral Position at Yale University   Zhong Shao
• [TYPES/announce] CPP 2011 - Call for Papers   bywang at iis.sinica.edu.tw
  • [TYPES/announce] CPP 2011 - Call for Papers   bywang at iis.sinica.edu.tw
• [TYPES/announce] Lectureship in Computer Science, University of Leicester, UK   Roy Crole
• [TYPES/announce] Extended last registration date for Summer School on Programming Languages for Concurrent and Parallel Computing   Tobias Wrigstad
• [TYPES/announce] CiE 2011 in Sofia - Call for Participation   S Barry Cooper
• [TYPES/announce] LSFA 2011 - Last call for papers   Elaine Pimentel
• [TYPES/announce] CFP: WGP 2011 - Workshop on Generic Programming   Jaakko Järvi
• [TYPES/announce] LFMTP 2011 Call for Papers (2nd Call)   Gopalan Nadathur
• [TYPES/announce] CFP: FAST2011 - 8th International Workshop on Formal Aspects of Security & Trust   Gilles Barthe
• [TYPES/announce] SecCo 2011: 2nd Call for Papers   Jun PANG
• [TYPES/announce] Final Call for Papers - Developments in Computational Models 2011   S Barry Cooper
• [TYPES/announce] Post-doctoral position at ENS Lyon   Olivier Laurent
• [TYPES/announce] Call for Papers - Solomonoff 85th Memorial Conference   Dianne Nguyen
• [TYPES/announce] PhD studentships on Programming Language Components and Specifications   Anton Setzer
• [TYPES/announce] RA positions in Swansea, UK on Programming Language Components and Specifications   Anton Setzer
• [TYPES/announce] Final call for participation: 2011 COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2011)   Matteo Maffei
• [TYPES/announce] EXPRESS 2011: Call for Papers   Bas Luttik
• [TYPES/announce] Lectureship at Queen Mary, Univ of London   Peter O'Hearn
• [TYPES/announce] Call for Papers: APLAS 2011 (The 9th Asian Symposium on Programming Languages and Systems)   Noam Rinetzky
• [TYPES/announce] LSFA 2011 - Deadline extended and call for posters (new!)   Elaine Pimentel
• [TYPES/announce] FHIES 2011: Deadline Extended   Lutz Schroeder
• [TYPES/announce] CfP TGC 2011   Roberto Bruni
• [TYPES/announce] 2nd CFP -- Haskell Symposium 2011   Haskell Symposium
• [TYPES/announce] Cfp: HLPP 2011 (ACM SIGPLAN Workshop on High-level Parallel Programming and Applications)   Frédéric Loulergue
• [TYPES/announce] Software Verification and Testing Track at SAC'12: 1st CfP   Jun PANG
• [TYPES/announce] LOPSTR 2011 - call for participation   German Vidal
• [TYPES/announce] 2nd CfP: 8th International Symposium on Formal Aspects of Component Software   Peter Csaba Ölveczky
• [TYPES/announce] [fm-announcements] RV 2011 final CfP -- paper deadline extension: June 12, 2011   Havelund, Klaus (318M)
• [TYPES/announce] ICTAC 2011 School on Software Engineering: Call for Participants and Applications of Scholarship   Antonio Cerone
• [TYPES/announce] MeCBIC 2011 Call for Papers (August 2011, Paris-Fontainebleau)   Gabriel Ciobanu
• [TYPES/announce] Call for Participation CS2Bio'11   Paola Giannini
• [TYPES/announce] Foundations of Coordination Languages and Software Architectures (Extended Deadline: June 10)   Mousavi, M.
• [TYPES/announce] Last CfP TGC 2011: extended deadline   Roberto Bruni
• [TYPES/announce] CALCO 2011: First Call for Participation   Corina Cirstea
• [TYPES/announce] CFP: PLOS '11: 6th Workshop on Programming Languages and Operating Systems   Eric Eide
• [TYPES/announce] DTP 2011: Second call for talks   Wouter Swierstra
• [TYPES/announce] GandALF 2011: call for partecipation   Dario Della Monica
• [TYPES/announce] PhD grant in Grenoble (France) on advanced dataflow programming for embedded systems at INRIA and ST Microelectronics   Alain Girault
• [TYPES/announce] Last Call for Papers: 4th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM'11)   "Dr. Michael Köhler-Bussmeier"
• [TYPES/announce] TYPES 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19 June   Marcus Aloysius Bezem
• [TYPES/announce] PhD position on "Semantics and Verification of Accelerator Programming"   Marieke Huisman
  • [TYPES/announce] PhD position on "Semantics and Verification of Accelerator Programming"   Marieke Huisman
• [TYPES/announce] Postdoc in differential privacy at the University of Pennsylvania   Benjamin C. Pierce
• [TYPES/announce] SecCo 2011: Last CfP (extended deadline June 12th)   Jun PANG
• [TYPES/announce] WS-FM 2011 - Final Call for Papers (Deadline: 12h June 2011)   Marco Carbone
• [TYPES/announce] ICFP Programming Contest starting in two weeks   Eijiro Sumii
• [TYPES/announce] FAST'11: deadline extension   Gilles Barthe
• [TYPES/announce] CFP: FOOL'11   Elena Zucca
• [TYPES/announce] CFP: FoVeOOS 2011 (Turin, Italy, October 5-7, 2011)   Ferruccio Damiani
  • [TYPES/announce] CFP: FoVeOOS 2011 (post-proceeding will be published on Spinger LNCS)   Ferruccio Damiani
  • [TYPES/announce] FMCO 2011 and FoVeOOS 2011 call for participation   Ferruccio Damiani
• [TYPES/announce] last cfp: Doctoral Symposium at FCT 2011   Cristian Prisacariu
• [TYPES/announce] WS-FM 2011 - Deadline Extended to 19 June 2011   Marco Carbone
• [TYPES/announce] Final CfP: 8th International Symposium on Formal Aspects of Component Software   Peter Csaba Ölveczky
• [TYPES/announce] PASTE 2011 Call for Participation, Lightning Talks, and Posters   Jeff Foster
• [TYPES/announce] PhD Scholarships in Semantics, Analysis, Verification   Flemming Nielson
• [TYPES/announce] VSTTE 2012 : First Call for Papers   Gudmund Grov
• [TYPES/announce] OOPS track at SAC 2012: Call for Papers   Davide Ancona
• [TYPES/announce] FHIES 2011: final Call for Papers   Jun PANG
• [TYPES/announce] Deadline June 17: ACM SIGPLAN Workshop on ML   Chung-chieh Shan
• [TYPES/announce] CFP: SAC 2012 track on Service Oriented Architectures and Programming (SOAP)   Fabrizio Montesi
• [TYPES/announce] Last CfP 5th MeCBIC, 23-24 August 2011, Paris (Fontainebleau)   Gabriel Ciobanu
• [TYPES/announce] Final CFP - CPP 2011   bywang at iis.sinica.edu.tw
• [TYPES/announce] Second CFP: Continuation Workshop 2011   Chung-chieh Shan
• [TYPES/announce] 1 faculty and 6 postdoc/Ph.D. positions in functional high-performance computing   Fritz Henglein
• [TYPES/announce] FSFLA 2011: 1st announcement   "Carlos Martín Vide"
• [TYPES/announce] Deadline extension: 8th International Symposium on Formal Aspects of Component Software   Peter Csaba Ölveczky
• [TYPES/announce] Call for Papers: APLAS+CPP (new deadlines)   bywang at iis.sinica.edu.tw
• [TYPES/announce] Call for participation: CAV 2011   Nikhil Swamy
• [TYPES/announce] Last Call for Papers: 3rd Workshop on Modules and Libraries for Proof Assistants (affiliated with ITP 2011)   Florian Rabe
• [TYPES/announce] TYPES/CSL'11: registration open, TYPES deadline approaching   Marcus Aloysius Bezem
• [TYPES/announce] PhD position on "Certified Compilation for High Level Parallel Programming"   Frédéric Loulergue
• [TYPES/announce] Junior Research Engineer Position at INRIA Grenoble   Pierre Geneves
• [TYPES/announce] WOCSD: Call for Papers   Marcel Kyas
• [TYPES/announce] Typing Actors, Agents in AGERE! at SPLASH   Alessandro Ricci
• [TYPES/announce] PhD Fellowships in "Program and Model Analysis"   Helmut Seidl
• [TYPES/announce] SSLST 2011: 2nd announcement   "Carlos Martín Vide"
• [TYPES/announce] Postdoctoral researcher position at Rice University   Swarat Chaudhuri
• [TYPES/announce] TACL 2011 : Call for participation   Luigi Santocanale
• [TYPES/announce] Junior engineer position at INRIA Saclay/Ecole Polytechnique, Paris, France   Kaustuv Chaudhuri
• [TYPES/announce] Final Call for Papers - Solomonoff 85th Memorial Conference   Dianne Nguyen
• [TYPES/announce] CFP - International Symposium on Engineering Secure Software and Systems (ESSoS)   Pieter Philippaerts
• [TYPES/announce] Post-doc position available at CEA Saclay, France   Samuel Mimram
• [TYPES/announce] LI2012: first announcement   Emmanuel Beffara
• [TYPES/announce] Turing Centenary Research Competition - Call for Proposals   S Barry Cooper
• [TYPES/announce] Post-doc LaBRI, Bordeaux   Salvati Sylvain
• [TYPES/announce] CFP: Special Journal Issue on Behavioural Types   Simon Gay
• [TYPES/announce] postdoctoral position in rewriting   Georg Moser
• [TYPES/announce] PLDI 2012: Preliminary call for papers and workshops   Matt Might
• [TYPES/announce] Open Call for a Springer LNCS Volume on Resource Analysis   Ricardo Peña
• [TYPES/announce] Post-doctoral research position at Nancy University on ICC   Jean-Yves Marion
  • [TYPES/announce] Post-doctoral research position at Nancy University on ICC   Jean-Yves Marion
• [TYPES/announce] PEPM 2012: call for papers   Simon Thompson
• [TYPES/announce] call for participation: FCT 2011 in Oslo   Cristian Prisacariu
• [TYPES/announce] ITP 2011 (Call for Participation)   Freek Wiedijk
• [TYPES/announce] WOCSD: Final Call for Papers (Deadline Extended)   Marcel Kyas
• [TYPES/announce] Postdoc Position on Higher-Order Model Checking and Program Verification   koba
• [TYPES/announce] LFCS Free Topos Seminar, Phil Scott, 13 July, Edinburgh, Scotland   Benedict Kavanagh
• [TYPES/announce] 1st Call for Abstracts: Doctoral Track at FACS 2011   Peter Csaba Ölveczky
• [TYPES/announce] Second CFP: SAC 2012 track on Service-Oriented Architectures and Programming (SOAP)   Fabrizio Montesi
• [TYPES/announce] Post-doc position in Implicit Computational Complexity at LIPN, Paris 13   Damiano Mazza
• [TYPES/announce] SPLST 2011 - Call for Papers   James Chapman
• [TYPES/announce] CFP: PADL'12 - Practical Aspects of Declarative Languages 2012   Claudio Russo
• [TYPES/announce] *** CALCO 2011: Early registration deadline approaching ***   Corina Cirstea
• [TYPES/announce] Call for participation: DTP 2011   Wouter Swierstra
• [TYPES/announce] LSFA 2011 - call for participation   Elaine Pimentel
• [TYPES/announce] 3 year PhD position in Computer Science at Torino University   Mariangiola Dezani
• [TYPES/announce] Software Verification and Testing Track at SAC'12: 2nd CfP   Jun PANG
• [TYPES/announce] VSTTE 2012 : Third Call for Papers   Gudmund Grov
• [TYPES/announce] Domains X 2011: Call for Participation   Ulrich Berger
• [TYPES/announce] Postdoc Position in Program Verification and Analysis   Peter O'Hearn
• [TYPES/announce] CFP: International Symposium on Engineering Secure Software and Systems (ESSoS)   Pieter Philippaerts
• [TYPES/announce] Domain-Specific Languages: Call for Participation   Chung-chieh Shan
• [TYPES/announce] LATA 2012: 1st call for papers   "Carlos Martín Vide"
• [TYPES/announce] Call For Participation *** [FLACOS 2011]: Workshop on Formal Languages and Analysis of Contract-Oriented Software (Málaga, Spain)   Meriem Ouederni
• [TYPES/announce] Summer School on Rigorous Methods (Madrid, September 19-21)   FRANCISCO JAVIER LOPEZ FRAGUAS
• [TYPES/announce] 2nd CFP - Coordination Models, Languages and Applications - CM track at ACM SAC 2012   Jose Luis Fernandez Marquez
• [TYPES/announce] *** CALCO 2011: Early registration extended until July 27 ***   Corina Cirstea
• [TYPES/announce] TLDI 2012 - Call for Papers and Contributed Talks   Benjamin C. Pierce
• [TYPES/announce] SBLP 2011 - 1st. Call for participation   Christiano Braga
• [TYPES/announce] RTA 2012: Call for Workshop Proposals   Masahiko Sakai
• [TYPES/announce] VMCAI 2012 CALL FOR PAPERS   Andrey Rybalchenko
• [TYPES/announce] COMPUTABILITY - The Journal of the Association CiE   S Barry Cooper
• [TYPES/announce] FSFLA 2011: 2nd announcement   "Carlos Martín Vide"
• [TYPES/announce] (2nd) Open Call for a Springer LNCS Volume on Resource Analysis   Ricardo Peña
• [TYPES/announce] Principles of Security and Trust (New ETAPS main conference)   Joshua D. Guttman
• [TYPES/announce] CFP: Studia Logica special issue on Logic and Games   Thomas Ågotnes
• [TYPES/announce] ICFP 2011: Call for participation   Wouter Swierstra
• [TYPES/announce] SecCo 2011: Call for Participation   Jun PANG
• [TYPES/announce] Early registration deadline approaching for FCT 2011 - Fundamentals of Computation Theory in Oslo   Cristian Prisacariu
• [TYPES/announce] PODS 2012 Call for Papers   James Cheney
• [TYPES/announce] Final CFP: FOOL'11   Elena Zucca
• [TYPES/announce] PhD Program in Computer Science (5+5 positions) at the University of Verona, Italy   Luca Vigano`
• [TYPES/announce] CfPart: TIME'11   Martin Leucker
• [TYPES/announce] Positions for PhD–students and PostDocs   Baskar
• [TYPES/announce] SAS early registration ends August 10, student travel grants available   Eran Yahav
• [TYPES/announce] WS-FM'11 Call for Participation (last chance for early registration)   Marco Carbone
• [TYPES/announce] postdoctoral researcher position in Innsbruck   Aart Middeldorp
• [TYPES/announce] DBPL '11 Call for Participation   Nate Foster
• [TYPES/announce] VSTTE 2012 : Fourth Call for Papers - 4 weeks to go   Gudmund Grov
• [TYPES/announce] New release of Software Foundations text   Benjamin C. Pierce
• [TYPES/announce] CFP: AGERE! at SPLASH - UPDATES   Alessandro Ricci
• [TYPES/announce] Final CfP: Doctoral Track at FACS 2011   Peter Csaba Ölveczky
• [TYPES/announce] ETAPS 2012: First Call for Papers   Joost-Pieter Katoen
• [TYPES/announce] postdoc position, immediately   Peter Selinger
• [TYPES/announce] QPL2011 workshop, Nijmegen   Peter Selinger
• [TYPES/announce] PhD Position availalble   Patricia Johann
• [TYPES/announce] Second CFP: PADL'12 - Practical Aspects of Declarative Languages 2012   Claudio Russo
• [TYPES/announce] PEPM 2012 Second call for papers   Simon Thompson
• [TYPES/announce] Continuation Workshop: Call for Participation (register early by August 15)   Chung-chieh Shan
• [TYPES/announce] Open PhD and Postdoc Positions at Marburg University   Klaus Ostermann
• [TYPES/announce] short notice: posts available in Birmingham   Paul Levy
• [TYPES/announce] Onward! 2011 Call for Essay Workshop (NEW)   William Cook
• [TYPES/announce] ML Workshop: register early by August 15   Chung-chieh Shan
• [TYPES/announce] Last CFP: SAC 2012 track on Service-Oriented Architectures and Programming   Manuel Mazzara
• [TYPES/announce] Software Verification and Testing Track at SAC'12: last CfP (deadline Aug. 31)   Jun PANG
• [TYPES/announce] Call for Participation MeCBIC 2011 (Fontainebleau, 23 August)   Gabriel Ciobanu
• [TYPES/announce] 6 Month Postdoc Position   Robert Atkey
• [TYPES/announce] Call for Participation: LFMTP/MLPA, August 26, Nijmegen   Florian Rabe
• [TYPES/announce] VSTTE 2012: Final Call for Papers - Submission Deadline: August 31   Gudmund Grov
• [TYPES/announce] CMCS 2012: First call for papers   A.M.Silva at cwi.nl
• [TYPES/announce] [fm-announcements] RV'11 San Francisco - Call for Participation   Havelund, Klaus (318M)
• [TYPES/announce] CfPart: School on Formalization of Mathematics (March 12-16, 2012, Sophia Antipolis, France)   bertot
  • [TYPES/announce] CfPart: School on Formalization of Mathematics (March 12-16, 2012, Sophia Antipolis, France)   Yves Bertot
• [TYPES/announce] FACS 2011: First Call for Participation   Peter Csaba Ölveczky
• [TYPES/announce] Book on functional programming and game development   Giuseppe Maggiore
• [TYPES/announce] Computability: Contribute to the Inaugural Issue!   S Barry Cooper
• [TYPES/announce] LATA 2012: 2nd call for papers   "Carlos Martín Vide"
• [TYPES/announce] Treatise on Intuitionistic Type Theory   Johan Georg Granström
• [TYPES/announce] OOPS track at SAC 2012: One week deadline extension   Davide Ancona
• [TYPES/announce] CFP (Deadline Extended to Sept. 7th) - Coordination Models, Languages and Applications - CM track at ACM SAC 2012   Jose Luis Fernandez Marquez
• [TYPES/announce] VSTTE 2012: Extended deadline for paper submission: September 10   Gudmund Grov
• [TYPES/announce] Software Verification and Testing Track at SAC'12: One week deadline extension   Jun PANG
• [TYPES/announce] Call for Poster Presentations: APLAS 2011 (9th Asian Symposium on Programming Languages and Systems)   Mike Dodds
• [TYPES/announce] The 18th International Static Analysis Symposium (SAS'11) - Call for Participation   Eran Yahav
• [TYPES/announce] Final CFP: AGERE! @ SPLASH 2011 - Typing Actors and Agents at SPLASH   Alessandro Ricci
• [TYPES/announce] Postdoctoral and PhD positions at NTUA/ICCS   Nikolaos S. Papaspyrou
• [TYPES/announce] FSFLA 2011: final announcement   "Carlos Martín Vide"
• [TYPES/announce] Final CFP: PADL'12 - Practical Aspects of Declarative Languages 2012   Claudio Russo
• [TYPES/announce] Call for papers: Programming languages meets program verification   Nikhil Swamy
• [TYPES/announce] Postdoc positions at Cornell/Princeton in programming languages and networks   Nate Foster
• [TYPES/announce] DICE 2012 - First Call for Papers   Ugo Dal Lago
• [TYPES/announce] 2nd CFPs: Constraint​​s in Formal Verificati​​on 2011   Miroslav Velev
• [TYPES/announce] CFP: International Symposium on Engineering Secure Software and Systems (ESSoS) -- deadline approaching!   Pieter Philippaerts
• [TYPES/announce] CFP: PLPV'12 - Programming languages meets program verification   Nikhil Swamy
• [TYPES/announce] Mathematics of Program Construction - first call for papers   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] CfPar: SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM'11)   Gerardo Schneider
• [TYPES/announce] TACAS 2012 Call for Papers   Cormac Flanagan
• [TYPES/announce] Workshop on Bidirectional Transformations (BX 2012)   Benjamin C. Pierce
• [TYPES/announce] PhD position available at Strathclyde   Patricia Johann
• [TYPES/announce] 12th Wessex Theory Seminar - Thu 15 September   Paulo Oliva
• [TYPES/announce] CFP ESOP 2012   Helmut Seidl
• [TYPES/announce] 2nd CFP: Special Journal Issue on Behavioural Types   Simon Gay
• [TYPES/announce] ETAPS 2012: Call for Papers   Joost-Pieter Katoen
• [TYPES/announce] CFP - TOOLS Europe 2012   Scott West
• [TYPES/announce] CMCS 2012: call for papers and revised dates   A.M.Silva at cwi.nl
• [TYPES/announce] Final call for papers PEPM 2012   Simon Thompson
• [TYPES/announce] SBLP 2011 - Final call for participation   Christiano Braga
• [TYPES/announce] NFM 2012 Call For Papers   MUNOZ, CESAR (LARC-D320)
• [TYPES/announce] 12 PhD position on CSE at IMT Lucca - Deadline for Application Sept. 28.   Marzia Buscemi
• [TYPES/announce] FOOL'11: CALL FOR PARTICIPATION   Elena Zucca
• [TYPES/announce] CfPar: School on Software Engineering and Formal Methods (Nov 2011)   Gerardo Schneider
• [TYPES/announce] TLDI 2012 - Call for Papers and Contributed Talks (updated)   Benjamin C. Pierce
• [TYPES/announce] CONCUR 2012: Call for workshops   Emilio Tuosto
• [TYPES/announce] Univalent Foundations program 2012-2013   Vladimir Voevodsky
• [TYPES/announce] CFP FoSSaCS 2012   Lars Birkedal
• [TYPES/announce] LATA 2012: final call for papers   "Carlos Martín Vide"
• [TYPES/announce] QPL 2011 workshop, Nijmegen, Oct 27-29   Peter Selinger
• [TYPES/announce] PLACES 2012 Call For Papers   Simon Gay
• [TYPES/announce] IJCAR 2012: Call for Papers   Dale Miller
• [TYPES/announce] Deadline in one week: Nominations for the AITO Dahl-Nygaard Prize   Erik Ernst
• [TYPES/announce] CFPs: abstracts due today for CFV'11 Workshop at ICCAD'11   Miroslav Velev
• [TYPES/announce] OpenCert 2011 - Final Call for Papers   Antonio Cerone
• [TYPES/announce] 2-YEAR POSTDOCTORAL POSITION ON STRUCTURAL PROOF THEORY   Agata Ciabattoni
• [TYPES/announce] CfP: COMPUTING 2011 - Symposium on 75 Years of Turing Machine and Lambda-Calculus   Stephan Falke
• [TYPES/announce] MSFP 2012: Call for Papers   James Chapman
• [TYPES/announce] Friendly F# - lots of free lecture notes/slides available   Giuseppe Maggiore
• [TYPES/announce] ITP 2012: Call for workshop proposals   Lennart Beringer
• [TYPES/announce] APLAS'11 poster session - Extended deadline: 7th October   Mike Dodds
• [TYPES/announce] VSTTE 2012 verification competition: call for participation   Gudmund Grov
• [TYPES/announce] FSFLA 2011: call for participation   "Carlos Martín Vide"
• [TYPES/announce] RTA 2012: First Call For Papers   Georg
• [TYPES/announce] [POST] Principles of Security and Trust: Final CFP   Joshua D. Guttman
• [TYPES/announce] ECOOP 2012 Call for Workshops   Tao Xie
• [TYPES/announce] PhD Positions on Trustworthy Electronic Elections   Carsten Schürmann
• [TYPES/announce] NII Shonan Meetings - Call for seminar proposals   Soichiro Hidaka
• [TYPES/announce] 5th Scottish Category Theory Seminar   Alex Simpson
• [TYPES/announce] Short Notice: Wessex Theory Seminar, *Thu Oct 6*, Imperial College London   Pattinson, Dirk
• [TYPES/announce] Contract Position for Biological Modelling Language Development   Andrew Phillips
• [TYPES/announce] Underrepresented Problems for PL Researchers: A New Workshop at POPL 2012   David Walker
• [TYPES/announce] PLPV 2012: 2nd Call for papers (updated submission deadline)   Nikhil Swamy
• [TYPES/announce] Informatics Europe 2011 Curriculum Best Practices Award - Parallelism and Concurrency   Cristina Pereira
• [TYPES/announce] CFP: 25th IEEE Computer Security Foundations Symposium (CSF 2012)   Matteo Maffei
• [TYPES/announce] Information Security Workshop   Michael Mislove
• [TYPES/announce] CAV 2012: Call For Papers   CAV 2012 CFP
  • [TYPES/announce] CAV 2012: Call For Papers   CAV 2012 CFP
  • [TYPES/announce] CAV 2012: Call For Papers   CAV 2012 CFP
• [TYPES/announce] CICM 2012: Call for workshops   Johan Jeuring
• [TYPES/announce] VSTTE 2012 Verification Competition: Change of Dates   Gudmund Grov
• [TYPES/announce] PLDI: Call for papers - one month to go   Matt Might
• [TYPES/announce] CAV 2012: Call For Workshops   CAV 2012 CFP
  • [TYPES/announce] CAV 2012: Call For Workshops   CAV 2012 CFP
• [TYPES/announce] LATA 2012: submission deadline extended   "Carlos Martín Vide"
• [TYPES/announce] Assistant Professor position in Modelling and Analysis of Concurrent Systems at IMT Lucca (deadline October 31st)   Marzia Buscemi
• [TYPES/announce] PEPM'12 Deadline Extension   Simon Thompson
• [TYPES/announce] Turing Year in China - TAMC 2012   S B Cooper
• [TYPES/announce] ICECCS 2012 - Call for Papers   Isabelle Perseil
• [TYPES/announce] CALL FOR PARTICIPATION - Solomonoff 85th Memorial Conference   Dianne Nguyen
• [TYPES/announce] DAMP 2012: Call for Papers   Umut Acar
• [TYPES/announce] CFP: FD-COMA 2012: Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures   Clemens Grelck
  • [TYPES/announce] CFP: FD-COMA 2012: Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures   Clemens Grelck
• [TYPES/announce] AGERE! @ SPLASH 2011: CALL FOR PARTICIPATION   Alessandro Ricci
• [TYPES/announce] CSF 2012 Call for Workshops   Matteo Maffei
• [TYPES/announce] ETAPS 2013: Call for Satellite Events   Joost-Pieter Katoen
• [TYPES/announce] CfP: Bytecode 2012   Marieke Huisman
• [TYPES/announce] PLAS 2012: Preliminary call for papers   Sergio Maffeis
• [TYPES/announce] CONCUR 2012: Call for workshops / deadline approaching   Emilio Tuosto
• [TYPES/announce] Research Engineer at Monoidics, London, UK   Dino Distefano
• [TYPES/announce] WRLA 2012: Call for papers   Francisco Durán
• [TYPES/announce] Postdoctoral position in program analysis and security at the University of Maryland, College Park   Jeff Foster
• [TYPES/announce] LI2012: call for participation   Emmanuel Beffara
• [TYPES/announce] Call for Participation: APLAS+CPP   bywang at iis.sinica.edu.tw
• [TYPES/announce] FICS 2012 Call for Papers   ze at inf.u-szeged.hu
• [TYPES/announce] PhD positions at Aalborg University   Kim G. Larsen
• [TYPES/announce] Milner Symposium, Edinburgh, 16-18 April 2012 - first announcement   Milner Symposium
• [TYPES/announce] ICFP 2012: Call for workshops and co-located events   Wouter Swierstra
• [TYPES/announce] IWC 2012 & CoCo 2012: First Call for Papers and Provers   Nao Hirokawa
• [TYPES/announce] LINEARITY 2012 - Call for papers   Sandra Alves
• [TYPES/announce] WSLST 2012: 2nd announcement   "Carlos Martín Vide"
• [TYPES/announce] Call for Papers QAP'12   Herbert Wiklicky
• [TYPES/announce] PhD-student position in Mathematical Logic at Stockholm University   Erik Palmgren
• [TYPES/announce] FIT 2012 - Call for Contributions   Sebastian Bauer
• [TYPES/announce] Postdoc and Graduate School programmes of the FSMP   Thomas Ehrhard
  • [TYPES/announce] Postdoc and Graduate School programmes of the FSMP   Thomas Ehrhard
• [TYPES/announce] ITP 2012: Call for Papers   Amy Felty
• [TYPES/announce] CMCS 2012: second call for papers   A.M.Silva at cwi.nl
• [TYPES/announce] CfP: International Workshop on 75 Years of the Lambda Calculus   Patricia Johann
• [TYPES/announce] Call for Papers - First International Workshop on Bidirectional Transformations   Janis Voigtländer
• [TYPES/announce] WST 2012: First Call For Papers   Georg Moser
• [TYPES/announce] EAPLS PhD Award 2011: Call for Nominations   Arend Rensink
• [TYPES/announce] 2 faculty positions at CU Boulder   Jeremy Siek
• [TYPES/announce] VSTTE 2012 Competition: Final Call for Participation - 1 WEEK TO GO!   Gudmund Grov
• [TYPES/announce] Research positions at DFKI SKS, Bremen   Lutz Schroeder
• [TYPES/announce] Call for Participation: APLAS'11 (Asian Symposium on Programming Languages and Systems 2011) + CPP'11 (Certified Programs and Proofs 2011)   Noam Rinetzky
• [TYPES/announce] DATICS-IME​CS'12 CFP   SS DATICS
• [TYPES/announce] PLACES 2012: 2nd Call For Papers   Simon Gay
• [TYPES/announce] SAT 2012: Call for Papers   Roberto Sebastiani
• [TYPES/announce] an update to Foundations   Vladimir Voevodsky
• [TYPES/announce] Call for Papers--17th ACM SACMAT 2012   Lujo Bauer
• [TYPES/announce] PostDoc and PhD positions at Instituto de Telecomunicacoes/IST, Lisboa   Pedro Adão
• [TYPES/announce] ICALP 2012 First Call for Papers   Andrew Pitts
• [TYPES/announce] PODS 2012: Second call for papers   James Cheney
• [TYPES/announce] Underrepresented Problems for Programming Language Researchers, Final Call for Submissions   David Walker
• [TYPES/announce] CRA-W/CDC Programming Languages Mentoring Workshop   Stephanie Weirich
• [TYPES/announce] Tenure-track position at Nagoya University   Masahiko Sakai
• [TYPES/announce] Three PhD Positions in Computer Science at Uppsala University   Tobias Wrigstad
• [TYPES/announce] Research Assistant/Associate position in Verification and Language Support for GPU Programming at Imperial College London   Alastair Donaldson
• [TYPES/announce] DICE 2012 - Second Call for Papers   Ugo Dal Lago
  • [TYPES/announce] DICE 2012 - Last Call for Papers   Ugo Dal Lago
• [TYPES/announce] 5th Scottish Category Theory Seminar: Programme   Alex Simpson
• [TYPES/announce] 4 faculty positions at Oregon State University   Martin Erwig
• [TYPES/announce] ICALP 2012 Call for Workshop Proposals   Andrew Pitts
• [TYPES/announce] Postdoc and PhD student positions at KTH Royal Institute of Computer Science, Stockholm   Mads Dam
• [TYPES/announce] First call for papers CICM 2012 - Conference on Intelligent Computer Mathematics   Johan Jeuring
• [TYPES/announce] 2nd CfP: Bytecode 2012   Marieke Huisman
• [TYPES/announce] Postdoc positions in the "Modularity for Supercomputing" Project   Atsushi Igarashi
• [TYPES/announce] MSFP 2012: Second Call for Papers   James Chapman
• [TYPES/announce] QAPL 2012: Second Call for Papers (new: Invited Speakers and TCS Special Issue)   Herbert Wiklicky
• [TYPES/announce] ICTAC'12: First Call For Papers   Jun PANG
• [TYPES/announce] MSRC Researcher and Postdoc positions   Matthew Parkinson
• [TYPES/announce] Turing Fellowships and Scholarships   S B Cooper
• [TYPES/announce] PEPM'12 Call for participation   Simon Thompson
• [TYPES/announce] Positions for PhD and PostDocs   Baskar Anguraj
• [TYPES/announce] POPL 2012: Call for participation   Swarat Chaudhuri
• [TYPES/announce] PADL 2012 Call for Participation   Claudio Russo
• [TYPES/announce] ITP'12: final call for workshop proposals   Lennart Beringer
• [TYPES/announce] LI2012: second call for participation   Lionel Vaux
• [TYPES/announce] MFPS First Call for Papers   Ulrich Berger
• [TYPES/announce] FICS 2012, second call   ze at inf.u-szeged.hu
• [TYPES/announce] 2nd CFP - TOOLS Europe 2012   Scott West
• [TYPES/announce] PLPV 2012: Call for participation   Nikhil Swamy
• [TYPES/announce] CfP PAPP 2012: 9th International Workshop on Practical Aspects of High-Level Parallel Programming   Julien Tesson
• [TYPES/announce] CFP: Special Issue on Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs   Zhenjiang Hu
• [TYPES/announce] TLDI 2012 Call for participation   Benjamin C. Pierce
• [TYPES/announce] Special issue of Information and Computation on ICC/DICE   Jean-Yves Marion
• [TYPES/announce] FICS 2012 submission deadline extension   ze at inf.u-szeged.hu
• [TYPES/announce] Post-doc position in the Marelle team at Inria Sophia Antipolis   bertot
• [TYPES/announce] FIT 2012 - 2nd Call for Contributions   Sebastian Bauer
• [TYPES/announce] NFM 2012 Paper Submission Deadline extended to December 18, 2011 (11:59pm EST)   Alwyn Goodloe
• [TYPES/announce] ETAPS 2013: Final Call for Satellite Events   Joost-Pieter Katoen
• [TYPES/announce] LINEARITY 2012 - Second call-for-papers   Sandra Alves
• [TYPES/announce] Logic and Interaction week - call for contribution and participation   Emmanuel Beffara
• [TYPES/announce] Call for Participation to parallelism workshop: DAMP 2012   Umut Acar
• [TYPES/announce] VSTTE 2012: First Call for Participation   Gudmund Grov
• [TYPES/announce] WRLA 2012: last call for papers   Francisco Durán
• [TYPES/announce] Final CFP: PLACES 2012   Simon Gay
• [TYPES/announce] 1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS'12)   Manuel Mazzara
• [TYPES/announce] Turing Centenary Conference, Cambridge, June 18-23, 2012   S B Cooper
• [TYPES/announce] Final CFP FLOPS 2012   Peter Thiemann
• [TYPES/announce] Complexity School @LI2012 : call for participation   Patrick Baillot
• [TYPES/announce] ESSoS Doctoral Symposium: Call for Contributions   Pieter Philippaerts
• [TYPES/announce] WST 2012: Second Call For Papers   Georg Moser
• [TYPES/announce] Call for papers: Workshop on Turing's Legacy at BMC 2012, Canterbury, UK   Simon Thompson
• [TYPES/announce] 2nd International PhD School on Quantitative Model Checking   Andrzej Wąsowski
• [TYPES/announce] RTA 2012: Second Call For Papers   Georg Moser
• [TYPES/announce] Off The Beaten Track: Call for Participation   David Walker
• [TYPES/announce] Three UK Post-graduate PhD studentships in TOC   Paulo Oliva
• [TYPES/announce] Turing Fellowships - extended deadline, 21 Decemebr, 2011   S B Cooper
• [TYPES/announce] Ph.D./postdoc/scientist positions: PL/types for secure mobile web   Jonathan Aldrich
• [TYPES/announce] IJCAR 2012: 2nd Call for Papers   Dale Miller
• [TYPES/announce] Ph.D. and postdoctoral positions at IMDEA Software Institute   Gilles Barthe
• [TYPES/announce] Mathematics of Program Construction: Second Call for Papers   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] NASSLLI 2012: CfPart   Joey Frazee
• [TYPES/announce] PhD and Postdoc Positions, Computer Security, George Washington   Michael Clarkson
• [TYPES/announce] Deadline extended - First International Workshop on Bidirectional Transformations   Janis Voigtländer
• [TYPES/announce] Postdoc position in Mathematical Logic at Stockholm University   Erik Palmgren
• [TYPES/announce] Estonian Winter School in Comput Sci 2012, call for partic.   Tarmo Uustalu
• [TYPES/announce] MSFP 2012 deadline extension   Paul Levy
• [TYPES/announce] Postdoctoral Positions in Mathematics and Computer Science (Lyon, France)   Daniel Hirschkoff
• [TYPES/announce] Reminder EAPLS PhD Award 2011: Call for Nominations (deadline 31 December 2011)   Arend Rensink
• [TYPES/announce] POPL 2012: Registration and hotel reservation deadlines (December 24) approaching!   Swarat Chaudhuri
• [TYPES/announce] PADL 2012 Final Call for Participation   Claudio Russo
• [TYPES/announce] Agda Implementors' Meeting XV   Andreas Abel
  • [TYPES/announce] Correction: Agda Implementors' Meeting XV   Andreas Abel
• [TYPES/announce] VMCAI 2012: call for participation   Andrey Rybalchenko
• [TYPES/announce] last CFP: Bytecode 2012 (deadline: January 4, 2012)   Marieke Huisman
• [TYPES/announce] 2 faculty positions at University of Minnesota   Eric Van Wyk
• [TYPES/announce] Postdoc positions at Seoul National Univ.   Kwangkeun Yi
• [TYPES/announce] Post Doc Opportunity Verification of Time/Resource Sensitive Safety Critical Systems using HPC   Adrian Rutle
• [TYPES/announce] University of Edinburgh Chancellor's Fellowships   Philip Wadler
• [TYPES/announce] SACMAT 2012, 2nd CFP   Lujo Bauer
• [TYPES/announce] Final Call For Papers RTA 2012   Georg Moser

Last message date: Thu Dec 29 16:55:50 EST 2011
Archived on: Thu Dec 29 16:57:57 EST 2011

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