2012 Archives by subject

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

Starting: Tue Jan 3 09:18:36 EST 2012
Ending: Mon Dec 31 04:33:33 EST 2012
Messages: 635

• [TYPES/announce] "A New Paradigm for Component-based Development"   Johan Georg Granström
• [TYPES/announce] *** Early registration ends June 20 *** CAV 2012: Call for Participation   CAV 2012 CFP
• [TYPES/announce] *** Early Registration Ends Monday 6/25 *** CAV 2012: Call For Participation   CAV 2012 CFP
• [TYPES/announce] *** Early registration extended through June 25 *** CAV 2012: Call for Participation   CAV 2012 CFP
• [TYPES/announce] *correction* PEPM 2013: Preliminary Call for Papers   scm-ml
• [TYPES/announce] *Deadline extended (30th April)* CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods   Takashi KITAMURA
• [TYPES/announce] *Deadline Extended* CFP : ICFEM 2012 - 14th International Conference on Formal Engineering Methods   Takashi KITAMURA
• [TYPES/announce] 10th Annual Conference on Theory and Applications of Models of Computation (TAMC13)   S B Cooper
• [TYPES/announce] 15th Wessex theory seminar on 19 July in Birmingham   Paul Levy
• [TYPES/announce] 17th Wessex theory seminar - Call for Participation   Nikos Tzevelekos
• [TYPES/announce] 1s International Workshop on Trustworthy Multi-Agent Systems (TruMAS'12)   Manuel Mazzara
• [TYPES/announce] 1st Call for Papers: WWV 2012   Francesco tiezzi
• [TYPES/announce] 1st CfP: EXPRESS/SOS 2012   Luttik, S.P.
• [TYPES/announce] 1st CFP: FTSCS 2012 - 1st International Workshop on Formal Techniques for Safety-Critical Systems   Takashi KITAMURA
• [TYPES/announce] 1st CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods   Takashi KITAMURA
• [TYPES/announce] 1st CfP Logics, Agents, and Mobility (LAM'13)   Muller B (AT)
• [TYPES/announce] 2-year postdoc position on static analysis in the University of Oxford   Hongseok Yang
• [TYPES/announce] 2nd Call for Informal Presentations at Turing Centenary Conference, Cambridge, UK   S B Cooper
• [TYPES/announce] 2nd Call For Papers: APLAS 2012, 10th Asian Symposium on Programming Languages and Systems   Ranjit Jhala
• [TYPES/announce] 2nd Call for Papers: NSAD 2012 (co-located with SAS 2012)   Matt Might
• [TYPES/announce] 2nd Call for Papers: WWV 2012   Francesco Tiezzi
• [TYPES/announce] 2nd Call for Participation: Midlands Graduate School 2012   E.Ritter at cs.bham.ac.uk
• [TYPES/announce] 2nd CFP (Deadline extended, May 5th): First Workshop on Modelling and Reasoning for Cyber-Physical Systems (MoRe4CPS)   Thomas Hildebrandt
• [TYPES/announce] 2nd CFP: AGERE! @ SPLASH 2012 - Programming based on Actors, Agents & Decentralized Control   Alessandro Ricci
• [TYPES/announce] 2nd CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs   Chris Hawblitzel
• [TYPES/announce] 2nd CfP: JLAP Special Issue on Automated Specification and Verification of Web Systems   Francesco Tiezzi
• [TYPES/announce] 2nd CFP: LaME'12 Languages for the Multi-core Era (ECOOP workshop)   Jonathan Aldrich
• [TYPES/announce] 2nd cfp: QPL 2012 - Brussels 10-12 October 2012   Ross Duncan
• [TYPES/announce] 2nd CFP: SLE 2012 - International Conference on Software Language Engineering   Görel Hedin
• [TYPES/announce] 2nd CfP: WAVE 2012 (extended deadline), Workshop on Advances in Verification for Eiffel   Scott West
• [TYPES/announce] 2nd CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK   TASE 2013
• [TYPES/announce] 2nd CfP Logics, Agents, and Mobility (LAM'13)   Muller B (AT)
• [TYPES/announce] 2nd International PhD School on Quantitative Model Checking   Andrzej Wąsowski
• [TYPES/announce] 2 PhD Positions in Computer Security - Univ. Luxembourg.   Gabriele LENZINI
• [TYPES/announce] 2 PhD positions in Leicester   Alexander Kurz
• [TYPES/announce] 3rd CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK   TASE 2013
• [TYPES/announce] 3 year postdoctoral research position in Innsbruck   Aart Middeldorp
• [TYPES/announce] 4 PhD Positions at Chalmers   Andrei Sabelfeld
• [TYPES/announce] 6th International School on Rewriting (ISR), July 16-20, 2012   Santiago Escobar
• [TYPES/announce] 6th International School on Rewriting (ISR), Valencia, July 16-20, 2012   Santiago Escobar
• [TYPES/announce] 6th International School on Rewriting (ISR 2012) - Early registration (250 euro): June 15!!   Santiago Escobar
• [TYPES/announce] 75YLC call for participation   Patricia Johann
• [TYPES/announce] 7th Workshop on Games for Logic and Programming Languages (GaLoP)   Dan Ghica
• [TYPES/announce] [ANN] Agda Intensive Meeting 16th (AIM XVI) in Copenhagen   Nicolas Pouillard
• [TYPES/announce] [Call for Participation] AGERE! @ SPLASH 2012   Alessandro Ricci
• [TYPES/announce] [CFP] CMSB2013 - The 11th Annual Conference on Computational Methods in Systems Biology   CMSB2013
• [TYPES/announce] [CFP] Reachability Problems (RP'12)   Davide Ancona
• [TYPES/announce] [cfp] Security track at ACM SAC   Joshua D. Guttman
• [TYPES/announce] [CiE 2012] Call for Informal Presentations for Turing Centenary Conference in Cambridge   S B Cooper
• [TYPES/announce] [fm-announcements] NASA/NIA PVS Class 2012   MUNOZ, CESAR (LARC-D320)
• [TYPES/announce] [fm-announcements] RV 2012 - call for participation   Klaus Havelund
• [TYPES/announce] [TYPES-announce] CALL FOR PAPERS : UML&FM 2012   Isabelle Perseil
• [TYPES/announce] ACL2 2013 - Call For Papers   Jared C. Davis
• [TYPES/announce] ACM POPL 2013: Call for participation   Viktor Vafeiadis
• [TYPES/announce] ACM POPL 2013: Call for participation (Updated)   Viktor Vafeiadis
• [TYPES/announce] ACM SAC 2013 - SOAP Track: Final CfP   Fabrizio Montesi
• [TYPES/announce] advertising a logic-application postdoc at CS Oxford   Mehrnoosh Sadrzadeh
• [TYPES/announce] AiML 2012: final CfP, with a special session "Modalities for Types"   Tadeusz Litak
• [TYPES/announce] Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012   S B Cooper
• [TYPES/announce] An important 3 months event in 2014 and two close deadlines   curien at pps.jussieu.fr
• [TYPES/announce] Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)   Bas Spitters
• [TYPES/announce] Announcing the release of CVC4, version 1.0   Dejan Jovanović
• [TYPES/announce] APLAS 2012: Call for Posters and Demos   Kohei SUENAGA
• [TYPES/announce] APLAS 2012: Final Call for Posters and Demos   Kohei SUENAGA
• [TYPES/announce] APLAS and CPP 2012: call for participation   Jacques Garrigue
• [TYPES/announce] Appel à communication, JFLA 2013   Damien Pous
• [TYPES/announce] A proof of the Feit Thompson theorem in Coq   Assia Mahboubi
• [TYPES/announce] Assistant Professor position at Chalmers   Andrei Sabelfeld
• [TYPES/announce] Assistant professor position at Wesleyan University   Norman Danner
• [TYPES/announce] assistant professor position in JAIST   Nao Hirokawa
• [TYPES/announce] Associate/Assistant Professorship(s) of Computer Science at the IT University of Copenhagen   Marco Carbone
• [TYPES/announce] Associate professor position in computer science at Uppsala University   Tobias Wrigstad
• [TYPES/announce] BEAT'13 - First Call for Papers   Hans Hüttel
• [TYPES/announce] Beluga release: programming with proofs   Brigitte Pientka
• [TYPES/announce] book: the logic of categorial grammars   retore
• [TYPES/announce] Book Announcement   Gopalan Nadathur
• [TYPES/announce] BX'13 Call for Papers   Nate Foster
• [TYPES/announce] BYTECODE'13 Deadline extended (28 December)   German Puebla
• [TYPES/announce] Call for Applications: Harvard CRCS 2013-14 Postdoctoral Fellows and Visiting Scholars   Stephen Chong
• [TYPES/announce] Call for Bids: ESSLLI 2014   Sophia Katrenko
• [TYPES/announce] Call for Extended Abstract: ID Workshop 2013   Christian Hammer
• [TYPES/announce] Call for Journal Papers: STVR Special Issue on Tests and Proofs   Achim D. Brucker
• [TYPES/announce] Call for paper - HOR 2012 in Nagoya, Japan   Frederic Blanqui
• [TYPES/announce] Call for papers (deadline change): LFMTP'12 (colocated with ICFP'12)   Adam Chlipala
• [TYPES/announce] Call for Papers - First IFCoLog-CIE Student Session   Sandra Alves
• [TYPES/announce] Call for Papers - Haskell Symposium 2012   Janis Voigtländer
• [TYPES/announce] Call for Papers - Haskell Symposium 2012 - six weeks to go   Janis Voigtländer
• [TYPES/announce] Call for Papers - Third Workshop on Formal Methods and Analysis in Software Product Line Engineering   Fabricia Roos Frantz
• [TYPES/announce] Call for Papers - Workshop on Reversible Computation 2012   Janis Voigtländer
• [TYPES/announce] Call for Papers: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK   Erik Palmgren
• [TYPES/announce] Call For Papers: APLAS 2012, 10th Asian Symposium on Programming Languages and Systems   Ranjit Jhala
• [TYPES/announce] Call for Papers: FoSSaCS 2013   Frank Pfenning
• [TYPES/announce] Call for papers: HAI2012   Mike Stannett
• [TYPES/announce] Call for papers: HiPEAC Workshop FD-COMA 2013   Clemens Grelck
• [TYPES/announce] Call for Papers: HotSWUp IV   Michael Hicks
• [TYPES/announce] Call for papers : JFLA 2013   Damien Pous
• [TYPES/announce] Call for papers: LFMTP'12 (colocated with ICFP'12)   Adam Chlipala
• [TYPES/announce] Call for papers: NSAD 2012 (co-located with SAS)   Matt Might
• [TYPES/announce] Call for papers: Numerical Software Verification (NSV 2012)   Swarat Chaudhuri
• [TYPES/announce] Call for Papers: OBT 2013   Ranjit Jhala
• [TYPES/announce] Call For Papers: OBT 2013   Ranjit Jhala
• [TYPES/announce] Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs   Achim D. Brucker
• [TYPES/announce] Call for Papers: QFM 2012   Uli Fahrenberg
• [TYPES/announce] Call for papers: special issue of MSCS   Erik Palmgren
• [TYPES/announce] Call for Papers: STVR Special Issue on Tests and Proofs   Achim D. Brucker
• [TYPES/announce] Call for papers: Types for Proofs and Programs   Bengt Nordstrom
• [TYPES/announce] Call for papers: Workshop on Rigorous Protocol Engineering (WRiPE)   Nate Foster
• [TYPES/announce] Call for Papers: Workshop on Script to Program Evolution (STOP 2012)   Sam Tobin-Hochstadt
• [TYPES/announce] Call for papers for the International Symposium on SCSS 2012   Fairouz Kamareddine
• [TYPES/announce] Call for papers GandALF 2012   Nello Murano
• [TYPES/announce] Call for papers GandALF 2012 -- EXTENDED DEADLINE   Nello Murano
• [TYPES/announce] Call for Papers MeCBIC 2012 / Newcastle, 8th Sept.2012   Gabriel Ciobanu
• [TYPES/announce] Call for Participation & Posters - Joint Workshop on Compositional Modelling & Analysis of Quantitative Systems   Gethin Norman
• [TYPES/announce] Call for Participation - BX'12 (co-located with ETAPS'12)   Janis Voigtländer
• [TYPES/announce] Call for Participation - Workshop on Reversible Computation 2012   Janis Voigtländer
• [TYPES/announce] Call for participation: 2012 COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2012)   Matteo Maffei
• [TYPES/announce] Call for Participation: BEAT'13   Hans Hüttel
• [TYPES/announce] call for participation: Bytecode 2012 (an ETAPS 2012 workshop), March 31, 2012 in Tallinn, Estonia   Marieke Huisman
• [TYPES/announce] CALL FOR PARTICIPATION: FLOPS 2012   Peter Thiemann
• [TYPES/announce] Call for Participation: HOPE 2012   Amal Ahmed
• [TYPES/announce] Call for Participation: HOR'12, Nagoya   Makoto Hamana
• [TYPES/announce] Call for Participation : ICFEM 2012 (12-16th Nov. 2012, Kyoto)   Takashi KITAMURA
• [TYPES/announce] Call for Participation: LFMTP'12   Adam Chlipala
• [TYPES/announce] Call for Participation: Midlands Graduate School 2012   Eike Ritter
• [TYPES/announce] Call for participation: PLDI 2012 (June 11-16 in Beijing, China)   Matthew Might
• [TYPES/announce] call for participation: QPL 2012 - Brussels 10-12 October 2012   Ross Duncan
• [TYPES/announce] Call for Participation: RTA 2012   Georg Moser
• [TYPES/announce] Call for Participation: School on Formalization of Mathematics (March 12-16)   bertot
• [TYPES/announce] Call for Participation: SoTeSoLa, 19-23 Aug, Koblenz   Ralf Laemmel
• [TYPES/announce] Call for Participation: SPIN 2012 - 19th International SPIN Workshop on Model Checking Software   Alastair Donaldson
• [TYPES/announce] Call for Participation: SPIN 2012 - 19th International SPIN Workshop on Model Checking Software   Alastair Donaldson
• [TYPES/announce] Call for Participation: Tests and Proofs (TAP 2012) in Prague   Achim D. Brucker
• [TYPES/announce] Call for Participation: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012   Hans-Wolfgang Loidl
• [TYPES/announce] CALL FOR PARTICIPATION in SLE/GPCE/FOSD 2012   Görel Hedin
• [TYPES/announce] Call for proposals: The 4th Coq Workshop   Adam Chlipala
• [TYPES/announce] Call for Remote Hackathon Participation at SoTeSoLa   Ralf Laemmel
• [TYPES/announce] Call for short student talks @ POPL 2013   Viktor Vafeiadis
• [TYPES/announce] Call for submissions: SLE 2012. Main track, poster track, doctoral symposium   Görel Hedin
• [TYPES/announce] Call for workshop proposals at CAV13   Igor Konnov
• [TYPES/announce] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2013)   Serge Autexier
• [TYPES/announce] Call for Workshops RDP 2013: RTA + TLCA   Herman Geuvers
• [TYPES/announce] CAV 2012: Call for Participation   CAV 2012 CFP
• [TYPES/announce] CAV 2012: Final Call For Papers   CAV 2012 CFP
• [TYPES/announce] CAV 2013 - Call for Papers   Hana Chockler
• [TYPES/announce] CAV 2013 - Second Call for Papers   Hana Chockler
• [TYPES/announce] CAV 2013 CFP - submission deadline extended   Hana Chockler
• [TYPES/announce] CC 2013: Call For Papers   Ranjit Jhala
• [TYPES/announce] CfN for the EATCS Award 2013   Ulf-Peter Schroeder
• [TYPES/announce] CFP -- deadline extension -- 17th ACM SACMAT   Lujo Bauer
• [TYPES/announce] CFP - IFCoLog-CIE Student Session ******** Deadline Extension *********   Sandra Alves
• [TYPES/announce] CFP: (Last Call) FOAL 2013 - Foundations of Aspect-Oriented Languages   Erik Ernst
• [TYPES/announce] CFP: 15th BRAZILIAN SYMPOSIUM ON FORMAL METHODS   Christiano Braga
• [TYPES/announce] CFP: 25th IEEE Computer Security Foundations Symposium (CSF 2012)   Matteo Maffei
• [TYPES/announce] CfP : 6th Category Theory Seminar   Neil Ghani
• [TYPES/announce] CfP: Advances in Systems of Systems an ETAPS workshop   Ulrik Nyman
• [TYPES/announce] CFP: AGERE! @ SPLASH 2012 - Programming based on Actors, Agents and Decentralized Control   Alessandro Ricci
• [TYPES/announce] CFP: ASE '12 Tool Demonstrations   Ewen Denney
• [TYPES/announce] CFP: ASSURE 2013   Ewen Denney
• [TYPES/announce] CfP: Conf. Intelligent Computer Mathematics (Bath, UK, 7-12 Jul 2013); Deadline 8 Mar   Christoph LANGE
• [TYPES/announce] CFP: COORDINATION 2013 in Firenze   Francesco Tiezzi
• [TYPES/announce] CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs   Chris Hawblitzel
• [TYPES/announce] CfP: ESOP 2013   Matthias Felleisen
• [TYPES/announce] CFP: First Workshop on Cross-Model Language Design and Implementation   James Cheney
• [TYPES/announce] CFP: First Workshop on Programming the Semantic Web - PSW 2012   Janis Voigtländer
• [TYPES/announce] CfP: FORMATS'12 - 10th International Conference on Formal Modeling and Analysis of Timed Systems   Nickovic Dejan
• [TYPES/announce] CfP: FORMATS'12 - 10th International Conference on Formal Modeling and Analysis of Timed Systems   Nickovic Dejan
• [TYPES/announce] CFP: Foundations of Aspect-Oriented Languages (FOAL) 2013   Erik Ernst
• [TYPES/announce] CFP: Foundations of Aspect-Oriented Languages (FOAL) 2013   Erik Ernst
• [TYPES/announce] CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs   Florin Craciun
• [TYPES/announce] CFP: HOR 2012 in Nagoya, Japan   Makoto Hamana
• [TYPES/announce] CFP: International Workshop on Software and System Performance Analytics (SSPA 2012) co-located with PLDI 2012   Tao Xie
• [TYPES/announce] CFP: IWS 2012 at IJCAR, Manchester, 1 July 2012   Maribel Fernandez
• [TYPES/announce] CFP: IWS 2012 at IJCAR, Manchester, 1 July 2012   maribel Fernandez
• [TYPES/announce] CfP: JLAP Special Issue on Automated Specification and Verification of Web Systems   Francesco Tiezzi
• [TYPES/announce] CfP: JLC Special Issue on Computational Logic, in honour of Roy Dyckhoff   Stephane Graham-Lengrand (Work)
• [TYPES/announce] CfP: Joint SVARM & VERIFY Workshop 2012   Stephan Falke
• [TYPES/announce] CFP: MoRe4CPS (deadline April 16th) - First Workshop on Modelling and Reasoning for Cyber-Physical Systems   Thomas Hildebrandt
• [TYPES/announce] CFP: Practical Aspects of Declarative Languages (PADL 2013)   Viktor Vafeiadis
• [TYPES/announce] CFP: Practical Aspects of Declarative Languages (PADL 2013)   Viktor Vafeiadis
• [TYPES/announce] CFP: Program Semantics, Specification and Verification (Russia, 1-2 July, 2012)   Николай Шилов
• [TYPES/announce] cfp: QPL 2012 - Brussels 10-12 October 2012   Ross Duncan
• [TYPES/announce] CfP: Software Composition 2013   Stephen Kell
• [TYPES/announce] CfP: Special Issue of TCS on QAPL 2011/12 - EXTENDED Deadline   Herbert Wiklicky
• [TYPES/announce] CfP: Special Issue of TCS on Quantitative Aspects of Programming Languages, and Systems (QAPL 2011/12)   Herbert Wiklicky
• [TYPES/announce] CfP: SPIN 2012 - 19th International Workshop on Model Checking Software   Alastair Donaldson
• [TYPES/announce] CfP: Stage 2 of Enabling Domain Experts to use Formalised Reasoning at AISB 2013 (Exeter, UK, 2-3 Apr 2013); Deadline 14 Jan   Christoph LANGE
• [TYPES/announce] CFP: Summer School on Language Frameworks   SSLF 2012
• [TYPES/announce] CFP: Systems Software Verification (SSV'12)   Gerwin Klein
• [TYPES/announce] CFP: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012   Hans-Wolfgang Loidl
• [TYPES/announce] CfP: VSSE 2013 - Second Workshop on Validation Strategies for Software Evolution (VSSE) 2013   Alastair Donaldson
• [TYPES/announce] CfP: WAVE 2012, Workshop on Advances in Verification for Eiffel   Scott West
• [TYPES/announce] CFP BYTECODE'13   German Puebla
• [TYPES/announce] CfP MeCBIC 2012 (8th September, Newcastle)   Gabriel Ciobanu
• [TYPES/announce] CFP SBLP 2012   Christiano Braga
• [TYPES/announce] CFP Workshop LRPP 2012 (affiliated with IJCAR 2012)   Didier.Galmiche at loria.fr
• [TYPES/announce] CICM 2012: 2nd Call for participation; early registration deadline approaching   Johan Jeuring
• [TYPES/announce] CICM 2012: Call for participation   Johan Jeuring
• [TYPES/announce] CICM 2012: Programme details on-line, last call for participation   Johan Jeuring
• [TYPES/announce] CICM 2012: Second call for papers   Johan Jeuring
• [TYPES/announce] CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations   S B Cooper
• [TYPES/announce] CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation   S B Cooper
• [TYPES/announce] CiE 2013: The Nature of Computation, Milan, Italy, July 1-5, 2013   S B Cooper
• [TYPES/announce] CiE 2013 in Milan - Awards and 2nd Call for Papers   S B Cooper
• [TYPES/announce] CiE 2013 in Milan - Special Awards and Call for Papers   S B Cooper
• [TYPES/announce] CL&C 2012 - Call for participation   Ugo de' Liguoro
• [TYPES/announce] CL&C 2012: deadline extension   Ugo de' Liguoro
• [TYPES/announce] Classical Logic and Computation (CL&C'12) - 2nd Call for Papers   Ugo de'Liguoro
• [TYPES/announce] Classical Logic and Computation (CL&C'12): Call for Papers   Ugo de' Liguoro
• [TYPES/announce] Computer Science Symposium in Russia (CSR 2013) - Call for papers   Patrick Baillot
• [TYPES/announce] Computing with lambda-terms: a Festschrift dedicated to Corrado Bohm   Stefano Guerrini
• [TYPES/announce] CONCUR 2013 - Call for affiliated workshops   Pedro R. D'Argenio
• [TYPES/announce] CONCUR 2013 - First call for papers   Pedro R. D'Argenio
• [TYPES/announce] Conference on Intelligent Computer Mathematics, call for work-in-progress papers   Johan Jeuring
• [TYPES/announce] Conference on Intelligent Computer Mathematics, last call for papers   Johan Jeuring
• [TYPES/announce] Conference on the Constructive in Logic   Melvin Fitting
• [TYPES/announce] CS2Bio'12 (First Call for paper)   Paola Giannini
• [TYPES/announce] CS2Bio'12 Final Call for Papers & Extended Deadline   Paola Giannini
• [TYPES/announce] CS2Bio 12 Call for Papers (June 2012- Stockholm)   Paola Giannini
• [TYPES/announce] CSF 2013: Second Call for Papers and Panels   maffei at cs.uni-saarland.de
• [TYPES/announce] CSF 2013 Call for Workshops   Matteo Maffei
• [TYPES/announce] CSL 2013 : PRELIMINARY ANNOUNCEMENT   Luca Paolini
• [TYPES/announce] Deadline Extension: ESSoS'13   Pieter Philippaerts
• [TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS 2012)   Peter Csaba Ölveczky
• [TYPES/announce] Deadline extension: LFMTP'12   Adam Chlipala
• [TYPES/announce] Deadline Extension for DDFP 2013 (co-located with POPL 2013)   George Giorgidze
• [TYPES/announce] Deadline Extension RTA 2012   Georg Moser
• [TYPES/announce] DICE 2012 - Call for Presentations   Ugo Dal Lago
• [TYPES/announce] DICE 2013, second call for papers   Simona Ronchi della Rocca
• [TYPES/announce] DICE 2013 call for papers   Ronchi Della Rocca Simona
• [TYPES/announce] DICE 2013 last call for papers   Simona Ronchi della Rocca
• [TYPES/announce] DisCoTec 2013: Call for Papers and Workshop Proposals   Francesco Tiezzi
• [TYPES/announce] E. W. Beth Dissertation Prize: 2012 new call for nominations   Ruy de Queiroz
• [TYPES/announce] EAPLS PhD Award 2012: Call for Nominations   Arend Rensink
• [TYPES/announce] ECOOP '13: DEADLINE Extended of four days   Giuseppe Castagna
• [TYPES/announce] ECOOP 2013: Final Call for Papers   Giuseppe Castagna
• [TYPES/announce] ECSS 2012 - Last week to submit your contribution!   Cristina Pereira
• [TYPES/announce] ESSS workshop 2013 (co-located with ICST 2013) -- 2nd Call for Papers   Jun PANG
• [TYPES/announce] ESSS workshop 2013 (co-located with ICST 2013) -- submission deadline extended   Jun PANG
• [TYPES/announce] ESSS workshop 2013 -- 1st Call for Papers   Jun PANG
• [TYPES/announce] ETAPS 2012 2nd call for participation, normal reg. closing 26 Feb. 2012   Tarmo Uustalu
• [TYPES/announce] ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012   Tarmo Uustalu
• [TYPES/announce] EXPRESS/SOS 2012: call for papers   Luttik, S.P.
• [TYPES/announce] Extended deadline -- Software Verification and Testing Track at ACM SAC 2013   Jun PANG
• [TYPES/announce] Extension de deadline : JFLA 2013   Damien Pous
• [TYPES/announce] Faculty position in Software Engineering at York University   Jonathan S. Ostroff
• [TYPES/announce] FHPC 2012: ACM SIGPLAN Workshop on Functional High Performance Computing   Clemens Grelck
• [TYPES/announce] FHPC 2012: Workshop on Functional High Performance Computing   Clemens Grelck
• [TYPES/announce] Fifth International Symposium on Engineering Secure Software and Systems (ESSoS) - Call for Papers   Pieter Philippaerts
• [TYPES/announce] Fifth International Symposium on Engineering Secure Software and Systems (ESSoS) - Call for Papers   Pieter Philippaerts
• [TYPES/announce] FINAL CALL 2nd International PhD School on Quantitative Model Checking   Andrzej Wąsowski
• [TYPES/announce] Final call: ASE '12 Tool Demonstrations   Ewen Denney
• [TYPES/announce] Final Call For Papers: APLAS 2012, 10th Asian Symposium on Programming Languages and Systems   Ranjit Jhala
• [TYPES/announce] Final Call for Papers: WWV 2012   Francesco Tiezzi
• [TYPES/announce] Final CFP (and deadline extension): PSSV workshop in Russia (July 1-2, 2012).   Николай Шилов
• [TYPES/announce] Final CfP (Ext.): ESSLLI 2012 Student Session   Rasmus K. Rendsvig
• [TYPES/announce] Final CfP: ESSLLI 2012 Student Session   ESSLLI 2012 Student Session
• [TYPES/announce] Final CfP: Formal Techniques for Safety-Critical Systems (FTSCS 2012)   Peter Csaba Ölveczky
• [TYPES/announce] Final CFP: HOR'12 - extend deadline: March 29, 2012   Makoto Hamana
• [TYPES/announce] Final CfP: SPIN 2012 - 19th International Workshop on Model Checking Software   Alastair Donaldson
• [TYPES/announce] Final CFP: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012   Hans-Wolfgang Loidl
• [TYPES/announce] Final CFP for NSAD 2012: Deadline extended to 16 June 2012   Matt Might
• [TYPES/announce] FINAL CFP PLACES'13 -- Deadline for Abstracts Fri 14 Dec, full papers Fri 21 Dec   Simon Gay
• [TYPES/announce] FIT 2012: call for participation   Sebastian Bauer
• [TYPES/announce] FIVE vacancies for Software&Systems Engineering PhD/Post-Doc   Ortmeier, Frank, Prof.
• [TYPES/announce] FMSPLE'12 Deadline Extension (1st June) - Third Workshop on Formal Methods and Analysis in Software Product Line Engineering   Fabricia Roos Frantz
• [TYPES/announce] FOCLASA'12: 2nd Call for Papers   José Proença
• [TYPES/announce] FOCLASA'12: Call for Participation   José Proença
• [TYPES/announce] FOCLASA'12: Deadline extension (15th June)   José Proença
• [TYPES/announce] FOCLASA'12 Call For Papers   José Proença
• [TYPES/announce] FOOL 2012 Call for Papers   William Cook
• [TYPES/announce] FORMATS 2012 - Call for Participation   Nickovic Dejan
• [TYPES/announce] FroCoS 2013 First Call for Papers   Christophe Ringeissen
• [TYPES/announce] FW: 3rd CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK   TASE 2013
• [TYPES/announce] GAMES 2012 -- Call for contributions --   Nello Murano
• [TYPES/announce] GAMES 2012 -- Call for contributions --   Nello Murano
• [TYPES/announce] GAMES 2012 -- Call for participation --   Nello Murano
• [TYPES/announce] GandALF 2012 -- Call for participation --   Nello Murano
• [TYPES/announce] Grants and Reminder: ESSLLI 2012 Student Session (deadline April 30)   Rasmus K. Rendsvig
• [TYPES/announce] HAS2012: Hybrid Autonomous Systems Workshop   Manuela Bujorianu
• [TYPES/announce] Haskell Symposium 2012 - Call for Participation (early registration closes 9th August)   Janis Voigtländer
• [TYPES/announce] Haskell Symposium 2012 - deadline approaching   Janis Voigtländer
• [TYPES/announce] HOPE 2012 (a new workshop co-located with ICFP): Call for Talk Proposals   Derek Dreyer
• [TYPES/announce] HOPE 2012 (a new workshop co-located with ICFP): Call for Talk Proposals   Amal Ahmed
• [TYPES/announce] HOPE 2012 (a new workshop co-located with ICFP): Final Call for Talk Proposals   Amal Ahmed
• [TYPES/announce] IAS program wiki   Vladimir Voevodsky
• [TYPES/announce] ICALP 2012 - 2nd Call for Papers   Andrew Pitts
• [TYPES/announce] ICE 2012 - deadline EXTENSION (25 April 2012)   Marco Carbone
• [TYPES/announce] ICE 2012 - First Call for Papers (Deadline 4 April 2012)   Marco Carbone
• [TYPES/announce] ICE 2012 - Second Call for Papers (Deadline 4 April 2012)   Marco Carbone
• [TYPES/announce] ICECCS 2013 in Singapore -- 1st Call for Papers   Jun PANG
• [TYPES/announce] ICECCS 2013 in Singapore -- 2nd Call for Papers   Jun PANG
• [TYPES/announce] ICFP 2012: Call for participation   Wouter Swierstra
• [TYPES/announce] ICFP 2012: Second call for participation   Wouter Swierstra
• [TYPES/announce] ICFP 2012 Call for papers   Wouter Swierstra
• [TYPES/announce] ICFP 2013: Call for workshops and co-located events   David Van Horn
• [TYPES/announce] ICFP Student Research Competition   Wouter Swierstra
• [TYPES/announce] ICTAC'12: 2nd Call For Papers   Jun PANG
• [TYPES/announce] ICTAC'12: Final Call For Papers   Jun PANG
• [TYPES/announce] ICTAC 2012 - Call for Participation   Jun PANG
• [TYPES/announce] ICTAC 2012 - deadline extended by 1 week   Jun PANG
• [TYPES/announce] IFL 2012 Call for Papers   Daniel James
• [TYPES/announce] IMLA 2013 -- EXTENDED DEADLINE   Elaine Pimentel
• [TYPES/announce] IMLA 2013 -- Last call for papers   Elaine Pimentel
• [TYPES/announce] IMLA 2013 - 1st call for papers.   Elaine Pimentel
• [TYPES/announce] Industry job in type theory   Chris Brinkley
• [TYPES/announce] Industry job in type theory   Chris Brinkley
• [TYPES/announce] Informatics Europe Curriculum Award 2012 - Embedded and Mobile Computing   Cristina Pereira
• [TYPES/announce] integrated Formal Methods (iFM 2013): Last Call for Papers   Einar Broch Johnsen
• [TYPES/announce] integrated Formal Methods 2013, Turku, Finland - First Call for Papers   Einar Broch Johnsen
• [TYPES/announce] Intersection Types and Related Systems (ITRS 2012) -- 2nd CFP   Luca Paolini
• [TYPES/announce] Intersection Types and Related Systems (ITRS 2012) -- Final Call   Luca Paolini
• [TYPES/announce] Isabelle Users Workshop 2012   Tobias Nipkow
• [TYPES/announce] Isabelle Users Workshop 2012 — final call   Tobias Nipkow
• [TYPES/announce] ISSTA 2012 Call for Participation   Zhendong Su
• [TYPES/announce] ITP2012: call for participation   Lennart Beringer
• [TYPES/announce] ITP 2012: Final Call for Papers   Amy Felty
• [TYPES/announce] ITP 2012: preliminary call for participation   Lennart Beringer
• [TYPES/announce] ITP 2013: Call for bids   Lennart Beringer
• [TYPES/announce] ITP 2013: Call for workshop proposals   David Pichardie
• [TYPES/announce] ITP 2013: final call for bids   Lennart Beringer
• [TYPES/announce] ITP 2013: First Call for Papers   David Pichardie
• [TYPES/announce] ITRS 2012 - Deadline extension   Luca Paolini
• [TYPES/announce] IWC 2012 & CoCo 2012: Call for Participation and Provers   Nao Hirokawa
• [TYPES/announce] IWC 2012: Second Call for Papers   Nao Hirokawa
• [TYPES/announce] IWC 2013 & CoCo 2013: Call for Participation and Provers   Nao Hirokawa
• [TYPES/announce] Japanese translation of Software Foundations   Benjamin C. Pierce
• [TYPES/announce] JLAP Special Issue on Automated Specification and Verification of Web Systems - EXTENDED Deadline (Paper submission: September 7, 2012   Francesco Tiezzi
• [TYPES/announce] Job openings   Alwyn Goodloe
• [TYPES/announce] JSTools'12: Call for Participation   Christian Hammer
• [TYPES/announce] Kohei Honda   Simon Gay
• [TYPES/announce] LAM'12 (Logics, Agents, and Mobility) extended deadlines   Muller B (AT)
• [TYPES/announce] LAM'13 - Call for Abstracts/Papers - Logics, Agents, and Mobility   Muller B (AT)
• [TYPES/announce] LaME'12 CFP: Languages for the Multi-core Era (ECOOP workshop)   Jonathan Aldrich
• [TYPES/announce] Lang.NEXT Call for Participation   Donna Malayeri
• [TYPES/announce] Last Call for Submissions: SLE 2012 Poster Track and Doctoral Symposium   Görel Hedin
• [TYPES/announce] Last CFP - JLC Special Issue on Computational Logic, in honour of Roy Dyckhoff   Didier.Galmiche at loria.fr
• [TYPES/announce] Last CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods   Takashi KITAMURA
• [TYPES/announce] Last CFP: SBMF 2012   Christiano Braga
• [TYPES/announce] Last CFP: SLE 2012 - International Conference on Software Language Engineering   Görel Hedin
• [TYPES/announce] Last CfP: UNIF 2012 - 26th International Workshop on Unification   Santiago Escobar
• [TYPES/announce] Last Mile: ESSoS 2013 || February 27 - March 1 - Paris, France   Pieter Philippaerts
• [TYPES/announce] LCC2012: Call for papers   Patrick Baillot
• [TYPES/announce] LCTES 2012 - Call for Participation and WiP Submissions   Alain Girault
• [TYPES/announce] Lecturer positions in Theoretical Computer Science at Queen Mary, University of London   Dino Distefano
• [TYPES/announce] Lectureship at University College London   O'Hearn, Peter
• [TYPES/announce] Lectureship in Computer Science   Alexander Kurz
• [TYPES/announce] Lectureship Position @ MSP, Strathclyde   Neil Ghani
• [TYPES/announce] Legacy of Reuben Goodstein, Friday 14th December, 2012   S Barry Cooper
• [TYPES/announce] Legacy of Reuben Goodstein, Friday 14th December, 2012 - final programme details   S Barry Cooper
• [TYPES/announce] LFCS 2013, San Diego, January 6-8: First Call for Papers   Sergei Artemov
• [TYPES/announce] LICS 2012 - Final Call for Papers   Kreutzer, Stephan
• [TYPES/announce] LICS 2012 - Last Call for Participation   Andrzej Murawski
• [TYPES/announce] LICS 2013 - Call for Papers   Andrzej Murawski
• [TYPES/announce] LICS 2013 - Call for Workshop Proposals   Andrzej Murawski
• [TYPES/announce] LICS 2013 - Last Call for Papers   Andrzej Murawski
• [TYPES/announce] Linearity 2012 call for participation   Sandra Alves
• [TYPES/announce] LOLA 2012 -- call for contributed talks   Amal Ahmed
• [TYPES/announce] LOLA 2012: Call for Participation (early registration by May 31)   Amal Ahmed
• [TYPES/announce] LOLA 2012: Call for Talk Proposals   Amal Ahmed
• [TYPES/announce] LOLA 2012: Call for Talk Proposals (deadline extended)   Amal Ahmed
• [TYPES/announce] LOLA 2012: Final Call for Talk Proposals   Amal Ahmed
• [TYPES/announce] LSFA -- extended deadline   Elaine Pimentel
• [TYPES/announce] LSFA 2012 - Call for participation   Christiano Braga
• [TYPES/announce] LSFA 2012: Call For Papers   Christiano Braga
• [TYPES/announce] Master LOPHISC 2012-2013 (Paris)   francesca.poggiolesi at unifi.it
• [TYPES/announce] Matita Web Interface   Andrea Asperti
• [TYPES/announce] MFCS 2012: Call for papers   Vladimiro Sassone
• [TYPES/announce] MFPS 28: paper submission deadline extended by one week   U.Berger at swansea.ac.uk
• [TYPES/announce] MFPS 28: Programme and Call for Participation   Ulrich Berger
• [TYPES/announce] MFPS 28 Second Call for Papers   Mislove, Michael W
• [TYPES/announce] MFPS XXIX Preliminary Announcement   Achim Jung
• [TYPES/announce] Milner Symposium - early registration - student support   Gordon Plotkin
• [TYPES/announce] ML workshop 2012: call for participation   Alain Frisch
• [TYPES/announce] ML workshop 2012: call for presentations   Alain Frisch
• [TYPES/announce] ML workshop 2012: second Call for Presentations   Alain Frisch
• [TYPES/announce] MPC2012 Call for Participation   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] MSFP 2012 call for participation   Paul Levy
• [TYPES/announce] MSRC Researcher and Postdoc positions   Matthew Parkinson
• [TYPES/announce] NASA Formal Methods - NFM 2013, Call for Papers   Pierre-Loïc Garoche
• [TYPES/announce] New Book from Princeton University Press: Alan Turing's Systems of Logic   Text_Assistant
• [TYPES/announce] New SIGPLAN "awards nomination portal" + Important information on eligibility requirement for Milner Award   Derek Dreyer
• [TYPES/announce] NFM 2012 Call for Participation   Alwyn Goodloe
• [TYPES/announce] NII Shonan Meetings - Call for seminar proposals   Soichiro Hidaka
• [TYPES/announce] NII Shonan Meetings - Call for seminar proposals   Soichiro Hidaka
• [TYPES/announce] OBT 2013: Deadline Extended to Nov 9 (Fri)   Ranjit Jhala
• [TYPES/announce] OCaml Users and Developers workshop (OUD)   Didier Remy
• [TYPES/announce] OCCP 2013: Call for Papers   Vasileios Koutavas
• [TYPES/announce] OCCP 2013: Final Call for Papers   Vasileios Koutavas
• [TYPES/announce] OCCP 2013 Deadline Extension   Vasileios Koutavas
• [TYPES/announce] Off the Beaten Track @ POPL 2013: Call for Participation   David Walker
• [TYPES/announce] OOPS track at SAC 2013: deadline extension   Davide Ancona
• [TYPES/announce] OOPS track at SAC 2013: Final Call for Papers   Davide Ancona
• [TYPES/announce] OOPS track at SAC 2013: First Call for Papers   Davide Ancona
• [TYPES/announce] Open DemTech PhD positions @ ITU   Carsten Schürmann
• [TYPES/announce] Open PhD and Postdoc positions at the University of Marburg   Klaus Ostermann
• [TYPES/announce] Open PhD position in Browser or Mobile Security   Christian Hammer
• [TYPES/announce] Open Position in Formal Methods at ENSTA ParisTech   Alexandre Chapoutot
• [TYPES/announce] Oregon Programming Languages Summer School (with lecturers and topics)   Pierce Benjamin C.
• [TYPES/announce] Oregon Programming Languages Summer School - call for participation   Pierce Benjamin C.
• [TYPES/announce] PADL'13 : Call for participation   Viktor Vafeiadis
• [TYPES/announce] PADL 2013: Last CFP and deadline extension   Dimitrios Vytiniotis
• [TYPES/announce] Participants of the Univalent Foundations program   Vladimir Voevodsky
• [TYPES/announce] PEPM 2012: Preliminary Call for Papers   scm-ml
• [TYPES/announce] PEPM 2013: 2nd Call for Participation   scm-ml at iis.sinica.edu.tw
• [TYPES/announce] PEPM 2013: Call for Participation   scm-ml at iis.sinica.edu.tw
• [TYPES/announce] PEPM 2013: Deadline Extension   scm-ml
• [TYPES/announce] PEPM 2013: Final Call for Papers   scm-ml
• [TYPES/announce] PEPM 2013: Second Call for Papers   scm-ml
• [TYPES/announce] Ph.D. position at Universidad Politecnica de Madrid   Julio Mariño
• [TYPES/announce] Ph.D. position in computer science at DIKU   Fritz Henglein
• [TYPES/announce] Ph.D. position in computer security at the University of Luxembourg   Basia Kordy
• [TYPES/announce] Ph.D. Studentship at University of Teesside, UK   Florin Craciun
• [TYPES/announce] PhD/Postdoc Positions in Theoretical Computer Science at FAU Erlangen-Nürnberg   Lutz Schroeder
• [TYPES/announce] PhD and PostDoc positions in parallel FP at Rochester Institute of Technology   Matthew Fluet
• [TYPES/announce] PhD and postdoc positions in regular exressions and types   Fritz Henglein
• [TYPES/announce] PhD Assistantship at University of Vermont   Christian Skalka
• [TYPES/announce] PhD opportunities at the University of Edinburgh   James Cheney
• [TYPES/announce] PhD opportunities in the Computer Science theory group at Birmingham   Paul Levy
• [TYPES/announce] PhD Position in Computational Logic at RISC   Temur Kutsia
• [TYPES/announce] PhD position in Computer Science at the University of Oslo   Martin Steffen
• [TYPES/announce] PhD position in modal logics and type systems for web programming languages   Pierre Geneves
• [TYPES/announce] PhD position in the MSP group, Univ. Strathclyde   Neil Ghani
• [TYPES/announce] PHD position on SAT/SMT applications to requirement engineering in Trento   Roberto Sebastiani
• [TYPES/announce] PHD position on SMT-based formal verification in Trento   Roberto Sebastiani
• [TYPES/announce] PhD positions in Computer Science at IMT Lucca (Italy) - Deadline September 26, 2012   Alberto Lluch Lafuente
• [TYPES/announce] PhD positions in Data Mining and Security at Chalmers, Sweden   Gerardo Schneider
• [TYPES/announce] PhD positions in Formal Methods for Safety and Security at DTU   Flemming Nielson
• [TYPES/announce] PhD positions in Language-based Security   David Naumann
• [TYPES/announce] PhD positions in Variability Modeling, Analysis, and Verification   Andrzej Wąsowski
• [TYPES/announce] PhD program at Portland State accepting applications for Fall 2012   Nathan Collins
• [TYPES/announce] PhD Scholarships at Ca' Foscari University, Venice   Michele Bugliesi
• [TYPES/announce] PhD Scholarships at Ca' Foscari University, Venice   Michele Bugliesi
• [TYPES/announce] PhD thesis position at ENSTA ParisTech: Static analysis of Hybrid Systems   Alexandre Chapoutot
• [TYPES/announce] PLACES'13 Call for Papers   Yoshida, Nobuko
• [TYPES/announce] PLACES 2012 Call For Participation   Simon J. Gay
• [TYPES/announce] PLACES 2013 Deadline Extension and Final CFP   Simon Gay
• [TYPES/announce] PLAS 2012: Call for Papers   Sergio Maffeis
• [TYPES/announce] PLAS 2012: Call for participation   Sergio Maffeis
• [TYPES/announce] PLAS 2012: Deadline Approaching   Sergio Maffeis
• [TYPES/announce] PLDI 2012: Student travel grants available   Matthew Might
• [TYPES/announce] PLDI 2013: Call for tutorials   Matt Might
• [TYPES/announce] PLDI 2013: Final Call for Papers   Matt Might
• [TYPES/announce] PLDI 2013: First call for papers   Matt Might
• [TYPES/announce] PLMW: Mentoring at POPL   Gareth Smith
• [TYPES/announce] PLMW: Mentoring at POPL. Second Call for Participation   Gareth Smith
• [TYPES/announce] PLPV 2013 call for participation   Andreas Abel
• [TYPES/announce] PLPV 2013 First Call for Papers   Andreas Abel
• [TYPES/announce] PLPV 2013 Last Call for Papers   Andreas Abel
• [TYPES/announce] Polyglot 2.5.1 extensible Java compiler   Andrew Myers
• [TYPES/announce] POPL'13: Call for proposals for co-located events   Viktor Vafeiadis
• [TYPES/announce] POPL'13: Final call for proposals for co-located events   Viktor Vafeiadis
• [TYPES/announce] POPL 2013: Call for papers   Viktor Vafeiadis
• [TYPES/announce] POPL 2013: Final call for papers   Viktor Vafeiadis
• [TYPES/announce] POPL 2013: Second call for papers   Viktor Vafeiadis
• [TYPES/announce] Positions at ETH in concurrency and verification (ERC advanced investigator grant)   Bertrand Meyer
• [TYPES/announce] positions at King's College London   Maribel Fernandez
• [TYPES/announce] post-doc position at MSR-INRIA centre, Paris, France   Stephan Merz
• [TYPES/announce] post-doc position at MSR/INRIA   Stephan Merz
• [TYPES/announce] Post-doc position at Paris 7 on polymorphic functional languages   Giuseppe Castagna
• [TYPES/announce] Post-Doc Position in Computer Security at University of Luxembourg   Barbara KORDY
• [TYPES/announce] Post-doc position in Lyon   Patrick Baillot
• [TYPES/announce] Post-Doc positions - Semantics of Real-World Computer Systems   Peter Sewell
• [TYPES/announce] Post-doc positions in NSF's multi-university Expeditions project on Software Synthesis   Rajeev Alur
• [TYPES/announce] Post-Doc positions in the CerCo FET-Open EU Project   Claudio Sacerdoti Coen
• [TYPES/announce] Post-Doctoral and Researcher Positions at Yale University   Zhong Shao
• [TYPES/announce] Post-doctoral position at University of Cambridge   Pierre Clairambault
• [TYPES/announce] Post-doctoral position in Formal Verification at Portland State University   Andrew Tolmach
• [TYPES/announce] Post-Doctoral Researcher Position at LIFO, Orleans, France   Frédéric Loulergue
• [TYPES/announce] Postdoc / PhD position in Computer Science, McGill University   Brigitte Pientka
• [TYPES/announce] Postdoc/Research Associate in logical frameworks   Brigitte Pientka
• [TYPES/announce] Postdoc and PhD positions - Center for Advanced Software Analysis   Anders Møller
• [TYPES/announce] PostDoc and PhD positions at Instituto de Telecomunicacoes/IST, Lisboa   Pedro Adão
• [TYPES/announce] PostDoc available at LIX, Ecole Polytechnique, France   Dale Miller
• [TYPES/announce] Post doc in Language-Based and Systems Security at Harvard   Stephen Chong
• [TYPES/announce] Postdoc in PL/SE and security at the University of Maryland, College Park   Jeff Foster
• [TYPES/announce] Postdoc in programming languages and security at the University of Maryland, College Park   Jeff Foster
• [TYPES/announce] PostDoc on Static Analysis of Binary Program in LaBRI (Bordeaux)   Emmanuel Fleury
• [TYPES/announce] Postdoc Opening at HRL Labs   George Kuan
• [TYPES/announce] Postdoc openings at University of Pennsylvania   Benjamin C. Pierce
• [TYPES/announce] Postdoc opportunities in functional programming & formal verification   Adam Chlipala
• [TYPES/announce] PostDoc or permanent hire position for Quantum programming language/compiler research   Richard Lazarus
• [TYPES/announce] PostDoc position at Instituto de Telecomunicacoes/IST, Lisboa   Pedro Adão
• [TYPES/announce] Postdoc position at Lehigh and Harvard   Gang Tan
• [TYPES/announce] Postdoc Position at LIX/Ecole Polytechnique   Lutz Strassburger
• [TYPES/announce] Postdoc position at UIUC in programming languages   Rosu, Grigore
• [TYPES/announce] Postdoc position at University of Pennsylvania   Stephanie Weirich
• [TYPES/announce] PostDoc position in Paris, France on weak-memory concurrency and compilation   Francesco Zappa Nardelli
• [TYPES/announce] PostDoc position in Paris, France on weak-memory concurrency and compilation   Francesco Zappa Nardelli
• [TYPES/announce] Postdoc position in proof theory (IML, Marseille, France)   Lionel Vaux
• [TYPES/announce] Postdoc position in proof theory (IML, Marseille, France)   Lionel Vaux
• [TYPES/announce] Postdoc position in Software Security/Programming Languages/Compilers at the University of Arizona   Christian Collberg
• [TYPES/announce] Postdoc position in static analysis   Matt Might
• [TYPES/announce] Postdoc position in the FP7 CerCo Project   Claudio Sacerdoti Coen
• [TYPES/announce] Postdoc position in verification at IMDEA Software Institute, Madrid   Alexey Gotsman
• [TYPES/announce] Postdoc position on automated verification of higher-order programs   koba
• [TYPES/announce] Postdoc position on Typefull XML at LRI Univ. Paris-Sud   Kim Nguyen
• [TYPES/announce] Postdoc positions -- Athens   Yannis Smaragdakis
• [TYPES/announce] Postdoc Positions: Cornell and Princeton   David Walker
• [TYPES/announce] Postdoc positions in SAT/SMT-based Verification available in Trento   Roberto Sebastiani
• [TYPES/announce] Postdoctoral position at IMDEA Software Institute, Madrid   Aleksandar Nanevski
• [TYPES/announce] Post Doctoral position at INRIA Saclay/Ecole Polytechnique   Kaustuv Chaudhuri
• [TYPES/announce] Postdoctoral Position at the University of Minnesota   Gopalan Nadathur
• [TYPES/announce] Postdoctoral Position in Computational Logic   Frank Pfenning
• [TYPES/announce] Postdoctoral Position on Ensemble Programming at CMU Pittsburgh, PA   Iliano Cervesato
• [TYPES/announce] Postdoctoral position on programming models for robotic motion planning at Rice University   Swarat Chaudhuri
• [TYPES/announce] Post Doctoral Research Associate: CREST Centre, Software Systems Engineering, UCL   Peter O'Hearn
• [TYPES/announce] Postdoctoral Research Fellowship   Matthew Hennessy
• [TYPES/announce] Postdoctoral Research Fellowship   Edison Mera
• [TYPES/announce] Postdoctoral Research Fellowship   Derek Dreyer
• [TYPES/announce] PPoPP'13 (Shenzhen, China) Call for Workshop/Tutorial Proposals   Harry Xu
• [TYPES/announce] PPoPP'13 workshop/tutorial deadline extended to Sept. 15   Harry Xu
• [TYPES/announce] Preliminary Call for Papers: The 7th IFIP Conference on Theoretical Computer Science 2012   M.M. Bonsangue
• [TYPES/announce] Preliminary call for papers GandALF 2012   Nello Murano
• [TYPES/announce] Professor/Associate professor in Formal Methods at Chalmers   Gerardo Schneider
• [TYPES/announce] Programming Language Frameworks   SSLF 2012
• [TYPES/announce] Proof Theory: Linear Logic, Ludics and Geometry of Interaction & Transcendental Syntax: The conditions of Possibility of Language   Christiano Braga
• [TYPES/announce] PxTP 2012 (IJCAR workshop) - call for papers   David Pichardie
• [TYPES/announce] PxTP 2012 (IJCAR workshop) - second call for papers   David Pichardie
• [TYPES/announce] QAPL'12 - Call for Participation   Herbert Wiklicky
• [TYPES/announce] QAPL 2013 - first call for papers   Herbert Wiklicky
• [TYPES/announce] QAPL 2013 - second call for papers [New: Invited talks]   Herbert Wiklicky
• [TYPES/announce] QEST 2013 - First call for papers   Pedro R. D'Argenio
• [TYPES/announce] R&D Engineer at Monoidics, high-tech SME specialising in automatic program analysis   Dino Distefano
• [TYPES/announce] Reminder: EAPLS PhD Award 2012 - Call for Nominations (deadline 31-12-2012)   Arend Rensink
• [TYPES/announce] REVER Call for Ph.D. and post-doc   Ivan Lanese
• [TYPES/announce] RTA 2013: First Call for Papers   Sophie Tison
• [TYPES/announce] RTA 2013: Second Call for Papers   Sophie Tison
• [TYPES/announce] Réalisabilité in Chambéry #5...   Pierre Hyvernat
• [TYPES/announce] SAFECOMP 2012 Call for Participation   Lipaczewski, Michael
• [TYPES/announce] SAFECOMP: March 5th - Deadline for papers   Ortmeier, Frank, Prof.
• [TYPES/announce] Santiago Zanella wins the EAPLS Best PhD Dissertation Award 2011   Arend Rensink
• [TYPES/announce] SAT 2012: Call for Papers   Roberto Sebastiani
• [TYPES/announce] SAT 2012: Final Call for Papers   Roberto Sebastiani
• [TYPES/announce] SBMF 2012 - Deadline Extended to May 20   Christiano Braga
• [TYPES/announce] SCP Special Issue on Invariant Generation - Call for Papers   Grov, Gudmund
• [TYPES/announce] SCP Special Issue on Invariant Generation - Second Call for Papers [2 months to go]   Gudmund Grov
• [TYPES/announce] SCSS 2012 - call for participation   Flavio L. C. de Moura
• [TYPES/announce] SCSS 2012 CFP Extended deadline!   Flavio L. C. de Moura
• [TYPES/announce] SCSS 2012 CFP Extended deadline!   Flavio L. C. de Moura
• [TYPES/announce] Second Announcement and CFP: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK   Erik Palmgren
• [TYPES/announce] Second Call for Papers: BEAT'13 - 1st International Workshop on Behavioural Types   Hans Hüttel
• [TYPES/announce] Second Call for Papers: Workshop on Script to Program Evolution (STOP 2012)   Sam Tobin-Hochstadt
• [TYPES/announce] Second CALL FOR PAPERS FM 2012   david.delahaye at cnam.fr
• [TYPES/announce] Second call for papers TFPIE 2012   Peter Achten
• [TYPES/announce] Second call for participation: PLDI 2012 (June 11-16 in Beijing, China)   Matt Might
• [TYPES/announce] Second Call for Submissions: SLE 2012 Poster Track and Doctoral Symposium   Görel Hedin
• [TYPES/announce] Second CfP --- 75 Years of the Lambda Calculus   Patricia.Johann at cis.strath.ac.uk
• [TYPES/announce] Second CfP: QFM 2012   Uli Fahrenberg
• [TYPES/announce] Second CfP: SPIN 2012 - 19th International Workshop on Model Checking Software   Alastair Donaldson
• [TYPES/announce] Second Summer School on Formal Techniques, May 27-June 1, 2012   Natarajan Shankar
• [TYPES/announce] Senior lecturer in Logic of Programs in University of Gothenburg, Sweden   Bengt Nordstrom
• [TYPES/announce] Several open Postdoc Positions at the IT University of Copenhagen/DemTech   Carsten Schürmann
• [TYPES/announce] Several open Postdoc Positions at the IT University of Copenhagen/DemTech   Carsten Schürmann
• [TYPES/announce] Several PhD positions in Model Driven Development of Safety Critical Systems, Verification and Software Product Lines   Andrzej Wąsowski
• [TYPES/announce] SFP 2012: Call for Papers   Ian Zerny
• [TYPES/announce] SFP 2012: Final Call for Papers   Ian Zerny
• [TYPES/announce] Short student talks @ POPL 2013 (Deadline: 21 December!!!)   Viktor Vafeiadis
• [TYPES/announce] Sigplan Outstanding Doctoral Dissertation   Eisenbach, Susan
• [TYPES/announce] SOAP track CfP   Ivan Lanese
• [TYPES/announce] SOAP track CfP   Manuel Mazzara
• [TYPES/announce] SOAP track new deadline: September 28   Ivan Lanese
• [TYPES/announce] Software Verification and Testing Track at ACM SAC 2013: 2nd CfP   Jun PANG
• [TYPES/announce] Software Verification and Testing Track at ACM SAC 2013: last CfP   Jun PANG
• [TYPES/announce] Software Verification and Testing Track at SAC 2013: First CfP   Jun PANG
• [TYPES/announce] Special Issue TCS: Implicit Computational Complexity   Ugo Dal Lago
• [TYPES/announce] SPIN 2013 CFP   Scott Stoller
• [TYPES/announce] SPIN Workshop 2012 - Deadline extended to 7 April   Alastair Donaldson
• [TYPES/announce] Spring School MGS 2013   Alexander Kurz
• [TYPES/announce] SR 2013 - Call for contributions   Nello Murano
• [TYPES/announce] SR 2013 - Call for contributions   Nello Murano
• [TYPES/announce] SR 2013 - Extended Deadline and Last Call for Contributions   Nello Murano
• [TYPES/announce] SR 2013 - Preliminary call for contributions   Nello Murano
• [TYPES/announce] Student funding for Milner Symposium, Edinburgh, 16-18 April 2012   Alex Simpson
• [TYPES/announce] Summer School on Functional Programming for Parallel and Concurrent Applications   Francesco Zappa Nardelli
• [TYPES/announce] Summer School VTSA 2012   Stephan Merz
• [TYPES/announce] TABLEAUX 2013 - Call for Papers, Tutorials and Workshops   Didier Galmiche
• [TYPES/announce] TACL 2013, first call for abstracts   Alexander Kurz
• [TYPES/announce] TAMC 2013 in Hong Kong: Second Call for Papers   S B Cooper
• [TYPES/announce] TAP 2013: 1st Call for Papers   Achim D. Brucker
• [TYPES/announce] TAP 2013: 2nd Call for Papers   Achim D. Brucker
• [TYPES/announce] Tenure Track Faculty Positions   Lunjin Lu
• [TYPES/announce] The Turing Centenary Conference, Manchester, June 22-25: 2nd Call for Papers   Vicki Chamberlin
• [TYPES/announce] Third Announcement and CFP: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK - Extended deadline   Erik Palmgren
• [TYPES/announce] Third Call for Papers (DEADLINE EXTENDED): BEAT'13 - 1st International Workshop on Behavioural Types   Hans Hüttel
• [TYPES/announce] Third Call for Papers: Workshop on Script to Program Evolution (STOP 2012)   Sam Tobin-Hochstadt
• [TYPES/announce] Three lecturerships in computer science/informatics at the University of Edinburgh   James Cheney
• [TYPES/announce] TIME 2012 -- Call for Papers   Carlo Alberto Furia
• [TYPES/announce] TLCA 2013 First Call for Papers   Luca Paolini
• [TYPES/announce] TLCA 2013 Second Call for Papers   Luca Paolini
• [TYPES/announce] TOOLS Europe 2012: Call for Participation   Scott West
• [TYPES/announce] TRENDS 2012: call for participation   Luttik, S.P.
• [TYPES/announce] Trends in Functional Programming 2013: 1st Call for Papers   Jay McCarthy
• [TYPES/announce] Turing Centenary Conference (CiE 2012) - Final submission arrangements   S B Cooper
• [TYPES/announce] Turing Centenary Conference, Manchester, June 22-25: Call for Participation   S B Cooper
• [TYPES/announce] Turing Centenary Conference in Cambridge - Submission Deadline Jan. 20, 2012   S B Cooper
• [TYPES/announce] Turing Centenary Research Project "Mind, Mechanism and Mathematics"   S Barry Cooper
• [TYPES/announce] Turing Centenary Workshop on "The Incomputable", June 12-15, 2012   S Barry Cooper
• [TYPES/announce] Two Assistant Professors position in Basic Sciences at Chalmers   Ana Bove
• [TYPES/announce] two books on bisimulation and coinduction   Davide Sangiorgi
• [TYPES/announce] Two post-doc positions at the UPMARC centre of excellence at Uppsala University   Tobias Wrigstad
• [TYPES/announce] Types Meeting 2013 in Toulouse, 23 - 26 April: first call for contributions   Ralph Matthes
• [TYPES/announce] UITP'12: Final Call for Papers   Cezary Kaliszyk
• [TYPES/announce] UITP'12: First Call for Papers   Cezary Kaliszyk
• [TYPES/announce] UITP'12: Second Call for Papers   Cezary Kaliszyk
• [TYPES/announce] UITP'12 Post-Proceedings - Call for Papers   Cezary Kaliszyk
• [TYPES/announce] Univalent Foundations Program - important update.   Vladimir Voevodsky
• [TYPES/announce] University Lectureship in Computer Science (Software Engineering) at Oxford   Jeremy.Gibbons at cs.ox.ac.uk
• [TYPES/announce] University of Bath Prize Fellow   Alessio Guglielmi
• [TYPES/announce] University of Bath Prize Fellow - 21/5 deadline approaching   Alessio Guglielmi
• [TYPES/announce] VMCAI 2013: Call for Papers   Josh Berdine
• [TYPES/announce] VMCAI 2013: Call for papers   Josh Berdine
• [TYPES/announce] VMCAI 2013: Final call for papers (page limit extended)   Josh Berdine
• [TYPES/announce] VSSE 2013 - Call for Papers   Hana Chockler
• [TYPES/announce] VSSE 2013 - Last call for papers!   Hana Chockler
• [TYPES/announce] VSTTE 2012: Final Call for Participation   Gudmund Grov
• [TYPES/announce] Wessex Theory Seminar, Bath, 23rd May   Anupam Das
• [TYPES/announce] Wessex Theory Seminar, Bath, 23rd May   Anupam Das
• [TYPES/announce] WGP 2012 Call for Participation   Ronald Garcia
• [TYPES/announce] WGP call for papers   Jacques Carette
• [TYPES/announce] WING 2012: Call for Presentations   Gudmund Grov
• [TYPES/announce] WING 2012: Final Call for Papers -- Extended Deadline   Gudmund Grov
• [TYPES/announce] WING 2012: First Call for Papers   Gudmund Grov
• [TYPES/announce] WING 2012: Second Call for Papers -- 3 weeks to go   Gudmund Grov
• [TYPES/announce] WoDet 2013: Call for Papers   Robert Bocchino
• [TYPES/announce] Working group on Parallel Computing Education in Europe - Call for Participation   cristina.pereira at informatics-europe.org
• [TYPES/announce] Workshop "Réalisabilité in Chambéry #5"   Pierre Hyvernat
• [TYPES/announce] Workshop Cross Perspectives on Proof Systems   Mattia Petrolo
• [TYPES/announce] Workshop on Higher Dimensional Algebras, Categories, and Types   Neil Ghani
• [TYPES/announce] Workshop on Intersection Types and Related Systems (ITRS 2012)   Luca Paolini
• [TYPES/announce] WRiPE '12: deadline extended   Nate Foster
• [TYPES/announce] WST 2012: Last Call for Papers and Deadline Extension   Georg Moser
• [TYPES/announce] WWV 2012 - EXTENDED Deadline (Paper submission: April 25, 2012)   Francesco Tiezzi
• [TYPES/announce] XLDI 2012: Cross-Model Language Design and Implementation (2nd Call for Papers)   James Cheney
• [TYPES/announce] XLDI 2012: Cross-Model Language Design and Implementation (Call for Participation)   James Cheney
• [TYPES/announce] XLDI 2012: Cross-Model Language Design and Implementation (Call for Participation)   James Cheney

Last message date: Mon Dec 31 04:33:33 EST 2012
Archived on: Mon Dec 31 04:55:50 EST 2012

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