2016 Archives by subject

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

Starting: Sat Jan 2 07:27:36 EST 2016
Ending: Fri Dec 30 07:35:24 EST 2016
Messages: 705

• [TYPES/announce] "Justifying (in) Math" at CADGME 2016   Walther Neuper
• [TYPES/announce] 'Collective Adaptive Systems' (CAS) track at the ACM SAC 2017   Francesco Tiezzi
• [TYPES/announce] 'Collective Adaptive Systems' (CAS) track at the ACM SAC 2017 - 2nd CFP   Francesco Tiezzi
• [TYPES/announce] (EC)2 2016 - Call for Papers   Pavol Cerny
• [TYPES/announce] (EC)2 2016 - Extended deadline   Pavol Cerny
• [TYPES/announce] *EXTENDED DEADLINE* Language Workbench Challenge 2016   Tijs van der Storm
• [TYPES/announce] 10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems   Ichiro Hasuo
• [TYPES/announce] 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016 - 2nd call for papers   German Vidal
• [TYPES/announce] 1st call for participation: Proofs, Justifications and Certificates, 3-4 June, Toulouse   Ralph Matthes
• [TYPES/announce] 1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)   publicityifl at gmail.com
• [TYPES/announce] 1st CFP: IWC 2016   Beniamino Accattoli
• [TYPES/announce] 1st CfP: OOPS @ SAC 2017 - March 27 - 31 - Marrakech, Morocco   Davide Ancona
• [TYPES/announce] 1st CFP: SLE 2016 (9th ACM SIGPLAN International Conference on Software Language Engineering)   Andrei Chis
• [TYPES/announce] 2-year PostDoc or 3-year PhD position at the University of Innsbruck   Georg Moser
• [TYPES/announce] 2-year postdoctoral position in programming languages at LFCS   James Cheney
• [TYPES/announce] 2016 Autumn School on Computational Logic   German Vidal
• [TYPES/announce] 2016 Brazilian Symposium on Programming Languages: Deadline Extension   Yu David Liu
• [TYPES/announce] 2017 Quantitative Evaluation of SysTems (QEST) -- First Call for Papers   Ezio Bartocci
• [TYPES/announce] 21st International Symposium on Formal Methods (FM 2016): Second Call for Papers   Announce Announcements
• [TYPES/announce] 23rd WoLLIC 2016 (Puebla, Mexico) - Call for Papers - DEADLINE APPROACHING   Ruy de Queiroz
• [TYPES/announce] 24th WoLLIC 2017 - Call for Papers   Ruy de Queiroz
• [TYPES/announce] 2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016   Serge Autexier
• [TYPES/announce] 2nd Call for papers - <Programming> 2017   Tim Molderez
• [TYPES/announce] 2nd call for papers: CMSB 2016   Nicola Paoletti
• [TYPES/announce] 2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings   Janis Voigtlaender
• [TYPES/announce] 2nd CfP: 18th Workshop on Formal Techniques for Java-like Programs (FTfJP @ECOOP 2016)   Vladimir Klebanov
• [TYPES/announce] 2nd CfP: 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2016)   Sergiy Bogomolov
• [TYPES/announce] 2nd CfP: 9th Interaction and Concurrency Experience (ICE 2016)   Hugo Vieira
• [TYPES/announce] 2nd CFP: Graphical Models for Security (GraMSec'16)   Barbara Kordy
• [TYPES/announce] 2nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)   publicityifl at gmail.com
• [TYPES/announce] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [TYPES/announce] 2nd CfP: WLP 2016   Sibylle Schwarz
• [TYPES/announce] 2nd CfP: Workshop on Foundations of Computer Security (FCS)   Deepak Garg
• [TYPES/announce] 2nd CfP POST'17 (NEW: SYSTEMATIZATION OF KNOWLEDGE PAPERS)   Matteo Maffei
• [TYPES/announce] 2nd CfS: MT-CPS'15 - International Workshop on Monitoring and Testing of Cyber-Physical Systems   Nickovic Dejan
• [TYPES/announce] 2nd International Summer School on Behavioural Types   Simon Gay
• [TYPES/announce] 2nd International Summer School on Behavioural Types: Final Call   Simon Gay
• [TYPES/announce] 2 Ph.D positions on Formal Methods for Rule-based agent safety and concurrent system analysis (U. of Oslo), 15. April   Martin Steffen
• [TYPES/announce] 2 PhD positions in Formal Methods at the Sirius Center in Oslo   Einar Broch Johnsen
• [TYPES/announce] 2 PhD student positions on Language-based security at Chalmers   Alejandro Russo
• [TYPES/announce] 2 post-doc positions in Binary code analysis, system and software security at East China Normal University, Shanghai, China   Fu SONG
• [TYPES/announce] 3rd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Less Than 10 Days Left To Submit Your Paper!   Achim D. Brucker
• [TYPES/announce] 3rd Workshop on Automated Inductive Theorem Proving - Call for Contributions   Stefan Hetzl
• [TYPES/announce] 3 year, post PhD, RA position in Theoretical Computer Science in Swan   Markus Roggenbach
• [TYPES/announce] 4-year PhD studentship on "Declarative Programming for Data Science"   James Cheney
• [TYPES/announce] 6th Halmstad Summer School on Testing   Mohammadreza Mousavi
• [TYPES/announce] 6th Halmstad Summer School on Testing: Call for Participation and Student Presentations   M.R. Mousavi
• [TYPES/announce] <Programming> 2017: Call for papers   Tim Molderez
• [TYPES/announce] [2nd CFP] Haskell Symposium 2016   Geoffrey Mainland
• [TYPES/announce] [ANN] Second Call for Papers, May 13, 2016, PMLDC 2016   Christopher Meiklejohn
• [TYPES/announce] [Call for Papers] SYNASC 2016, Timisoara, Romania   Isabela Dramnesc
• [TYPES/announce] [Caml-list] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), EXTENDED DEADLINE   Christophe Raffalli
• [TYPES/announce] [CfP] POST'17: 6th International Conference on Principles of Security and Trust (confederated with ETAPS)   Matteo Maffei
• [TYPES/announce] [CFP] RAMiCS 2017   Damien Pous
• [TYPES/announce] [Concurrency] Phd/PostDoc positions in Formal Methods for Distributed Systems   Constantin Enea
• [TYPES/announce] [ESSoS'16] Call for Participation   Raoul Strackx
• [TYPES/announce] [ESSoS'16] Call for Participation   Raoul Strackx
• [TYPES/announce] [ESSoS'16] ESSoS Doctoral Symposium: CFP (extended deadline March 4th)   Raoul Strackx
• [TYPES/announce] [Extended deadline] CFP Workshops in the Framework of SYNASC 2016   Isabela Dramnesc
• [TYPES/announce] [Final CFP] Haskell 2016   Geoffrey Mainland
• [TYPES/announce] [fm-announcements] [RV 2016] Second Call for Papers -- 2 months to the deadline   Havelund, Klaus (349F)
• [TYPES/announce] [fm-announcements] RV 2016, Deadlines Extended - Abstract: May 20, Paper/Tutorial: May 27   Havelund, Klaus (348B)
• [TYPES/announce] [fm-announcements] RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tutorials   Havelund, Klaus (349F)
• [TYPES/announce] [iFM'17] Call for Workshops at International Conference on integrated Formal Methods 2017   Christoph Seidl
• [TYPES/announce] [iFM 2017] Final Call for Workshops Proposals   Christoph Seidl
• [TYPES/announce] [JFLA'16] Second call for participation   Jean-Marie Madiot
• [TYPES/announce] [Springer JISA journal] CfP - Thematic Series on Verification and Composition for the Internet of Services and Things   alexander.perucci at graduate.univaq.it
• [TYPES/announce] [TFP'16] call for participation   Peter Achten
• [TYPES/announce] [TFP 2016] 1st call for papers   Peter Achten
• [TYPES/announce] [TFP 2016] 2nd call for papers   Peter Achten
• [TYPES/announce] [TFP 2016] extended deadline, april 25 2016, final call for papers   Peter Achten
• [TYPES/announce] [TFP 2016] Final call for papers   Peter Achten
• [TYPES/announce] [TFPIE 2016] 1st call for papers   Peter Achten
• [TYPES/announce] [TFPIE 2016] 2nd call for papers   Peter Achten
• [TYPES/announce] [VeryComp 2016] - 1st Call for Paper   alexander.perucci at graduate.univaq.it
• [TYPES/announce] [VeryComp 2016] - 2nd CfP and Dedicated Thematic Series on Springer JISA Journal   alexander.perucci at graduate.univaq.it
• [TYPES/announce] Ackermann Award 2016   European Association of Computer Science Logic
• [TYPES/announce] Ackermann Award 2016 - Call for Nominations   Dale Miller
• [TYPES/announce] ACM SIGBED Paul Caspi Dissertation Award : deadline March 1st, 2016   Alain Girault
• [TYPES/announce] Alonzo Church Award 20017: Call for Nominations   Gordon Plotkin
• [TYPES/announce] Alpha release of a book on program proof in Coq   Adam Chlipala
• [TYPES/announce] APLAS 2016: call for posters (deadline extension)   Atsushi Igarashi
• [TYPES/announce] APLAS 2016: Deadline extension   Atsushi Igarashi
• [TYPES/announce] APLAS 2016 Call for papers   Atsushi Igarashi
• [TYPES/announce] APLAS2016 call for participation   Atsushi Igarashi
• [TYPES/announce] APLAS 2016 Final Call for papers (abstract Jun. 12/paper Jun. 17)   Atsushi Igarashi
• [TYPES/announce] ARRAY 2016: Final call for papers   Clemens Grelck
• [TYPES/announce] ARRAY 2016 Workshop 2nd Call for Papers   Martin Elsman
• [TYPES/announce] ARRAY 2016 Workshop Call for Papers   Martin Elsman
• [TYPES/announce] ARRAY 2016 Workshop Final Call for Papers - extended deadline   Martin Elsman
• [TYPES/announce] Assistant/Associate/Professor, Tenure-track, Multiple positions @ NAU - SICCS   Frederic Loulergue
• [TYPES/announce] Assistant and associate professor openings at Aarhus University, Denmark   Lars Birkedal
• [TYPES/announce] Associate/Assistant Professor in Programming Languages at the Technical University of Denmark   Alberto Lluch Lafuente
• [TYPES/announce] Associate Professor in Software Technology with Starting Grant, at Lund University, Sweden   Görel Hedin
• [TYPES/announce] Associate Professor in Software Technology with Starting Grant, at Lund University, Sweden   Görel Hedin
• [TYPES/announce] Associate professor position in computer science at CNAM Paris   Tristan Crolard
• [TYPES/announce] Associate professor position in information security at the University of Oslo   Peter Csaba Ölveczky
• [TYPES/announce] Augusta University: Tenure Tack Position in CS   Harley Eades III
• [TYPES/announce] Autumn school "Proof and Computation"   Kenji Miyamoto
• [TYPES/announce] BETTY final meeting: call for participation   Antonio Ravara
• [TYPES/announce] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), CSL affiliated workshop   Christophe Raffalli
• [TYPES/announce] Call for contributions PCC'16 - Proof, Computation and Complexity, May 5-6, 2016, in Munich   Reinhard Kahle
• [TYPES/announce] Call for Nominations - 1st Minerva Informatics Equality Award   Inge van Halst
• [TYPES/announce] Call for Nominations: The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation   European Association of Computer Science Logic
• [TYPES/announce] Call for Papers - 30th Workshop on Logic Programming (WLP 2016)   Sibylle Schwarz
• [TYPES/announce] Call for Papers - AutoProof Workshop 2016 - Toulouse area, France   Alexandr Naumchev
• [TYPES/announce] Call for Papers - CMSB 2016: the 14th International Conference on Computational Methods in Systems Biology   Ezio Bartocci
• [TYPES/announce] Call for Papers - The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017)   葛萌萌
• [TYPES/announce] Call for papers - TPLP special issue on computational logic for verification   German Vidal
• [TYPES/announce] Call for Papers: 2nd IEEE European Symposium on Security and Privacy (EuroS&P), April 26-28, 2017 in Paris   Christian Rossow
• [TYPES/announce] Call for Papers: Fifth Workshop on Formal Topology (5WFTop) in JLA   Maria Emilia Maietti
• [TYPES/announce] Call for papers: GaLoP 2017   Marina Lenisa
• [TYPES/announce] Call for Papers: ICFP 2017   Lindsey Kuper
• [TYPES/announce] Call for Papers: ICLA 2017 Indian Conference on Logic and Its Applications   sanjiva
• [TYPES/announce] Call for papers: INTERSECTION TYPES AND RELATED SYSTEMS (ITRS 2016)   koba
• [TYPES/announce] Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016   Achim D. Brucker
• [TYPES/announce] Call for papers: PrePost (Pre- and Post-Deployment Verification Techniques)   Adrian Francalanza
• [TYPES/announce] Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming   Janis Voigtlaender
• [TYPES/announce] Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th   Serge Autexier
• [TYPES/announce] Call for papers and tutorials at International Workshop on Agent-based Modeling and Applications with SARL   stephane.galland at utbm.fr
• [TYPES/announce] Call for papers and tutorials at International Workshop on Agent-based Modeling and Applications with SARL   stephane.galland at utbm.fr
• [TYPES/announce] Call for papers and tutorials at International Workshop on Agent-based Modeling and Applications with SARL   stephane.galland at utbm.fr
• [TYPES/announce] Call for papers and tutorials at International Workshop on Agent-based Modeling and Applications with SARL   stephane.galland at utbm.fr
• [TYPES/announce] Call for papers for David Turner's Festschrift issue of JUCS   Simon Peyton Jones
• [TYPES/announce] Call for Papers for ECMFA 2016: 12th European Conference on Modelling Foundations and Applications   Andrzej Wąsowski
• [TYPES/announce] Call for participation -- NSV 2016 (collocated with CAV)   Sergiy Bogomolov
• [TYPES/announce] Call for participation - 1st edition of FSCD, Porto 2016   Sandra Alves
• [TYPES/announce] Call for participation - 1st edition of FSCD, Porto 2016 (Deadline for early registration - May 22)   Sandra Alves
• [TYPES/announce] Call for participation - CSL 2016   Jean-Marc Talbot
• [TYPES/announce] Call for Participation: 18th IEEE International High-Level Design Validation and Test Workshop (HLDVT'16)   Miroslav Velev
• [TYPES/announce] Call for Participation: 29th IEEE Computer Security Foundations Symposium (CSF’16)   Matteo Maffei
• [TYPES/announce] Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lugano, Switzerland   Andrea Rosa
• [TYPES/announce] Call for Participation: CAV 2016, July 17-23, Toronto   Roopsha Samanta
• [TYPES/announce] Call for participation: Games for Logic and Programming Languages XI   Paul Blain Levy
• [TYPES/announce] Call for Participation: ICFP 2016   Lindsey Kuper
• [TYPES/announce] Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation   pedro.lopez
• [TYPES/announce] Call for participation: ML 2016   Kenichi Asai
• [TYPES/announce] Call for Participation: MSFP 2016   Bob Atkey
• [TYPES/announce] Call for Participation: PLACES 2016   Dominic Orchard
• [TYPES/announce] Call for Participation: POPL 2017 and co-located events [early registration deadline approaching]   David Baelde
• [TYPES/announce] Call for Participation: POPL 2017 and co-located events [registration is open]   David Baelde
• [TYPES/announce] Call for participation: PPDP 2016   German Vidal
• [TYPES/announce] Call for Participation: PrePost 2016   Adrian Francalanza
• [TYPES/announce] Call for participation: S-REPLS 3 workshop.   Scott Owens
• [TYPES/announce] Call for Participation: the 19th ICFP Programming Contest (ICFPc 2016)   Keisuke Nakano
• [TYPES/announce] Call for Participation: The 1st Workshop on Design and Analysis of Robust Systems (DARS 2016), Vienna, April 11, 2016   Roopsha Samanta
• [TYPES/announce] Call for Participation: The 22nd IEEE Pacific Rim Int. Sym. on Dependable Computing (PRDC 2017)   葛萌萌
• [TYPES/announce] Call for Participation: VerifyThis Verification Competition 2016   m.huisman at utwente.nl
• [TYPES/announce] Call for Participation: VerifyThis Verification Competition at ETAPS 2016   m.huisman at utwente.nl
• [TYPES/announce] Call For Participation: WADT 2016   JAMES P. (366409)
• [TYPES/announce] Call for Participation: WFLP 2016 and co-located events   Janis Voigtlaender
• [TYPES/announce] Call for Participation: WLP 2016 and co-located events   Sibylle Schwarz
• [TYPES/announce] Call for participation to PLRR 2016 (hosted by CSL)   Christophe Raffalli
• [TYPES/announce] Call for PhD students: Logical Methods in Computer Science (Vienna, Austria)   Igor Konnov
• [TYPES/announce] Call for PLDI 2016 Student Posters   Iulian Neamtiu
• [TYPES/announce] Call for Scholarship Applications: PLMW at POPL 2017 - Deadline October 23   Dimitrios Vytiniotis
• [TYPES/announce] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop   Dimitrios Vytiniotis
• [TYPES/announce] Call for Submissions: TAPAS 2016 - Workshop on Tools for Automatic Program Analysis   Manu Sridharan
• [TYPES/announce] Call for Workshop Proposals: ICFP 2017   Lindsey Kuper
• [TYPES/announce] Call for Workshops Proposals in conjonction with ANT-17   stephane.galland at utbm.fr
• [TYPES/announce] Call for Worshop Proposals at FACS 2016 (13th International Symposium on Formal Aspects of Component Software)   Samir Chouali
• [TYPES/announce] Categories Logic and Physics - 30 November   Ross Duncan
• [TYPES/announce] Categories Logic and Physics Scotland 30 November   Chris Heunen
• [TYPES/announce] CAV 2016: CfP for 9th International Workshop on Numerical Software Verification (NSV)   Sergiy Bogomolov
• [TYPES/announce] CAV 2016: DEADLINE EXTENSION for 9th International Workshop on Numerical Software Verification (NSV 2016)   Sergiy Bogomolov
• [TYPES/announce] CAV 2017: Call for Papers   Rupak Majumdar
• [TYPES/announce] CCC 2015; postproceedings; call for submissions; extended deadline   Dieter Spreen
• [TYPES/announce] CCC 2015; postproceedings; second call for submission   Dieter Spreen
• [TYPES/announce] CFP, deadline Oct. 5: The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP'17)   Yves Bertot
• [TYPES/announce] CFP: 11th Workshop on Programming Languages and Analysis for Security (PLAS 2016)   Deian Stefan
• [TYPES/announce] CfP: 18th Workshop on Formal Techniques for Java-like Programs (FTfJP @ECOOP 2016)   Vladimir Klebanov
• [TYPES/announce] CFP: 1st IEEE International Workshop on Cyber Resilience Economics   Joshua Guttman
• [TYPES/announce] CfP: 1st International Workshop on Refactoring (IWoR) 2016   ouni ali
• [TYPES/announce] CFP: 30th IEEE Computer Security Foundations Symposium   Matteo Maffei
• [TYPES/announce] CFP: 8th International Workshop on Higher-Order Rewriting   Jakob Grue Simonsen
• [TYPES/announce] CfP: 9th Interaction and Concurrency Experience (ICE 2016), June 8-9, 2016, Heraklion, Greece   Hugo Torres Vieira
• [TYPES/announce] CfP: ACM SAC'17 PAPP Track - Practical Aspects of High-Level Parallel Programming   Frédéric Loulergue
• [TYPES/announce] CFP: CAV 2016, July 17-23, Toronto [Abstract Submission: Jan 24]   Roopsha Samanta
• [TYPES/announce] CFP: COP @ ECOOP'16 - 8th International Workshop on Context-oriented Programming   Guido Salvaneschi
• [TYPES/announce] CfP: F-IDE2016, 3rd Workshop on Formal Integrated Development Environment   dubois
• [TYPES/announce] CfP: Formal approaches to parallel and distributed systems (4PAD)   Frédéric Loulergue
• [TYPES/announce] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'16)   Peter Csaba Ölveczky
• [TYPES/announce] CfP: GCM - Graph Computation Models 2016   Barbara Koenig
• [TYPES/announce] CFP: Graphical Models for Security (GraMSec'16)   Barbara Kordy
• [TYPES/announce] CfP: JSC Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [TYPES/announce] CFP: Logical Aspects of Computational Linguistics 20th anniversary edition   Christian RETORE
• [TYPES/announce] CFP: Logical Aspects of Computational Linguistics 20th anniversary edition (deadline June 15 2016)   Christian RETORE
• [TYPES/announce] CFP: Logical Aspects of Computational Linguistics 20th anniversary edition (deadline June 15 2016)   Christian RETORE
• [TYPES/announce] CFP: Logical Frameworks and Meta-languages: Theory and Practice (LFMTP) 2016   Dan Licata
• [TYPES/announce] CFP: ML 2016   Kenichi Asai
• [TYPES/announce] CFP: ML workshop 2016   Kenichi Asai
• [TYPES/announce] CfP: MTCPS'16 - International Workshop on Monitoring and Testing Cyber-Physical Systems   Nickovic Dejan
• [TYPES/announce] CfP: OOPS @ SAC 2017, April 3-7, 2017, Marrakesh, Morocco   Davide Ancona
• [TYPES/announce] CfP: OOPS @ SAC 2017, deadline extended to October 7th, 2016   Davide Ancona
• [TYPES/announce] CfP: OOPS @ SAC 2017, deadline extended to September 29th, 2016   Davide Ancona
• [TYPES/announce] CfP: PAPP @ SAC 2017, deadline extended to September 29th   Frédéric Loulergue
• [TYPES/announce] CFP: PLACES 2017   Vasco T. Vasconcelos
• [TYPES/announce] CFP: Program Semantics, Specification and Verification PSSV-2017.   Nikolay Shilov
• [TYPES/announce] CFP: REBLS 2016 - 3rd International Workshop on Reactive and Event-Based Languages & Systems   Guido Salvaneschi
• [TYPES/announce] CFP: Scala Symposium 2016   Sandro Stucki
• [TYPES/announce] CFP: SCSS 2017   Temur Kutsia
• [TYPES/announce] CfP: SOAP at SAC 2017 - deadline extended to Sept. 29   Massimo Bartoletti
• [TYPES/announce] CFP: special issue of JAR on HoTT and univalent foundations   Peter LeFanu Lumsdaine
• [TYPES/announce] CfP: Special Issue on Architectures, Languages and Verification techniques for Internet-based Society (ALVIS)   Hugo Vieira
• [TYPES/announce] CFP: The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP'17)   Yves Bertot
• [TYPES/announce] cfp: Theory and Practice of Differential Privacy - workshop affiliated to ICML'16   Marco Gaboardi (Staff)
• [TYPES/announce] CfP: UF/HoTT workshop, Porto, 25--26 June, with FSCD 2016   Peter LeFanu Lumsdaine
• [TYPES/announce] CfP: VORTEX @ ECOOP 2016 - 1st Workshop on Runtime Verification for Object-Oriented Languages, and Systems   Davide Ancona
• [TYPES/announce] CFP: WADT'16   Markus Roggenbach
• [TYPES/announce] CFP: WADT 2016   JAMES P. (366409)
• [TYPES/announce] CfP: Workshop ARCH collocated with CPSWeek 2016   Sergiy Bogomolov
• [TYPES/announce] CFP: Workshop on Foundations of Computer Security (FCS)   Deepak Garg
• [TYPES/announce] CFP: Workshop on Type-driven Development (TyDe '16)   Wouter Swierstra
• [TYPES/announce] CFP: Workshop on Type-driven Development (TyDe '16)   Wouter Swierstra
• [TYPES/announce] CfP: Workshop SNR affiliated with ETAPS 2017   Sergiy Bogomolov
• [TYPES/announce] CfP: Workshop SNR collocated with CPSWeek 2016   Sergiy Bogomolov
• [TYPES/announce] CFP for Scheme and Functional Programming Workshop 2016   Alex Shinn
• [TYPES/announce] CFP NFM 2017: 9th NASA Formal Methods Symposium   Pierre-Loïc Garoche
• [TYPES/announce] CFP QASA2015: 5th Workshop on Quantitative Aspects of Security Assurance   Aldini, Alessandro
• [TYPES/announce] CFP S-REPLS-5 @ University of Oxford   Ohad Kammar
• [TYPES/announce] CFP SBLP 2016: 20th Brazilian Symposium on Programming Languages   Andre Rauber Du Bois
• [TYPES/announce] CFP SBLP 2016: 20th Brazilian Symposium on Programming Languages *** Deadline for Abstracts Approaching***   Andre Rauber Du Bois
• [TYPES/announce] CFP SBMF 2016   Christiano Braga
• [TYPES/announce] CFP Synasc 2016, Timisoara, Romania   Isabela Dramnesc
• [TYPES/announce] CFP Synasc 2016, Timisoara, Romania   Isabela Dramnesc
• [TYPES/announce] CFP Synasc 2016 -- FIRM extended deadline   Isabela Dramnesc
• [TYPES/announce] CFP SYNASC 2016 - Timisoara, Romania   Isabela Dramnesc
• [TYPES/announce] CfP ThEdu'16 at CICM   Walther Neuper
• [TYPES/announce] Chair in Information/Computer Security (Sheffield, UK)   Achim D. Brucker
• [TYPES/announce] CIBB 2016 - Second Call for Papers   Andrea Bracciali
• [TYPES/announce] CL&C 2015 - Extended Deadline and Final Call for Papers   Berardi Stefano
• [TYPES/announce] CMCS 2016: Call for Short Contributions and Participation   fabio.zanasi at ens-lyon.fr
• [TYPES/announce] CMCS 2016: Last Call for Participation (with Programme)   fabio.zanasi at ens-lyon.fr
• [TYPES/announce] CMSB 2016 - call for participation   Andrea Bracciali
• [TYPES/announce] CMSB 2016: Call for participation   Nicola Paoletti
• [TYPES/announce] CoCo 2016: First Call for Provers   Takahito Aoto
• [TYPES/announce] CoCo 2016: Second Call for Provers   Nao Hirokawa
• [TYPES/announce] Competitively paid postdoc position in Denmark   Fabrizio Montesi
• [TYPES/announce] CONCUR FORMATS QEST 2016 - call for participation   Josée Desharnais
• [TYPES/announce] Contextual Isomorphisms   Paul B Levy
• [TYPES/announce] Contract postdoctoral position in Biological Programming Languages at Microsoft Research Cambridge   Andrew Phillips
• [TYPES/announce] COORDINATION 2017 - 1st Announcement   Francesco Tiezzi
• [TYPES/announce] CoqPL 2017: Call for Participation [registration is open]   Emilio Jesús Gallego Arias
• [TYPES/announce] CoqPL 2017: Call for Presentations for the Workshop on Coq for Programming Languages   Emilio Jesús Gallego Arias
• [TYPES/announce] CoqPL 2017: Call for Presentations for the Workshop on Coq for Programming Languages   Emilio Jesús Gallego Arias
• [TYPES/announce] CPP 2017 Call for papers   Viktor Vafeiadis
• [TYPES/announce] CPS Week 2016 - Call for Participation   Ezio Bartocci
• [TYPES/announce] CPS Week 2016 - Call for Participation - Early registration March 18th   Ezio Bartocci
• [TYPES/announce] CSF 2016: 2nd CALL FOR PARTICIPATION (upcoming early registration and student travel scholarship deadlines)   Matteo Maffei
• [TYPES/announce] CSF 2016: Last Call for Papers   Matteo Maffei
• [TYPES/announce] CSF 2016: Second Call for Papers   Matteo Maffei
• [TYPES/announce] CSF 2017: Call for Workshops   Matteo Maffei
• [TYPES/announce] CSL 2016 - 1st CFP   Jean-Marc Talbot
• [TYPES/announce] CSL 2016 - 2nd call for papers   European Association of Computer Science Logic
• [TYPES/announce] CSL 2017: First Call For Papers   Dilian Gurov
• [TYPES/announce] cyber security faculty positions at all levels @southampton   Vladimiro Sassone
• [TYPES/announce] David Turner's Festschift Call for papers   Delia Kesner
• [TYPES/announce] DEADLINE APPROACHING - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal   alexander.perucci at graduate.univaq.it
• [TYPES/announce] Deadline approaching - ECOOP 2016: Call for Workshop Proposals   Emilio Coppa
• [TYPES/announce] Deadline extended: 18th Workshop on Formal Techniques for Java-like Programs (FTfJP @ECOOP 2016)   Vladimir Klebanov
• [TYPES/announce] Deadline extended: VORTEX @ ECOOP 2016 - 1st Workshop on Runtime Verification for Object-Oriented Languages, and Systems   Davide Ancona
• [TYPES/announce] Deadline extended for eduTPS at CADGME   Walther Neuper
• [TYPES/announce] Deadline extension: 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (CPSWeek 2016)   Sergiy Bogomolov
• [TYPES/announce] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'16)   Peter Csaba Ölveczky
• [TYPES/announce] Deadline Extension: FSCD'16   hassei at kurims.kyoto-u.ac.jp
• [TYPES/announce] Deadline extension: JAR special issue on HoTT/UF   Peter LeFanu Lumsdaine
• [TYPES/announce] Deadline Extension: JSC Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [TYPES/announce] DEADLINE EXTENSION: Logical Aspects of Computational Linguistics 20th anniversary edition (NEW DEADLINE JULY 3 2016)   Christian RETORE
• [TYPES/announce] Deadline Extension: Logical Frameworks and Meta-Languages: Theory and Practice 2016   Dan Licata
• [TYPES/announce] Deadline extension: Workshop on Foundations of Computer Security (FCS)   Aslan Askarov
• [TYPES/announce] DeepSpec Summer School, July 13-28, 2017   Benjamin C. Pierce
• [TYPES/announce] DICE 2016: Deadline extension   Damiano Mazza
• [TYPES/announce] DICE 2016: Second call for contributions   Damiano Mazza
• [TYPES/announce] DisCoTec 2017 Call for Workshop Proposals   ivan.lanese
• [TYPES/announce] DisCoTec 2017 CfP   ivan.lanese
• [TYPES/announce] Doctoral or Post-doctoral position in programming language theory and implementation   Tom Schrijvers
• [TYPES/announce] DSLDI 2016: Call for Talk Proposals   Eric Walkingshaw
• [TYPES/announce] DSLDI 2016: Final Call for Talk Proposals (Extended Deadline)   Eric Walkingshaw
• [TYPES/announce] EAPLS PhD Award 2015: Nomination Deadline Approaching   Anya Helene Bagge
• [TYPES/announce] ECOOP 2016 - Call For Participation - Students   Emilio Coppa
• [TYPES/announce] ECOOP 2016 - Workshops   Emilio Coppa
• [TYPES/announce] ECOOP 2016 - Workshops - Call for Papers   Emilio Coppa
• [TYPES/announce] ECOOP 2016: Call for Posters   Emilio Coppa
• [TYPES/announce] ECOOP 2016 Doctoral Symposium   Emilio Coppa
• [TYPES/announce] ECOOP 2016 Doctoral Symposium   Emilio Coppa
• [TYPES/announce] ECOOP 2016 Doctoral Symposium   Emilio Coppa
• [TYPES/announce] ECOOP 2017 - Call for Workshop Proposals   Silvia Crafa
• [TYPES/announce] ECOOP 2017 - FINAL call for Research Papers   Silvia Crafa
• [TYPES/announce] ECOOP 2017 - First Call for Papers   Silvia Crafa
• [TYPES/announce] ECOOP 2017 - Second Call for Papers   Silvia Crafa
• [TYPES/announce] ERC project "RustBelt" on foundations for Rust -- Postdoc and PhD positions available!   Derek Dreyer
• [TYPES/announce] ETAPS 2016 call for participation   Tarmo Uustalu
• [TYPES/announce] ETAPS 2016 early registration deadline 1 March approaching   Tarmo Uustalu
• [TYPES/announce] ETAPS 2016 satellite workshops joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2017 1st call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2017 2nd joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2017 call for satellite events   Tarmo Uustalu
• [TYPES/announce] ETAPS 2017 final call for papers   Tarmo Uustalu
• [TYPES/announce] EXTENDED DEADLINE - FMCAD 2016   Igor Konnov
• [TYPES/announce] EXTENDED DEADLINE: 'Collective Adaptive Systems' (CAS) track at the ACM SAC 2017   Francesco Tiezzi
• [TYPES/announce] Extended deadline: GaLoP 2016   Paul Blain Levy
• [TYPES/announce] Extended deadline: Linear logic 2016 (Nov 7-10): Autumn school and Workshop   Baillot Patrick
• [TYPES/announce] Extended deadline: TAP 2016 (Tests & Proofs)   Carlo A. Furia
• [TYPES/announce] Extended deadlines: DisCoTec 2016, Heraklion, Greece (COORDINATION + DAIS + FORTE)   Georgios Bargiannis
• [TYPES/announce] extented deadline - EXPRESS/SOS 2016   Kirstin Peters
• [TYPES/announce] F-IDE 2016, deadline extension   dubois
• [TYPES/announce] Faculty Position at McGill University   Brigitte Pientka
• [TYPES/announce] Faculty position at University of Montreal   Stefan Monnier
• [TYPES/announce] Faculty Position in Intelligent Systems & Autonomy   Kristin Yvonne Rozier
• [TYPES/announce] Faculty position in programming languages and computational logic   Iliano Cervesato
• [TYPES/announce] Faculty positions at KTH Royal Institute of Technology, Stockholm, Sweden   Mads Dam
• [TYPES/announce] Faculty positions at the University of Cambridge   Peter Sewell
• [TYPES/announce] faculty positions in PL & formal verification at Stevens (NYC area)   David Naumann
• [TYPES/announce] Final Call-for-Papers POPL 2017, Paris, France [papers due by July 6, register by July 1]   David Baelde
• [TYPES/announce] Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016   Serge Autexier
• [TYPES/announce] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems   Lin, Yuhui
• [TYPES/announce] Final call for participation: LFCS30 / WadlerFest, 11–13 April 2016, Edinburgh   Sam Lindley
• [TYPES/announce] Final call for participation: PLDI 2016 co-located events   Manu Sridharan
• [TYPES/announce] Final CFP: 14th International Workshop on Satisfiability Modulo Theories   Tim King
• [TYPES/announce] Final CFP: 8th International Workshop on Higher-Order Rewriting   Jakob Grue Simonsen
• [TYPES/announce] Final CfP: COORDINATION 2016   jose.proenca at cs.kuleuven.be
• [TYPES/announce] Final CFP: Logical Frameworks and Meta-languages: Theory and Practice (LFMTP) 2016   Dan Licata
• [TYPES/announce] First Call-for-Papers POPL 2017, Paris, France [papers due by July 6, register by July 1]   David Baelde
• [TYPES/announce] First Call for Papers: FSEN 2017   Marjan Sirjani
• [TYPES/announce] First call for papers: PSSV-2016.   Николай Шилов
• [TYPES/announce] First Call for Papers: VPT 2017 Fifth International Workshop on Verification and Program Transformation   Maurizio Proietti
• [TYPES/announce] First CfP EXPRESS/SOS 2016   Kirstin Peters
• [TYPES/announce] FM 2016: Last call for tutorial proposals   Oleg Sokolsky
• [TYPES/announce] FMCAD 2016: 1st CALL FOR PAPERS   Igor Konnov
• [TYPES/announce] FMCAD 2016: 2nd CALL FOR PAPERS   Igor Konnov
• [TYPES/announce] FMCAD 2016: Call for participation   Igor Konnov
• [TYPES/announce] FMCAD 2016 STUDENT FORUM   Igor Konnov
• [TYPES/announce] FORTE 2016 2nd CfP   ivan.lanese
• [TYPES/announce] FORTE 2016: 1 week deadline extension   ivan.lanese
• [TYPES/announce] FORTE 2016: abstract deadline in 3 days   ivan.lanese
• [TYPES/announce] FORTE 2016: further 1 week deadline extension   ivan.lanese
• [TYPES/announce] FORTE 2016 Call for Participation   ivan.lanese
• [TYPES/announce] FOSAD summerschool: Foundations of Security Analysis and Design 2016   Aldini, Alessandro
• [TYPES/announce] Foundations of Security Analysis and Design: FOSAD 2016 call for participation   Aldini, Alessandro
• [TYPES/announce] Four tenure-track associate professor positions at IMT Lucca   Mirco Tribastone
• [TYPES/announce] FroCoS 2017 - First Call for Papers   Elaine Pimentel
• [TYPES/announce] FSCD'16 Final Call for Papers   hassei at kurims.kyoto-u.ac.jp
• [TYPES/announce] FSCD'16 Satellite Events and Upcoming Deadlines   hassei at kurims.kyoto-u.ac.jp
• [TYPES/announce] FSCD 2017 - Call for Workshop Proposals   Jamie Vicary
• [TYPES/announce] FSEN 2017: Call for Papers   Marjan Sirjani
• [TYPES/announce] FSEN 2017: Final Call for Papers   Marjan Sirjani
• [TYPES/announce] fully funded graduate positions in Math at UWO   Dan Christensen
• [TYPES/announce] fully funded graduate positions in Math at UWO   Dan Christensen
• [TYPES/announce] Fully funded PhD position at Inria Rennes - Bretagne Atlantique on malware analysis   Fabrizio Biondi
• [TYPES/announce] Fully funded PhD scholarship at the IT University of Copenhagen   Rasmus Ejlers Møgelberg
• [TYPES/announce] Fully funded Postdoctoral position at Inria Rennes - Bretagne Atlantique on Malware Analysis   Fabrizio Biondi
• [TYPES/announce] Funded PhD on Concurrency Modelling at U York, UK   Mike Dodds
• [TYPES/announce] Funded PhD Positions in Runtime Verification and Model Checking at Iowa State University   Kristin Yvonne Rozier
• [TYPES/announce] Funded PhD Studentship - Formal Verification of Sensor Networks at the University of Liverpool   Sven Linker
• [TYPES/announce] Funding opportunity to work on automated security analysis of C code at Queen Mary University of London   pasquale malacaria
• [TYPES/announce] Fwd: Faculty position in PL/verification/theorem proving at Cambridge   Peter Sewell
• [TYPES/announce] Fwd: Fellowship Opportunity for < 5 yrs from PhD - Power of Information   Vladimir Voevodsky
• [TYPES/announce] Fwd: PhD position (3 years) at IRIF (Paris, France)   Claude Marché
• [TYPES/announce] FWF-funded PostDoc in Formal Methods for Rigorous Engineering of Cyber-Physical Systems   Ezio Bartocci
• [TYPES/announce] GPCE’16 Call for Papers   Christoph Seidl
• [TYPES/announce] GPCE’16 Second Call for Papers   Christoph Seidl
• [TYPES/announce] GraMSec'16 CALL FOR PARTICIPATION   Barbara Kordy
• [TYPES/announce] Graphical Models for Security (GraMSec'16) - deadline extended until April 24   Barbara Kordy
• [TYPES/announce] HaTT 2016: First Call for Papers   Cezary Kaliszyk
• [TYPES/announce] HDRA 2016: Call for Papers   Samuel Mimram
• [TYPES/announce] HDRA 2016: Deadline extension   Samuel Mimram
• [TYPES/announce] HOPE 2016 workshop @ ICFP - call for talk abstracts   Aleksandar Nanevski
• [TYPES/announce] HOPE 2016 workshop @ ICFP - call for talk abstracts   Aleksandar Nanevski
• [TYPES/announce] HOPE 2016 workshop @ ICFP - deadline extension   Aleksandar Nanevski
• [TYPES/announce] HOR 2016 deadline extension   Jakob Grue Simonsen
• [TYPES/announce] HSB'16: Call for Participation   Sergiy Bogomolov
• [TYPES/announce] HSB16 Final Call for Papers - Deadline Extension to June 24   Sergiy Bogomolov
• [TYPES/announce] HSB 2016: CfP for the 5th International Workshop on Hybrid Systems Biology   Sergiy Bogomolov
• [TYPES/announce] ICE 2016: Deadline extension announcement   Hugo Vieira
• [TYPES/announce] ICFP 2016 Final Call for Papers   Lindsey Kuper
• [TYPES/announce] ICFP 2016 Second Call for Papers   Lindsey Kuper
• [TYPES/announce] ICFP 2016 Student Research Competition: Call for Submissions   Lindsey Kuper
• [TYPES/announce] ICGT 2017: First Call for Papers   Detlef Plump
• [TYPES/announce] ICGT 2017: Second Call for Papers   Detlef Plump
• [TYPES/announce] ICMS 2016   Vladimir Voevodsky
• [TYPES/announce] ICPE 2017 - 1st Call for Papers   Andrea Rosa
• [TYPES/announce] iFM 2016 Call for Participation   Erika Abraham
• [TYPES/announce] iFM 2017 - Preliminary CFP for the International Conference on integrated Formal Methods   Christoph Seidl
• [TYPES/announce] iFMCloud'16 *Deadline Extended*: 1st Int'l Workshop on Formal Methods for and on the Cloud   Razieh Behjati
• [TYPES/announce] iFMCloud'16 2nd CfP: 1st Int'l Workshop on Formal Methods for and on the Cloud   Razieh Behjati
• [TYPES/announce] International School in Rewriting 2017: Call for Advanced Courses   Raamsdonk, F. van
• [TYPES/announce] International summer school on metaprogramming (Cambridge, 8-12 Aug 2016)   Jeremy Yallop
• [TYPES/announce] International Workshop "Mathematics for Computation" (M4C)   Dieter Spreen
• [TYPES/announce] ISABELLE WORKSHOP 2016: Call for Papers   Tobias Nipkow
• [TYPES/announce] ITP 2016: call for participation   Stephan Merz
• [TYPES/announce] ITP 2017 - First Call for Papers   Elaine Pimentel
• [TYPES/announce] ITRS 2016: Final Call for Papers   koba
• [TYPES/announce] IWACO 2016 - Call for Papers   Emilio Coppa
• [TYPES/announce] IWC 2016 - DEADLINE EXTENSION   Beniamino Accattoli
• [TYPES/announce] IWC 2016 - Second Call for Papers   Beniamino Accattoli
• [TYPES/announce] JFLA 2017: call for participation   François Pottier
• [TYPES/announce] JFLA 2017: Call for Participation   François Pottier
• [TYPES/announce] JFLA 2017: First call for communications   François Pottier
• [TYPES/announce] JLAMP special issue for PLACES   Dominic Orchard
• [TYPES/announce] JLAMP special issue for PLACES (2nd Call for Papers)   Dominic Orchard
• [TYPES/announce] Job offer: close-to-industry research position   Vincent Aravantinos
• [TYPES/announce] Job offer: engineer position in formal methods   Claude Marché
• [TYPES/announce] Join us at Kent   Simon Thompson
• [TYPES/announce] Journal of Automated Reasoning: Special issue on Linearity   Iliano Cervesato
• [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] JTRES 2016, Submission Deadline Extended to July 3   Andrea Rosa
• [TYPES/announce] JTRES 2016 Call for Papers   Andrea Rosa
• [TYPES/announce] JTRES 2016 Call for Papers   Andrea Rosa
• [TYPES/announce] JTRES 2016 Call for Papers   Andrea Rosa
• [TYPES/announce] Junior researcher position at MPI-SWS   Rupak Majumdar
• [TYPES/announce] Lab docent position at University of Amsterdam   Clemens Grelck
• [TYPES/announce] Lanh and Oanh Nguyen Chair in Software Engineering at Iowa State University   Rajan, Hridesh [COM S]
• [TYPES/announce] Lanuage Workbench Challenge 2016: Call for Solutions   Tijs van der Storm
• [TYPES/announce] LAP 2016 - Logic and Applications: CFP   Silvia Ghilezan
• [TYPES/announce] Last call for papers (Deadline 14th February): Medical CPS'16 - 7th International Workshop on Medical Cyber Physical System   Ezio Bartocci
• [TYPES/announce] Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016)   Serge Autexier
• [TYPES/announce] Last Call for Papers GCM 2016 (Graph Computation Models)   Barbara Koenig
• [TYPES/announce] Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation   Pedro López García
• [TYPES/announce] Last Call for Participation: PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming   German Vidal
• [TYPES/announce] Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus)   Martin Steffen
• [TYPES/announce] Last CfP "Justifying (in) Math" at CADGME 2016   Walther Neuper
• [TYPES/announce] Last CFP: 6th Workshop on Cyber Physical Systems (Deadline: July 10)   M.R. Mousavi
• [TYPES/announce] Last CfP: JSC Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [TYPES/announce] Last CfP: VORTEX @ ECOOP 2016 - 1st Workshop on Runtime Verification for Object-Oriented Languages, and Systems   Davide Ancona
• [TYPES/announce] Last CfP EXPRESS/SOS 2016   Kirstin Peters
• [TYPES/announce] Last CfP POST'17 (deadline approaching: 21 October 2016)   Matteo Maffei
• [TYPES/announce] Last CfS: MT-CPS'15 - deadline extension until February 21, 2016   Nickovic Dejan
• [TYPES/announce] Last chance: verified trustworthy software systems   Gardner, Philippa A
• [TYPES/announce] Last mile :: CFP :: WRLA2016   Dorel Lucanu
• [TYPES/announce] LCC 2016 - Last Call for Abstracts   Ugo Dal Lago
• [TYPES/announce] lecturer in cyber security vacancies -- university of southampton   Vladimiro Sassone
• [TYPES/announce] LFCS 30th anniversary celebration + WadlerFest, 11-13 April 2016, Edinburgh   Don Sannella
• [TYPES/announce] LICS 2016 Call for Participation   Sam Staton
• [TYPES/announce] LICS 2016 Programme and Final Call for Participation   Sam Staton
• [TYPES/announce] LICS 2017 - CFP   Sam Staton
• [TYPES/announce] LICS 2017: Final Call for Papers   Sam Staton
• [TYPES/announce] LICS 2017 Call for Workshop Proposals   Sam Staton
• [TYPES/announce] LINEARITY'16: call for papers   Iliano Cervesato
• [TYPES/announce] LINEARITY'16: call for papers   Iliano Cervesato
• [TYPES/announce] LINEARITY'16: call for papers (deadline extended)   Iliano Cervesato
• [TYPES/announce] Linear logic 2016 (Nov 7-10): Autumn school and Workshops   Baillot Patrick
• [TYPES/announce] Logic and Computational Complexity (LCC 2016) - 1st CFP   Clément Aubert (CNRS)
• [TYPES/announce] LOLA 2016: Call for talk proposals   Jan Hoffmann
• [TYPES/announce] LOLA 2016: Final call for talk proposals   Jan Hoffmann
• [TYPES/announce] LOPSTR'16: Final Call for Papers and *Deadline Extension*   pedro.lopez
• [TYPES/announce] LOPSTR 2016: 2nd Call for Papers   pedro.lopez
• [TYPES/announce] LOPSTR 2016 Call for Papers   Manuel Hermenegildo
• [TYPES/announce] LSFA -- Deadline Extension 15/04   Vivek Nigam
• [TYPES/announce] LSFA -- Last Call for Papers   Vivek Nigam
• [TYPES/announce] LSFA 2nd CFP [New: Important Dates]   Vivek Nigam
• [TYPES/announce] LSFA Deadline Extension -- 22/04   Vivek Nigam
• [TYPES/announce] Managed Languages & Runtimes Week '16 - Call for Participation   Andrea Rosa
• [TYPES/announce] Managed Languages Conference: PPPJ 2016 Call for Papers   Andrea Rosa
• [TYPES/announce] Managed Languages Conference: PPPJ 2016 Call for Papers   Andrea Rosa
• [TYPES/announce] Managed Languages Conference: PPPJ 2016 Call for Papers   Andrea Rosa
• [TYPES/announce] Marktoberdorf Summer School: Call for Participation   Alexander Pretschner
• [TYPES/announce] Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT   Dan Licata
• [TYPES/announce] Metaprogramming Summer School --- FINAL call for applications   Ohad Kammar
• [TYPES/announce] Midlands Graduate School 2017, Leicester, UK   Roy L. Crole
• [TYPES/announce] Midlands Graduate School in Foundations of Computing Science   Paul B Levy
• [TYPES/announce] Modularity Across the System Stack (MASS'16) -- deadline approaching   Yu David Liu
• [TYPES/announce] MOOC OCAML   Michele Pagani
• [TYPES/announce] MSFP 2016: Call for Papers   Bob Atkey
• [TYPES/announce] MSFP 2016: Final Call for Papers   Bob Atkey
• [TYPES/announce] MSR PhD Scholarship, deadline Nov 1: Machine Learning and Natural Language Processing for Types in "Big Code"   Andy Gordon (RESEARCH)
• [TYPES/announce] MT-CPS Call for Abstracts (Vienna, April 11 2016)   Ichiro Hasuo
• [TYPES/announce] Multiple tenure track faculty positions-- University of Vermont   Christian Skalka
• [TYPES/announce] Natural Language and Computer Science 2016   larry moss
• [TYPES/announce] New edition of "Programming in Haskell"   Graham Hutton
• [TYPES/announce] New MSc in Logic, Semantics, and Verification of Programs   Alexandra Silva
• [TYPES/announce] NFM 2016 - Call for participation   Klaus Havelund
• [TYPES/announce] NFM 2016 - second call for papers   Klaus Havelund
• [TYPES/announce] NFM 2016 - third call for papers   Klaus Havelund
• [TYPES/announce] NFM 2017 - Call For Workshops   Rody Kersten
• [TYPES/announce] NOVA LINCS CALL FOR POST-DOCTORAL POSITIONS (@LISBON)   Luis Caires
• [TYPES/announce] NWPT'16 - first call for contributions   Jiri Srba
• [TYPES/announce] NWPT'16 - last call for contributions   Jiri Srba
• [TYPES/announce] OCL 2016: ** Deadline Extension ** Submit Your Paper Until July 24, 2016   Achim D. Brucker
• [TYPES/announce] Off the Beaten Track 2017: Call for Participation   Robert Atkey
• [TYPES/announce] Off the Beaten Track 2017: Call for Talk Proposals   Robert Atkey
• [TYPES/announce] Off the Beaten Track 2017: Final Call for Talk Proposals; deadline extended   Robert Atkey
• [TYPES/announce] One PhD or post-doctoral position at the School of Computer Science, Reykjavik University   Adrian Francalanza
• [TYPES/announce] only 5 days left - EXPRESS/SOS 2016   Kirstin Peters
• [TYPES/announce] only 5 days left - WLP 2016   Sibylle Schwarz
• [TYPES/announce] Open PhD Position in Programming Languages and Statistical Machine Learning at KTH, Sweden   David Broman
• [TYPES/announce] Open PhD positions in Computer Science and Systems Engineering at the University of Genova   Davide Ancona
• [TYPES/announce] Open positions in the Links research team   Sophie Tison
• [TYPES/announce] Open positions on secure compilation at Inria Paris funded by ERC grant   Catalin Hritcu
• [TYPES/announce] Open Postdoc Position on Higher-Order Model Checking   koba at kb.is.s.u-tokyo.ac.jp
• [TYPES/announce] OPLSS 2016   Dan Licata
• [TYPES/announce] Partial Evaluation & Program Manipulation (PEPM'17): Call for Participation   Jeremy Yallop
• [TYPES/announce] PEPM 2017 Call for Papers   Ulrik Pagh Schultz
• [TYPES/announce] PEPM 2017 Call for Poster Papers (submission deadline Tuesday 8th November)   Ulrik Pagh Schultz
• [TYPES/announce] PEPM 2017 Final Call for Papers (submission deadline extension: 30th Sep.)   Jeremy Yallop
• [TYPES/announce] Ph.D. Position in Security Modeling at IRISA in Rennes, France   Barbara Kordy
• [TYPES/announce] PhD (postdoc) position in software verification and synthesis @ MPI-SWS   Eva Darulova
• [TYPES/announce] PhD and Post-Doc positions in formal methods and security   Carlo A. Furia
• [TYPES/announce] PhD and Postdoc positions at IMDEA, Madrid   Alexey Gotsman
• [TYPES/announce] PhD fellowship at LaBRI, Bordeaux France   Sylvain Salvati
• [TYPES/announce] PhD opportunities at the Univ. of Minnesota   Gopalan Nadathur
• [TYPES/announce] PhD opportunities in programming languages, testing and verification for heterogeneous many-core systems   Alastair Donaldson
• [TYPES/announce] PhD or Postdoc in Semantics Engineering for Language Designer's Workbench at TU Delft   Eelco Visser
• [TYPES/announce] PhD position at U Tübingen   Klaus Ostermann
• [TYPES/announce] PhD position in computational music structure analysis using functional programming   Wouter Swierstra
• [TYPES/announce] PhD position in Formal Modelling and Verification for High Assurance   Roberto Guanciale
• [TYPES/announce] PhD positions, application deadline May 1, 2016   Lars Birkedal
• [TYPES/announce] PhD positions available at Stanford University   Clark Barrett
• [TYPES/announce] PhD positions from October 2016 at the University of Bath   Alessio Guglielmi
• [TYPES/announce] PhD Student Position Opening, Topic: Reactive Synthesis of Graphical User Interface Code, University of Bremen   Ruediger Ehlers
• [TYPES/announce] PhD Student Position Opening, Topic: Reactive Synthesis of Graphical User Interface Code, University of Bremen   Ruediger Ehlers
• [TYPES/announce] PhD Student positions in Cyber-physical Systems/Artificial Intelligence/Systems Biology at ANU   Sergiy Bogomolov
• [TYPES/announce] PhD Studentship at Queen Mary   Nikos Tzevelekos
• [TYPES/announce] PhD studentships at University of Kent   Radu Grigore
• [TYPES/announce] PhD Studentships in Computer Science at IMT Lucca   Mirco Tribastone
• [TYPES/announce] PhD studentships in programming languages at LFCS   James Cheney
• [TYPES/announce] PiP 2017: Principles in Practice - Call for Participation   Peter Sewell
• [TYPES/announce] PLAS 2016 - Deadline Extended to August 3rd   Toby Murray
• [TYPES/announce] PLAS 2016: Second Call for Papers   Toby Murray
• [TYPES/announce] PLAS 2016 call for participation   Deian Stefan
• [TYPES/announce] PLDI'16 Call for Student Volunteers   Manu Sridharan
• [TYPES/announce] PLDI 2016 call for participation   Manu Sridharan
• [TYPES/announce] PLDI 2017 - Call for Workshops and Tutorials   Tobias Grosser
• [TYPES/announce] PLDI 2017 call for papers   Tobias Grosser
• [TYPES/announce] PMLDC 2016 - Call for Papers   Emilio Coppa
• [TYPES/announce] POPL'17 Call for workshop and co-located event proposals   David Baelde
• [TYPES/announce] POPL'17 Call for workshop and co-located event proposals (extended deadlines)   David Baelde
• [TYPES/announce] POPL'17 first call for student volunteers   David Baelde
• [TYPES/announce] POPL'17 Student Research Competition : Call for Submissions   David Baelde
• [TYPES/announce] position in chambery   Tom Hirschowitz
• [TYPES/announce] Positions at Iowa State University: faculty and PhD students   Kristin Yvonne Rozier
• [TYPES/announce] Post-doc: applying verification techniques to consistency in planet-scale storage   Pierre-Evariste Dagand
• [TYPES/announce] Post-doc at ENS Lyon   Russ Harmer
• [TYPES/announce] Post-doc positions at ENS Lyon   Russ Harmer
• [TYPES/announce] Call for Papers - AutoProof Workshop 2016 - Toulouse area, France   Alexandr Naumchev
• [TYPES/announce] Postdoc/Research fellow position in Formal Methods and System Security, ShanghaiTech University, China   songfu at shanghaitech.edu.cn
• [TYPES/announce] Post doc at IT University of Copenhagen   Rasmus Ejlers Møgelberg
• [TYPES/announce] postdoc in formal methods for system-level security   rusu
• [TYPES/announce] Postdoc Position at IMDEA in Security/Privacy/Verification   Boris Köpf
• [TYPES/announce] Postdoc position at Imperial College London in "Reliable Many-Core Programming"   Alastair Donaldson
• [TYPES/announce] Postdoc position at INRIA   Nataliia Bielova
• [TYPES/announce] PostDoc position at ITU   Carsten Schuermann
• [TYPES/announce] PostDoc Position at IT University of Copenhagen   Carsten Schuermann
• [TYPES/announce] Postdoc position at Penn on the DeepSpec project   Benjamin C. Pierce
• [TYPES/announce] postdoc position at Wesleyan   Dan Licata
• [TYPES/announce] Postdoc position in Applied Semantics for Production Architectures   Peter Sewell
• [TYPES/announce] Postdoc Position in Distributed Systems/Verification/Coq   Ilya Sergey
• [TYPES/announce] Postdoc position in provably secure systems   Roberto Guanciale
• [TYPES/announce] postdoc position in semantics and effects   Paul B Levy
• [TYPES/announce] Postdoc position in the area of formal verification   Taolue Chen
• [TYPES/announce] postdoc position in type systems at NJIT (NYC area)   Iulian Neamtiu
• [TYPES/announce] Postdoc position in verification at IMDEA, Madrid   Alexey Gotsman
• [TYPES/announce] Postdoc position in Verification of Infinite-state Systems   Cesare Tinelli
• [TYPES/announce] Postdoc position on security protocol verification at NTU Singapore   Alwen Tiu
• [TYPES/announce] Postdoc position on security protocol verification at NTU Singapore   Alwen Tiu
• [TYPES/announce] Postdoc positions - Center for Advanced Software Analysis, Aarhus University   Anders Møller
• [TYPES/announce] Postdocs at Tulane   Mislove, Michael W
• [TYPES/announce] Postdocs at Tulane on Semantics of Quantum Programming Languages   Mislove, Michael W
• [TYPES/announce] Postdoctoral and PhD positions in LFCS on graph databases, provenance, and programming languages   James Cheney
• [TYPES/announce] postdoctoral associate position on formal verification of security, based in London   Andrei Popescu
• [TYPES/announce] Postdoctoral Fellowship in Security of Cyber-Physical Systems   Massimo Merro
• [TYPES/announce] Postdoctoral position, concurrency reasoning, Imperial College London   Gardner, Philippa A
• [TYPES/announce] Postdoctoral position in programming languages at U Tuebingen   Klaus Ostermann
• [TYPES/announce] Postdoctoral position in Security of Cyber-Physical Systems   Massimo Merro
• [TYPES/announce] Postdoctoral position in univalent foundations and type theory at the IAS   Vladimir Voevodsky
• [TYPES/announce] Postdoctoral positions at Stanford University   Clark Barrett
• [TYPES/announce] postdoctoral positions at U. Western Ontario   Dan Christensen
• [TYPES/announce] Postdoctoral Research Scholar Positions @ CMU SV Campus   Temesghen Kahsai
• [TYPES/announce] PPDP 2016 - Last Call for Papers   German Vidal
• [TYPES/announce] PPDP 2016: First Call for Papers   German Vidal
• [TYPES/announce] PPPJ 2016, Submission Deadline Extended to June 13 AoE   Andrea Rosa
• [TYPES/announce] Preliminary Call for Papers: HLDVT’16   Miroslav Velev
• [TYPES/announce] Professor in Software Technology at KTH Royal Institute of Technology   Mads Dam
• [TYPES/announce] Programme available for workshop: S-REPLS 4   Luís Pina
• [TYPES/announce] Programming in Haskell - 2nd Edition   Graham Hutton
• [TYPES/announce] ProWeb 2017: 1st International Workshop on Programming Technology for the Future Web   Anders Møller
• [TYPES/announce] QAPL 2017: second call for papers   Herbert Wiklicky
• [TYPES/announce] QPL 2016: Final call for papers   Chris Heunen
• [TYPES/announce] QPL 2016: Second call for papers   Chris Heunen
• [TYPES/announce] QPL 2016 Call for Participation   Chris Heunen
• [TYPES/announce] QPL 2016 Programme, Final call for participation   Chris Heunen
• [TYPES/announce] RC 2016: 1 week deadline extension   ivan.lanese
• [TYPES/announce] Reminder: CPSWeek student travel grants application deadline on Feb 28   Sergiy Bogomolov
• [TYPES/announce] Reminder: jobs in verified refactoring for OCaml and CakeML: deadline 13-06-2016   Simon Thompson
• [TYPES/announce] Reminder: postdoc position in semantics and effects SUNDAY DEADLINE   Paul B Levy
• [TYPES/announce] Research associate/assistant positions at the University of Cambridge Computer Laboratory   Jonathan Hayman
• [TYPES/announce] Research Associate in Mobile Malware Detection at University of Luxembourg   Olga GADYATSKAYA
• [TYPES/announce] Research Associate in Program Analysis - Ref:1535774   Harman, Mark
• [TYPES/announce] Research Fellow Positions at Birmingham and QMU London   Dan Ghica
• [TYPES/announce] Reversible Computation (RC 2016) 2nd CfP   ivan.lanese
• [TYPES/announce] RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tutorials   Yliès Falcone
• [TYPES/announce] SAC 2017 - CAS track: Submission Deadline Extended to October 7th (Friday)   Francesco Tiezzi
• [TYPES/announce] SAFE 2.0 is now available!   Sukyoung Ryu
• [TYPES/announce] SAFECOMP17 Call for Papers   Rozier, Kristin Yvonne [AER E]
• [TYPES/announce] Scala 2016 - Final Call for Papers - Deadline Extension   Sandro Stucki
• [TYPES/announce] Scala Symposium 2016 - Second Call for Papers   Sandro Stucki
• [TYPES/announce] Second and final Call for Papers: ICLA 2017 Indian Conference on Logic and Its Applications   sanjiva
• [TYPES/announce] Second call: JFP special issue on Programming Languages for Big Data   James Cheney
• [TYPES/announce] Second Call for Papers, POPL 2017, Paris, France [papers due by July 6, register by July 1]   David Baelde
• [TYPES/announce] Second call for papers: JFLA 2017   François Pottier
• [TYPES/announce] Second call for papers: PrePost (Pre- and Post-Deployment Verification Techniques)   Adrian Francalanza
• [TYPES/announce] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems   Lin, Yuhui
• [TYPES/announce] Second Call for paper WTSC 2017   Andrea Bracciali
• [TYPES/announce] Second call for tutorial proposals: FM 2016   Oleg Sokolsky
• [TYPES/announce] Second CfP: UF/HoTT Porto, 25--26 June, at FSCD 2016   Peter LeFanu Lumsdaine
• [TYPES/announce] Second CfP EXPRESS/SOS 2016   Kirstin Peters
• [TYPES/announce] Several postdoc positions at Cornell and UCL   Alexandra Silva
• [TYPES/announce] SIGPLAN Programming Languages Mentoring Workshop @ ICFP   Lindsey Kuper
• [TYPES/announce] SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16   Tijs van der Storm
• [TYPES/announce] Sixth Summer School on Formal Techniques, May 22 - 27, 2016, Atherton California   Natarajan Shankar
• [TYPES/announce] SLE 2016: Call for Participation   Andrei Chis
• [TYPES/announce] SOAP at SAC 2017, April 3-7, Marrakech, Morocco - call for papers   Massimo Bartoletti
• [TYPES/announce] SOAP at SAC 2017, April 3-7, Marrakech, Morocco - preliminary call for papers   Luís Cruz-Filipe
• [TYPES/announce] Software Foundations, version 4.0   Benjamin C. Pierce
• [TYPES/announce] SPIN 2017 - Call for papers   Klaus Havelund
• [TYPES/announce] SPLASH'16: 1st Call for Contributions to Collocated Events   Tijs van der Storm
• [TYPES/announce] SPLASH'16: 1st Call for Workshop Proposals   Tijs van der Storm
• [TYPES/announce] SPLASH'16: 2nd Combined Call for Contributions to Collocated Events   Tijs van der Storm
• [TYPES/announce] SPLASH'16: 3rd Combined Call for Contributions to Collocated Events   Tijs van der Storm
• [TYPES/announce] SPLASH'16: OOPSLA, Onward!, Workshops, DLS, SLE, GPCE   Tijs van der Storm
• [TYPES/announce] SPLASH'16 Amsterdam: Call For Participation   Tijs van der Storm
• [TYPES/announce] SPLASH'16 Amsterdam CFP: early registration ends Sept 30   Tijs van der Storm
• [TYPES/announce] SPLASH'16 Final CFP: Workshops, SPLASH-E, SRC, PLMW   Tijs van der Storm
• [TYPES/announce] SPLASH-I 2016: Call for Talk Proposals!   Tijs van der Storm
• [TYPES/announce] SPLASH 2016: Call for Sponsorships   Tijs van der Storm
• [TYPES/announce] SR 2016 - Extended Deadline and Last Call for Contributions   aniello murano
• [TYPES/announce] STOP 2016 Call For Papers   Ronald Garcia
• [TYPES/announce] Strachey 100 conference   Troy Astarte (PGR)
• [TYPES/announce] Student Travel Support for CPSWeek 2016   Sergiy Bogomolov
• [TYPES/announce] SUBMISSION DEADLINE EXTENSION - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal   alexander.perucci at graduate.univaq.it
• [TYPES/announce] Summer opportunities at the IAS   Vladimir Voevodsky
• [TYPES/announce] summer school FOSAD 2016: Foundations of Security Analysis and Design   Aldini, Alessandro
• [TYPES/announce] Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016   Jeremy Gibbons
• [TYPES/announce] SyGuS-COMP 2016: Call for Participation   Rishabh Singh
• [TYPES/announce] SyGuS-COMP 2016: Call for solvers and benchmarks submissions   Dana Fisman
• [TYPES/announce] Symposium L.E.J. Brouwer, fifty years later; December 9, Amsterdam   Klop, J.W.
• [TYPES/announce] SYNT 2016: Final CfP and deadline extension   Rayna Dimitrova
• [TYPES/announce] TABLEAUX, FroCoS, ITP - CALL FOR WORKSHOPS AND TUTORIALS   Elaine Pimentel
• [TYPES/announce] TABLEAUX, FroCoS, ITP - CALL FOR WORKSHOPS AND TUTORIALS   Elaine Pimentel
• [TYPES/announce] TABLEAUX 2017 - First Call for Papers   Elaine Pimentel
• [TYPES/announce] TAMC 2017 - Call for papers   Silvia Steila
• [TYPES/announce] TAMC 2017 - Second call for papers (Submission Deadline 31 October)   Silvia Steila
• [TYPES/announce] TAMC2017 - Submission Deadline extended to November 23   Silvia Steila
• [TYPES/announce] TAP 2016 (Tests & Proofs): Final CfP   Carlo A. Furia
• [TYPES/announce] TAP 2017: Call for Papers   Sebastian Gabmeyer
• [TYPES/announce] tenure-track and postdoctoral positions at UWO   Dan Christensen
• [TYPES/announce] Tenure-track position at Wesleyan University   Norman Danner
• [TYPES/announce] The 8th Coq Workshop - 1st CFP   Nicolas Magaud
• [TYPES/announce] The 8th Coq Workshop - 2nd CFP - deadline for submission: june 1st 2016   Nicolas Magaud
• [TYPES/announce] ThEdu at CICM'16 deadline approaching   Walther Neuper
• [TYPES/announce] ThEdu CfP "Theorem Prover Components for Educational Software"   Walther Neuper
• [TYPES/announce] The Science of Deep Specification   Andrew Appel
• [TYPES/announce] Third Nordic Logic Summer School (NLS) 2017, First Announcement   Dilian Gurov
• [TYPES/announce] Three open faculty positions (tenure-track or tenured) at MPI-SWS   Derek Dreyer
• [TYPES/announce] TODAY: LICS 2016 early registration deadline   Sam Staton
• [TYPES/announce] TOMACS special issue on FORECAST: call for papers   Michele Loreti
• [TYPES/announce] TPLP special issue on computational logic for verification   German Vidal
• [TYPES/announce] TPLP special issue on computational logic for verification   German Vidal
• [TYPES/announce] Trustworthy Refactoring project: Research Associate Positions in Refactoring Functional Programs and Formal Verification (for CakeML)   Simon Thompson
• [TYPES/announce] TTT 2017: 2nd CfP for Type Theory Based Tools @ POPL 2017   Keiko Nakata
• [TYPES/announce] TTT 2017: CfP for Type Theory Based Tools @ POPL 2017   Keiko Nakata
• [TYPES/announce] Two assistant professor faculty positions (tenure track) at UMass Lowell   Jay McCarthy
• [TYPES/announce] Two fully-funded PhD positions at Imperial College London on correct and efficient programming of concurrent and parallel systems   Alastair Donaldson
• [TYPES/announce] Two Lectureship posts in the Department of Computing at Imperial   Alastair Donaldson
• [TYPES/announce] Two PhD positions in verification at UCL   Ilya Sergey
• [TYPES/announce] two postdoc positions, reasoning about concurrency and distribution, Imperial   Gardner, Philippa A
• [TYPES/announce] Two postdoc positions at Department of Computer Science, University of Oxford   Luke Ong
• [TYPES/announce] Two postdoc positions in quantum programming languages   Peter Selinger
• [TYPES/announce] Two schools on Coq : (Nov 28, 2016) and (Jan 2017), Sophia Antipolis, France   Yves Bertot
• [TYPES/announce] TYPES 2016 2nd call for contributions   Silvia Ghilezan
• [TYPES/announce] TYPES 2016 call for participation   Silvia Ghilezan
• [TYPES/announce] TYPES 2016 extended deadline   Silvia Ghilezan
• [TYPES/announce] TYPES 2016 post-proceedings open call for papers   Silvia Ghilezan
• [TYPES/announce] Upcoming deadlines SPLASH'16 in Amsterdam: OOPSLA & Onward!   Tijs van der Storm
• [TYPES/announce] Usability of Programming Languages SIG at CHI'2016   Philip Wadler
• [TYPES/announce] Vacancies for Assistant Professors at Radboud University NL   Herman Geuvers
• [TYPES/announce] Vacancy: Postdoc Researcher Formal Verification of Safety Critical Software   Herman Geuvers
• [TYPES/announce] Vacancy: Professor Software technology at Utrecht University   Johan Jeuring
• [TYPES/announce] Verification Mentoring Workshop 2016: CALL for Applications for Student Travel Scholarships   Andrey Rybalchenko
• [TYPES/announce] Verification of randomized algorithms: open PhD/post doc position   Tobias Nipkow
• [TYPES/announce] verified trustworthy software systems   Gardner, Philippa A
• [TYPES/announce] verified trustworthy software systems: Royal Society and Imperial   Gardner, Philippa A
• [TYPES/announce] Visiting PhD Student   Harley Eades III
• [TYPES/announce] VMCAI 2017 - Paris January 15-17 - call for participation   David Monniaux
• [TYPES/announce] VPT 2017 (@ETAPS) - Call for Papers   Maurizio Proietti
• [TYPES/announce] WADT 2016 -- Extended Deadline   JAMES P. (366409)
• [TYPES/announce] Westerdijk fellowship for female assistant professor at Utrecht University   m.huisman at utwente.nl
• [TYPES/announce] WFLP 2016 - Deadline Extension   Janis Voigtlaender
• [TYPES/announce] WiL 2017: Women in Logic Workshop Call for Papers   Amy Felty
• [TYPES/announce] WLP 2016 - Final Call for Papers and deadline extension   Sibylle Schwarz
• [TYPES/announce] WoLLIC 2016 Call for Participation   Ruy de Queiroz
• [TYPES/announce] Workshop, fast abstract, posters in conjunction with IEEE PRDC 2017 in Christchurch, New Zealand   葛萌萌
• [TYPES/announce] Workshop: S-REPLS 3   Scott Owens
• [TYPES/announce] Workshop: S-REPLS 4   Luís Pina
• [TYPES/announce] Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016   Chris Kapulkin
• [TYPES/announce] Workshop on probabilistic programming semantics 2017   Chung-chieh Shan
• [TYPES/announce] Workshop on Reasoning about Declarative Programs -- Call for Participation   Nate Foster
• [TYPES/announce] WPTE 2016 (affiliated with FSCD 2016)   Janis Voigtlaender
• [TYPES/announce] WRLA 2016: call for participation   Dorel Lucanu
• [TYPES/announce] WRLA 2016: deadline extended to January 15, 2016   Dorel Lucanu
• [TYPES/announce] WST 2016 - First Call for Papers   Thiemann, Rene
• [TYPES/announce] WST 2016 - Second Call for Papers   Thiemann, Rene
• [TYPES/announce] WTCS17 first call for papers   Andrea Bracciali
• [TYPES/announce] Call for Papers: IWACO 2016   Emilio Coppa
• [TYPES/announce] Call for Papers: IWACO 2016 *****Deadline Extension - May 8th*****   Emilio Coppa

Last message date: Fri Dec 30 07:35:24 EST 2016
Archived on: Sat Dec 31 03:35:49 EST 2016

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