2014 Archives by subject

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

Starting: Wed Jan 1 09:13:38 EST 2014
Ending: Wed Dec 31 17:16:23 EST 2014
Messages: 786

• [TYPES/announce] *Deadline extended* Final call for contributions AI4FM 2014   Iain Whiteside
• [TYPES/announce] 10 PhD studentships in Nottingham   Graham Hutton
• [TYPES/announce] 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015) - first Call for Papers   FALASCHI MORENO
• [TYPES/announce] 1 Assistant Professorship Position and several PhD positions in Computer Science at IMT Lucca (Italy)   Alberto Lluch Lafuente
• [TYPES/announce] 1st CFP, Intersection Types and Related Systems 2014   Luca
• [TYPES/announce] 1st CfP: Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'14)   Peter Csaba Ölveczky
• [TYPES/announce] 1st CfP ThEdu'14: TP components for educational software   Walther Neuper
• [TYPES/announce] 1 year post-doctoral fellowship in Padova   Maria Emilia Maietti
• [TYPES/announce] 2-year postdoc position on security verification at TUM   Tobias Nipkow
• [TYPES/announce] 20th Intl. Symposium on Formal Methods (FM 2015), Oslo. 2nd CFP   Martin Steffen
• [TYPES/announce] 2FC'14 @ VSL   Georg Moser
• [TYPES/announce] 2nd call for contributions: Haskell Implementors' Workshop 2014   Jost Berthold
• [TYPES/announce] 2nd Call for Paper: ICFEM 2014, Luxembourg, 3-7 November 2014   Liu Yang (Asst Prof)
• [TYPES/announce] 2nd Call for Papers - TFPIE 2014   Peter Achten
• [TYPES/announce] 2nd Call for Papers: Classical Logic and Computation 2014   Paulo Oliva
• [TYPES/announce] 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)   Serge Autexier
• [TYPES/announce] 2nd Call for Papers: FCS-FCC 2014 (submission deadline April 18)   Matteo Maffei
• [TYPES/announce] 2nd Call for Papers: ICECCS 2014, Tianjin, China, 4-7 Aug 2014   Liu Yang (Asst Prof)
• [TYPES/announce] 2nd Call for Papers ICTAC 2014, 17-20 Sept, Bucharest   Gabriel Ciobanu
• [TYPES/announce] 2nd CFP, Intersection Types and Related Systems 2014   Luca Paolini
• [TYPES/announce] 2nd CfP, VERIFY 2014, 8th Verification Workshop, *Abstract Deadline April 17th, 2014*, Focus Theme: Verification Beyond IT Systems   Serge Autexier
• [TYPES/announce] 2nd CfP - CyPhy 2014 - Design, Modeling and Evaluation of Cyber Physical Systems   CyPhy Organizers
• [TYPES/announce] 2nd CfP: 14th Intl. Workshop on Termination (WST 2014), Vienna (Austria), 17-18 July   Carsten Fuhs
• [TYPES/announce] 2nd CFP: 7th Interaction and Concurrency Experience (ICE 2014) - June 6, 2014, Berlin, Germany   Hugo Torres Vieira
• [TYPES/announce] 2nd CFP: Dependently Typed Programming 2014   Edwin Brady
• [TYPES/announce] 2nd CfP: Formal Techniques for Safety-Critical Systems   Peter Csaba Ölveczky
• [TYPES/announce] 2nd CfP: SCSS 2014   Temur Kutsia
• [TYPES/announce] 2nd CfP: UNIF 2014   Temur Kutsia
• [TYPES/announce] 2nd CfP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming   Janis Voigtlaender
• [TYPES/announce] 2nd CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call)   Hugo Herbelin
• [TYPES/announce] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014   Ylies Falcone
• [TYPES/announce] 2 Postdoc Positions at Royal Holloway, University of London (Deadline Sep 28, 2014)   Johannes Kinder
• [TYPES/announce] 2 Postdocs in HoTT   Neil Ghani
• [TYPES/announce] 2 year postdoc on formal security at Swansea University   Markus Roggenbach
• [TYPES/announce] 3.5-year PhD positions from October 2015 at the University of Bath   Alessio Guglielmi
• [TYPES/announce] 36 month postdoc position at Bath   Guy McCusker
• [TYPES/announce] 3rd CFP: Functional High-Performance Computing 2014 (FHPC'14)   Jost Berthold
• [TYPES/announce] 4PAD 2015: Call for Papers   Scott Owens
• [TYPES/announce] 4PAD 2015: Final Call for Papers   Scott Owens
• [TYPES/announce] 4PAD 2015: Final Call for Papers   Scott Owens
• [TYPES/announce] 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden   Laura Kovacs
• [TYPES/announce] 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden   Laura Kovacs
• [TYPES/announce] 5th Scala Workshop (Scala 2014): Call for Papers/Talks   Heather Miller
• [TYPES/announce] 5th Scala Workshop (Scala 2014): Student Travel Grants Available + Extension   Heather Miller
• [TYPES/announce] 5Yr Fellowships at Strathclyde   Neil Ghani
• [TYPES/announce] [2nd CFP] 5th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS 2014)   Francesco tiezzi
• [TYPES/announce] [ANN] *Extended Deadline* CFP for 2014 Scheme and Functional Programming Workshop   Jason Hemann
• [TYPES/announce] [Call for Participation] Special Workshop on Reactive Systems: Directions in Development and Analysis (affiliated with CAV'14, FLoC/Vienna Summer of Logic)   Matteo Maffei
• [TYPES/announce] [CfP] ESSOS 2015: demo session - deadline: Oct 24th   COMPAGNA, Luca
• [TYPES/announce] [Deadline November 11th - Extended] Apply to Attend: CPS V&V Industrial Challenges & Foundations workshop held at Carnegie Mellon, Dec 11-12   Sarah Loos
• [TYPES/announce] [ESSoS'15] Call for Papers   Raoul Strackx
• [TYPES/announce] [ESSoS] Call for Papers (update)   Raoul Strackx
• [TYPES/announce] [ESSoS] Final Call for Papers   Raoul Strackx
• [TYPES/announce] [ESSoS] International Symposium on Engineering Secure Software and Systems   Raoul Strackx
• [TYPES/announce] [fm-announcements] Call for Highlights: Aerospace America Intelligent Systems Year In Review   Kristin Yvonne Rozier
• [TYPES/announce] [fm-announcements] Call for Papers: NASA Formal Methods (NFM) 2015   Klaus Havelund
• [TYPES/announce] [fm-announcements] First CFP: CRV15 - 2nd Competition on Runtime Verification   Klaus Havelund
• [TYPES/announce] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014   MUNOZ, CESAR (LARC-D320)
• [TYPES/announce] [fm-announcements] NFM 2014 Call for Participation   Kristin Yvonne Rozier
• [TYPES/announce] [fm-announcements] NFM 2015 - 3rd call for papers   Klaus Havelund
• [TYPES/announce] [fm-announcements] Second call for papers: NASA Formal Methods - NFM 2015   Klaus Havelund
• [TYPES/announce] [ICTCC 2014] CFP: The International Conference on NaTure of Computation and Communication   Phan Cong Vinh
• [TYPES/announce] [IMBSA 2014] Call for Participation   Lipaczewski, Michael
• [TYPES/announce] [IMBSA 2014] Extended Deadline - International Symposium on Model-Based Safety Assessment   Lipaczewski, Michael
• [TYPES/announce] [JFR] New "Ph.D" Section   Andrea Asperti
• [TYPES/announce] [LOPSTR 2014] First Call for Papers   Maurizio Proietti
• [TYPES/announce] [TFP2014] Final Call For Papers   Peter Achten
• [TYPES/announce] [TFP2014] First Call for Participation   Peter Achten
• [TYPES/announce] [TFP 2015] 1st call for papers   Peter Achten
• [TYPES/announce] [TFPIE2014] final call for papers   Peter Achten
• [TYPES/announce] [TFPIE2014] final call for participation   Peter Achten
• [TYPES/announce] Ackermann Award 2014   Reinhard Kahle
• [TYPES/announce] ACL2'14: Call for papers   Verbeek, Freek
• [TYPES/announce] ACL2'14 Call for Participation   Freek Verbeek
• [TYPES/announce] ACM DocEng 2015: First Call for Papers   Pierre Geneves
• [TYPES/announce] ACM SAC 2015: Software Verification and Testing Track - First CfP   lina.ye at inria.fr
• [TYPES/announce] ACM SAC 2015: Software Verification and Testing Track - Second CfP   lina.ye at inria.fr
• [TYPES/announce] ACM SAC 2015: Track on Coordination Models, Languages and Applications - Final CfP   Francesco tiezzi
• [TYPES/announce] ACM SAC 2015: Track on Coordination Models, Languages and Applications - First CfP   Francesco tiezzi
• [TYPES/announce] ACM SAC 2015: Track on Coordination Models, Languages and Applications - Second CfP   Francesco tiezzi
• [TYPES/announce] ACM SRC @Modularity '14 - Deadline extended   danilo.ansaloni at usi.ch
• [TYPES/announce] A Conference in Honour of Prakash Panangaden on the Occasion of his 60th Birthday, 24--25 May 2014, University of Oxford   Jamie Vicary
• [TYPES/announce] Acta Informatica Special Issue on Synthesis - Call for Papers   Ruediger Ehlers
• [TYPES/announce] AI4FM 2014: Call for Participation   Iain Whiteside
• [TYPES/announce] AI4FM 2014: Call for Short Contributions   Iain Whiteside
• [TYPES/announce] AlCoB 2014: call for participation   GRLMC
• [TYPES/announce] AlCoB 2014: extended submission deadline 11 February   GRLMC
• [TYPES/announce] Algebra and Coalgebra meet Proof Theory (ALCOP'2014) - Call for Participation   Paulo Oliva
• [TYPES/announce] Announce: Software Engineering for Systems Developed in Functional Languages   Simon Thompson
• [TYPES/announce] Announcement: FMMB 2014   Francois Fages
• [TYPES/announce] Announcing ACM's new Special Interest Group on Logic and Computation   prakash
• [TYPES/announce] A PhD position in LIAFA, Paris, France: Software verification   Tayssir Touili
• [TYPES/announce] APLAS 2014: 2nd Call for papers   Jacques Garrigue
• [TYPES/announce] APLAS 2014: Call for papers   Jacques Garrigue
• [TYPES/announce] APLAS 2014: Call for Participation   Jacques Garrigue
• [TYPES/announce] APLAS 2014: Call for Posters and Demos   Cristian Andrei Gherghina
• [TYPES/announce] APLAS 2014: Extended deadline   Jacques Garrigue
• [TYPES/announce] APLAS 2014: Last CFP   Jacques Garrigue
• [TYPES/announce] A postdoc/programmer position at AIST, Amagasaki Japan   Takashi KITAMURA
• [TYPES/announce] Assistant Professor / Researcher Position in Computer Science, Halmstad University, Sweden   M.R. Mousavi
• [TYPES/announce] Assistant Professor in Computer Security at KTH Royal Institute of Technology   Mads Dam
• [TYPES/announce] associate professor positions in Aarhus, Denmark   Lars Birkedal
• [TYPES/announce] A talk by Tim Gowers at IHP, May 26, 5 pm   Pierre-Louis Curien
• [TYPES/announce] AVoCS 2014: 2nd Call for Participation (early registration by September 1st)   Marieke Huisman
• [TYPES/announce] AVoCS 2014: 3rd Call for Papers   Marieke Huisman
• [TYPES/announce] AVoCS 2014: Call for Research Ideas (due August 11th)   Marieke Huisman
• [TYPES/announce] AVoCS 2014: Final Call for Participation   Marieke Huisman
• [TYPES/announce] AVoCS 2014: Submission Deadline Extension   Marieke Huisman
• [TYPES/announce] BEAT 2014 -- Call for Participation   Marco Carbone
• [TYPES/announce] BEAT 2014 -- Deadline Extension (now 22/06/2014)   Marco Carbone
• [TYPES/announce] BX2014: Call for participation   Soichiro Hidaka
• [TYPES/announce] CALCO 2015: First Call for Papers   Fabio Zanasi
• [TYPES/announce] Call for abstracts: 1st Workshop on Programming Languages and Verification Technology for Networking   Arjun Guha
• [TYPES/announce] Call for Contributions: Haskell Implementors' Workshop 2014   Jost Berthold
• [TYPES/announce] call for early registration   Sergei SOLOVIEV
• [TYPES/announce] Call for Highlights: Aerospace America Intelligent Systems Year In Review   Kristin Yvonne Rozier
• [TYPES/announce] Call for Industry Track papers at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo   Martin Steffen
• [TYPES/announce] Call for nominations: EATCS Award 2015   Vladimiro Sassone
• [TYPES/announce] Call for Papers - PLAS 2014   Alejandro Russo
• [TYPES/announce] Call for papers - SERA 2015   Slim Kallel
• [TYPES/announce] Call for Papers: 1st International Workshop on Verification of Engineered, Molecular Devices and Programs (VEMDP 2014), affiliated with CAV 2014, Vienna, Austria   Marta Kwiatkowska
• [TYPES/announce] Call for Papers: AGERE! @ SPLASH 2014   Alessandro Ricci
• [TYPES/announce] Call for papers: APAL special issue on Games for Logic and Programming Languages   Guy McCusker
• [TYPES/announce] Call for Papers: Certified Programs and Proofs (CPP) 2015   Alwen Tiu
• [TYPES/announce] Call for Papers: Embracing Global Computing 2015   Ross Horne
• [TYPES/announce] Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications   Clemens Grelck
• [TYPES/announce] Call for Papers: ICFEM 2014, Luxembourg, 3-7 November 2014   Liu Yang (Asst Prof)
• [TYPES/announce] Call for Papers: IEEE Software Special Issue on Software Engineering for Internet Computing: Internetware and Beyond   Tao Xie
• [TYPES/announce] Call for papers: NATURAL LANGUAGE AND COMPUTER SCIENCE (LICS/CSL wshop July 17-18 Vienna)   retore
• [TYPES/announce] Call for papers: OBT 2015   Swarat Chaudhuri
• [TYPES/announce] Call for Papers: PPPJ 2014, Cracow, Poland, September 23-26, 2014   Ciprian Dobre
• [TYPES/announce] Call for Papers: SETS 2014   david.delahaye at cnam.fr
• [TYPES/announce] Call for Papers: SLE 2014   Craig Anslow
• [TYPES/announce] Call for Papers: SSV 2014   Toby Murray
• [TYPES/announce] Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)   Yuan-Fang Li
• [TYPES/announce] Call for Papers: Workshops Colocated with SEFM 2014   Lina Ye
• [TYPES/announce] Call for Papers: WPTE'14 - 1st International Workshop on Rewriting Techniques for Program Transformations and Evaluation   Masahiko Sakai
• [TYPES/announce] Call for Papers: WPTE'14 - 1st International Workshop on Rewriting Techniques for Program Transformations and Evaluation   Masahiko Sakai
• [TYPES/announce] Call for Papers DATE 2015 : Grenoble, France - March 9-13, 2015   Alain Girault
• [TYPES/announce] CALL FOR PAPERS DATE 2015: Topic: E3 Model-based Design and Verification for Embedded Systems   Alain Girault
• [TYPES/announce] Call for Papers ICTAC 2014, 17-20 Sept, Bucharest   Gabriel Ciobanu
• [TYPES/announce] Call for Participation, FACS'2014   Ivan
• [TYPES/announce] Call for Participation: 7th International School on Rewriting, ISR 2014   Christophe Ringeissen
• [TYPES/announce] Call for Participation: 7th International School on Rewriting, ISR 2014   Christophe Ringeissen
• [TYPES/announce] Call for Participation: APPA - Tutorials about Proofs at the Vienna Summer of Logic   Bruno Woltzenlogel Paleo
• [TYPES/announce] Call for participation: AVOCS 2014   Marieke Huisman
• [TYPES/announce] Call for Participation: FM 2014   jun sun
• [TYPES/announce] Call for Participation: FM 2014, Singapore, May 12-16   jun sun
• [TYPES/announce] Call for participation: Functional High-Performance Computing (FHPC) 2014   Jost Berthold
• [TYPES/announce] Call for Participation: SEFM 2014   lina.ye at inria.fr
• [TYPES/announce] Call for Participation: STM'14 (10-11 Sept, Wroclaw, Poland)   Hugo Jonker
• [TYPES/announce] Call for participation: summer school on programming techniques (EJCP 2014)   Alan Schmitt
• [TYPES/announce] call for participation : VTSA 2014   Stephan Merz
• [TYPES/announce] Call for Presentations: Coq for Programming Languages (CoqPL) 2015   Matthieu Sozeau
• [TYPES/announce] Call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo   Marieke Huisman
• [TYPES/announce] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: September 19!)   Alan Schmitt
• [TYPES/announce] Call for SIGPLAN award nominations (deadline: January 5, 2015)   Derek Dreyer
• [TYPES/announce] Call for submissions: MSCS special Computable Analysis; Correction   Dieter Spreen
• [TYPES/announce] Call for submissions: MSCS special Computable Analysis; Extension of deadline   Dieter Spreen
• [TYPES/announce] Call For Submissions Doctoral Symposium ECOOP 2014   Beatrice Åkerblom
• [TYPES/announce] Call for Talk Proposals: Domain-Specific Language Design and Implementation 2014   Sebastian Erdweg
• [TYPES/announce] Call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)   Hongseok Yang
• [TYPES/announce] Call for Talk Proposals: Parsing at SLE   Sebastian Erdweg
• [TYPES/announce] Call for Workshop Proposals - SERA 2015   Slim Kallel
• [TYPES/announce] CAV 2015: Call for Papers, CAV Award and Workshop Proposals   Pasareanu, Corina S. (ARC-TI)[SGT, INC]
• [TYPES/announce] CCC 2014 - PARTICIPATION AND REGISTRATION   Dieter Spreen
• [TYPES/announce] CFP, 2nd: EACL 2014 Type Theory and Natural Language Semantics Workshop (january 23)   retore
• [TYPES/announce] CFP -- ICLP Doctoral Consortium   J.E.Kriener
• [TYPES/announce] CfP - Journal of Software and Systems Modeling - Theme Issue on "Variability Modeling of Software Intensive Systems"   Andrzej Wąsowski
• [TYPES/announce] CFP - Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU)   Craig Anslow
• [TYPES/announce] CFP: 11th International Workshop on Boolean Problems (IWSBP'14)   Miroslav Velev
• [TYPES/announce] CFP: 11th International Workshop on Boolean Problems (IWSBP'14)   Miroslav Velev
• [TYPES/announce] CFP: 11th International Workshop on Boolean Problems (IWSBP’14)   Miroslav Velev
• [TYPES/announce] CFP: 11th International Workshop on Boolean Problems (IWSBP’14)   Miroslav Velev
• [TYPES/announce] CfP: 14th Intl. Workshop on Termination (WST 2014), Vienna (Austria), 17-18 July   Carsten Fuhs
• [TYPES/announce] CFP: 2014 Scheme and Functional Programming Workshop   Jason Hemann
• [TYPES/announce] CFP: 22nd IEEE Symposium on Computer Arithmetic, Lyon, 22-24 juin 2014   Sylvie Boldo
• [TYPES/announce] CFP: 27th IEEE Computer Security Foundations Symposium (CSF 2014)   Matteo Maffei
• [TYPES/announce] CFP: 6th Workshop on the Theory and Practice of Provenance (TaPP 2014)   James Cheney
• [TYPES/announce] CFP: 7th International Workshop on Numerical Software Verification   BOUISSOU Olivier 209517
• [TYPES/announce] CfP: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems, extended deadline *May 5th, 2014*   Serge Autexier
• [TYPES/announce] CFP: 9th Workshop on Security and High Performance Computing Systems (SHPCS 2014)   Luca Vigano`
• [TYPES/announce] CFP: ACM SAC 2015 - Service-Oriented Architectures and Programming track   Alberto Lluch Lafuente
• [TYPES/announce] CFP: AGERE!@SPLASH - Deadlines extended   Alessandro Ricci
• [TYPES/announce] CFP: Computer Security track of the 30th ACM Symposium on Applied Computing   Sergio Maffeis
• [TYPES/announce] CFP: DAIS 2014 -- 14th IFIP International Conference on Distributed Applications and Interoperable Systems   Kalyvianaki, Evangelia
• [TYPES/announce] CFP: ECOOP 2015: European Conference on Object-Oriented Programming   Ondřej Lhoták
• [TYPES/announce] CFP: EuroSys 2015 Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)   Lindsey Kuper
• [TYPES/announce] CfP: Extended deadline (January 31st): Advances in Systems of Systems an ETAPS workshop   Ulrik Nyman
• [TYPES/announce] CFP: Extended Deadline for 11th International Workshop on Boolean Problems (IWSBP’14)   Miroslav Velev
• [TYPES/announce] CFP: FHPC'14 - due May 15 - Functional and High-Performance Computing   Ryan Newton
• [TYPES/announce] CFP: Fourth International SAT/SMT Summer School   Dejan Jovanović
• [TYPES/announce] CfP: Graphs as Models (ETAPS workshop), 11-12 April 2015; deadline 16 Jan 2015   Arend Rensink
• [TYPES/announce] CFP: HOPA Workshop on Higher Order Program Analysis, FLoC 2014   Matthew Hague
• [TYPES/announce] CFP: MeMo 2014: 1st International Workshop on Meta Models for Process Languages 2014   Marino Miculan
• [TYPES/announce] CFP: Model-based design and analysis of cyber-physical systems - SPES_XT Summer School at AVoCS'14   Markus Roggenbach
• [TYPES/announce] CFP: Model-based design and analysis of cyber-physical systems - SPES_XT Summer School at AVoCS'14   Markus Roggenbach
• [TYPES/announce] CFP: PLACES 2015 workshop   Simon Gay
• [TYPES/announce] CFP: PLACES 2015 Workshop   Simon Gay
• [TYPES/announce] CFP: PRDC2014 Call for Participation   liyuanfang at gmail.com
• [TYPES/announce] CFP: Sixth Working Conference on Verified Software: Theories, Tools, and Experiments at FLoC 2014   Natarajan Shankar
• [TYPES/announce] cfp: Theory and Practice of Differential Privacy - TPDP 2015 - Affiliated to ETAPS   Marco Gaboardi
• [TYPES/announce] CFP: Third International Workshop on Behavioural Types (BEAT 2014)   Marco Carbone
• [TYPES/announce] CfP: UNIF 2014   Temur Kutsia
• [TYPES/announce] CfP: Workshop on Behavioural Types (BEAT 2014) - Deadline: 15/06/14   Marco Carbone
• [TYPES/announce] CFP: Workshop on Continuations - WoC'15   Ugo de' Liguoro
• [TYPES/announce] CfP: YR-ICALP -- 1st Young Researcher Workshop on Automata, Languages and Programming   Marco Carbone
• [TYPES/announce] CFP ESOP'2014 - CHANGED PAGE LIMIT   Helmut Seidl
• [TYPES/announce] CFP FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo   Martin Steffen
• [TYPES/announce] CfP IMBSA 2014: 4th International Symposium on Model-Based Safety and Assessment   Lipaczewski, Michael
• [TYPES/announce] CFP LSFA 2014: 8th Workshop on Logical and Semantic Frameworks, with Applications   Fernandez, Maribel
• [TYPES/announce] CFP LSFA 2014: 9th Workshop on Logical and Semantic Frameworks, with Applications   Fernandez, Maria Isabel
• [TYPES/announce] CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call)   Hugo Herbelin
• [TYPES/announce] CfP QASA2014: 3rd Intl. Workshop on Quantitative Aspects of Security Assurance   Alessandro Aldini
• [TYPES/announce] CfP SYNASC 2014, 22-25 Sept (an event related to ICTAC 2014)   Gabriel Ciobanu
• [TYPES/announce] CFP TFPIE 2015   Johan Jeuring
• [TYPES/announce] CfP Theories for Tool Support in Software/TTSS'14, September, Bertinoro   Clemens Grelck
• [TYPES/announce] CfW: Safecomp 2014   Lipaczewski, Michael
• [TYPES/announce] CICM 2014: Extended Deadline March 14th, 2014   Serge Autexier
• [TYPES/announce] CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014   Serge Autexier
• [TYPES/announce] CICM 2015: Call for Workshops   Serge Autexier
• [TYPES/announce] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP   S B Cooper
• [TYPES/announce] CiE 2014: Language, Life, Limits - Grants, and Call for Presentations   S B Cooper
• [TYPES/announce] CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015   S B Cooper
• [TYPES/announce] CMCS 2014: deadline extension 15 Jan 2014   Alexandra Silva
• [TYPES/announce] CMU Post Doctoral Position in Cyber Security Research   David Brumley
• [TYPES/announce] CoCo 2015: First Call for Provers   Takahito Aoto
• [TYPES/announce] COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3   S B Cooper
• [TYPES/announce] CONCUR 2014: 2nd Call for Papers   Paolo Baldan
• [TYPES/announce] CONCUR 2014: Call for Papers   Paolo Baldan
• [TYPES/announce] CONCUR 2014: Deadline approaching   Paolo Baldan
• [TYPES/announce] Continuity, Computability, Constructivity 2014; extended deadline   Dieter Spreen
• [TYPES/announce] Continuity, Computability, Constructivity 2014; second call for papers   Dieter Spreen
• [TYPES/announce] COORDINATION 2014 - Deadline approaching   Kirstin Peters
• [TYPES/announce] Coq-6: Call for participation   Viktor Vafeiadis
• [TYPES/announce] CoqPL 2015 2nd Call for Presentations   Matthieu Sozeau
• [TYPES/announce] CoqPL 2015 Last Call for Presentations   Maxime Dénès
• [TYPES/announce] Correctness by Construction, Genoa, Italy, 24-27 March 2014   Eugenio Moggi
• [TYPES/announce] Correctness by Construction, Genoa, Italy, 24-27 March 2014   Eugenio Moggi
• [TYPES/announce] CPP 2015: second call for papers   Alwen Tiu
• [TYPES/announce] CS2Bio 2014 - Call for paper   Emanuela Merelli
• [TYPES/announce] CS2Bio 2014: 2nd call for papers   Emanuela Merelli
• [TYPES/announce] CSF'14: Abstract submission deadline extension to February 4   Matteo Maffei
• [TYPES/announce] CSF'14: Call for Participation   Matteo Maffei
• [TYPES/announce] CSF 2015: Call for Workshops   Matteo Maffei
• [TYPES/announce] CSF 2015 Call for Papers   Matteo Maffei
• [TYPES/announce] CSL-LICS 2014 (online registration closes on June 30)   Andrzej Murawski
• [TYPES/announce] CSL-LICS 2014 - Last Call for Papers   Andrzej Murawski
• [TYPES/announce] DAIS 2014 - Deadline approaching   Kirstin Peters
• [TYPES/announce] DCM 2014 - First Call For Papers   Ugo Dal Lago
• [TYPES/announce] DCM 2014 - Last Call for Papers   Ugo Dal Lago
• [TYPES/announce] DCM 2014 - Second Call for Papers   Ugo Dal Lago
• [TYPES/announce] Deadline Approaching: NSV 2014   BOUISSOU Olivier 209517
• [TYPES/announce] Deadline Approaching: Numerical Software Verification 2014   BOUISSOU Olivier 209517
• [TYPES/announce] Deadline extended: Workshop on Generic Programming (WGP) 2014   José Pedro Magalhães
• [TYPES/announce] Deadline Extension / Last Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications   Clemens Grelck
• [TYPES/announce] Deadline extension: 7th Interaction and Concurrency Experience (ICE 2014)   Ivan Lanese
• [TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'14)   Peter Csaba Ölveczky
• [TYPES/announce] Deadline extension: JSC - SCSS special issue   Temur Kutsia
• [TYPES/announce] Deadline Extension: SD14, July 12-13, 2014, Vienna   Lutz Strassburger
• [TYPES/announce] Deadline extension: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)   Yuan-Fang Li
• [TYPES/announce] DEADLINE is TODAY: 2nd International Summer School on Cyber-Physical Systems   Ylies Falcone
• [TYPES/announce] DICE 2015: call for papers   Marco Gaboardi
• [TYPES/announce] DK on LogiCS: PhD POSITION FOR THE SPECIFICATION AND PREDICTION OF EMERGENT BEHAVIORS   Ezio Bartocci
• [TYPES/announce] Domains XI - Extended deadline   Thomas Ehrhard
• [TYPES/announce] Domains XI call for papers   Thomas Ehrhard
• [TYPES/announce] Domains XI in Paris, call for registration   Thomas Ehrhard
• [TYPES/announce] Early registration - Modularity'14   danilo.ansaloni at usi.ch
• [TYPES/announce] ECOOP 2014: Call for Participation   Werner Dietl
• [TYPES/announce] ECOOP 2014 Student Volunteer Program   Werner Dietl
• [TYPES/announce] ECOOP 2015 - 2nd Call for Workshop Proposals   Guillermo Polito
• [TYPES/announce] ECOOP 2015 Call for Workshop Proposals   Ondřej Lhoták
• [TYPES/announce] ECOOP 2015 submission site now open   Ondřej Lhoták
• [TYPES/announce] EOOLT 2014: Call for papers   David Broman
• [TYPES/announce] ERCIM STM 2014 PhD Thesis Award - call for applications (deadline july 7, 2014)   Rolando TRUJILLO RASUA
• [TYPES/announce] ESSLLI 2015 --- First Call for Proposals   Achim Jung
• [TYPES/announce] ESSLLI 2015 --- Second Call for Proposals   Achim Jung
• [TYPES/announce] ESSLLI 2015: Final Call for Course and Workshop Proposals   Achim Jung
• [TYPES/announce] ESSoS Doct. Symp. - deadline extended!   Pieter Philippaerts
• [TYPES/announce] ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- 2nd call for papers   Jun PANG
• [TYPES/announce] ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- deadline extension   Jun PANG
• [TYPES/announce] ETAPS 2014 2nd call for participation   Tarmo Uustalu
• [TYPES/announce] ETAPS 2014 call for participation   Tarmo Uustalu
• [TYPES/announce] ETAPS 2015 1st call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2015 2nd call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2015 final call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS WORKSHOPS 2014: joint call for papers   Ylies Falcone
• [TYPES/announce] EXPRESS/SOS 2014: Call for papers   Silvia Crafa
• [TYPES/announce] Extended deadline (January 10th): Advances in Systems of Systems an ETAPS workshop   Ulrik Nyman
• [TYPES/announce] Extended deadline (July 4): TAPAS 2014 - Workshop on Tools for Automatic Program Analysis   Anders Møller
• [TYPES/announce] Extended Deadline (March 17, 2014): SETS 2014   david.delahaye at cnam.fr
• [TYPES/announce] Extended deadline: PSC 2014, Proof, Structure, Computation. Vienna, 17-18 July   Ana Sokolova
• [TYPES/announce] Extended Submission Deadline (October 10) - ACM SAC 2015: Track on Coordination Models, Languages and Applications   Francesco tiezzi
• [TYPES/announce] Extended Submission Deadline (September 26) - ACM SAC 2015: Track on Coordination Models, Languages and Applications   Francesco tiezzi
• [TYPES/announce] FACS'2014: 2nd Call for Papers   Ivan Lanese
• [TYPES/announce] FACS'2014: Deadline extension   Ivan Lanese
• [TYPES/announce] FACS 2014 : Call for Papers -- Bertinoro, 10-12 Sep. 2014   Ivan Lanese
• [TYPES/announce] FCS-FCC 2014: Call for Papers   Boris Köpf
• [TYPES/announce] FCS-FCC 2014: Deadline extended to April 25   Boris Köpf
• [TYPES/announce] FIFTH WORKSHOP ON FORMAL TOPOLOGY, Stockholm, June 8-10, 2015   Erik Palmgren
• [TYPES/announce] FINAL ANNOUNCEMENT: Spring School on Quantum Structures in Physics and Computer Science, 19--22 May 2014   Jamie Vicary
• [TYPES/announce] Final call: ESSoS Doctoral Symposium   Pieter Philippaerts
• [TYPES/announce] Final call for papers: JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software   Vasco T. Vasconcelos
• [TYPES/announce] Final Call for Papers: OCL 2014 Submissions Due in One Week   Achim D. Brucker
• [TYPES/announce] Final Call for Papers: XM 2014 Submissions Due in One Week   Davide Di Ruscio
• [TYPES/announce] Final Call for papers SAS 2014   Helmut Seidl
• [TYPES/announce] Final call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)   Neelakantan Krishnaswami
• [TYPES/announce] Final CFP (Abstract Deadline March 20): MeMo 2014: Meta Models for Process Languages   Marino Miculan
• [TYPES/announce] Final CFP (Abstract Deadline March 20): Meta Models for Process Languages (MeMo) 2014   Thomas Hildebrandt
• [TYPES/announce] Final CFP: 7th Interaction and Concurrency Experience (ICE 2014) - June 6, 2014, Berlin, Germany   Ivan Lanese
• [TYPES/announce] Final CFP: Classical Logic and Computation 2014   Paulo Oliva
• [TYPES/announce] Final CFP: FSEN 2015   Marjan Sirjani
• [TYPES/announce] Final CFP: Workshop on Generic Programming (WGP) 2014   José Pedro Magalhães
• [TYPES/announce] Final CFP for SLE 2014   Craig Anslow
• [TYPES/announce] Final CFP MeCBIC 2014 - deadline extension   Bogdan Aman
• [TYPES/announce] Final CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call, extended deadline)   Hugo Herbelin
• [TYPES/announce] First call-for-papers - Linearity 2014   Sandra Alves
• [TYPES/announce] First Call for Papers: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems   Serge Autexier
• [TYPES/announce] First Call for Papers: FSEN 2015   FSEN
• [TYPES/announce] First Call for Papers for SD14, July 12-13, 2014, Vienna   Lutz Strassburger
• [TYPES/announce] First call for papers IFL 2014   publicityifl at gmail.com
• [TYPES/announce] First CFP: CRV15 - 2nd Competition on Runtime Verification   Yliès Falcone
• [TYPES/announce] First CfP: SAS 2015 (22nd Int. Static Analysis Symposium)   Thomas Jensen
• [TYPES/announce] First CFP: Special Issue of the Journal of Automated Reasoning on Interpolation Techniques for Program Verification and Synthesis   Andrey Rybalchenko
• [TYPES/announce] First CFP: Workshop on Generic Programming (WGP) 2014   José Pedro Magalhães
• [TYPES/announce] First CFP CICM 2015   Serge Autexier
• [TYPES/announce] First International Summer School on Behavioural Types   Simon Gay
• [TYPES/announce] Five Lecturer and Professor Vacancies at Kazakh-British Technical University   Ross Horne
• [TYPES/announce] FLOPS 2014 call for participation (early registration deadline extended)   Eijiro Sumii
• [TYPES/announce] FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early registration deadline on May 13)   Eijiro Sumii
• [TYPES/announce] FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods, Oslo)   Martin Steffen
• [TYPES/announce] FMMB 2014 - second call for papers   Carla Piazza
• [TYPES/announce] FOAL 2014 - Call for Papers   danilo.ansaloni at usi.ch
• [TYPES/announce] FOCLASA 2014 - Call for Participation (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)   FOCLASA 2014
• [TYPES/announce] FOCLASA 2014 - Deadline Extended (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)   FOCLASA 2014
• [TYPES/announce] FOCLASA 2014 - Final CfP (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)   FOCLASA 2014
• [TYPES/announce] FOCLASA 2014 - First CfP (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)   FOCLASA 2014
• [TYPES/announce] FOCLASA 2014 - Second CfP (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)   FOCLASA 2014
• [TYPES/announce] FOOL2014 Call For Papers   Marco Servetto
• [TYPES/announce] FOOL2014 Call For Papers, deadline approaching:9 days from now   Marco Servetto
• [TYPES/announce] FORTE 2014 - Deadline approaching   Kirstin Peters
• [TYPES/announce] FOSAD 2014 - school on foundations of security analysis and design   Alessandro Aldini
• [TYPES/announce] Foundations and Trends in Programming Languages   Tanya Capawana
• [TYPES/announce] Fourth Halmstad Summer School on Testing (HSST 2014): Call for Participation   M.R. Mousavi
• [TYPES/announce] Fourth Summer School on Formal Techniques, May 19-23, 2014, Menlo College, Atherton   Natarajan Shankar
• [TYPES/announce] Fourth Summer School on Formal Techniques, May 19-23, 2014, Menlo College, Atherton   Natarajan Shankar
• [TYPES/announce] FP7 ONTIC project. PhD Open positions.   ALBERTO MOZO VELASCO
• [TYPES/announce] FSEN 2015 Deadline Extension   Marjan Sirjani
• [TYPES/announce] FSTTCS 2014 -- Final Call for Papers   S P Suresh
• [TYPES/announce] FSTTCS 2014: Call for Papers   S P Suresh
• [TYPES/announce] FTfJP'14: Call for Papers   David Pearce
• [TYPES/announce] FTfJP'14: Call for Papers [EXTENDED DEADLINE]   David Pearce
• [TYPES/announce] Full Professorship in Computer Science at University of Warwick   Andrzej Murawski
• [TYPES/announce] Funded 3-year PhD position in Program Verification   Radu Iosif
• [TYPES/announce] Funded PhD Student/Researcher Positions on the Interplay of Robotics & Formal Methods at University of Bremen/DFKI   Ruediger Ehlers
• [TYPES/announce] Funded PhD studentship on verified compilers   Scott Owens
• [TYPES/announce] Fun With Formal Methods: deadline extension and 2nd CFP.   Nikolay Shilov
• [TYPES/announce] FW: 3 postdoc positions at Oxford, CS, Quantum Group   Dimitrios Vytiniotis
• [TYPES/announce] FW: ICGT 2015: Call for Papers   Dimitrios Vytiniotis
• [TYPES/announce] Fwd: [DisCoTec] Call for Participation   Kirstin Peters
• [TYPES/announce] Fwd: [HoTT] Univalent Foundations Library   Steve Awodey
• [TYPES/announce] Fwd: Annual Peter Landin Semantics Seminar: On correspondences between programming languages and semantic notations, By Prof.Peter Mosses -- 8th December, 2014, 6pm, London   Paul Levy
• [TYPES/announce] FWD: seeking nominations for the John C Reynolds Doctoral Dissertation Award   Dimitrios Vytiniotis
• [TYPES/announce] Fwd: SLALM2014. EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20   Miguel Pagano
• [TYPES/announce] Fwd: WoLLIC 2015 - Call for Papers   Ruy de Queiroz
• [TYPES/announce] GaLoP 2015: Workshop on Games for Logic and Programming Languages   Pierre Clairambault
• [TYPES/announce] GandALF 2014: Call for papers   murano
• [TYPES/announce] GandALF 2014: Extended deadlines   aniello murano
• [TYPES/announce] GandALF 2014: Preliminary call for papers   murano at na.infn.it
• [TYPES/announce] GIBSE 2014 - Call for Papers   danilo.ansaloni at usi.ch
• [TYPES/announce] GPCE 2014 - Final Call for Papers   Matthew Flatt
• [TYPES/announce] GPCE 2014 Call for Participation   Ulrik Pagh Schultz
• [TYPES/announce] GPCE 2104 - Call for Papers   Matthew Flatt
• [TYPES/announce] GraMSec'14 CALL FOR PARTICIPATION   Barbara KORDY
• [TYPES/announce] Guest professorship for female researchers at University of Tübingen   Klaus Ostermann
• [TYPES/announce] HART 2014 - Second Workshop on Haskell And Rewriting Techniques (co-located with ICFP 2014)   Janis Voigtlaender
• [TYPES/announce] Haskell Symposium 2014: Call for papers   Wouter Swierstra
• [TYPES/announce] Haskell Symposium: Second call for papers   Wouter Swierstra
• [TYPES/announce] Haskell Symposium – Call for participation   Wouter Swierstra
• [TYPES/announce] HCVS 2014 - Call for Papers   Fabio Fioravanti
• [TYPES/announce] HCVS 2014 - Deadline extended (May 9)   Fabio Fioravanti
• [TYPES/announce] Heidelberg Forum   Vladimir Voevodsky
• [TYPES/announce] Helsinki ICT network: call for 15 doctoral student positions (dl. Feb 14)   Stavros Tripakis
• [TYPES/announce] Helsinki ICT network: call for 20 doctoral student positions (dl. Sep 30)   Stavros Tripakis
• [TYPES/announce] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop   Jacques Garrigue
• [TYPES/announce] HOPE 2014 Call for Participation (with Workshop Program)   Hongseok Yang
• [TYPES/announce] HOR 2014: deadline extension until 30 april 2014   Kop, Cynthia
• [TYPES/announce] HSB 2014: Extended Deadline (March 28, 2014)   Ezio Bartocci
• [TYPES/announce] ICALP 2015: First Call for Papers   koba
• [TYPES/announce] ICFEM 2014, Luxembourg, 3-7 November 2014: Last Call for Participation   Liu Yang (Asst Prof)
• [TYPES/announce] ICFEM 2014 Deadlines Extended   Liu Yang (Asst Prof)
• [TYPES/announce] ICFEM 2014 Last Call-for-papers   Liu Yang (Asst Prof)
• [TYPES/announce] ICFP 2014: Call for papers   David Van Horn
• [TYPES/announce] ICFP 2014 Call for Participation   David Van Horn
• [TYPES/announce] ICFP 2014 Final Call for Participation   David Van Horn
• [TYPES/announce] ICFP 2014 Student Research Competition: Call for Submissions   David Van Horn
• [TYPES/announce] ICFP 2014 Student Volunteer Programme   David Van Horn
• [TYPES/announce] ICFP 2015: Call for Papers   David Van Horn
• [TYPES/announce] ICFP 2015 Call for Workshop and Co-located Event Proposals   David Van Horn
• [TYPES/announce] ICTAC 2014 / Call for Participation, 16-19 Sept, Bucharest   Gabriel Ciobanu
• [TYPES/announce] IEEE/ACIS SERA 2015 - International Conference on Software Engineering Research, Management and Applications   Slim Kallel
• [TYPES/announce] IHP thematic trimester -- Kick-off meeting -- Tuesday April 22   Paul-Andre Mellies
• [TYPES/announce] IJCAR 2014 - Call for Participation   Morgan Deters
• [TYPES/announce] IJCAR 2014 - Deadline Extended and Final Call for Papers   Morgan Deters
• [TYPES/announce] Illinois hiring faculty in PL this year   Parthasarathy, Madhusudan
• [TYPES/announce] InfoSec 2015: registration deadline 3 January   GRLMC
• [TYPES/announce] International School on Tool-based Rigorous Engineering of Software Systems   Claude Marche
• [TYPES/announce] ISABELLE WORKSHOP and TUTORIAL   Tobias Nipkow
• [TYPES/announce] ISR 2014: call for participation   Temur Kutsia
• [TYPES/announce] ITP'14: early registration deadline approaching   Gerwin Klein
• [TYPES/announce] ITRS 2014, Call for Participation   Luca Paolini
• [TYPES/announce] ITRS 2014 - DEADLINE EXTENSION   Luca
• [TYPES/announce] IWACO 2014 -- DEADLINE EXTENSION   Johan Östlund
• [TYPES/announce] IWACO 2014: Call for Papers   Stephanie Balzer
• [TYPES/announce] IWC 2014 & CoCo 2014: Second Call for Papers and Provers   Takahito Aoto
• [TYPES/announce] IWC 2014: deadline extended   Takahito Aoto
• [TYPES/announce] JFLA 2015 - Call for Papers   David Baelde
• [TYPES/announce] JFLA 2015: call for participation   David Baelde
• [TYPES/announce] JFLA 2015 : deadline extension   David Baelde
• [TYPES/announce] JFLA 2015: second call for papers   David Baelde
• [TYPES/announce] JLAMP - The third life of a Journal   Alberto Lluch Lafuente
• [TYPES/announce] JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software   Vasco T. Vasconcelos
• [TYPES/announce] Job announcement: formal methods engineer and scientific developer at FireEye   Hendrik Tews
• [TYPES/announce] Joint 25th RTA & 12th TLCA: Deadline extension   Luca
• [TYPES/announce] Joint 25th RTA & 12th TLCA: Final CALL FOR PAPERS   Luca Paolini
• [TYPES/announce] Joint 25th RTA & 12th TLCA: Last reminder   Luca
• [TYPES/announce] Joint iFM 2014 & FACS 2014: Extended Deadline For Workshop Proposals   Elena Giachino
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] Kick-off meeting -- IHP thematic trimester -- Tuesday April 22   Paul-Andre Mellies
• [TYPES/announce] Kurt Gödel Research Prize Fellowships Program   Sophie Tison
• [TYPES/announce] LACL 2014   Sergei Soloviev
• [TYPES/announce] LACL 2014 second call   Sergei Soloviev
• [TYPES/announce] LAP 2014 - Logic and Applications: CFP   Andre Scedrov
• [TYPES/announce] Last call for papers: Special issue of TCS-C on Verification of Engineered, Molecular Devices and Programs (VEMDP 2014)   Marta Kwiatkowska
• [TYPES/announce] Last Call for Papers ICTAC, 17-20 Sept.2014, Bucharest   Gabriel Ciobanu
• [TYPES/announce] Last Call for Papers ICTAC, 17-20 Sept.2014, Bucharest   Gabriel Ciobanu
• [TYPES/announce] Last Call for PLMW Scholarship Applications: (new deadline: this Wednesday, September 24!)   Alan Schmitt
• [TYPES/announce] Last Call for PLMW Scholarship Applications: (new deadline: this Wednesday, September 24!)   Alan Schmitt
• [TYPES/announce] Last call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo   Marieke Huisman
• [TYPES/announce] last cfp - deadline May 1 (Natural Language and Computer Science, July 17-18 Vienna)   Christian RETORE
• [TYPES/announce] Last CFP - TESTS AND PROOFS (TAP 2014)   Dubois Catherine
• [TYPES/announce] Last CFP: ACM Symposium on Applied Computing Software Verification and Testing Track   Ylies Falcone
• [TYPES/announce] Last CfP: UNIF 2014   Temur Kutsia
• [TYPES/announce] last CfP ThEdu'14 at CICM Coimbra   Walther Neuper
• [TYPES/announce] LATA 2014: call for participation   GRLMC
• [TYPES/announce] LATA 2015: 1st call for papers   GRLMC
• [TYPES/announce] LATA 2015: 2nd call for papers   GRLMC - URV
• [TYPES/announce] LATA 2015: extended submission deadline 16 October   GRLMC
• [TYPES/announce] LCTES 2015: First CFP   Klaus Havelund
• [TYPES/announce] Lecturer/Senior Lecturer in Computer Science at VUW   David Pearce
• [TYPES/announce] Lecturer and Reader in Cyber Security/Privacy, University of Edinburgh   James Cheney
• [TYPES/announce] Lectureships at Middlesex   Jaap Boender
• [TYPES/announce] LFMTP 2014: 2nd Call for Papers   Amy Felty
• [TYPES/announce] LFMTP 2014: Call for Papers   Amy Felty
• [TYPES/announce] LFMTP 2014: Call for Participation   Amy Felty
• [TYPES/announce] LICS 2015 - First Call for Papers   Andrzej Murawski
• [TYPES/announce] LICS 2015 - Last Call for Papers   Andrzej Murawski
• [TYPES/announce] Linearity 2014: Call for Participation   Sandra Alves
• [TYPES/announce] LOLA 2014 - Call for Participation (early registration closes on June 8)   Andrzej Murawski
• [TYPES/announce] LOLA 2014 - Call for Participation (online registration closes on June 30)   Andrzej Murawski
• [TYPES/announce] LOLA 2014 - Call for Talk Proposals   Andrzej Murawski
• [TYPES/announce] LOLA 2014 - Call for Talk Proposals (deadline 9 May)   Andrzej Murawski
• [TYPES/announce] LOPSTR 2014 - Extended Deadlines   Maurizio Proietti
• [TYPES/announce] LOPSTR 2014: Call for Participation   Maurizio Proietti
• [TYPES/announce] LOPSTR 2014: Deadline Approaching   Maurizio Proietti
• [TYPES/announce] LOPSTR 2014: Second Call for Papers   Maurizio Proietti
• [TYPES/announce] LOPSTR 2015: 25th International Symposium on Logic-Based Program Synthesis and Transformation - First Call for Papers   Maurizio Proietti
• [TYPES/announce] Luca Cardelli Fest, September 8-9, MSR Cambridge   Andy Gordon (RESEARCH)
• [TYPES/announce] MAP 2014 - First announcement - Call for contributions   Cyril Cohen
• [TYPES/announce] MAP 2014 Second announcement/Deadline extension   Cyril Cohen
• [TYPES/announce] Mathematics of Program Construction (MPC 2015): first call for papers   José Pedro Magalhães
• [TYPES/announce] MeCBIC 2014 - deadline approaching   Bogdan Aman
• [TYPES/announce] MeCBIC 2014 : 1st Call for Papers   Bogdan Aman
• [TYPES/announce] MeCBIC 2014 : 2nd Call for Papers   Bogdan Aman
• [TYPES/announce] MeMo 2014: CFP & Presentation proposals (Deadline extension, April 2nd)   Thomas Hildebrandt
• [TYPES/announce] MFCS 2014: 3rd Call for Papers   mfcs2014 at inf.u-szeged.hu
• [TYPES/announce] MFCS 2014: Call for Papers   mfcs2014 at inf.u-szeged.hu
• [TYPES/announce] MFCS 2014: Call for Participation   mfcs2014 at inf.u-szeged.hu
• [TYPES/announce] MFPS 2014: last call for papers   Alexandra Silva
• [TYPES/announce] MFPS 30: Call for participation and registration   Alexandra Silva
• [TYPES/announce] MFPS XXX: First Call for Papers   Alexandra Silva
• [TYPES/announce] MFPS XXXI: Call for Papers   Dan Ghica
• [TYPES/announce] Microsoft Funded PhD Position at Royal Holloway University of London   Matthew Hague
• [TYPES/announce] Microsoft Research PhD Scholarship: TypeScript, The Next Generation   Philip Wadler
• [TYPES/announce] Midlands Graduate School 2014   Roy Crole
• [TYPES/announce] Midlands Graduate School in Foundations of Computing Science - last chance to register   Paul Levy
• [TYPES/announce] MIND, MECHANISM AND MATHEMATICS at Columbia University, New York City, May 12-14, 2014 - registration open   S B Cooper
• [TYPES/announce] MOD* CFP   Manuel Mazzara
• [TYPES/announce] MOD* CFP   Manuel Mazzara
• [TYPES/announce] MOD* CFP   Manuel Mazzara
• [TYPES/announce] MOD* workshop - DEADLINE EXTENDED   Manuel Mazzara
• [TYPES/announce] Modularity '14 - Call for Contributions   danilo.ansaloni at usi.ch
• [TYPES/announce] Modularity'14 - Student Forum   danilo.ansaloni at usi.ch
• [TYPES/announce] MOSPAS 2014 - EXTENDED Deadline (Paper submission: March 28, 2014)   Francesco tiezzi
• [TYPES/announce] MOVEP'14 Call for participation   Pedro R. D'Argenio
• [TYPES/announce] Multiple funded PhD studentships available at LFCS, University of Edinburgh   James Cheney
• [TYPES/announce] Multiple Postdoc Positions   Uli Fahrenberg
• [TYPES/announce] Multiple Postdoc positions in formal methods for cyber security   Alwen Tiu
• [TYPES/announce] New Book: Concrete Semantics   Tobias Nipkow
• [TYPES/announce] NEW DEADLINE: MAY 1 (NATURAL LANGUAGE AND COMPUTER SCIENCE, July 17-18 Vienna)   Christian RETORE
• [TYPES/announce] Newly Published book, Lambda Calculus with Types   Katy Strong
• [TYPES/announce] New moderator: Dimitrios Vytiniotis   Derek Dreyer
• [TYPES/announce] new sml-family.org web site   David MacQueen
• [TYPES/announce] NFM 2015 - deadline extension: Nov 18   Klaus Havelund
• [TYPES/announce] NFM 2015 - final call for papers   Klaus Havelund
• [TYPES/announce] NII Summer School on Coq in Japan   Jacques Garrigue
• [TYPES/announce] NII Summer School on Coq in Japan (2nd Call)   Jacques Garrigue
• [TYPES/announce] Nordic Workshop on Programming Theory (NWPT'14): Call for Papers   M.R. Mousavi
• [TYPES/announce] Now out in print: "Concrete Semantics with Isabele/HOL"   Tobias Nipkow
• [TYPES/announce] NSV 2014 Call for Participation. Early Registration Deadline Approaching   BOUISSOU Olivier 209517
• [TYPES/announce] NSV 2015   Sergiy Bogomolov
• [TYPES/announce] NWPT 2014: Call for Participation (Reg. Deadline: October 15)   M.R. Mousavi
• [TYPES/announce] NWPT 2014 Final CFP (Extended Deadline: 20 September)   M.R. Mousavi
• [TYPES/announce] OBT 2015: Second call for papers   Swarat Chaudhuri
• [TYPES/announce] OCaml 2014 - Call for Presentations   Jacques Garrigue
• [TYPES/announce] OCaml 2014 - Call for Presentations   Jacques Garrigue
• [TYPES/announce] OCaml 2014 - Extended deadline   Jacques Garrigue
• [TYPES/announce] OCaml 2014 - Last Call for Presentations   Jacques Garrigue
• [TYPES/announce] OCL 2014: First Call for Papers   Achim D. Brucker
• [TYPES/announce] OCL 2014: Submission Deadline Extended by One Week   Achim D. Brucker
• [TYPES/announce] One PhD position for EU students at the University of Dundee, Scotland   Marco Gaboardi
• [TYPES/announce] OOPS track at SAC 2015: Call for Papers   Davide Ancona
• [TYPES/announce] OOPS track at SAC 2015: extended submission deadline October 10   Davide Ancona
• [TYPES/announce] OOPS track at SAC 2015: extended submission deadline September 26   Davide Ancona
• [TYPES/announce] opening for a research engineer (post-doc) at MSR-INRIA Centre   Stephan Merz
• [TYPES/announce] opening for a research engineer (post-doctoral) position at MSR-INRIA centre   Stephan Merz
• [TYPES/announce] Open PhD positions in Vienna and Villach, Austria   Nickovic Dejan
• [TYPES/announce] Open Position: Lecturer in Cybersecurity, University of Southampton   Michael Butler
• [TYPES/announce] Oregon PL Summer School: call for participation   Amal Ahmed
• [TYPES/announce] Oregon PL Summer School: register by May 2nd   Amal Ahmed
• [TYPES/announce] Oregon Programming Languages Summer School, 2014   Amal Ahmed
• [TYPES/announce] PEPM 2015: Final call for papers   Kenichi Asai
• [TYPES/announce] PEPM 2015: First call for papers   Kenichi Asai
• [TYPES/announce] PERTEA'14: Call for Paper   Harry Xu
• [TYPES/announce] Ph.D. Position in Information Security at the University of Luxembourg   Barbara Kordy
• [TYPES/announce] PharoDays 2015 Call for Participation   Guillermo Polito
• [TYPES/announce] PhD and PostDoc positions available in LIX & INRIA-Saclay   Dale Miller
• [TYPES/announce] PhD on Mixed Signal IC Verification   Ezio Bartocci
• [TYPES/announce] PhD opening in "Proof-Theory for Multiparty Round-Trip Global Programming" at IT University of Copenhagen (Deadline April 23rd)   Marco Carbone
• [TYPES/announce] PhD opening in Formal Models for Concurrency and Coordination at IT University of Copenhagen (Deadline: April 23)   Thomas Hildebrandt
• [TYPES/announce] PhD opportunities at the University of Birmingham   Paul Levy
• [TYPES/announce] PhD position - Computer assisted validation in Erlang   German Vidal
• [TYPES/announce] PhD Position at ITU of Copenhagen   aleks at dcs.warwick.ac.uk
• [TYPES/announce] PhD Position in dependent types, testing & hardware design   Wouter Swierstra
• [TYPES/announce] PhD Position in Formal Methods and Security at the University of Oslo   Peter Csaba Ölveczky
• [TYPES/announce] PhD Position in High-level Programming Languages for Manycore Architectures   Dave Clarke
• [TYPES/announce] PhD Position in Programming Languages and Concurrency at Trinity College Dublin   Vasileios Koutavas
• [TYPES/announce] PhD position in verification of low-level software   Roberto Guanciale
• [TYPES/announce] PhD position in WebApp Security and Privacy at INRIA Sophia Antipolis   Nataliia Bielova
• [TYPES/announce] PhD positions at the Departiment of Computer Science and Engineering - DISI - University of Bologna   Gianluigi Zavattaro
• [TYPES/announce] PhD positions in computer-aided cryptography (IMDEA Software Institute, Madrid)   Gilles Barthe
• [TYPES/announce] PhD positions in Dept. of Computer Science, U. of Oslo (with topic: Secure and Robust Networks)   Martin Steffen
• [TYPES/announce] PhD positions in Nottingham   Venanzio Capretta
• [TYPES/announce] PhD Positions in Software Language Engineering and Verification at Royal Holloway University of London, UK   Matthew Hague
• [TYPES/announce] PhD Scholarships in Hong Kong   Bruno Oliveira
• [TYPES/announce] PhD Studentship in Cyber Security at Royal Holloway, University of London   Johannes Kinder
• [TYPES/announce] PhD studentship in data-centric programming at LFCS, University of Edinburgh   James Cheney
• [TYPES/announce] PhD studentship on dependent type theory for concurrent processes   Martin Berger
• [TYPES/announce] PhD studentships at Middlesex University   Jaap Boender
• [TYPES/announce] PhD Studentships from October 2014 at the University of Bath   Alessio Guglielmi
• [TYPES/announce] PLACES 2014 _ Call for Participation   Vasco T. Vasconcelos
• [TYPES/announce] PLAS 2014 - Deadline extension: April 24th, 9:00 AM CEST   Alejandro Russo
• [TYPES/announce] PLDI 2014 Call for Participation   Manu Sridharan
• [TYPES/announce] PLDI 2014 Second Call For Participation / Early Registration   Manu Sridharan
• [TYPES/announce] PLDI 2015: call for papers   Manu Sridharan
• [TYPES/announce] PLDI 2015: call for workshop and tutorial proposals   Manu Sridharan
• [TYPES/announce] PLT Redex: The Summer School, Call for Participation   Robby Findler
• [TYPES/announce] POPL 2014: Final call for participation   Viktor Vafeiadis
• [TYPES/announce] POPL 2015: Call for papers   Viktor Vafeiadis
• [TYPES/announce] POPL 2015: Call for posters deadline extension 29 September   Viktor Vafeiadis
• [TYPES/announce] POPL 2015: Call for student posters   Viktor Vafeiadis
• [TYPES/announce] POPL 2015: Call for tutorials   Viktor Vafeiadis
• [TYPES/announce] POPL 2015: Call for workshops & co-located events   Viktor Vafeiadis
• [TYPES/announce] POPL 2015: Final call for student posters   Viktor Vafeiadis
• [TYPES/announce] POPL 2015: Final call for tutorials   Viktor Vafeiadis
• [TYPES/announce] POPL 2015: Second call for papers   Viktor Vafeiadis
• [TYPES/announce] POPL 2015 Call for participation & pre-registration   Viktor Vafeiadis
• [TYPES/announce] POPL 2015 deadline reminder   Viktor Vafeiadis
• [TYPES/announce] POPL 2015 final call for workshops (Deadline: April 26)   Viktor Vafeiadis
• [TYPES/announce] POPL 2015 visa pre-registration   Viktor Vafeiadis
• [TYPES/announce] Position announcement in Aix-Marseille university   Lionel Vaux
• [TYPES/announce] Position in rigorous assurance at NASA   Ewen Denney
• [TYPES/announce] Possible postdoc opening, MINES ParisTech   Pierre Jouvelot
• [TYPES/announce] Post-doc ANR "COQUAS: Computing with Quantitative Semantics"   michele.pagani at lipn.univ-paris13.fr
• [TYPES/announce] Post-doc in Japan: JSPS Postdoctoral Fellowship   Ichiro Hasuo
• [TYPES/announce] Post-doc research positions in PL, verification, and security at MSR Cambridge: deadline January 5   Dimitrios Vytiniotis
• [TYPES/announce] Post-doctoral Position at INRIA Grenoble   Alain Girault
• [TYPES/announce] Postdoc and PhD positions at Innopolis University   Manuel Mazzara
• [TYPES/announce] Postdoc and PhD positions in Dublin   Matthew Hennessy
• [TYPES/announce] Postdoc and research scientist positions in program analysis and synthesis at Rice University   Swarat Chaudhuri
• [TYPES/announce] Postdoc at Queen Mary University of London (semantics and verification)   Nikos Tzevelekos
• [TYPES/announce] Post Doc available, University of Bologna   Dale Miller
• [TYPES/announce] Postdoc in formal methods at DTU   Flemming Nielson
• [TYPES/announce] Postdoc in Munich (LMU) in programming language theory (secure coding) for 36 months   Martin Hofmann
• [TYPES/announce] Postdoc in provably secure systems at KTH   Mads Dam
• [TYPES/announce] Postdoc offer: Generative Programming with LMS/Scala   martin odersky
• [TYPES/announce] postdoc position(s) announcement   Vladimir Voevodsky
• [TYPES/announce] Postdoc position - Athens   Yannis Smaragdakis
• [TYPES/announce] PostDoc Position and PhD Studentships - Theory and Applications of Session Types - Glasgow, Scotland   Simon Gay
• [TYPES/announce] Postdoc position at Carnegie Mellon University on Hybrid Systems Theorem Proving   André Platzer
• [TYPES/announce] Postdoc position at Imperial on Automated Reasoning for Approximate Real Number Computation   Alastair Donaldson
• [TYPES/announce] PostDoc position at INRIA / ENS Paris, France   Francesco Zappa Nardelli
• [TYPES/announce] postdoc position at PPS in 2014-2015   Thomas Ehrhard
• [TYPES/announce] Postdoc position at UCL in verification / logic / automated reasoning   James Brotherston
• [TYPES/announce] Postdoc Position in Exploratory Programming   Martin Erwig
• [TYPES/announce] postdoc position in INRIA Paris-Rocquencourt   Umut Acar
• [TYPES/announce] Postdoc position in Lyon   Riba Colin
• [TYPES/announce] Postdoc position in Lyon   Baillot Patrick
• [TYPES/announce] Postdoc position in Nominal Structural Operational Semantics (Reykjavik University)   Luca Aceto
• [TYPES/announce] Postdoc position on Reversible computing   Ivan Lanese
• [TYPES/announce] Postdoc position on Reversible computing   Ivan Lanese
• [TYPES/announce] Postdoc positions in SAT/SMT-based Verification available in Trento   Roberto Sebastiani
• [TYPES/announce] Postdoc positions in the Pliny program synthesis project at Rice University   Swarat Chaudhuri
• [TYPES/announce] postdoc positions on coinductive techniques and probabilistic models   Davide Sangiorgi
• [TYPES/announce] Postdoctoral and PhD opportunities in language-based security and provenance in LFCS   James Cheney
• [TYPES/announce] Postdoctoral and Predoctoral Researcher Vacancies at Imperial College   Constantinides, George A
• [TYPES/announce] Postdoctoral position at Bath   Guy McCusker
• [TYPES/announce] Postdoctoral position in Automated Program Synthesis at Rice University   Swarat Chaudhuri
• [TYPES/announce] Post Doctoral Position in Cyber Security Research – Program Analysis for Security   Trent Jaeger
• [TYPES/announce] Postdoctoral position in probabilistic programming at Rice University   Swarat Chaudhuri
• [TYPES/announce] Postdoctoral position in probabilistic programming languages   Norman Ramsey
• [TYPES/announce] Postdoctoral position in software systems@ UC Irvine   Harry Xu
• [TYPES/announce] postdoctoral positions at U. Western Ontario   Dan Christensen
• [TYPES/announce] Postdoctoral Research Associate, University of Athens   Yannis Smaragdakis
• [TYPES/announce] Postdoctoral Research Associate Position in Analysis, Probabilistic Reasoning, and Synthesis at the University of Colorado Boulder   Bor-Yuh Evan Chang
• [TYPES/announce] Postdoctoral Researcher at DemTech/IT University of Copenhagen   Carsten Schürmann
• [TYPES/announce] Postdoctoral Researcher at Stevens Institute of Technology in domain-specific languages, security and privacy   Dominic Duggan
• [TYPES/announce] Postdoctoral Researcher on formal methods/web/security at Imperial College London   Sergio Maffeis
• [TYPES/announce] Postdoc Vacancy   Constantinides, George A
• [TYPES/announce] PPDP 2014: 2nd Call for Papers   Jacob Johannsen
• [TYPES/announce] PPDP 2014: Call for Papers   Jacob Johannsen
• [TYPES/announce] PPDP 2014: Program and 2nd Call for Participation   Jacob Johannsen
• [TYPES/announce] PPDP 2014 Call for Participation   Jacob Johannsen
• [TYPES/announce] Preliminary CFPs: IEEE PRDC 2015 at Zhangjiajie, China [Deadline May 15, 2015]   Md Zakirul Alam Bhuiyan
• [TYPES/announce] Professorship Available   Neil Ghani
• [TYPES/announce] PSC 2014 Call for papers   Ana Sokolova
• [TYPES/announce] PSI 2015 CfP   Manuel Mazzara
• [TYPES/announce] QAPL-TCS special issue, 2nd call for papers   Luca Bortolussi
• [TYPES/announce] QPL 2014: 2nd Call for Papers   Ichiro Hasuo
• [TYPES/announce] QPL 2014: Call for Papers   Ichiro Hasuo
• [TYPES/announce] QPL 2014: Call for Participation   Ichiro Hasuo
• [TYPES/announce] QPL 2014: Final Call for Papers   Ichiro Hasuo
• [TYPES/announce] QPL 2015: Call for papers   Chris Heunen
• [TYPES/announce] RA position in automated verification, logic and theorem proving at UCL   James Brotherston
• [TYPES/announce] RDP 2015 Call for Workshops   Aleksy Schubert
• [TYPES/announce] RDP 2015 Last Call for Workshops   Aleksy Schubert
• [TYPES/announce] RDP 2015 Second Call for Workshops   Łukasz Czajka
• [TYPES/announce] Reactive Systems workshop in honor of David Harel at FLoC - July 23 - Call for Participation   Morgan Deters
• [TYPES/announce] Reminder: Domains XI call for papers   Thomas Ehrhard
• [TYPES/announce] Reminder: Nominations for John C Reynolds Distinguished Dissertation Award   Jeremy Gibbons
• [TYPES/announce] RePP 2014 workshop call for participation: Grenoble, France, Sunday April 6th, 2014   Alain Girault
• [TYPES/announce] RePP 2014 workshop extension deadline: Grenoble, France, Sunday April 6th, 2014   Alain Girault
• [TYPES/announce] RP 2014 -- Deadline Extension   James Worrell
• [TYPES/announce] RP 2014 -- Second Call for Papers   Dimitrios Vytiniotis
• [TYPES/announce] RTA 2015 - First Call For Papers   Sophie Tison
• [TYPES/announce] RTA 2016: CALL FOR LOCATION   Sophie Tison
• [TYPES/announce] RV'15 - First Call for Papers   Nickovic Dejan
• [TYPES/announce] RV 2014, Deadlines extended: abstract April 18, full paper April 25   Runtime Verification
• [TYPES/announce] RV 2014: 2nd Call for Papers, Deadline in 2 months   Runtime Verification
• [TYPES/announce] RV 2014: 2nd Call for Participation   Runtime Verification
• [TYPES/announce] RV 2014: 3rd Call for Papers, Deadline in 3 weeks   Runtime Verification
• [TYPES/announce] RV 2014: Call for Participation   Runtime Verification
• [TYPES/announce] RV 2014: LAST Call for Papers, Deadline in 1 week   Runtime Verification
• [TYPES/announce] SAT 2015, 1st Call for Workshops   Sean Weaver
• [TYPES/announce] SAT 2015: Call for Papers --- please distribute   Sean Weaver
• [TYPES/announce] SBMF'14 - Call for papers with extended deadlines   Christiano Braga
• [TYPES/announce] SBMF'14 - First call for papers   Christiano Braga
• [TYPES/announce] SBMF'14 - Second call for papers   Christiano Braga
• [TYPES/announce] SBMF'14 - Third call for papers   Christiano Braga
• [TYPES/announce] SCORE Student Contest @ ICSE 2016   Carlo Alberto Furia
• [TYPES/announce] SCSS 2014: Call for short and work-in-progress papers   Temur Kutsia
• [TYPES/announce] SCSS 2014: Deadline extension   Temur Kutsia
• [TYPES/announce] Second call-for-papers - Linearity 2014   Sandra Alves
• [TYPES/announce] Second Call for Papers (Deadline approaching) - PLAS 2014   Alejandro Russo
• [TYPES/announce] Second call for papers: APAL special issue on games for logic and programming languages   Guy McCusker
• [TYPES/announce] Second Call for Papers: FSEN 2015   Marjan Sirjani
• [TYPES/announce] Second Call for Papers: OCL 2014   Achim D. Brucker
• [TYPES/announce] Second Call for Papers: SETS 2014   david.delahaye at cnam.fr
• [TYPES/announce] Second Call for Papers: Workshops Colocated with SEFM 2014   lina.ye at inria.fr
• [TYPES/announce] Second Call for Papers for SD14, July 12-13, 2014, Vienna   Lutz Strassburger
• [TYPES/announce] Second call for participation: summer school on programming techniques (EJCP 2014)   Alan Schmitt
• [TYPES/announce] Second CFP: 7th International Workshop on Numerical Software Verification   BOUISSOU Olivier 209517
• [TYPES/announce] Second CFP: Workshop on Generic Programming (WGP) 2014   José Pedro Magalhães
• [TYPES/announce] Second CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation   Janis Voigtlaender
• [TYPES/announce] Second Workshop on Haskell And Rewriting Techniques (HART 2014, co-located with ICFP 2014)   Janis Voigtlaender
• [TYPES/announce] SEFM 2014: Extended Deadlines   lina.ye at inria.fr
• [TYPES/announce] SEFM 2014: Final Call for Papers   lina.ye at inria.fr
• [TYPES/announce] SEFM 2014: Second Call for Papers and Workshop Proposals   lina.ye at inria.fr
• [TYPES/announce] Several Postdoctoral and Research Fellow positions in Helsinki, Finland (dl. Apr 6)   Stavros Tripakis
• [TYPES/announce] SLE 2014 - Call for Participation   Craig Anslow
• [TYPES/announce] SLSP 2014: 3rd call for papers   GRLMC
• [TYPES/announce] SLSP 2014: call for participation   GRLMC
• [TYPES/announce] SLSP 2014: extended submission deadline 14 May   GRLMC
• [TYPES/announce] Special issue of TCS-C on Verification of Engineered, Molecular Devices and Programs (VEMDP 2014)   Marta Kwiatkowska
• [TYPES/announce] SPLASH 2014 - Call For Participation   Craig Anslow
• [TYPES/announce] SPLASH 2014 - Combined Call for Contributions: Demos, Posters, SRC, Student Volunteers, SPLASH-E   Craig Anslow
• [TYPES/announce] SPLASH 2014 2nd Call for Contributions: OOPSLA, Onward!, Dynamic Languages Symposium, Workshops, SPLASH-E, Wavefront   Craig Anslow
• [TYPES/announce] SPLASH 2014 Call for Contributions: OOPSLA, Onward!, Dynamic Languages Symposium   Craig Anslow
• [TYPES/announce] SPLASH CALL FOR WORKSHOP PAPERS AND PARTICIPATION 2014   Du Li
• [TYPES/announce] SSTiC 2014: April 12, 5th registration deadline   GRLMC
• [TYPES/announce] SSTiC 2014: February 15, 3rd registration deadline   GRLMC
• [TYPES/announce] SSTiC 2014: January 18, 2nd registration deadline   GRLMC
• [TYPES/announce] SSTiC 2014: June 7, early registration deadline   GRLMC
• [TYPES/announce] SSTiC 2014: last-minute half-price registration   GRLMC
• [TYPES/announce] SSTiC 2014: March 15, 4th registration deadline   GRLMC
• [TYPES/announce] SSTiC 2014: May 10, 6th registration deadline   GRLMC
• [TYPES/announce] STM 2014   Rolando TRUJILLO RASUA
• [TYPES/announce] STM 2014 - Extended submission deadline - June 20   Rolando TRUJILLO RASUA
• [TYPES/announce] STM 2014: Deadline Approaching (June 13, 2014)   Rolando TRUJILLO RASUA
• [TYPES/announce] Structures and Deduction 2014 - call for participation   Willem Heijltjes
• [TYPES/announce] Submission deadline coming up 22/12/2014: JFP special issue on Parallel and Concurrent Programming   Gabriele Keller
• [TYPES/announce] Summer School "Proof, Truth, Computation" (PTC 2014)   schwicht at rz.mathematik.uni-muenchen.de
• [TYPES/announce] Summer School on Behavioural Types   Simon Gay
• [TYPES/announce] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014   Ylies Falcone
• [TYPES/announce] SyGuS-COMP 2014: 2nd Call for Participation   Rishabh Singh
• [TYPES/announce] SYNCHRON 2014 : call for participation : Aussois, France, Nov 30th to Dec 5th, 2014   Alain Girault
• [TYPES/announce] SYNCHRON 2014 early announcement : November 30 to December 4, 2014, Aussois, France   Alain Girault
• [TYPES/announce] SYNT 2014 - Call for papers   Ruediger Ehlers
• [TYPES/announce] TAPAS 2014 - Workshop on Tools for Automatic Program Analysis   Anders Møller
• [TYPES/announce] TaPP 2015 Preliminary Call for Papers   James Cheney
• [TYPES/announce] TASE 2015 -- First Call for Papers   Jun PANG
• [TYPES/announce] TASE 2015 -- Preliminary Call for Papers   Jun PANG
• [TYPES/announce] TCS special issue on QAPL 13/14   Herbert Wiklicky
• [TYPES/announce] Teaching Lectureship in Computer Science at Leicester UK   Roy Crole
• [TYPES/announce] Tenure-Track Faculty Openings at the University of Colorado Boulder   Bor-Yuh Evan Chang
• [TYPES/announce] Tenure-track openings at the Max Planck Institute for Software Systems (MPI-SWS)   Derek Dreyer
• [TYPES/announce] TERMGRAPH 2014: call for papers   Raamsdonk, F. van
• [TYPES/announce] TERMGRAPH 2014: call for participation   Raamsdonk, F. van
• [TYPES/announce] TERMGRAPH 2014: deadline extension   Raamsdonk, F. van
• [TYPES/announce] TERMGRAPH 2014: second call for papers   Raamsdonk, F. van
• [TYPES/announce] TFP 2014 - 2nd call for papers   Peter Achten
• [TYPES/announce] TGC 2014: 2nd Call for Papers   Matteo Maffei
• [TYPES/announce] The 6th Coq workshop: call for contributions   Viktor Vafeiadis
• [TYPES/announce] The 6th Coq workshop: call for contributions   Viktor Vafeiadis
• [TYPES/announce] The First International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)   Samir OUCHANI
• [TYPES/announce] The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)   Samir OUCHANI
• [TYPES/announce] The Joint EasyCrypt-F*-CryptoVerif School 2014 in Paris   Catalin Hritcu
• [TYPES/announce] thematic trimester at IHP -- talks of the first week online   Paul-Andre Mellies
• [TYPES/announce] Thematic trimester at IHP -- Week 1 -- April 22 to April 26   Paul-Andre Mellies
• [TYPES/announce] Thematic trimester at IHP - Workshop Formalization of Mathematics in Proof Assistants   Paul-Andre Mellies
• [TYPES/announce] Third and Last Call for Papers for SD14, July 12-13, 2014, Vienna   Lutz Strassburger
• [TYPES/announce] Third call for papers, IFL 2014   publicityifl at gmail.com
• [TYPES/announce] TLCA: 1st CALL for PAPERS   Luca
• [TYPES/announce] to those in Boston MA area   Vladimir Voevodsky
• [TYPES/announce] TPNC 2014: 1st call for papers   GRLMC
• [TYPES/announce] TPNC 2014: 2nd call for papers   GRLMC
• [TYPES/announce] TPNC 2014: 3rd call for papers   GRLMC
• [TYPES/announce] TPNC 2014: call for participation   GRLMC
• [TYPES/announce] TPNC 2014: extended submission deadline 24 July   GRLMC - URV
• [TYPES/announce] TRENDS 2014: Call for participation   Ilaria Castellani
• [TYPES/announce] TTSS 2014: Call for Papers -- Bertinoro 9 Sep. 2014   Michael Lienhardt
• [TYPES/announce] Two open R&D engineer position in ProofInUse lab, Paris   Claude Marche
• [TYPES/announce] Two PhD positions in LIAFA, Paris, France: Software verification and Model-checking for malware detection   Tayssir Touili
• [TYPES/announce] Two PhD positions in LIAFA, Paris, France: Software verification and Model-checking for malware detection   Tayssir Touili
• [TYPES/announce] Two PhD positions in LIAFA, Paris, France: Software verification and Model-checking for malware detection   Tayssir Touili
• [TYPES/announce] Two PhD positions in LIAFA, Paris, France: Software verification and Model-checking for malware detection   Tayssir Touili
• [TYPES/announce] Two post-doc positions in program analysis and transformation at the University of California, Riverside   Derek Dreyer
• [TYPES/announce] TYPES 2014 in Paris, May 12 - 15: last call for contributions   Matthieu Sozeau
• [TYPES/announce] Types Meeting 2014 in Paris, 12 - 15 May: 2nd call for participation   Hugo Herbelin
• [TYPES/announce] Types Meeting 2014 in Paris, 12 - 15 May: call for participation   Hugo Herbelin
• [TYPES/announce] Types Meeting 2014 in Paris, 12 - 15 May: Last call for participation   Hugo Herbelin
• [TYPES/announce] UNIF 2014: Call for Participation   Temur Kutsia
• [TYPES/announce] UPMARC Summer School Announcement   Tobias Wrigstad
• [TYPES/announce] Up to 15 fully-funded doctoral studentships in CS at Oxford   Jeremy Gibbons
• [TYPES/announce] UTP-2014 Unifying Theories of Programming - call for papers   David Naumann
• [TYPES/announce] Vacancies: Two New HIPERFIT PhD Scholarships Available   Martin Elsman
• [TYPES/announce] Vacancy: New HIPERFIT PhD Scholarship Available   Martin Elsman
• [TYPES/announce] Vacancy Full Professor Software Technology (Radboud University Nijmegen NL)   Herman Geuvers
• [TYPES/announce] Vienna Summer of Logic: Call for participation   Dale Miller
• [TYPES/announce] Vienna Summer of Logic Announcement   Morgan Deters
• [TYPES/announce] Visiting Assistant Prof position at Bucknell University   Lea Wittie
• [TYPES/announce] VSTTE 2014 CFP   Natarajan Shankar
• [TYPES/announce] VSTTE 2014 Deadline extended to May 2, 2014   Natarajan Shankar
• [TYPES/announce] VTSA 2014: 2nd Call for Applications   Jun PANG
• [TYPES/announce] VTSA 2014: Summer School on Verification Technology, Systems and Applications   Jun PANG
• [TYPES/announce] WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)   Ruy de Queiroz
• [TYPES/announce] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014   S B Cooper
• [TYPES/announce] Workshop Fibrations in Computing 2014 (Fibs'14)   Henning Basold
• [TYPES/announce] Workshop on Fun With Formal Methods: Call For Papers.   Nikolay Shilov
• [TYPES/announce] Workshop on PL Technology for Education   Armando Solar-Lezama
• [TYPES/announce] WS-FM:FASOCC 2014 CFP - Sept 11-12, 2014, Haifa, Israel   Thomas Hildebrandt
• [TYPES/announce] WST 2014: Call for Participation   Carsten Fuhs
• [TYPES/announce] WST 2014: Deadline extension until 30 April 2014   Carsten Fuhs
• [TYPES/announce] YR-CONCUR 2014 - Young Researchers Workshop on Concurrency Theory   Cimini, Matteo
• [TYPES/announce] YR-CONCUR 2014: Second Call for Abstracts   Cimini, Matteo

Last message date: Wed Dec 31 17:16:23 EST 2014
Archived on: Thu Jan 1 17:55:33 EST 2015

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