2015 Archives by date

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

Starting: Mon Jan 5 01:21:27 EST 2015
Ending: Thu Dec 31 12:41:14 EST 2015
Messages: 713

• [TYPES/announce] Theory and Practice of Differential Privacy - TPDP 2015 - Second call for paper   Marco Gaboardi (Staff)
• [TYPES/announce] RV 2015 : 2nd call for Papers and Tutorials   Nickovic Dejan
• [TYPES/announce] ESSS 2015 (co-located with FM 2015 in Oslo): First call for papers   Jun PANG
• [TYPES/announce] Call for papers: WoC'15 - Workshop on Continuations   Ugo de' Liguoro
• [TYPES/announce] CFP and Special Issue - 13th IEEE/ACIS SERA 2015   Slim Kallel
• [TYPES/announce] New Open PostDoc position in formal methods for timed systems with faults and delays at Vienna University of Technology   Ezio Bartocci
• [TYPES/announce] Reminder: Graphs as Models (ETAPS workshop), 11-12 April 2015; deadline 16 Jan 2015   Arend Rensink
• [TYPES/announce] [fm-announcements] Postdoc Position Announcement   MUNOZ, CESAR (LARC-D320)
• [TYPES/announce] TLCA: FINAL CALL FOR PAPERS   Luca
• [TYPES/announce] RTA 2015: 2nd CFP   Sophie Tison
• [TYPES/announce] CiE 2015 in Bucharest - FINAL CALL FOR PAPERS and EXTENDED DEADLINE, 21 Jan, 2015   S B Cooper
• [TYPES/announce] PLMW 2015: Final Programme   Derek Dreyer
• [TYPES/announce] CFPs: IEEE SpaIoT 2015 at Helsinki, Finland, China [Deadline: 31 March, 2015]   Md Zakirul Alam Bhuiyan
• [TYPES/announce] FORTE 2015: last Call for Papers   Susanne Graf
• [TYPES/announce] PCC 2015 - Proof, Computation, and Complexity in Oslo   Reinhard Kahle
• [TYPES/announce] Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann, Oslo, May 21-22, 2015   Reinhard Kahle
• [TYPES/announce] Developments in Implicit Computational complExity - DICE 2015 - Final call for paper   Marco Gaboardi (Staff)
• [TYPES/announce] CFP: WWV 2015, 11th Workshop on Automated Specification and Verification of Web Systems   Alberto Lluch Lafuente
• [TYPES/announce] FORTE 2015: last Call for Papers   Susanne Graf
• [TYPES/announce] 10th Ershov Informatics Conference, 25 - 27 August 2015, Innopolis, Kazan, Russia   Manuel Mazzara
• [TYPES/announce] [ESSoS] Call for Participation   Raoul Strackx
• [TYPES/announce] TYPES 2015 call for contributions   Tarmo Uustalu
• [TYPES/announce] PhD Advert   Neil Ghani
• [TYPES/announce] Open PhD position at TU Wien   Ezio Bartocci
• [TYPES/announce] Mathematics of Program Construction (MPC 2015): final call for papers   José Pedro Magalhães
• [TYPES/announce] New book: Type Theory and Formal Proof   Herman Geuvers
• [TYPES/announce] CPSWeek: Workshop on Numerical Software Verification 2015 - 2nd Call for Papers   Sergiy Bogomolov
• [TYPES/announce] FM 2015: Joint Call for Papers at FM Satellite Workshops & Doctoral Symposium (20th Intl. Symposium on Formal Methods, Oslo)   Martin Steffen
• [TYPES/announce] Call for Papers: SLE 2015   Anya Helene Bagge
• [TYPES/announce] FORTE 2015: Call for Papers (abstract submission deadline extended)   Susanne Graf
• [TYPES/announce] IEEE/ACIS SERA 2015: Deadline extension - January 22, 2015   Slim Kallel
• [TYPES/announce] Final CfP: GaLoP 2015   Pierre Clairambault
• [TYPES/announce] fully funded graduate positions in math at UWO   Dan Christensen
• [TYPES/announce] CFP: 22nd International SPIN Workshop on Model Checking of Software (SPIN 2015), Stellenbosch, South Africa, 24–26 August 2015   Bernd Fischer
• [TYPES/announce] Postdoc Position at Royal Holloway, University of London (Deadline Feb 28, 2015)   Kinder, Johannes
• [TYPES/announce] CFP Bx'15: 4th International Workshop on Bidirectional Transformations   Alcino Cunha
• [TYPES/announce] EGC2015: Deadline extension and UK travel grants   Ross Horne
• [TYPES/announce] CFP: CRV15 - 2nd Competition on Runtime Verification   Yliès Falcone
• [TYPES/announce] ICE 2015: CfP   ivan.lanese
• [TYPES/announce] Postdoc and PhD positions at Innopolis University   Manuel Mazzara
• [TYPES/announce] Ph.D. Position in Model-Based Testing, Halmstad University, Sweden   M.R. Mousavi
• [TYPES/announce] CFP: IWC 2015   Takahito Aoto
• [TYPES/announce] TASE 2015 -- Second Call for Papers   Jun PANG
• [TYPES/announce] First Call for Papers: SETS 2015   david.delahaye at cnam.fr
• [TYPES/announce] AVoCS 2015: First Call for Papers   YuHui Lin
• [TYPES/announce] Post doc available at the IT University of Copenhagen   Rasmus Ejlers Møgelberg
• [TYPES/announce] CPSWeek: Workshop on Numerical Software Verification 2015 - 2nd Call for Papers   Sergiy Bogomolov
• [TYPES/announce] PhD. Positions in Formal Methods at Royal Holloway University of London   Matthew Hague
• [TYPES/announce] Microsoft funded PhD. position: verifying concurrent higher-order programs   Matthew Hague
• [TYPES/announce] CALCO 2015 : Second Call for Papers   fabio.zanasi at ens-lyon.fr
• [TYPES/announce] Postdoc Position Available   Patricia Johann
• [TYPES/announce] PLAS 2015 Call for Papers   Michael Clarkson
• [TYPES/announce] CFP: TYTLES: TYpe Theory and LExical Semantics (as part of ESSLLI2015)   Christian RETORE
• [TYPES/announce] FORTE 2015: Call for Papers (completely new dates)   Susanne Graf
• [TYPES/announce] InfoSec 2015: registration deadline 3 February   GRLMC
• [TYPES/announce] CSF 2015 Call for Papers (updated submission instructions)   Matteo Maffei
• [TYPES/announce] 2 year postdoc position on railway verification   Markus Roggenbach
• [TYPES/announce] CCC 2014; postproceedings; deadline extension   Dieter Spreen
• [TYPES/announce] The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)   Samir OUCHANI
• [TYPES/announce] Postdoc @Princeton in VST project   Andrew W. Appel
• [TYPES/announce] Ph.D. Student Position in Time-Aware Systems, with focus on Programming Languages, Compilers, and Algorithms   David Broman
• [TYPES/announce] ICALP 2015: Second Call for Papers   koba
• [TYPES/announce] Ackermann Award 2015   European Association of Computer Science Logic
• [TYPES/announce] One Research Associate Position at Imperial College London   Yoshida, Nobuko
• [TYPES/announce] Post-Doctoral position for the security of binary code   Frédéric Besson
• [TYPES/announce] SOAP 2015 - 4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis   Anders Møller
• [TYPES/announce] WoLLIC 2015 - DEADLINE APPROACHING: Feb 8   Ruy de Queiroz
• [TYPES/announce] CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation   Janis Voigtlaender
• [TYPES/announce] Postdoc positions in PL and security at the University of Maryland, College Park   Michael Hicks
• [TYPES/announce] LSFA 2015   Elaine Pimentel
• [TYPES/announce] Mathematical Foundations of Programming Semantics :: 2nd CFP   Dan Ghica
• [TYPES/announce] VSTTE 2015 Call For Papers   Daniel Bundala
• [TYPES/announce] SPLASH 2015: Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium   Craig Anslow
• [TYPES/announce] MKM, Calculemus and DML (CICM 2015): 2nd CfP, Invited Speakers & Workshops   Serge Autexier
• [TYPES/announce] SAS 2015: 2nd Call for papers   Thomas Jensen
• [TYPES/announce] E. W. Beth Dissertation Prize: 2015 call for nominations   Ruy de Queiroz
• [TYPES/announce] CPSWeek NSV 2015: Deadline extended   Sergiy Bogomolov
• [TYPES/announce] LCTES 2015: 2nd Call for Papers   Klaus Havelund
• [TYPES/announce] Two positions at Wesleyan University   Norman Danner
• [TYPES/announce] FW: Graphical Models for Security (GraMSec 2015)   Dimitrios Vytiniotis
• [TYPES/announce] FACS 2015: Call for papers   Christiano Braga
• [TYPES/announce] PhD positions in Utrecht   Wouter Swierstra
• [TYPES/announce] CFP for ITP 2015   Christian Urban
• [TYPES/announce] WAPL 2015 - CALL FOR PAPERS   Federated Conference on Computer Science and Information Technologies
• [TYPES/announce] CFP for STOP 2015   Siek, Jeremy
• [TYPES/announce] ESSS 2015 (co-located with FM 2015 in Oslo): 2nd call for papers   Jun PANG
• [TYPES/announce] PhD position on Probabilistic Programming Languages at Uppsala University   Johannes Borgström
• [TYPES/announce] PhD Positions on Concurrency Verification and Correctness at York, UK   Mike Dodds
• [TYPES/announce] MeMo 2015 - 1st CfP   Marino Miculan
• [TYPES/announce] PhD opportunities in the Computer Science theory group at Birmingham   Paul B Levy
• [TYPES/announce] WoLLIC 2015 - EXTENDED DEADLINE : Feb 15   Ruy de Queiroz
• [TYPES/announce] LATA 2015: call for participation   GRLMC
• [TYPES/announce] PLACES 2015 Workshop: Call For Participation   Simon Gay
• [TYPES/announce] Looking for PhDs and Postdocs in Software Analytics and Data Science for 3TU.BSR "Big Software on the Run" research program   Marieke Huisman
• [TYPES/announce] CFP: UNIF 2015   Santiago Escobar
• [TYPES/announce] HDRA 2015: Call for Papers   Samuel Mimram
• [TYPES/announce] CSF 2015: paper submission deadline extended to February 11   Matteo Maffei
• [TYPES/announce] 4Yr Postdoc with McBride/Ghani   Neil Ghani
• [TYPES/announce] FORTE 2015: Call for Papers (reminder)   Susanne Graf
• [TYPES/announce] First Call for Papers, PxTP 2015   Andrei Paskevich
• [TYPES/announce] The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)   Samir OUCHANI
• [TYPES/announce] Fifth Halmstad Summer School on Testing (June 8-11, 2015)   M.R. Mousavi
• [TYPES/announce] CFP: Scala Symposium 2015   Philipp Haller
• [TYPES/announce] CSF 2015: paper submission deadline extended to February 11 (addendum)   Luca Vigano`
• [TYPES/announce] CADE-25 Poster Session and Task-Force towards an Encyclopaedia of Proof Systems   Bruno Woltzenlogel Paleo
• [TYPES/announce] STAF 2015: Joint Call for Papers   Vadim Zaytsev
• [TYPES/announce] TASE 2015 -- Final Call for Papers   Jun PANG
• [TYPES/announce] [TFP 2015] 2nd call for papers   Peter Achten
• [TYPES/announce] WoC'15, Workshop on Continuations - Call for participation   Ugo de' Liguoro
• [TYPES/announce] ICFP 2015: Final Call for Papers   David Van Horn
• [TYPES/announce] TYPES 2015 2nd call for contributions   Tarmo Uustalu
• [TYPES/announce] ETAPS 2015 call for participation   Tarmo Uustalu
• [TYPES/announce] LOPSTR 2015: 2nd Call for Papers   Maurizio Proietti
• [TYPES/announce] PPDP 2015: 2nd call for papers   Maurizio Proietti
• [TYPES/announce] Call for Papers: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics (4 page abstract due April 1st)   Fabio Pasquali
• [TYPES/announce] The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)   Samir OUCHANI
• [TYPES/announce] ThEdu'15, Theorem proving components for Educational software, cfp   Walther Neuper
• [TYPES/announce] summer school FOSAD 2015   Alessandro Aldini
• [TYPES/announce] CFP: 14th International Conference on Generative Programming: Concepts & Experiences, GPCE 2015, Pittsburgh, Oct. 26/27, 2015   Tomofumi Yuki
• [TYPES/announce] CFP: (EC)2 - International Workshop on Exploiting Concurrency Efficiently and Correctly   Alastair Donaldson
• [TYPES/announce] Post-doc in Japan: JSPS Postdoctoral Fellowship   Ichiro Hasuo
• [TYPES/announce] CFP CICM 2015 - Deadline Extension   Serge Autexier
• [TYPES/announce] NFM 2015 - CALL FOR PARTICIPATION   Klaus Havelund
• [TYPES/announce] New mailing list: Data-Centric Programming   James Cheney
• [TYPES/announce] New mailing list: Data-Centric Programming   James Cheney
• [TYPES/announce] CfP: RV'15 - The 15th International Conference on Runtime Verification   Nickovic Dejan
• [TYPES/announce] CFP: 13th International Workshop on Satisfiability Modulo Theories   Dejan Jovanović
• [TYPES/announce] FOCLASA 2015 - 1st Call For Papers   Alexander Perucci
• [TYPES/announce] Postdoc and PhD positions in Aarhus   Lars Birkedal
• [TYPES/announce] GCM 2015: Call for Papers   Detlef Plump
• [TYPES/announce] ExCAPE Postdoc Openings (for academic year 2015-2016)   Dana Fisman
• [TYPES/announce] A HoTT-Date with Thorsten Altenkirch   Neil Ghani
• [TYPES/announce] OPLSS 2015   Prof Robert Harper
• [TYPES/announce] LFMTP 2015: call for papers   Iliano Cervesato
• [TYPES/announce] ExCAPE Summer School on Software Synthesis - call for participation   Steve Zdancewic
• [TYPES/announce] FACS 2015 - Call for workshops   Christiano Braga
• [TYPES/announce] InfoSec 2015: registration deadline 3 March   GRLMC
• [TYPES/announce] Fifth Summer School on Formal Techniques, May 17-22, 2015, Atherton, California   Natarajan Shankar
• [TYPES/announce] CFP - SYNT 2015: 4th Workshop on Synthesis   Pavol Cerny
• [TYPES/announce] FWD: ICGT 2015: 2nd Call for Papers   Dimitrios Vytiniotis
• [TYPES/announce] Fwd: Three research positions on Mobile Robotics programme grant (verification/synthesis and sensor networks) at Oxford   Marta Kwiatkowska
• [TYPES/announce] MIDLANDS GRADUATE SCHOOL 2015, April 7 - 11, University of Sheffield, UK   Roy L. Crole
• [TYPES/announce] ETAPS 2016 call for satellite events   Tarmo Uustalu
• [TYPES/announce] CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages   Alberto Pardo
• [TYPES/announce] 2nd CFP: WWV 2015, 11th Workshop on Automated Specification and Verification of Web Systems   Alberto Lluch Lafuente
• [TYPES/announce] IEEE PRDC'15 Industry Track Call   Md Zakirul Alam Bhuiyan
• [TYPES/announce] CFP: Workshop on Foundations of Computer Security (FCS 2015)   Deepak Garg
• [TYPES/announce] CfP: UF/HoTT workshop, Warsaw, 29--30 June, with TLCA 2015   Peter LeFanu Lumsdaine
• [TYPES/announce] QPL 2015 Second call for papers   Chris Heunen
• [TYPES/announce] TYPES 2015 final call for contributions   Tarmo Uustalu
• [TYPES/announce] Several positions at the CSE department at Chalmers and Gothenburg Univ   Ana Bove
• [TYPES/announce] Postdoc positions announcement   José Carlos Bacelar Almeida
• [TYPES/announce] MASPEGHI 2015 Workshop - call for papers   Erik Ernst
• [TYPES/announce] CFP: LCC 2015   Nao Hirokawa
• [TYPES/announce] 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI'15)   Tijs van der Storm
• [TYPES/announce] SAS 2015: Final Call for Papers   Thomas Jensen
• [TYPES/announce] CFP: ML 2015   Jeremy Yallop
• [TYPES/announce] Postdoc position at ENS Lyon   Baillot Patrick
• [TYPES/announce] Call for papers: APLAS 2015   Xinyu Feng
• [TYPES/announce] [fm-announcements] CFP: 11th International Workshop on Developments in Computational Models   MUNOZ, CESAR (LARC-D320)
• [TYPES/announce] CFP: PACT2015 - Abstract Deadline March 19th   LIN MA
• [TYPES/announce] 2nd EATCS Young Research School on Complexity, Concurrency and Topology of Data   Emanuela Merelli
• [TYPES/announce] CFP: Graphical Models for Security (GraMSec 2015)   Barbara Kordy
• [TYPES/announce] F-IDE 2015: Call for papers (FM2015 Workshop)   catherine.dubois at ensiie.fr
• [TYPES/announce] Haskell 2015: 2nd Call for Papers   Ben Lippmeier
• [TYPES/announce] 2nd CFP: 8th Interaction and Concurrency Experience (ICE 2015), June 5, 2015, Grenoble, France   Hugo Torres Vieira
• [TYPES/announce] EAPLS PhD Award 2014 - Call for Nominations   Arend Rensink
• [TYPES/announce] [TFPIE 2015] 2nd call for papers   Peter Achten
• [TYPES/announce] CFP: Workshop on Generic Programming 2015 - Deadline May 15   Sebastian Erdweg
• [TYPES/announce] SOAP 2015 - 4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis   Anders Møller
• [TYPES/announce] TYTLES: TYpe Theory and LExical Semantics (4 page abstract due March 31)‏   stergios chatzikyriakidis
• [TYPES/announce] SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium   Craig Anslow
• [TYPES/announce] 2nd CFP: Scala Symposium 2015   Philipp Haller
• [TYPES/announce] CfPart: FSEN 2015   Marjan Sirjani
• [TYPES/announce] ETAPS 2015 final call for participation   Tarmo Uustalu
• [TYPES/announce] PhD Research Fellowship position in ICT Engineering / Model-driven Software Engineering   Adrian Rutle
• [TYPES/announce] Developments in Implicit Computational complExity - DICE 2015 - Call for participation   Marco Gaboardi (Staff)
• [TYPES/announce] Theory and Practice of Differential Privacy - TPDP 2015 - Call for participation   Marco Gaboardi (Staff)
• [TYPES/announce] TASE 2015 -- Deadlines extended   Jun PANG
• [TYPES/announce] CALCO 2015 : Last Call for Papers   fabio.zanasi at ens-lyon.fr
• [TYPES/announce] HotSpot 2015: call for participation   Luca Vigano`
• [TYPES/announce] SyGuS-COMP 2015: Call for Participation   Rishabh Singh
• [TYPES/announce] GandALF 2015: call for papers   Dario Della Monica
• [TYPES/announce] PLOOC 2015: Call for Talk Proposals   Rishabh Singh
• [TYPES/announce] LAP 2015 - Logic and Applications: CFP   Silvia Ghilezan
• [TYPES/announce] PLT Redex Summer School: second call for participation   Robby Findler
• [TYPES/announce] CfP: 17th Workshop on Formal Techniques for Java-like Programs (FTfJP at ECOOP 2015)   Rosemary.Monahan at nuim.ie
• [TYPES/announce] Graphs as Models, 11-12 April 2015: Call for Tool Demos   Arend Rensink
• [TYPES/announce] MeMo 2015 - 2nd Call for Papers   Marino Miculan
• [TYPES/announce] GaLoP 2015: Call for Participation   Pierre Clairambault
• [TYPES/announce] ESSS 2015 (co-located with FM 2015 in Oslo): submission deadline extended   Jun PANG
• [TYPES/announce] TYPES 2015 submission deadline extended   Tarmo Uustalu
• [TYPES/announce] PPDP 2015. EXTENDED DEADLINE: April 6th.   Maurizio Proietti
• [TYPES/announce] Call for papers: DBPL 2015   James Cheney
• [TYPES/announce] ICGT 2015: Final Call for Papers   Dimitrios Vytiniotis
• [TYPES/announce] LSFA 2015 -- 2nd cfp   Elaine Pimentel
• [TYPES/announce] [TFP'15] final call for papers - deadline extended march 15 -   Peter Achten
• [TYPES/announce] Computability in Europe 2015: Call for Informal Presentations   S B Cooper
• [TYPES/announce] Ackermann Award 2015   European Association of Computer Science Logic
• [TYPES/announce] Post-Doctoral and Researcher Positions at Yale University   Zhong Shao
• [TYPES/announce] ICE 2015: deadline extension   ivan.lanese
• [TYPES/announce] 2015 Best Practices in Education Award - Call for Submissions   Cristina Pereira
• [TYPES/announce] SOAP 2015 - extended deadline: March 31   Anders Møller
• [TYPES/announce] PACT 2015 Last Call for Papers   LIN MA
• [TYPES/announce] - deadlines extended - WWV 2015, with FM 2015 in Oslo, Keynotes by Meseguer (UIUC) and Distefano (QMUL, Facebook)   Alberto Lluch Lafuente
• [TYPES/announce] Doctoral Teaching Assistantships in CS at Oxford   Jeremy Gibbons
• [TYPES/announce] InfoSec 2015: registration deadline 3 April   GRLMC
• [TYPES/announce] FOCLASA 2015 - 2nd Call For Papers   alexander.perucci at graduate.univaq.it
• [TYPES/announce] Call for Participation: South of England Regional Programming Languages Seminar   Dominic Mulligan
• [TYPES/announce] LOLA 2015: Call for Talk Proposals   Ulrich Schöpp
• [TYPES/announce] TYTLES: TYpe Theory and LExical Semantics (4 page abstract due March 31)   Christian RETORE
• [TYPES/announce] PSI-2015: Call for Workshops   Николай Шилов
• [TYPES/announce] WS-FM/BEAT 2015 1st Call for Papers   Antonio Ravara
• [TYPES/announce] VERY* - Call for papers   Manuel Mazzara
• [TYPES/announce] Postdoc position announcement   Stijn Vansummeren
• [TYPES/announce] Second Call for Papers: SETS 2015   david.delahaye at cnam.fr
• [TYPES/announce] ETAPS 2016 last call for workshops   Tarmo Uustalu
• [TYPES/announce] VSTTE 15, Second Call for Papers   Daniel Bundala
• [TYPES/announce] LOPSTR 2015, Siena (Italy): Last call for papers   Maurizio Proietti
• [TYPES/announce] MeMo 2015 - Last Call for Papers - new deadlines   Marino Miculan
• [TYPES/announce] NSV 2015 - Call for participation   Sergiy Bogomolov
• [TYPES/announce] AVoCS 2015: Second Call for Papers   YuHui Lin
• [TYPES/announce] Mentoring workshop @ ICFP   Stephanie Weirich
• [TYPES/announce] FW: Utrecht Workshop on Proof Theory   Dimitrios Vytiniotis
• [TYPES/announce] CFP: Scala Symposium 2015 [EXTENDED DEADLINE]   Philipp Haller
• [TYPES/announce] Last Call for Papers : Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics (4 page abstract due April 1st)   Christian RETORE
• [TYPES/announce] Call for ISR 2017 hosting proposals   Mauricio Ayala-Rincon
• [TYPES/announce] Final CFP for STOP 2015   Siek, Jeremy
• [TYPES/announce] Deadline extended for PLOOC 2015 (Co-located with PLDI 2015)   Rishabh Singh
• [TYPES/announce] CFP: Graphical Models for Security - GraMSec 2015 (LNCS proceedings)   Barbara Kordy
• [TYPES/announce] Postdoc and PhD positions - Center for Advanced Software Analysis, Aarhus University   Anders Møller
• [TYPES/announce] ECOOP 2015 Call for Workshop Papers - deadline April 9   Ondřej Lhoták
• [TYPES/announce] PACT 2015 Call for Workshops and Tutorials   LIN MA
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation (EXTENDED DEADLINE)   Tijs van der Storm
• [TYPES/announce] PLDI 2015 Call for Participation   Manu Sridharan
• [TYPES/announce] HSST 2015: Last Call for Participation   M.R. Mousavi
• [TYPES/announce] [Eacsl-announce] Ackermann Award 2015   European Association of Computer Science Logic
• [TYPES/announce] CfP: RV'15 - The 15th International Conference on Runtime Verification   Nickovic Dejan
• [TYPES/announce] SCFI 2015 - 2nd Call for Papers (at IEEE SERVICES 2015) - Springer JISA Thematic Series Invited Papers   alexander.perucci at graduate.univaq.it
• [TYPES/announce] Post-doc position in PL and Security at UMD   Michael Hicks
• [TYPES/announce] CFP: SAT 2015   Sean Weaver
• [TYPES/announce] PSI 2015   Manuel Mazzara
• [TYPES/announce] SMT 2015 - 2nd Call for Papers   Dejan Jovanović
• [TYPES/announce] Call for Papers: SLE 2015   Anya Helene Bagge
• [TYPES/announce] 2nd CFP: SPIN 2015 - 22nd International SPIN Workshop on Model Checking of Software   Bernd Fischer
• [TYPES/announce] [Call for Participation] Spring School about the Coq proof assistant   Yann Régis-Gianas
• [TYPES/announce] Deadline extension: Workshop on Foundations of Computer Security (FCS)   Deepak Garg
• [TYPES/announce] Second call for papers: TaPP 2015   James Cheney
• [TYPES/announce] Deadline extension: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics (4 page abstract due April 17)   Christian RETORE
• [TYPES/announce] RDP 2015- Call for Participation -   Sophie Tison
• [TYPES/announce] LOPSTR 2015 -- Deadline extended: May 2   Maurizio Proietti
• [TYPES/announce] CFP: 5th International Workshop on Cyber Physical Systems (CyPhy'15)   M.R. Mousavi
• [TYPES/announce] EXPRESS/SOS 2015: Call for papers   Silvia Crafa
• [TYPES/announce] Last CFP Bx'15: 4th International Workshop on Bidirectional Transformations   Alcino Cunha
• [TYPES/announce] Postdoctoral positions in the Pliny software synthesis project at Rice University   Swarat Chaudhuri
• [TYPES/announce] HoTT/UF workshop at TLCA Warsaw: abstract deadline Apr 15   Peter LeFanu Lumsdaine
• [TYPES/announce] TrustSoft 2015: Call for papers   Zijiang James Yang
• [TYPES/announce] LFMTP 2015: second call for papers   Iliano Cervesato
• [TYPES/announce] QPL 2015: Last call for papers   Chris Heunen
• [TYPES/announce] LSFA 2015 -- 3rd cfp (with a deadline extension)   Elaine Pimentel
• [TYPES/announce] Continuity, Computability, Constructivity 2015; call for submission   Dieter Spreen
• [TYPES/announce] Last Call for Papers, PxTP 2015   Andrei Paskevich
• [TYPES/announce] Final Call for Participation: South of England Regional Programming Language Seminar   Dominic Mulligan
• [TYPES/announce] Final CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation   Janis Voigtlaender
• [TYPES/announce] GCM 2015: Second Call for Papers   Detlef Plump
• [TYPES/announce] Extended Deadline (April 27, 2015): SETS 2015   david.delahaye at cnam.fr
• [TYPES/announce] 2nd CFP: IWC & CoCo 2015   Takahito Aoto
• [TYPES/announce] CfP Deadline Extension: RV'15 - The 15th International Conference on Runtime Verification   Nickovic Dejan
• [TYPES/announce] IACR School on Computer-aided Cryptography, June 1-4, 2015, U. Maryland   Gilles Barthe
• [TYPES/announce] LOLA 2015: Second Call for Talk Proposals   Ulrich Schöpp
• [TYPES/announce] Second CFP: ML 2015   Jeremy Yallop
• [TYPES/announce] CFP: LCC 2015   Nao Hirokawa
• [TYPES/announce] Announcement of HOPA: Workshop on Higher-Order Program Analysis, 4th July, Kyoto, Japan (LICS/ICALP)   Matthew Hague
• [TYPES/announce] PLMW 2015 talks are now viewable online   Derek Dreyer
• [TYPES/announce] CALCO Early Ideas 2015 : Call for Contributions   fabio.zanasi at ens-lyon.fr
• [TYPES/announce] ECOOP 2015 Call for Participation   Ondřej Lhoták
• [TYPES/announce] Final Call for Papers: ECOOP'15 Doctoral Symposium   David J. Pearce
• [TYPES/announce] GraMSec 2015: deadline extended to April 30 (LNCS proceedings)   Barbara Kordy
• [TYPES/announce] Postdoc in language-based security and provenance   James Cheney
• [TYPES/announce] Conference on Homotopy in Concurrency and Rewriting   Philippe Malbos
• [TYPES/announce] Second CfP: TGC'15 - The 10th Int'l Symposium on Trustworthy Global Computing   Michele Loreti
• [TYPES/announce] PSI 2015 - DEADLINE EXTENDED TO 23.4.2015   Manuel Mazzara
• [TYPES/announce] Strathclyde PhD Position   Conor McBride
• [TYPES/announce] Deadline extended: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation   Janis Voigtlaender
• [TYPES/announce] Last Call for Papers: UNIF 2015   Santiago Escobar
• [TYPES/announce] E. W. Beth Dissertation Prize: 2015 call for nominations (DEADLINE APPROACHING)   Ruy de Queiroz
• [TYPES/announce] Final CFP (with deadline extension): (EC)2 - International Workshop on Exploiting Concurrency Efficiently and Correctly   Alastair Donaldson
• [TYPES/announce] Postdoc position at Colorado in program analysis and program synthesis   Bor-Yuh Evan Chang
• [TYPES/announce] AlCoB 2015: presentation of work in progress   GRLMC
• [TYPES/announce] IEEE PRDC 2015 CFP with SCI&EI indexed Special Issues, Zhangjiajie, China, November 18-20, 2015   Md Zakirul Alam Bhuiyan
• [TYPES/announce] PhD position available   Alex Simpson
• [TYPES/announce] Postdoc position in Formal Methods for Cloud Computing in Oslo   Einar Broch Johnsen
• [TYPES/announce] Postdoc positions at University of Cambridge, Computer Laboratory   Andrew Rice
• [TYPES/announce] Two permanent lecturer posts at Imperial College London   Alastair Donaldson
• [TYPES/announce] VSTTE 2015 Final Call For Papers   Daniel Bundala
• [TYPES/announce] 3rd CFP: LCC 2015 - extended deadline   Nao Hirokawa
• [TYPES/announce] Last announcement: The Coq workshop, deadline April 30th, 2015   bertot
• [TYPES/announce] CICM 2015 - Call for Work-in-Progress Papers   Serge Autexier
• [TYPES/announce] 4th Intl. Workshop on ‘Quantitative Aspects of Security Assurance’ - QASA 2015 - Preliminary CfP   Aldini, Alessandro
• [TYPES/announce] AI4FM 2015: Call for Short Contributions   Iain Whiteside
• [TYPES/announce] 2015 Best Practices in Education Award: last weeks for abstract submission   Inge van Halst
• [TYPES/announce] CAV 2015: 3rd CfP Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)   Sergiy Bogomolov
• [TYPES/announce] APLAS 2015: Call for Papers   Xinyu Feng
• [TYPES/announce] SYNT 2015: deadline extended to May 1   Pavol Cerny
• [TYPES/announce] [Second call for participation] Spring School about Proofs of Programs using Coq   Yann Régis-Gianas
• [TYPES/announce] PhD Position on Scalable Data for Pervasive Parallelism at Uppsala University, Sweden   Dave Clarke
• [TYPES/announce] PPPJ 2015: Call for papers   Yudi Zheng
• [TYPES/announce] Deadline Extended: ECOOP'15 Doctoral Symposium   David Pearce
• [TYPES/announce] Final CFP and extended deadline: SPIN 2015   Bernd Fischer
• [TYPES/announce] The 2nd Workshop on Formal Verification for self-* systems (VERY*)   Manuel Mazzara
• [TYPES/announce] Extended Deadline (May 1), VSTTE'15   Daniel Bundala
• [TYPES/announce] SAT 2015: Deadlines Extended   Sean Weaver
• [TYPES/announce] LOLA 2015: Deadline extended to May 11   Ulrich Schöpp
• [TYPES/announce] CiE 2015, Bucharest, Romania - EXTENDED SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS   S Barry Cooper
• [TYPES/announce] The 2nd International Workshop on Verification of Engineered Molecular Devices and Programs   Marta Kwiatkowska
• [TYPES/announce] InfoSec 2015: registration deadline 3 May   GRLMC
• [TYPES/announce] Faculty openings in software technology, KTH Royal Institute of Technology   Philipp Haller
• [TYPES/announce] Final CFP: Workshop on Generic Programming 2015 - Deadline May 15   Sebastian Erdweg
• [TYPES/announce] MEMO 2015 - Call for Poster's and Short Presentations   Søren Debois
• [TYPES/announce] FLOPS 2016 Call for Papers   Yukiyoshi Kameyama
• [TYPES/announce] Call-for-paper: The 1st International Workshop on Programming Model and Supportive Environment for Heterogeneous Systems (PMHS)   LIN MA
• [TYPES/announce] 25th CADE - Encyclopedia of Proof Systems (EPS) - Call for Contributions   Bruno Woltzenlogel Paleo
• [TYPES/announce] Postdoc positions at Inria-Saclay   Dale Miller
• [TYPES/announce] CAV 2015: Workshop SNR 2015 deadline extended to May 8   Sergiy Bogomolov
• [TYPES/announce] Last Call For Papers: SMT 2015 (Deadline Extended)   Dejan Jovanović
• [TYPES/announce] Call for papers : LOCAS 2015 First International Workshop on Low-level Code Analysis for Security   Jean-Yves Marion
• [TYPES/announce] PhD studentship in Programming Languages at the University of Glasgow   Simon Gay
• [TYPES/announce] MPC 2015 - Call For Participation   Maciej Pirog
• [TYPES/announce] Tableaux 2015 -- second call for papers   Andrei Popescu
• [TYPES/announce] 2 PhD positions in Formal Methods for Cloud Computing in Oslo   Einar Broch Johnsen
• [TYPES/announce] PLDI 2015 Call for Student Volunteers   Manu Sridharan
• [TYPES/announce] FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)   Ralph Matthes
• [TYPES/announce] HSB 2015: CfP for the 4th International Workshop on Hybrid Systems Biology   Sergiy Bogomolov
• [TYPES/announce] GCM 2015: Final Call for Papers   Detlef Plump
• [TYPES/announce] [TFP'15] call for participation   Peter Achten
• [TYPES/announce] TYPES 2015 call for participation   Tarmo Uustalu
• [TYPES/announce] Call For Paper GandALF 2015   dario della monica
• [TYPES/announce] TTCS 2015 - Call for Papers   M.R. Mousavi
• [TYPES/announce] FM 2015: Call for Participation (20th Intl. Symposium on Formal Methods, Oslo)   Martin Steffen
• [TYPES/announce] Call for participation (FCRC+LCTES)   Klaus Havelund
• [TYPES/announce] Summer School on Generic and Effectful Programming   Maciej Pirog
• [TYPES/announce] ThEdu'15, Theorem proving components for Educational software, cfp   Walther Neuper
• [TYPES/announce] Computability workshops at CiE 2015 in Bucharest   S Barry Cooper
• [TYPES/announce] [Second call for papers] The Third International Conference for the History and Philosophy of Computing (HaPoC 2015)   Fabio Gadducci
• [TYPES/announce] Associate Professor (Software Engineering) position at Monash University   liyuanfang at gmail.com
• [TYPES/announce] DCM 2015 (Cali, Colombia): Call for Papers   Jorge A. Perez
• [TYPES/announce] program and registration: Hilbert’s Epsilon and Tau In Logic, Informatics and Linguistics (Montpellier June 10-12)   Christian RETORE
• [TYPES/announce] First Call for Papers for IFL 2015   publicityifl at gmail.com
• [TYPES/announce] SyGuS-COMP 2015: Call for Benchmarks and Solvers   Dana Fisman
• [TYPES/announce] SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers   alexander.perucci at graduate.univaq.it
• [TYPES/announce] CiE 2015 in Bucharest - Call for Participation   S B Cooper
• [TYPES/announce] Workshop in Chambéry   Tom Hirschowitz
• [TYPES/announce] fully funded three-year PhD positions at Middlesex University London   Andrei Popescu
• [TYPES/announce] Call for participation: SAT/SMT Summer School   Clark Barrett
• [TYPES/announce] IWC 2015: deadline extended   Takahito Aoto
• [TYPES/announce] CFP: Extended Deadline: Functional High-Performance Computing (held with ICFP)   Geoffrey Mainland
• [TYPES/announce] Deadline extension: Workshop on Generic Programming 2015 - New deadline May 22   Sebastian Erdweg
• [TYPES/announce] Call-for-paper: Workshop on Programming Model and Supportive Environment for Heterogeneous Systems (PMHS)   LIN MA
• [TYPES/announce] Second Call for Papers: DBPL 2015   James Cheney
• [TYPES/announce] cfp - I&C special issue on Implicit Computational Complexity   Marco Gaboardi (Staff)
• [TYPES/announce] CFP: 28th IEEE Computer Security Foundations Symposium (CSF'15)   Matteo Maffei
• [TYPES/announce] postdoc in formal methods and security   David Naumann
• [TYPES/announce] OCL 2015: First Call for Papers   Achim D. Brucker
• [TYPES/announce] FM 2015, Oslo: 2nd call for participation: Early registration ends 20 May!   Martin Steffen
• [TYPES/announce] MFPS XXXI/CALCO 2015 : Call for Participation   fabio.zanasi at ens-lyon.fr
• [TYPES/announce] PhD in Computer Science at IMT Lucca (Italy) - Deadline June 29, 2015 -   Hugo Torres Vieira
• [TYPES/announce] Deadline extended: 2015 SAT/SMT Summer School   Clark Barrett
• [TYPES/announce] SPLASH 2015 - Call for Contributions: Other Tracks   Craig Anslow
• [TYPES/announce] WPTE 2015: call for participation   Janis Voigtlaender
• [TYPES/announce] Vacancies in "Computational Aspects of Univalence" at UiB (Norway)   Marc.Bezem at uib.no
• [TYPES/announce] TGC 2015: Deadline extension   Michele Loreti
• [TYPES/announce] Continuity, Computability, Constructivity 2015; second call for submission   Dieter Spreen
• [TYPES/announce] ECSS 2015 - 1st Call for Participation/Contributions   Cristina Pereira
• [TYPES/announce] Post-doc in Paris/Lyon/Cachan: Reasoning & Programming with Infinite Data.   Alexis Saurin PPS
• [TYPES/announce] ICALP/LICS 2015: Call for Participation   Andrzej Murawski
• [TYPES/announce] InfoSec 2015: registration deadline 3 June   GRLMC
• [TYPES/announce] Open position: Associate Professor in Software Systems, KTH Royal Institute of Technology, Sweden   David Broman
• [TYPES/announce] CFP: GPCE' 15 (COMLAN Special Issue), Deadline June 8   Tomofumi Yuki
• [TYPES/announce] Workshop in Chambéry   Tom Hirschowitz
• [TYPES/announce] Final Call for Papers: PPPJ 2015   Yudi Zheng
• [TYPES/announce] FINAL CALL FOR PAPERS -- ICTAC 2015   Maurizio Proietti
• [TYPES/announce] FOCLASA 2015 @ CONCUR 2015 - 2nd Call For Papers   alexander.perucci at graduate.univaq.it
• [TYPES/announce] [ERRATA CORRIGE] SCART 2015 at SEFM 2015 - Submission Deadline Extended - Springer JISA Thematic Series Invited Papers   alexander.perucci at graduate.univaq.it
• [TYPES/announce] AVoCS 2015: Final Call for Papers   YuHui Lin
• [TYPES/announce] program and registration: Hilbert’s Epsilon and Tau In Logic, Informatics and Linguistics (Montpellier June 10-12)   Christian RETORE
• [TYPES/announce] ICFP 2015 Student Research Competition: Call for Submissions   Andrew Kennedy
• [TYPES/announce] APLAS 2015: Final Call for Papers   Xinyu Feng
• [TYPES/announce] Deadline Extended: Workshop on Programming Model and Supportive Environment for Heterogeneous Systems (PMHS)   LIN MA
• [TYPES/announce] Final CFP: 5th International Workshop on Cyber Physical Systems (CyPhy'15)   M.R. Mousavi
• [TYPES/announce] British Logic Colloquium 2015   Anuj Dawar
• [TYPES/announce] Call for contributions: 27th Nordic Workshop on Programming Theory, Reykjavik, Iceland   Álvaro García Pérez
• [TYPES/announce] [Eacsl-announce] ESSLLI 2016 - Call for Course and Workshop Proposals   European Association of Computer Science Logic
• [TYPES/announce] HSB 2015: 2nd CfP for the 4th International Workshop on Hybrid Systems Biology   Sergiy Bogomolov
• [TYPES/announce] postdoc position (6 years) in Innsbruck   Aart Middeldorp
• [TYPES/announce] SyGuS-COMP 2015: 2nd Call for Solvers Submission (deadline June 15, 2015)   Dana Fisman
• [TYPES/announce] QPL 2015: Call for participation   Chris Heunen
• [TYPES/announce] HOPE 2015 workshop @ ICFP - call for talk abstracts   Lars Birkedal
• [TYPES/announce] Research grant at the Department of Computer Science and Engineering of the University of Bologna: application deadline July 20th   Gianluigi Zavattaro
• [TYPES/announce] WS-FM/BEAT 2015 2nd CfP: deadline in two weeks!   Antonio Ravara
• [TYPES/announce] New conference replacing RTA-TLCA   Luca Paolini
• [TYPES/announce] Higher Order Program Analysis (HOPA), Kyoto, July 4th, EXTENDED DEADLINE   Matthew Hague
• [TYPES/announce] EXPRESS/SOS 2015: Final Call for Papers   Silvia Crafa
• [TYPES/announce] ICTAC 2015: Deadline Extension.   Jorge A. Perez
• [TYPES/announce] Call for participation: (EC)2 workshop on Exploiting Concurrency Efficiently and Correctly (with CAV)   Alastair Donaldson
• [TYPES/announce] CAV: SNR 2015 - Call for Participation   Sergiy Bogomolov
• [TYPES/announce] APLAS 2015: deadline extension   Xinyu Feng
• [TYPES/announce] 2nd CfP: 12th International Conference on Formal Aspects of Component Software (FACS'15 in Rio)   Peter Csaba Ölveczky
• [TYPES/announce] PPPJ 2015: Deadline Extension   Yudi Zheng
• [TYPES/announce] AVoCS 2015: Extended Paper Deadline   YuHui Lin
• [TYPES/announce] FICS'15: 2nd call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)   Ralph Matthes
• [TYPES/announce] CFP: Certified Programs and Proofs 2016 conference   Adam Chlipala
• [TYPES/announce] SAS 2015 Call for Participation   Thomas Jensen
• [TYPES/announce] Call For Abstracts: YR-CONCUR 2015 - Young Researchers Workshop on Concurrency Theory   Cimini, Matteo
• [TYPES/announce] International Workshop on Cyber Physical Systems: Extended Deadline (June 17)   M.R. Mousavi
• [TYPES/announce] LFCS 2016 Second Call For Papers   Robert Lubarsky
• [TYPES/announce] CICM 2015 CfP (Call for Participation + Call for Posters)   Serge Autexier
• [TYPES/announce] PPDP 2015: Call for Participation   Maurizio Proietti
• [TYPES/announce] LOPSTR 2015: Call for Participation   Maurizio Proietti
• [TYPES/announce] Summer School on Generic and Effectful Programming (2nd call for participation)   Maciej Pirog
• [TYPES/announce] PhD student or postdoc position announcement   Thiemann, Rene
• [TYPES/announce] FOCLASA 2015 - 3rd Call for Papers - Submission deadline extended   alexander.perucci at graduate.univaq.it
• [TYPES/announce] Graduate Teaching Assistant (PhD) Positions, University of Leicester, UK   Roy L. Crole
• [TYPES/announce] Postdoc position in parallel/distributed functional programming   Ryan Newton
• [TYPES/announce] HaPoc 2015 Final Call For Papers --- Deadline Extension and Abstracts of Invited Talks   Fabio Gadducci
• [TYPES/announce] WS-FM/BEAT 2015 3rd CfP: extended deadlines   Antonio Ravara
• [TYPES/announce] FCS 2015: Call for Participation   Boris Köpf
• [TYPES/announce] Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - First CFP   rim.abid at inria.fr
• [TYPES/announce] 1st CFP: Service-Oriented Architectures and Programming track of the 31st ACM/SIGAPP SAC   Hugo Torres Vieira
• [TYPES/announce] OCL 2015: Second Call for Papers - Only Four Weeks Left   Achim D. Brucker
• [TYPES/announce] Ph.D. and postdoc positions at IMDEA Software Institute   Gilles Barthe
• [TYPES/announce] GTTSE 2015 -- Call for Participation   Vadim Zaytsev
• [TYPES/announce] Deadline extension: FACS'15   Peter Csaba Ölveczky
• [TYPES/announce] CFPs: POPL 2016 in St. Petersburg, FL, USA, January 20-22, 2016 [Deadline: 10 July 2015, AOE]   Ruzica Piskac
• [TYPES/announce] SPLASH 2015 - 2nd Combined Call for Contributions   Craig Anslow
• [TYPES/announce] CFP: AGERE! @ SPLASH 2015 - ACM SIGPLAN Workshop on Programming based on Actors, Agents, and Decentralized Control   Philipp Haller
• [TYPES/announce] VTSA summer school: call for applications   Stephan Merz
• [TYPES/announce] PhD position in trustworthy embedded platforms, KTH - School of Computer Science and Communication, Stockholm, Sweden   Roberto Guanciale
• [TYPES/announce] Second Call for Workshop Proposals: 12th International Conference on integrated Formal Methods   Marcel Kyas
• [TYPES/announce] FMCAD student forum: deadline extension (July 9)   Georg Weissenbacher
• [TYPES/announce] WS-FM/BEAT 2015 last CfP   Antonio Ravara
• [TYPES/announce] GraMSec'15 CALL FOR PARTICIPATION   Barbara Kordy
• [TYPES/announce] Call For Abstracts: YR-CONCUR 2015 - Young Researchers Workshop on Concurrency Theory   Cimini, Matteo
• [TYPES/announce] ICFP 2015 Student Research Competition: Final Call for Submissions   Andrew Kennedy
• [TYPES/announce] LOPSTR 2015: Early registration deadline approaching   Maurizio Proietti
• [TYPES/announce] PPDP 2015: Early registration deadline approaching   Maurizio Proietti
• [TYPES/announce] InfoSec 2015: final announcement   GRLMC
• [TYPES/announce] SR 2015 - Final call for papers - Oxford, Sept 21-22, UK   murano at na.infn.it
• [TYPES/announce] CFP - Deadline extension - SBMF 2015 - 18th Brazilian Symposium on Formal Methods   Christiano Braga
• [TYPES/announce] Call for Papers: WODA 2015   Yudi Zheng
• [TYPES/announce] ACM SAC:CM 2016 - Track on Coordination Models, Languages and Applications   Francesco Tiezzi
• [TYPES/announce] CFV 2015: Second Call for Papers (Constraints in Formal Verification)   Rozier, Kristin Yvonne (rozierky)
• [TYPES/announce] Deadline extension: ICFP 2015 Student Research Competition   Andrew Kennedy
• [TYPES/announce] CFP: Pharo Sprint @ ECOOP   Guillermo Polito
• [TYPES/announce] VMCAI 2016: Call for Papers, Deadlines: Sep 4 (abstract), Sep 11 (paper)   Barbara Jobstmann
• [TYPES/announce] Final CfP/Deadline extension: International Conference on Formal Aspects of Component Software   Peter Csaba Ölveczky
• [TYPES/announce] CICM 2015: Final Call for Participation, Deadline July 6th, 2015   Serge Autexier
• [TYPES/announce] CFP: REBLS @ SPLASH 2015 - Workshop on Reactive and Event-Based Languages & Systems   Guido Salvaneschi
• [TYPES/announce] LOPSTR & PPDP 2015: Last Call for Participation   Maurizio Proietti
• [TYPES/announce] OCL 2015: Final Call for Papers - Only 10 Days Left   Achim D. Brucker
• [TYPES/announce] Call For Abstracts: YR-CONCUR 2015 - Extended Deadline   Cimini, Matteo
• [TYPES/announce] CfP: Coq ITP Tutorial   Matthieu Sozeau
• [TYPES/announce] CfP: FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS (4PAD)   Frédéric Loulergue
• [TYPES/announce] HSB 2015: Call for Participation and Posters/Demos for the 4th International Workshop on Hybrid Systems Biology   Sergiy Bogomolov
• [TYPES/announce] POPL 2016 Call for tutorials. Deadline: September 15, 2015   Piskac, Ruzica
• [TYPES/announce] Call for Papers PAS-2015 (Program Verification, Automated Debugging and Symbolic Computation)   Isabela Drămnesc
• [TYPES/announce] [ESSoS'16] Call for Papers -- International Symposium on Engineering Secure Software and Systems   Raoul Strackx
• [TYPES/announce] ITP 2015 Call for Participation   Christian Urban
• [TYPES/announce] CfP: Isabelle Tutorial at ITP in Nanjing   Tobias Nipkow
• [TYPES/announce] RV 2015: Call for Participation   Nickovic Dejan
• [TYPES/announce] [fm-announcements] Final CFP -- 11th Int. Workshop on Developments in Computational Models   MUNOZ, CESAR (LARC-D320)
• [TYPES/announce] workshop TYTLES TYpe Theory and LExical Semantics (August 3-7 ESSLLI , Barcelone)   Christian RETORE
• [TYPES/announce] Postdoc position in contract verification and gradual types at Indiana University   Sam Tobin-Hochstadt
• [TYPES/announce] AVoCS 2015: Joint Call for Research Idea Papers & Participation   Lin, Yuhui
• [TYPES/announce] REMS postdoc researcher / research-engineer positions   Peter Sewell
• [TYPES/announce] OCL 2015: ** Deadline Extension ** Submit Your Paper Until July 26, 2015   Achim D. Brucker
• [TYPES/announce] SPLASH 2015 - Workshops Combined Call for Papers   Craig Anslow
• [TYPES/announce] CFP Workshops in conjunction with SYNAS 2015 (with deadline 25 July)   Isabela Drămnesc
• [TYPES/announce] ICFP 2015 Call for Participation   David Van Horn
• [TYPES/announce] CFV 2015: ** Deadline Extension ** Submit Your Abstract Until July 25; Paper Until August 1   Rozier, Kristin Yvonne (rozierky)
• [TYPES/announce] PhD Position in Verified Voting at ANU   Dirk Pattinson
• [TYPES/announce] TRENDS 2015: Call for Participation   M.R. Mousavi
• [TYPES/announce] Assistant Professor of Computing Science Radboud University Nijmegen NL   Herman Geuvers
• [TYPES/announce] One postdoc and two PhD positions on formal verification of security protocols   Alwen Tiu
• [TYPES/announce] DBPL 2015: Call for Participation   James Cheney
• [TYPES/announce] First announcement - Thematic trimester CIPPMI “Current Issues in the Philosophy of Practice of Mathematics & Informatics”, Toulouse, 4th April - 1st July 2016   Ralph Matthes
• [TYPES/announce] Workshop on probabilistic programming semantics   Shan, Chung-chieh
• [TYPES/announce] Integrated Formal Methods iFM 2016, Reykjavik, Iceland: 3rd Call for Workshops   Marcel Kyas
• [TYPES/announce] Call for participation: ML 2015   Jeremy Yallop
• [TYPES/announce] Research Associate in Search-Based Programming Language Analysis (closing date 30th September 2015)   Harman, Mark
• [TYPES/announce] ECSS 2015 - Program and Registration   Cristina Pereira
• [TYPES/announce] PLATEAU 2015 - Call for Papers   Craig Anslow
• [TYPES/announce] OOPS track at SAC 2016: Call for Papers   Davide Ancona
• [TYPES/announce] LFCS CFP: submission website open   Robert Lubarsky
• [TYPES/announce] WoF'15: call for papers   Iliano Cervesato
• [TYPES/announce] PPPJ 2015: Call For Participation   Yudi Zheng
• [TYPES/announce] GTTSE 2015: registration still open!   Vadim Zaytsev
• [TYPES/announce] next year memberships at the IAS   Vladimir Voevodsky
• [TYPES/announce] FLOPS2016: Second CFP   Yukiyoshi Kameyama
• [TYPES/announce] Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Second CFP   rim.abid at inria.fr
• [TYPES/announce] Postdoc position in symbolic execution at Imperial College London   Cristian Cadar
• [TYPES/announce] SPLASH 2015 - Call for Student Volunteers   Craig Anslow
• [TYPES/announce] Deadline extension - DCM 2015 (Cali, Colombia, co-located with ICTAC 2015)   Jorge A. Perez
• [TYPES/announce] PAS 2015 - deadline 15/20 August   Sandra Alves
• [TYPES/announce] DCM 2015 (Cali, Colombia): Deadline Extension.   S Barry Cooper
• [TYPES/announce] PEPM 2016: Call for Papers   Martin Erwig
• [TYPES/announce] AVoCS 2015: Final Call for Research Idea Papers & Participation   Lin, Yuhui
• [TYPES/announce] 1st CfP: 4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'15)   Peter Csaba Ölveczky
• [TYPES/announce] CFP: PAS 2015 (Program Verification, Automated Debugging and Symbolic Computation) - deadline 15/20 August   Isabela Drămnesc
• [TYPES/announce] SSV 2015 - Call for Papers   Toby Murray
• [TYPES/announce] WODA 2015: Deadline Extension   Yudi Zheng
• [TYPES/announce] PhD position in Monitoring Concurrent Software   m.huisman at utwente.nl
• [TYPES/announce] SAT 2015: Call for participation, 24-27 September, Austin   Sean Weaver
• [TYPES/announce] [PADL 2016] First call for papers   John Reppy
• [TYPES/announce] Research position on Mobile Robotics programme grant (verification/synthesis) at Oxford   Marta Kwiatkowska
• [TYPES/announce] Deadline extension: REBLS @ SPLASH 2015 - Workshop on Reactive and Event-Based Languages & Systems   Guido Salvaneschi
• [TYPES/announce] Call for Participation: HaPoC 2015   Fabio Gadducci
• [TYPES/announce] POSTDOC position at NOVA LINCS Lisbon (background in Programming Languages and Tools)   Luis Caires
• [TYPES/announce] HSCC 2016: Call for Papers   Ichiro Hasuo
• [TYPES/announce] Call for Papers: ACM SAC'16 PAPP Track - Practical Aspects of High-Level Parallel Programming   Frédéric Loulergue
• [TYPES/announce] WS-FM/BEAT and FOCLASA join Call for Participation   Antonio Ravara
• [TYPES/announce] The 31st British Colloquium for Theoretical Computer Science, in London: registration is open   Andrei Popescu
• [TYPES/announce] Two postdoctoral positions   Iliano Cervesato
• [TYPES/announce] APLAS 2015 Call for Poster Presentations (Korea, Nov 30 - Dec 2)   Hyeonseung Im
• [TYPES/announce] LFCS: final call for papers   Robert Lubarsky
• [TYPES/announce] ETAPS 2016 call for papers   Tarmo Uustalu
• [TYPES/announce] Second call for contributions: 27th Nordic Workshop on Programming Theory, Reykjavik, Iceland   Luca Aceto
• [TYPES/announce] SAT 2015: Early Registration Ends Soon! Student Grants Available!   Sean Weaver
• [TYPES/announce] Call for Workshop and Tutorial Proposals, CPS Week 2016, Vienna, Austria   Ana Sokolova
• [TYPES/announce] PAS 2015 in Beijing - deadline extended to Aug 30   Isabela Drămnesc
• [TYPES/announce] SCORE 2016 Student Contest: 2nd Call   Carlo Alberto Furia
• [TYPES/announce] CFP: 25th International Conference on Compiler Construction (CC)   Manuel Hermenegildo
• [TYPES/announce] ACM SAC:CM 2016 - 2nd CFP   Francesco Tiezzi
• [TYPES/announce] SPLASH 2015 - Call For Participation   Tijs van der Storm
• [TYPES/announce] Open Postdoc Position in formal methods applied to timed systems with faults and delays, including distributed systems   Ezio Bartocci
• [TYPES/announce] Postdoc in programming languages, software architecture and robotics at Carnegie Mellon   Joshua Sunshine
• [TYPES/announce] [CFP - EXTENDED DEADLINE]: Special Issue on Energy Efficient Multi-Core and Many-Core Systems (The Elsevier Journal of Parallel and Distributed Computing)   Amirmohammad Rahmanisane
• [TYPES/announce] PhD position at ENS Cachan on query languages with data: proof systems and complexity   David Baelde
• [TYPES/announce] 2nf CfP: Formal Techniques for Safety-Critical Systems   Peter Csaba Ölveczky
• [TYPES/announce] PEPM 2016: Call for Papers   Martin Erwig
• [TYPES/announce] Postdoc positions - Center for Advanced Software Analysis, Aarhus University   Anders Møller
• [TYPES/announce] CPS Week 2016: CALL FOR WORKSHOP AND TUTORIAL PROPOSALS   Ezio Bartocci
• [TYPES/announce] OOPS track at SAC 2016: deadline extended to September 21st   Davide Ancona
• [TYPES/announce] Constraints in Formal Verification (CFV2015) Call for Participation: Austin, TX, USA   Rozier, Kristin Yvonne (rozierky)
• [TYPES/announce] CfP: ACM SAC 2016 - Computer Security track - Deadline September 21st   Sergio Maffeis
• [TYPES/announce] VMCAI 2016: Final CFP (Abstract deadline this Friday, Sep 4, Paper deadline next Friday, Sep 11)   Barbara Jobstmann
• [TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems   Peter Csaba Ölveczky
• [TYPES/announce] ETAPS 2016 2nd call for papers   Tarmo Uustalu
• [TYPES/announce] [CFP - EXTENDED DEADLINE]: SPECIAL SESSION on Multi-Core and Many-Core systems for EMbedded Computing (MC)3 in 24th Euromicro PDP Conference   Amirmohammad Rahmanisane
• [TYPES/announce] Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP   rim.abid at inria.fr
• [TYPES/announce] ACM SAC:CM 2016 - Submission deadline extended to Sep 21   Francesco Tiezzi
• [TYPES/announce] extended submission deadline for LFCS   lubarsky.robert at comcast.net
• [TYPES/announce] WoF'15: extended submission deadline   Iliano Cervesato
• [TYPES/announce] Open Postdoc Position on Higher-Order Model Checking   koba
• [TYPES/announce] SSV 2015 - 2nd Call for Papers   Toby Murray
• [TYPES/announce] [ESSoS'16] CfP: Deadlines approaching!   Raoul Strackx
• [TYPES/announce] Last CfP: ACM SAC'16 PAPP Track - Practical Aspects of High-Level Parallel Programming (extended deadline)   Frédéric Loulergue
• [TYPES/announce] FSCD 2016 Call for Workshops   Sandra Alves
• [TYPES/announce] CfP JLAMP - Special Issue on Automated Specification and Verification of Web Systems   Alberto Lluch Lafuente
• [TYPES/announce] CoqPL 2016: Call for Presentations for the Workshop on Coq for Programming Languages   Arthur Charguéraud
• [TYPES/announce] Postdoc positions in Formal Methods, University of Torino   Ferruccio Damiani
• [TYPES/announce] [PADL 2016] Final call for papers (Deadline extended)   John Reppy
• [TYPES/announce] (Senior) Lecturer Position at Sussex   Bernhard Reus
• [TYPES/announce] FSCD 2016 Call for Workshops   Sandra Alves
• [TYPES/announce] TYPES 2015 post-proceedings open call for papers   Tarmo Uustalu
• [TYPES/announce] Reminder, deadline is next week. iFM 2016, Reykjavik, Iceland: Final Call for Workshops   Marcel Kyas
• [TYPES/announce] HaPoC 2015: Final Call for Participation   Fabio Gadducci
• [TYPES/announce] ECSS 2015 - One month to go! Today Deadline Early Registration   Cristina Pereira
• [TYPES/announce] CfP JLAMP - Special Issue on MetaModels for Process Languages   Marino Miculan
• [TYPES/announce] PLDI 2016: call for papers   Manu Sridharan
• [TYPES/announce] Faculty position at Penn in Formal Methods   Benjamin C. Pierce
• [TYPES/announce] CFP Workshop on Efficient and Natural Proof Systems, Bath, 14-16 December, 2015.   Anupam Das
• [TYPES/announce] CMCS 2016 : First Call for Papers   fabio.zanasi at ens-lyon.fr
• [TYPES/announce] OOPS track at SAC 2016: deadline extended to September 28th   Davide Ancona
• [TYPES/announce] ACM SAC:CM 2016 - Additional extension of submission deadline to Sep 28   Francesco Tiezzi
• [TYPES/announce] Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP   rim.abid at inria.fr
• [TYPES/announce] Deadline extension: ACM SAC'16 PAPP Track - Practical Aspects of High-Level Parallel Programming   Frédéric Loulergue
• [TYPES/announce] 2nd CFP: Certified Programs and Proofs 2016   Adam Chlipala
• [TYPES/announce] FSCD'16 Preliminary Call for Papers   hassei at kurims.kyoto-u.ac.jp
• [TYPES/announce] SSV 2015 - Deadline Extended to Oct 5th   Toby Murray
• [TYPES/announce] Two postdoctoral positions @ CMU and ITU   Carsten Schuermann
• [TYPES/announce] 2nd CfP: SCSS 2016   Temur Kutsia
• [TYPES/announce] Call for Talk Proposals: Off the Beaten Track 2016   Lindsey Kuper
• [TYPES/announce] ETAPS 2016 final call for papers   Tarmo Uustalu
• [TYPES/announce] Constraints in Formal Verification (CFV2015) Call for Participation: Austin, TX, USA   Rozier, Kristin Yvonne (rozierky)
• [TYPES/announce] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~   Dimitrios Vytiniotis
• [TYPES/announce] VCLA International Student Awards - Call for Nominations 2015   Ezio Bartocci
• [TYPES/announce] Faculty position in PL/verification/theorem proving at Cambridge   Peter Sewell
• [TYPES/announce] postdoc position in dependent types at Dalhousie   Peter Selinger
• [TYPES/announce] TYPES 2015 post-proceedings open call for papers (reminder)   Tarmo Uustalu
• [TYPES/announce] CPS-Week 2016: Call for Papers   Ezio Bartocci
• [TYPES/announce] CFP: Special issue of JFP on dependently typed programming   Wouter Swierstra
• [TYPES/announce] CfP: ANTIFRAGILE'16   Vincenzo De Florio
• [TYPES/announce] [ESSoS'16] Call for Workshops/Doctoral Symposium   Raoul Strackx
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] PLDI 2016 call for workshops and tutorials   Manu Sridharan
• [TYPES/announce] Lecture/Senior Lecturer Positions in Software Engineering   David Pearce
• [TYPES/announce] [APLS2015] Call for Participation: Workshop on Advances in Programming Languages and Systems   Luminous Fennell
• [TYPES/announce] First Call for Papers: CAV 2016, July 17-23, 2016, Toronto, Ontario, Canada   Roopsha Samanta
• [TYPES/announce] Graduate Teaching Assistant (PhD) Position, University of Leicester, UK   Roy L. Crole
• [TYPES/announce] Simons-Berkeley Research Fellowships   Daniela Petrisan
• [TYPES/announce] 2016-2017 at the IAS   Vladimir Voevodsky
• [TYPES/announce] CFP: COORDINATION 2016   Alberto Lluch Lafuente
• [TYPES/announce] 2016-2017 at the IAS   Vladimir Voevodsky
• [TYPES/announce] Deadline Friday: probabilistic programming semantics workshop   Chung-chieh Shan
• [TYPES/announce] Second Call for Workshops - FSCD 2016 (Deadline: October 31)   Sandra Alves
• [TYPES/announce] CoqPL 2016: 2nd Call for Presentations for the Workshop on Coq for Programming Languages   Arthur Charguéraud
• [TYPES/announce] SOSR CFP: abstracts 26 Oct, submissions 30 Oct   Nate Foster
• [TYPES/announce] APLAS 2015: Call for Participation   Hyeonseung Im
• [TYPES/announce] 11th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2016): First Call For Papers   George Baryannis
• [TYPES/announce] Final Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~   Dimitrios Vytiniotis
• [TYPES/announce] [JFLA'16] Second call for papers   Jean-Marie Madiot
• [TYPES/announce] post-doc position for CertiCoq project   Greg Morrisett
• [TYPES/announce] PhD and Postdoc Positions - KWARC, Jacobs University Bremen   Michael Kohlhase
• [TYPES/announce] CMCS 2016 : Second Call for Papers   fabio.zanasi at ens-lyon.fr
• [TYPES/announce] TAP 2016 (Tests & Proofs): CfP   Carlo Alberto Furia
• [TYPES/announce] [JFLA'16] Deadline Extension   Jean-Marie Madiot
• [TYPES/announce] ICFP 2016 Call for Workshop and Co-located Event Proposals   Lindsey Kuper
• [TYPES/announce] LICS 2016 - Call for Papers   Sam Staton
• [TYPES/announce] Programming Languages Meeting (S-REPLS 2) at Middlesex University London, Nov 20th   Andrei Popescu
• [TYPES/announce] LFCS registration open, student support available   Robert Lubarsky
• [TYPES/announce] WRLA 2016: 1st Call for Papers   Dorel Lucanu
• [TYPES/announce] JLAMP - Special Issue on MetaModels for Process Languages - 2nd Call for Papers   Marino Miculan
• [TYPES/announce] Faculty Position in Secure and Trustworthy Cyberspace   Andrew Tolmach
• [TYPES/announce] Call for CAV Workshop Proposals: July 17-18, 2016 Toronto, Canada   Roopsha Samanta
• [TYPES/announce] 2nd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik   m.huisman at utwente.nl
• [TYPES/announce] CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline*   Manuel Hermenegildo
• [TYPES/announce] Assistant Professor in Programming Languages at TU Delft   Eelco Visser
• [TYPES/announce] Reversible Computation 2016 CfP   ivan.lanese
• [TYPES/announce] PhD in Logic 2016   Thomas Streicher
• [TYPES/announce] CFP: Winter School on Formal Methods   Sung-Shik Jongmans
• [TYPES/announce] PhD proposal, Huawei (Paris) & University of Orleans, France   Frederic Loulergue
• [TYPES/announce] CCC 2014; postproceedings; call for submission   Dieter Spreen
• [TYPES/announce] Call for papers: Special issue of JFP on PL for Big Data   James Cheney
• [TYPES/announce] Off the Beaten Track 2016: Deadline extension and speaker funding opportunity   Lindsey Kuper
• [TYPES/announce] CFP: Winter School on Formal Methods   Sung-Shik Jongmans
• [TYPES/announce] LFCS registration deadline DEC 18, hotel deadline DEC 3   Robert Lubarsky
• [TYPES/announce] LICS 2016 - Call for Workshop Proposals   Sam Staton
• [TYPES/announce] VCLA International Student Awards - NOMINATION DEADLINE EXTENDED TO NOVEMBER 22, 2015   Ezio Bartocci
• [TYPES/announce] Last call for participation: Programming Languages Meeting (S-REPLS 2) at Middlesex University London, Nov 20th   Andrei Popescu
• [TYPES/announce] Tenure-Track Faculty Openings at the University of Colorado Boulder   Bor-Yuh Evan Chang
• [TYPES/announce] fully funded graduate positions in Math at UWO   Dan Christensen
• [TYPES/announce] Tenure Track opening at University of Vermont Computer Science   Christian Edward Skalka
• [TYPES/announce] EAPLS PhD Award 2015: Call for Nominations   Anya Helene Bagge
• [TYPES/announce] S-REPLS meeting this Friday in London: truly final (and desperate) call for participation   Andrei Popescu
• [TYPES/announce] Two postdoctoral positions   Iliano Cervesato
• [TYPES/announce] Tenure-track position at Wesleyan University   Norman Danner
• [TYPES/announce] Student Travel Grants for VMCAI 2016 (co-located with POPL 2016) in St. Petersburg, Florida   Barbara Jobstmann
• [TYPES/announce] CFP: ALLIANCE workshop - Applications of Language Engineering Techniques in Many-Core Compilers   Alastair Donaldson
• [TYPES/announce] SIGPLAN John C Reynolds Doctoral Dissertation Award   Jeremy Gibbons
• [TYPES/announce] CFP: 25th Int'l Conf. on Compiler Construction (CC) - Final Call   Manuel Hermenegildo
• [TYPES/announce] Call for Participation: VMCAI 2016   Barbara Jobstmann
• [TYPES/announce] CSF 2016 Call for Papers   Boris Köpf
• [TYPES/announce] [APLS2015] 2nd Call for Participation   Luminous Fennell
• [TYPES/announce] CFP: PLACES 2016   Yoshida, Nobuko
• [TYPES/announce] Workshop on Efficient and Natural Proof Systems: 14-16 December, Bath.   lutz at lix.polytechnique.fr
• [TYPES/announce] [Coq-Club] 2016-2017 at the IAS   Vladimir Voevodsky
• [TYPES/announce] [fm-announcements] NFM 2016 - first call for papers   Havelund, Klaus (349F)
• [TYPES/announce] CSF'16: Call for Workshop Proposals   Matteo Maffei
• [TYPES/announce] First call for submissions: MT-CPS'15 - International Workshop on Monitoring and Testing of Cyber-Physical Systems   Nickovic Dejan
• [TYPES/announce] JFP Issue on Dependently typed programming: second call for papers   Wouter Swierstra
• [TYPES/announce] First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems   Lin, Yuhui
• [TYPES/announce] Midlands Graduate School Christmas Seminar   Paul B Levy
• [TYPES/announce] SARL 0.3.0 is released   stephane.galland at utbm.fr
• [TYPES/announce] Reminder - Thematic trimester CIPPMI “Current Issues in the Philosophy of Practice of Mathematics & Informatics”, Toulouse, 4th April - 1st July 2016   Ralph Matthes
• [TYPES/announce] Alan Turing Institute Fellowships   James Cheney
• [TYPES/announce] CFP HLPP 2016   Frédéric Loulergue
• [TYPES/announce] Call for Papers for CL&C'16 (sixth International Workshop on Classical Logic and Computation- satellite workshop of FSCD 2016 (former TLCA + RTA))   Berardi Stefano
• [TYPES/announce] CfP: 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (CPSWeek 2016)   Sergiy Bogomolov
• [TYPES/announce] ECOOP 2016 - Call for Workshop Proposals   Emilio Coppa
• [TYPES/announce] ACM SIGPLAN Awards (Deadline 5 January 2016)   Satnam Singh
• [TYPES/announce] ICFP 2016 Call for Papers   Lindsey Kuper
• [TYPES/announce] FSCD'16 Second Call for Papers   hassei at kurims.kyoto-u.ac.jp
• [TYPES/announce] 3rd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik   Erika Abraham
• [TYPES/announce] DICE 2016: Call for contributions   Damiano Mazza
• [TYPES/announce] MSFP 2016: Call for Papers   Bob Atkey
• [TYPES/announce] MFPS 2016 conference   Lars Birkedal
• [TYPES/announce] 2016 Heidelberg Laureates Forum   Vladimir Voevodsky
• [TYPES/announce] WRLA 2016: 2nd Call for Papers (including invited speakers)   Dorel Lucanu
• [TYPES/announce] CFP: Winter School on Formal Methods   Sung-Shik Jongmans
• [TYPES/announce] 3rd Workshop on Automated Inductive Theorem Proving   Stefan Hetzl
• [TYPES/announce] Job Opportunities in Logic and Computer Science at Swansea   Berger U.
• [TYPES/announce] QPL 2016: Call for papers   Chris Heunen
• [TYPES/announce] Faculty position in programming languages and computational logic   Iliano Cervesato
• [TYPES/announce] PhD scholarship on foundations of meta-programming   Martin Berger
• [TYPES/announce] 2nd CfP: COORDINATION 2016   jose.proenca at cs.kuleuven.be
• [TYPES/announce] Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016   Serge Autexier
• [TYPES/announce] Postdoctoral and PhD positions in LFCS on graph databases, provenance, and programming languages   James Cheney
• [TYPES/announce] [JFLA'16] Call for participation   Jean-Marie Madiot
• [TYPES/announce] LICS 2016 - Last Call for Papers   Sam Staton
• [TYPES/announce] 11th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2016): Second Call For Papers   Georgios Bargiannis
• [TYPES/announce] First Call for Submissions: CMSB 2016 - the 14th International Conference on Computational Methods in Systems Biology   Ezio Bartocci
• [TYPES/announce] 2 Ph.D positions on Formal Methods for Concurrent Systems and Security Analysis (at U. of Oslo, Inst. of Informatics)   Martin Steffen
• [TYPES/announce] Associate or Full Professorship in Programming Languages at Oxford   Jeremy Gibbons
• [TYPES/announce] CFP for Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science   Mehrnoosh Sadrzadeh
• [TYPES/announce] Deadline extended: iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik   m.huisman at utwente.nl
• [TYPES/announce] Call for tutorial proposals: FM 2016   Oleg Sokolsky
• [TYPES/announce] Departmental Lectureship in Theoretical Computer Science, University of Oxford   James Worrell
• [TYPES/announce] Call for Participation: Off the Beaten Track 2016   Lindsey Kuper
• [TYPES/announce] CMCS 2016 : Last Call for Papers   fabio.zanasi at ens-lyon.fr
• [TYPES/announce] FW: [TYPES] Postdoc positions and lectureships in Swansea (suitable for type theoretists; deadlines 22/12/15 and 5/1/16)   Dimitrios Vytiniotis
• [TYPES/announce] PhD studentships at LFCS, University of Edinburgh   James Cheney
• [TYPES/announce] WadlerFest, 11--12 April 2016, Edinburgh   Sam Lindley
• [TYPES/announce] Two Lectureship posts in the Department of Computing at Imperial   Alastair Donaldson
• [TYPES/announce] 2nd CfP: QAPL16 (New: Speakers, PC, Deadlines)   Herbert Wiklicky
• [TYPES/announce] Positions for students and young researchers at Inria Paris in Prosecco team   Catalin Hritcu
• [TYPES/announce] TYPES 2016 call for contributions   Silvia Ghilezan
• [TYPES/announce] two faculty positions at Imperial (equivalent to assistant professor positions)   Gardner, Philippa A
• [TYPES/announce] LICS 2016 - CFP ***Revised submission format***   Sam Staton
• [TYPES/announce] Call for Nominations: The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation   Gordon Plotkin
• [TYPES/announce] Fwd: [rewriting] Call for Papers: TERMGRAPH 2016   Detlef Plump
• [TYPES/announce] LSFA 2016 - First Call for Papers   Vivek Nigam
• [TYPES/announce] Call for papers: GaLoP 2016   Paul Blain Levy

Last message date: Thu Dec 31 12:41:14 EST 2015
Archived on: Fri Jan 1 14:26:44 EST 2016

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