2017 Archives by subject

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

Starting: Sun Jan 1 16:37:43 EST 2017
Ending: Sun Dec 31 11:07:28 EST 2017
Messages: 781

• [TYPES/announce] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming   Renato Neves
• [TYPES/announce] ** Final Call ** for Midlands Graduate School 2017, Leicester, UK - Registration closes 20 Mar 2017   Roy L. Crole
• [TYPES/announce] *DEADLINE EXTENSION* Reachability Problems 2017   Matthew Hague
• [TYPES/announce] *Extended submission deadline* - 10th Conference on Intelligent Computer Mathematics - CICM 2017   Serge Autexier
• [TYPES/announce] 1-2 Ph.D positions on Combining Formal Methods and Machine Learning (U. of Oslo), 9. June 2017   Martin Steffen
• [TYPES/announce] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): first CfP   vlad
• [TYPES/announce] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): last CfP   vlad
• [TYPES/announce] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): second CfP   vlad
• [TYPES/announce] 13th Track on Dependable, Adaptive, and Trustworthy Distributed Systems (DADS) of SAC'18   ivan.lanese
• [TYPES/announce] 15 Faculty Positions at University of Melbourne   Toby Murray
• [TYPES/announce] 17th FOSAD Summer School: Foundations of Security Analysis and Design   Aldini, Alessandro
• [TYPES/announce] 1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury   Peter Achten
• [TYPES/announce] 1st CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)   publicityifl at gmail.com
• [TYPES/announce] 1st CfP: OOPS @ SAC 2018 - April 9 - 13, Pau, France   Davide Ancona
• [TYPES/announce] 1st CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering)   Andrei Chis
• [TYPES/announce] 1st CfP EXPRESS/SOS'17   Kirstin Peters
• [TYPES/announce] 24th WoLLIC 2017 - Call for Participation   Ruy de Queiroz
• [TYPES/announce] 24th WoLLIC 2017 - DEADLINE APPROACHING   Ruy de Queiroz
• [TYPES/announce] 24th WoLLIC 2017 - DEADLINE EXTENDED   Ruy de Queiroz
• [TYPES/announce] 24th WoLLIC 2017 - Second Call for Papers   Ruy de Queiroz
• [TYPES/announce] 25th WoLLIC 2018 (Bogotá, Colombia) - Call for Papers   Ruy de Queiroz
• [TYPES/announce] 2 Lecturer Positions in Model-Driven Systems Engineering   M.R. Mousavi
• [TYPES/announce] 2nd Call for Contributions and Participation: Workshop on HoTT/UF (with FSCD 2017)   Anders Mortberg
• [TYPES/announce] 2nd Call for Papers -- SETTA 2017: 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications   songfu at shanghaitech.edu.cn
• [TYPES/announce] 2nd Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017   Herman Geuvers
• [TYPES/announce] 2nd Call for Papers: Formal Techniques for Java-like Programs   Radu Grigore
• [TYPES/announce] 2nd call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury   Peter Achten
• [TYPES/announce] 2nd Call for Papers: Workshop on Logical Frameworks and Meta-Languages: Theory and Practice   Florian Rabe
• [TYPES/announce] 2nd Call for Papers DBPL 2017   Alexander Alexandrov
• [TYPES/announce] 2nd call RV2017: Runtime Verification, September 13 - 16 2017, Seattle USA   Ayoub Nouri
• [TYPES/announce] 2nd CfP - CONCUR 2017   Kirstin Peters
• [TYPES/announce] 2nd CfP: FM 2018   Einar Broch Johnsen
• [TYPES/announce] 2nd CfP: Incremental Computing 2017   Matthew Hammer
• [TYPES/announce] 2nd CfP: STRING 2017   Josh Holland
• [TYPES/announce] 2nd CFP: Workshop on Type-driven Development (TyDe '17)   Sam Lindley
• [TYPES/announce] 2nd CfP: Workshop SNR affiliated with ETAPS 2017   Sergiy Bogomolov
• [TYPES/announce] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software   m.huisman at utwente.nl
• [TYPES/announce] 2 PhD positions in Formal Methods at Swansea, UK   Markus Roggenbach
• [TYPES/announce] 2 Studentships in Swansea on Formal Modelling, Analysing and Testing of Real Time Systems   Markus Roggenbach
• [TYPES/announce] 3rd Call RV2017 (includes invited speakers): Runtime Verification, September 13 - 16 2017, Seattle USA   Ayoub Nouri
• [TYPES/announce] 3rd Int. Workshop on Meta Models for Process Languages (MeMo) 2017 (extended deadline)   Thomas Hildebrandt
• [TYPES/announce] 3 year postdoc position in Innsbruck (application deadline: 1 August 2017)   Aart Middeldorp
• [TYPES/announce] 6 Assistant professor positions at the University of Utrecht   Wouter Swierstra
• [TYPES/announce] 7th Halmstad Summer School on Testing (June 12 - June 15): Call for Participation   M.R. Mousavi
• [TYPES/announce] : Call for participation: TLLA 17, September 3, Oxford   Stefano Guerrini
• [TYPES/announce] <Programming> 2017: Call for participation   Tim Molderez
• [TYPES/announce] <Programming> 2017: Call for workshop, symposium & poster submissions   Tim Molderez
• [TYPES/announce] <Programming> 2017: Final call for workshop, symposium, demo & poster submissions   Tim Molderez
• [TYPES/announce] <Programming> 2018: 2nd Call for Papers   Sylvia Grewe
• [TYPES/announce] <Programming> 2018: Call for Papers   Sylvia Grewe
• [TYPES/announce] <Programming> 2018: Call for workshop, symposium & poster submissions   Sylvia Grewe
• [TYPES/announce] =?utf-8?Q?POPL=E2=80=9918_?=First Call for Student Volunteers   Jakub Zalewski
• [TYPES/announce] [1st CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations   Kazutaka Matsuda
• [TYPES/announce] [2nd CFP] Bx 2018: 7th International Workshop on Bidirectional Transformations   Kazutaka Matsuda
• [TYPES/announce] [2nd CfP] VECoS 2017 || August 24 - 25, 2017 - Montreal, Canada   Ayoub Nouri
• [TYPES/announce] [CFP] UNIF 2017 -- deadline extension   Adria Gascon
• [TYPES/announce] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW)   Manuel Serrano
• [TYPES/announce] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW)   Manuel Serrano
• [TYPES/announce] [CFR]: ESORICS+Workshops 2017 Registration is Open (Early-bird pricing through ***August, 15th 2017***)   Cristina Alcaraz
• [TYPES/announce] [CFR]: ESORICS+Workshops 2017 Registration is Open (Early-bird pricing through ***August, 15th 2017***)   Cristina Alcaraz
• [TYPES/announce] [CSF-attendees] DeepSpec Summer School, July 13-28, 2017 -- call for applications   Benjamin C. Pierce
• [TYPES/announce] [Deadline extended] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [TYPES/announce] [Deadline Extended] CFP SBLP 2017: 21st Brazilian Symposium on Programming Languages   Fabio Mascarenhas
• [TYPES/announce] [ESSoS'17] Call for Posters (deadline: 25th April)   Raoul Strackx
• [TYPES/announce] [ESSoS'17] International Symposium on Engineering Secure Software and Systems (*Deadline approaching: Feb 24th*)   Raoul Strackx
• [TYPES/announce] [ESSoS'17] International Symposium on Engineering Secure Software and Systems (*Deadline in 5 days*)   Raoul Strackx
• [TYPES/announce] [ESSoS'18] International Symposium on Engineering Secure Software and Systems   Raoul Strackx
• [TYPES/announce] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers   Havelund, Klaus (348B)
• [TYPES/announce] [fm-announcements] ITP 2017 - Final Call for Papers   Munoz, Cesar (LARC-D320)
• [TYPES/announce] [fm-announcements] NASA Formal Methods Symposium 2018 - CFP   Munoz, Cesar (LARC-D320)
• [TYPES/announce] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines   Munoz, Cesar (LARC-D320)
• [TYPES/announce] [fm-announcements] NFM 2018 - Final Call for Papers   Munoz, Cesar (LARC-D320)
• [TYPES/announce] [fm-announcements] RV 2017 - 2nd Call for papers and tutorials   Havelund, Klaus (348B)
• [TYPES/announce] [fm-announcements] SPIN 2017 - final call for papers, deadline Feb 10   Havelund, Klaus (348B)
• [TYPES/announce] [fm-announcements] SPIN 2017 - Paper Submission: Extended to February 17   Havelund, Klaus (348B)
• [TYPES/announce] [fm-announcements] SPIN 2017 in Santa Barbara, CA, USA - 1 month from the paper submission deadline   Havelund, Klaus (348B)
• [TYPES/announce] [iFM'17] Call for Participation for the International Conference on integrated Formal Methods 2017   Christoph Seidl
• [TYPES/announce] [iFM'17] Deadline Extension for the International Conference on integrated Formal Methods 2017   Christoph Seidl
• [TYPES/announce] [iFM'17] Final CFP for the International Conference on integrated Formal Methods 2017   Christoph Seidl
• [TYPES/announce] [Mycolleagues] RV and RV-CuBES 2017 - Call for papers and tutorials   Ayoub Nouri
• [TYPES/announce] [OOPS @ SAC 2018] Extended submission deadline: Sept. 25   Davide Ancona
• [TYPES/announce] ABZ 2018, Call for Contributions   Asieh Salehi
• [TYPES/announce] Academic position at University of Glasgow, Scotland (UK)   Simon Gay
• [TYPES/announce] Ackermann Award 2017   European Association of Computer Science Logic
• [TYPES/announce] Ackermann Award 2017   European Association of Computer Science Logic
• [TYPES/announce] ACM/SPEC ICPE'17 - Call for Participation   Andrea Rosa
• [TYPES/announce] ACM/SPEC ICPE 2018: Final Call for Contributions   wu huaming
• [TYPES/announce] ACM/SPEC ICPE 2018 Call for Contributions-Extended Deadline Oct. 25th 2017   wu huaming
• [TYPES/announce] ACM SIGPLAN Awards deadline extended to 30 January   Satnam Singh
• [TYPES/announce] ACM SIGPLAN Scala Symposium 2017: Call for Papers   Philipp Haller
• [TYPES/announce] ACM SIGPLAN Scala Symposium 2017: DEADLINE EXTENSION   Paolo Giarrusso
• [TYPES/announce] ACM SIGPLAN Scala Symposium 2017: Final Call for Papers   Paolo Giarrusso
• [TYPES/announce] ACM SIGPLAN Scala Symposium 2017: Final Call for Talk Proposals   Jonathan Brachthäuser
• [TYPES/announce] AFM 2017 call for registration   Sam Owre
• [TYPES/announce] Agda Implementors' Meeting XXVI - Budapest, 29 Jan -- 3 Feb 2018   Ambrus Kaposi
• [TYPES/announce] AITO Dahl-Nygaard Prizes 2018: Call for Nominations, deadline September 30, 2017   Davide Ancona
• [TYPES/announce] AMS Special Session on Homotopy Type Theory   Liron Cohen
• [TYPES/announce] APLAS 2017 -- Call for Posters   Xinyu Feng
• [TYPES/announce] APLAS 2017: Asian Symposium on Programming Languages and Systems, CfP, June 13 deadline   Bor-Yuh Evan Chang
• [TYPES/announce] APLAS 2017: Call for Participation   Xinyu Feng
• [TYPES/announce] APLAS 2017: Call for Participation   Xinyu Feng
• [TYPES/announce] APLAS 2017: June 13 deadline, 2nd CfP, Asian Symposium on Programming Languages and Systems   Bor-Yuh Evan Chang
• [TYPES/announce] APLAS 2017: June 13 deadline, Final CfP, Asian Symposium on Programming Languages and Systems   Bor-Yuh Evan Chang
• [TYPES/announce] APLAS 2017 Student Research Competition   Xinyu Feng
• [TYPES/announce] A Postdoc position in Imperial College London   Yoshida, Nobuko
• [TYPES/announce] ARCADE Second Call for Papers   Giles Reger
• [TYPES/announce] ARRAY'17 Workshop - extended deadline   Martin Elsman
• [TYPES/announce] Assistant/associate professor positions in Programming Languages at Aarhus University, Denmark   Anders Møller
• [TYPES/announce] Assistant and Associate Professor positions at Aarhus University, Denmark   Lars Birkedal
• [TYPES/announce] Assistant Professor (RTD-A) at IMT Lucca   Rocco De Nicola
• [TYPES/announce] Assistant Professor position at Dalhousie   Peter Selinger
• [TYPES/announce] Assistant Professor Position in the H2020 ROSIN Project   Andrzej Wasowski
• [TYPES/announce] Augusta University: Tenure Tack Position   Clément Aubert
• [TYPES/announce] Basili Postdoctoral Fellowship Program   David Van Horn
• [TYPES/announce] Birmingham Fellows: prestige posts available   Paul B Levy
• [TYPES/announce] British Logic Colloquium 2017   Bernhard Reus
• [TYPES/announce] Bucknell University: Tenure track hiring for PL   Lea Wittie
• [TYPES/announce] Call for Conference Grant Applications (Inclusiveness Target Countries)   Ambrus Kaposi
• [TYPES/announce] Call for Contributions: Workshop on HoTT/UF (with FSCD 2017)   Anders
• [TYPES/announce] Call for Inria Postdoc Applications in Formal Methods for Security   Fabrizio Biondi
• [TYPES/announce] Call for International Conference for Computational Semantics (IWCS) Workshop Proposals   Richard Moot
• [TYPES/announce] Call for Nominations - 2017 Minerva Informatics Equality Award   Inge van Halst
• [TYPES/announce] Call for Papers -- SETTA 2017: 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications   songfu at shanghaitech.edu.cn
• [TYPES/announce] CALL FOR PAPERS - ICTAC 2017   songfu at shanghaitech.edu.cn
• [TYPES/announce] Call for Papers: 3rd workshop on Design and Analysis of Robust Systems   Thomas FERRERE
• [TYPES/announce] Call for Papers: Formal Techniques for Java-like Programs   Radu Grigore
• [TYPES/announce] Call for Papers: IWACO 2017   Elias Castegren
• [TYPES/announce] Call for Papers: PACMPL issue ICFP 2018   Lindsey Kuper
• [TYPES/announce] Call for papers: QPL 2017   Aleks Kissinger
• [TYPES/announce] call for papers: quantifiers and determiners (QUAD, ESSLLI 2017 Workshop)   Christian RETORE
• [TYPES/announce] call for papers: quantifiers and determiners (QUAD, ESSLLI 2017 Workshop)   Christian RETORE
• [TYPES/announce] Call for Papers: SCAV 2018 - 2nd Workshop on Safe Control of Autonomous Vehicles   Sven Linker
• [TYPES/announce] Call for papers: Structures and Deduction 2017   Willem Heijltjes
• [TYPES/announce] Call for Papers: UNIF 2017 -- FSCD workshop   Adria Gascon
• [TYPES/announce] Call for Papers DBPL 2017   Alexander Alexandrov
• [TYPES/announce] Call for Papers Microservices 2017   Saverio Giallorenzo
• [TYPES/announce] CALL FOR PARTICIPATION -- SETTA 2017   songfu at shanghaitech.edu.cn
• [TYPES/announce] Call for participation: EUTypes Meeting Nijmegen, January 22-24, 2018   Herman Geuvers
• [TYPES/announce] Call for Participation: Facebook’s Testing and Verification Symposium (FaceTAV 2017)   O'Hearn, Peter
• [TYPES/announce] Call for Participation: Higher-Order Programming with Effects, HOPE 2017   François Pottier
• [TYPES/announce] Call for Participation: ICFP 2017   Lindsey Kuper
• [TYPES/announce] Call for Participation: LogiCS/RiSE Summer School on Logic, AI and Verification [July 3 to 5]   Jens Katelaan
• [TYPES/announce] Call for participation: PLDI 2017 and co-located events   Tobias Grosser
• [TYPES/announce] Call for Participation: QPL 2017   Aleks Kissinger
• [TYPES/announce] Call for Participation: RAMiCS, May 15-18, Lyon, France   Damien Pous
• [TYPES/announce] Call for Participation: SAS 2017   Urban Caterina
• [TYPES/announce] Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury   Peter Achten
• [TYPES/announce] Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury   Peter Achten
• [TYPES/announce] Call for participation: Trends in Functional Programming in Education 2015 (in association with TFP 2017)   Simon Thompson
• [TYPES/announce] Call for Participation: Trends in Mechanized Security Proofs, TMSP'17   Carsten Schürmann
• [TYPES/announce] Call for participation: TYPES 2017. Registration is open   Ambrus Kaposi
• [TYPES/announce] Call for Participation: Workshop on HoTT/UF (with FSCD 2017)   Anders Mortberg
• [TYPES/announce] Call for Participation and Short Contributions: DHS 2017   Uli Fahrenberg
• [TYPES/announce] call for participation at the School in Formal Methods for Cyber-Physical Systems   Pietro Sala
• [TYPES/announce] Call for Participation for Secure Compilation Workshop (PriSC @ POPL'18)   Catalin Hritcu
• [TYPES/announce] Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)   Catalin Hritcu
• [TYPES/announce] Call for Scholarship Applications: Logic Mentoring Workshop (LMW) '17   Valeria Vignudelli
• [TYPES/announce] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 29!)   Jean Yang
• [TYPES/announce] Call for Short Talks on Secure Compilation (PriSC Workshop @ POPL'18)   Catalin Hritcu
• [TYPES/announce] Call for submissions: 5th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '18)   Lindsey Kuper
• [TYPES/announce] Call for submissions: Recent Advances in Concurrency and Logic (RADICAL 2017) - co-located with CONCUR’17.   Jorge A. Perez
• [TYPES/announce] Call for Submissions to the Doctoral Programme - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: June 5th, 2017   Serge Autexier
• [TYPES/announce] Call for Workshop Proposals: ICFP 2018   Lindsey Kuper
• [TYPES/announce] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017   Serge Autexier
• [TYPES/announce] Call for Workshops - CONCUR 2017   Kirstin Peters
• [TYPES/announce] Categories Logic and Physics Scotland 20 November 2017: call for participation   Chris Heunen
• [TYPES/announce] Categories Logic and Physics Scotland 5 April 2017   Chris Heunen
• [TYPES/announce] Categories Logic and Physics Scotland 5 April 2017: call for participation   Chris Heunen
• [TYPES/announce] CAV 2017: Call for Papers   mikael.mayer at epfl.ch
• [TYPES/announce] CAV 2017: Call for participation   mikael.mayer at epfl.ch
• [TYPES/announce] CAV 2017 Award   mikael.mayer at epfl.ch
• [TYPES/announce] CFP (extension): Special Issue on Programming Language Approaches to Concurrency and Communication-cE…   Vasco T. Vasconcelos
• [TYPES/announce] CfP - Logic, Information, Language, Memory, Reasoning 2017 (LogInfoLangMR'17)   Liefke, Kristina
• [TYPES/announce] CfP - Logic, Information, Language, Memory, Reasoning 2017 (LogInfoLangMR'17) New Deadline Feb 13, 2017   Roussanka Loukanova
• [TYPES/announce] CfP: 10th Interaction and Concurrency Experience (ICE 2017)   Massimo Bartoletti
• [TYPES/announce] CfP: 10th Interaction and Concurrency Experience (ICE 2017) - Deadline extended   Massimo Bartoletti
• [TYPES/announce] CFP: 2nd Workshop on Design and Analysis of Robust Systems (DARS), co-located with CAV 2017   Roopsha Samanta
• [TYPES/announce] cfp: 2nd Workshop on Trusted Smart Contracts at Financial Cryptograpy   Andrea Bracciali
• [TYPES/announce] CfP: 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017)   Sergiy Bogomolov
• [TYPES/announce] CFP: 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC   N. Raja
• [TYPES/announce] CFP: AAAI-2018 Workshop on Declarative Learning Based Programming   Kordjamshidi, Parisa
• [TYPES/announce] CFP: AAAI-2018 Workshop on Declarative Learning Based Programming   Kordjamshidi, Parisa
• [TYPES/announce] CfP: AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)   Roussanka Loukanova
• [TYPES/announce] CfP: AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)   Roussanka Loukanova
• [TYPES/announce] CfP: DEADLINE EXTENSION for 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (ETAPS 2017)   Sergiy Bogomolov
• [TYPES/announce] CfP: DLS 2017 - 13th Dynamic Languages Symposium, co-located with SPLASH 2017, October 24, Vancouver, British Columbia, Canada   Davide Ancona
• [TYPES/announce] CFP: Encyclopedia of Proof Systems   Giselle Reis
• [TYPES/announce] CfP: FMCAD 2017 - Formal Methods in Computer Aided Design   Georg Weissenbacher
• [TYPES/announce] CFP: IJCAI-2017 Workshop on Declarative Learning Based Programming   Kordjamshidi, Parisa
• [TYPES/announce] CFP: IJCAI-2017 Workshop on Declarative Learning Based Programming   Kordjamshidi, Parisa
• [TYPES/announce] CFP: International Workshop on OCL and Textual Modeling (OCL 2017)   Achim D. Brucker
• [TYPES/announce] CfP: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017   Roussanka Loukanova
• [TYPES/announce] CfP: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017   Roussanka Loukanova
• [TYPES/announce] CfP: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017   Roussanka Loukanova
• [TYPES/announce] CfP: LACompLing2017 Extended Deadline: * June 9, 2017 *   Roussanka Loukanova
• [TYPES/announce] CfP: LACompLing2017 Extended Deadline: * May 10 (any time on Earth), 2017 *   Roussanka Loukanova
• [TYPES/announce] CFP: ML Family Workshop 2016   Sam Lindley
• [TYPES/announce] CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2018   Roussanka Loukanova
• [TYPES/announce] CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2018   Roussanka Loukanova
• [TYPES/announce] CfP: New Worlds of Computation (NWC 2017)   Apostolos Syropoulos
• [TYPES/announce] CFP: PLDI 2018   Adrian Sampson
• [TYPES/announce] CFP: Reachability Problems 2017, September 7-9, Royal Holloway, University of London   Matthew Hague
• [TYPES/announce] CFP: REBLS 2017 - 4th International Workshop on Reactive and Event-Based Languages & Systems   Guido Salvaneschi
• [TYPES/announce] CFP: S-REPLS-5 @ Oxford   Ohad Kammar
• [TYPES/announce] CfP: SEFM 2018   Einar Broch Johnsen
• [TYPES/announce] CFP: South of England Regional Programming Language Seminar, 22/09/17   Sara Kalvala
• [TYPES/announce] CFP: Special Issue of the AMAI on the Formalization of Geometry, Automated and Interactive Geometric Reasoning   Temur Kutsia
• [TYPES/announce] CFP: Special Issue on Programming Language Approaches to Concurrency and Communication-cEntric Software in JLAMP   Philipp Haller
• [TYPES/announce] CfP: STRING 2017   Josh Holland
• [TYPES/announce] CFP: Symposium on the History and Philosophy of Programming   Tomas Petricek
• [TYPES/announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [TYPES/announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [TYPES/announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [TYPES/announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [TYPES/announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [TYPES/announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)   Cristina Alcaraz
• [TYPES/announce] CFP: UNIVERSAL LOGIC Vichy, 2018 DEADLINE EXTENSION: OCT 5, 2017   N. Raja
• [TYPES/announce] CfP: VORTEX 2017 - 2nd ECOOP Workshop on Runtime Verification for Object-Oriented Languages, and Systems   Davide Ancona
• [TYPES/announce] CfP: Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)   Aleksandar Nanevski
• [TYPES/announce] CFP: Workshop on Type-driven Development (TyDe '17)   Sam Lindley
• [TYPES/announce] CFP: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation   David Sabel
• [TYPES/announce] CfP <Programming> 2018: Research Papers Third Submission Deadline   Sylvia Grewe
• [TYPES/announce] CfPart: FSEN 2017   Marjan Sirjani
• [TYPES/announce] CfP Extended Deadline: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017   Roussanka Loukanova
• [TYPES/announce] CfP FMCAD 2017 - Formal Methods in Computer Aided Design   Georg Weissenbacher
• [TYPES/announce] CfP HaPoC-4, Brno, 4-7 Octobre 2017   Simone Martini
• [TYPES/announce] CFP SBLP 2017: 21st Brazilian Symposium on Programming Languages   Fabio Mascarenhas
• [TYPES/announce] CFP Second International Workshop on Agent-based Modeling and Applications with SARL   stephane.galland at utbm.fr
• [TYPES/announce] CFP Second Tutorial on the SARL Agent Programming Language   stephane.galland at utbm.fr
• [TYPES/announce] CfP Summer School on Information Security and Protection (ISSISP), July 17-21, Gif-sur-Yvette / Paris, France   sebastien bardin
• [TYPES/announce] CfP Summer School on Satisfiability Checking and Symbolic Computation   Erika Abraham
• [TYPES/announce] CICM 2017, Doctoral Programme, Extended Submission Deadline 9. June 2017   Serge Autexier
• [TYPES/announce] CICM 2017 - Call for Participation / Posters / Work in Progress   Serge Autexier
• [TYPES/announce] CID: information on a new research project   Dieter Spreen
• [TYPES/announce] CILC 2017: call for papers---extended deadlines   Dario Della Monica
• [TYPES/announce] CILC 2017: Preliminary Call For Papers   Dario Della Monica
• [TYPES/announce] CILC 2017 call for paper: deadline approaching   Dario Della Monica
• [TYPES/announce] CMCS 2018: Final Call for Papers   Henning Basold
• [TYPES/announce] CMCS 2018 : First Call for Papers   Henning Basold
• [TYPES/announce] CMCS 2018 : First Call for Papers   Henning Basold
• [TYPES/announce] CMCS 2018: Second Call for Papers   Henning Basold
• [TYPES/announce] CMSB 2017 - 1st Call for Presentations   Jerome Feret
• [TYPES/announce] CMSB 2017 - 2nd call for submissions   Joelle Despeyroux
• [TYPES/announce] CMSB 2017 - Call for participation   Joelle Despeyroux
• [TYPES/announce] CMSB 2017 - Extended deadlines and tutorial sessions   Joelle Despeyroux
• [TYPES/announce] CMSB 2017: extended deadlines + list of tutorials   Jerome Feret
• [TYPES/announce] CoCo 2017: CFP   Takahito Aoto
• [TYPES/announce] CoCo 2017: Second Call for Provers   Nao Hirokawa
• [TYPES/announce] CoCo 2018: First Call for Provers   Takahito Aoto
• [TYPES/announce] Colocated with PLDI: Workshop on Deep Specifications in the Wild   Adam Chlipala
• [TYPES/announce] Computers special issue - Formal Integrated Development Environments - CANCELLED   dubois
• [TYPES/announce] Computers special issue - Formal Integrated Development Environments - Deadline approaching   dubois
• [TYPES/announce] CONCUR 2017 -- 2nd Call for Participation   Kirstin Peters
• [TYPES/announce] CONCUR 2017 -- First Call for Participation   Kirstin Peters
• [TYPES/announce] CONCUR 2017 - First Call for Papers   Kirstin Peters
• [TYPES/announce] Continuity, Computability, Constructivity 2017; call for submissions   Dieter Spreen
• [TYPES/announce] Continuity, Computability, Constructivity 2017; postproceedings; call for submissions   Dieter Spreen
• [TYPES/announce] Continuity, Computability, Constructivity 2017; postproceedings; second call for submissions   Dieter Spreen
• [TYPES/announce] Continuity, Computability, Constructivity 2017; second call for submission; extended deadline; please distribute   Dieter Spreen
• [TYPES/announce] COORDINATION 2017 - 2nd Announcement   Francesco Tiezzi
• [TYPES/announce] COORDINATION 2017 - Deadline Extension   Francesco Tiezzi
• [TYPES/announce] CoqPL'18: call for participations and final programme   Sergey, Ilya
• [TYPES/announce] CoqPL'18 CFP: Deadline Extended till 20 October   Sergey, Ilya
• [TYPES/announce] CoqPL 2018: Call for Presentations   Sergey, Ilya
• [TYPES/announce] Cornell, Maryland, Max Planck Pre-doctoral Research School 2017: Call for applications   Derek Dreyer
• [TYPES/announce] CPP 2018 2nd call for papers   Amy Felty
• [TYPES/announce] CPP 2018 Call for papers   Amy Felty
• [TYPES/announce] CPP 2018 Call for participation: early registration deadline December 10   Amy Felty
• [TYPES/announce] CRITIS 2017 Call for Papers   Cristina Alcaraz
• [TYPES/announce] CSF 2017: Second Call for Papers   Matteo Maffei
• [TYPES/announce] CSF 2018 Call for Papers   Maffei Matteo
• [TYPES/announce] CSL 2017: Call For Oral Presentations   Dilian Gurov
• [TYPES/announce] CSL2017: Call for Papers   European Association of Computer Science Logic
• [TYPES/announce] CSL 2017: Final Call For Papers   Dilian Gurov
• [TYPES/announce] CSL 2017: Second Call For Papers   Dilian Gurov
• [TYPES/announce] CSL 2017 Call for Participation   Dilian Gurov
• [TYPES/announce] CSL 2018 — First Call for Papers   European Association of Computer Science Logic
• [TYPES/announce] Curry On 2017 - Call for Presentations   Heather Miller
• [TYPES/announce] CVQT 19-22 March 2018: Call for participation   Chris Heunen
• [TYPES/announce] Cyphy'17 - Last Call for Papers   CyPhy Organizers
• [TYPES/announce] DaLi 17 - second call for papers   Alexandre Madeira
• [TYPES/announce] Data61 Seeking Proof Engineers   Gerwin.Klein at data61.csiro.au
• [TYPES/announce] Days in Logic 2018   Luis Pinto
• [TYPES/announce] DCM'18 First Call for Papers   Sandra Alves
• [TYPES/announce] Deadline Extended - STAF Doctoral Symposium   Barbara Koenig
• [TYPES/announce] Deadline extended for Secure Compilation workshop (PriSC @ POPL'18)   Catalin Hritcu
• [TYPES/announce] Deadline Extension! -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017   Sven Linker
• [TYPES/announce] Deadline Extension: IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2017)   M.R. Mousavi
• [TYPES/announce] Deadline Extension: International Workshop on OCL and Textual Modeling (OCL 2017)   Achim D. Brucker
• [TYPES/announce] Deadline extension: JLAMP Special Issue on Open Problems in Concurrency Theory   Pedro R. D'Argenio
• [TYPES/announce] Deadline extension: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation   David Sabel
• [TYPES/announce] DEADLINE EXTENSION for 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017)   Sergiy Bogomolov
• [TYPES/announce] DEADLINE EXTENSION for 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017)   Sergiy Bogomolov
• [TYPES/announce] Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury   Peter Achten
• [TYPES/announce] DeepSpec summer school is online!   Benjamin C. Pierce
• [TYPES/announce] DeepSpec Summer School on Verified Systems -- apply now!   Benjamin C. Pierce
• [TYPES/announce] DICE-FOPARA 2017 - Second Call for Papers   Georg Moser
• [TYPES/announce] DICE-FOPARA 2017: Call for Papers   Georg Moser
• [TYPES/announce] DICE-FOPARA 2017: Deadline Extended   Georg Moser
• [TYPES/announce] DICE 18: Call for Papers   Martin Avanzini
• [TYPES/announce] DisCoTec 2017 - 2 weeks deadline extension   Ivan Lanese
• [TYPES/announce] DisCoTec 2017 Call for Participation   Ivan Lanese
• [TYPES/announce] DisCoTec 2018 1st CfP   ivan.lanese
• [TYPES/announce] DisCoTec 2018 1st CfP   ivan.lanese
• [TYPES/announce] DisCoTec 2nd CfP   Ivan Lanese
• [TYPES/announce] DSLDI 2017: Call for Talk Proposals   Lindsey Kuper
• [TYPES/announce] DSLDI 2017: Final Call for Talk Proposals (deadline extended)   Lindsey Kuper
• [TYPES/announce] DSLDI 2017: Second Call for Talk Proposals   Lindsey Kuper
• [TYPES/announce] ECOOP/PLDI 2017 in Barcelona / Call for Student Participation   Tobias Grosser
• [TYPES/announce] ECOOP 2017 - Call for Participation   Silvia Crafa
• [TYPES/announce] ECOOP 2017 - Call for Student Participation   Silvia Crafa
• [TYPES/announce] ECOOP 2017 - Doctoral Symposium   Silvia Crafa
• [TYPES/announce] ECOOP 2017 workshops (COP / FTfJP / ICOOOLPS / IWACO / JSTools / PMLDC / VORTEX) - Joint CFP   Silvia Crafa
• [TYPES/announce] Encyclopedia of Proof Systems: Second Call for Encyclopedia Entries   Bruno Woltzenlogel Paleo
• [TYPES/announce] EPIT 2018 Software Verification Spring School, first CfP   David Baelde
• [TYPES/announce] ESORICS 2017: Call for Participation   Cristina Alcaraz
• [TYPES/announce] ESORICS 2017: Call for Participation   Cristina Alcaraz
• [TYPES/announce] ETAPS 2017 call for participation   Tarmo Uustalu
• [TYPES/announce] ETAPS 2017 early registration deadline approaching   Tarmo Uustalu
• [TYPES/announce] ETAPS 2018 2nd joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2018 call for satellite events   Tarmo Uustalu
• [TYPES/announce] ETAPS 2018 Call for Satellite Events   Ezio Bartocci
• [TYPES/announce] ETAPS 2018 final joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2018 joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2018 joint call for papers   Ezio Bartocci
• [TYPES/announce] EUTYPES summer school in Ohrid (Macedonia), call for applications   Herman Geuvers
• [TYPES/announce] EXPRESS/SOS -- Deadline Extension June 27   Kirstin Peters
• [TYPES/announce] EXPRESS/SOS 2017 - 2nd Call for Papers   Kirstin Peters
• [TYPES/announce] EXPRESS/SOS 2017 - last CfP - deadline approaching   Kirstin Peters
• [TYPES/announce] Expression of Interest for Faculty Positions in CS at GSSI - L'Aquila (IT)   Rocco De Nicola
• [TYPES/announce] Extended deadline: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)   publicityifl at gmail.com
• [TYPES/announce] Extended deadline: IWACO 2017   Elias Castegren
• [TYPES/announce] Extended Deadline: Programming Models and Languages for Distributed Computing (PMLDC 2017)   Christopher Meiklejohn
• [TYPES/announce] Extended deadline: VORTEX 2017 - 2nd ECOOP Workshop on Runtime Verification for Object-Oriented Languages, and Systems   Davide Ancona
• [TYPES/announce] Faculty position in 'Foundations of Computer Science' in School of Computing, Queen's University, Canada   Juergen Dingel
• [TYPES/announce] Faculty Position in Programming Languages   Martin Erwig
• [TYPES/announce] Feedback on new Southeast Regional PL Seminar   Harley D. Eades III
• [TYPES/announce] FEVER 2017 @ CAV - 2nd call for presentations   Nils Jansen
• [TYPES/announce] FEVER 2017 @ CAV - Call for Participation   Nils Jansen
• [TYPES/announce] FEVER 2017 @ CAV - Call for Presentations   Nils Jansen
• [TYPES/announce] FEVER 2017 @ CAV: Deadline Extension   Nils Jansen
• [TYPES/announce] FHPC'17: Extended deadline and maximum length   Jost Berthold
• [TYPES/announce] FINAL CALL: Highlights 2017 Call for Presentations   Matthew Hague
• [TYPES/announce] Final Call for Papers + Deadline extension: QPL 2017   Aleks Kissinger
• [TYPES/announce] Final Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017   Sven Linker
• [TYPES/announce] FINAL call for papers: CPP 2018   Amy Felty
• [TYPES/announce] Final Call for Papers: ICFP 2017   Lindsey Kuper
• [TYPES/announce] Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury   Peter Achten
• [TYPES/announce] Final Call for Papers: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation   David Sabel
• [TYPES/announce] Final Call for Scholarship Applications: Logic Mentoring Workshop (LMW) - LICS'17   Valeria Vignudelli
• [TYPES/announce] Final call for Secure Compilation presentations (PriSC Workshop @ POPL'18)   Catalin Hritcu
• [TYPES/announce] Final CFP: ML Family Workshop 2017   Sam Lindley
• [TYPES/announce] Final CFP: Workshop on Type-driven Development (TyDe '17)   Sam Lindley
• [TYPES/announce] First Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017   Sven Linker
• [TYPES/announce] First Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017   Serge Autexier
• [TYPES/announce] First Call for Submissions : Trends in Linear Logic and Applications (Oxford, Sept. 3, 2017)   Stefano Guerrini
• [TYPES/announce] First call for talk proposals: Higher-Order Programming with Effects, HOPE 2017   François Pottier
• [TYPES/announce] First CFP Synasc 2017, Timisoara, Romania   Isabela Dramnesc
• [TYPES/announce] First School on Foundations of Programming and Software systems -- Probabilistic programming   Renato Neves
• [TYPES/announce] First Workshop on Automated Deduction for Separation Logics (ADSL): Call for Papers   radu.iosif at univ-grenoble-alpes.fr
• [TYPES/announce] FLoC 2018 - Joint Call for Papers   Andrzej Murawski
• [TYPES/announce] FLoC 2018 - Second Joint Call for Papers   Andrzej Murawski
• [TYPES/announce] FLoC 2018 Call for Workshops   Gethin Norman
• [TYPES/announce] FLoC 2018 Second Call for Workshops   Gethin Norman
• [TYPES/announce] FLOPS2018: Final CFP + deadline extension   Martin Sulzmann
• [TYPES/announce] FLOPS2018: First CFP   Martin Sulzmann
• [TYPES/announce] FLOPS2018: Second CFP   Martin Sulzmann
• [TYPES/announce] FMCAD 2017 (Call for participation: early registration ends Sept 2)   Georg Weissenbacher
• [TYPES/announce] FMCAD 2017 Final Call for Papers - Extended Deadline   Georg Weissenbacher
• [TYPES/announce] FOCLASA 2017 - Call for Participation   foclasa2017 at gmail.com
• [TYPES/announce] FOCLASA 2017 - Final Call for Papers   foclasa2017 at gmail.com
• [TYPES/announce] FOCLASA 2017 - Final Call for Papers - Extended Deadlines   foclasa2017 at gmail.com
• [TYPES/announce] FOCLASA 2017 - First Call for Papers   Foclasa Workshop
• [TYPES/announce] FOCLASA 2017 - Second Call for Papers   foclasa2017 at gmail.com
• [TYPES/announce] FORMATS'17 Call for Participation, 5-7 September   Thao Dang
• [TYPES/announce] FORMATS 2017 - Call for Papers - Submission 21 April 2017   THAO DANG
• [TYPES/announce] FORMATS 2017 - Submission 21 April 2017   Thao Dang
• [TYPES/announce] FORTE 2017: Deadline Extension   Alexandra Silva
• [TYPES/announce] Foundations and Trends in Programming Languages: New Issue   Tanya Capawana
• [TYPES/announce] Four assistant professor faculty positions (tenure track) at UMass Lowell   Jay McCarthy
• [TYPES/announce] FroCoS 2017 - Second Call for Papers   Elaine Pimentel
• [TYPES/announce] FroCoS 2017 Deadline Extension   Elaine Pimentel
• [TYPES/announce] FSCD'17 Call for Papers   Sandra Alves
• [TYPES/announce] FSCD 2017 - Call for participation   Sandra Alves
• [TYPES/announce] FSCD 2017 - Call for participation (early registration ends soon)   Sandra Alves
• [TYPES/announce] FSCD 2017 - Last Call for Papers (ABSTRACT DEADLINE THIS WEEK)   Sandra Alves
• [TYPES/announce] FSCD 2017 - Second Call for Papers   Sandra Alves
• [TYPES/announce] FSCD 2018 First Call for Papers   Sandra Alves
• [TYPES/announce] FSCD 2018 Third Call for Papers   Sandra Alves
• [TYPES/announce] FTfJP CfP (deadline extended)   Radu Grigore
• [TYPES/announce] Full Professorship in Programming Languages at Hamburg Univ. of Technology   Sibylle Schupp
• [TYPES/announce] Fully-funded PhD on blockchain applications   Andrea Bracciali
• [TYPES/announce] Fully-funded PhD Studentships in Computer Science at IMT Lucca   Mirco Tribastone
• [TYPES/announce] Funded PhD positions at Edinburgh verifying embedded ARM security   Ian Stark
• [TYPES/announce] Funded PhD Studentship - Formal Verification of Sensor Networks at the University of Liverpool   Sven Linker
• [TYPES/announce] FW: 2 assist.prof, 2 postdoc positions at Open University of the Netherlands   Dimitrios Vytiniotis
• [TYPES/announce] FW: 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11)   Dimitrios Vytiniotis
• [TYPES/announce] Fwd: Call for Papers - Physics and Computation 2017   Mike Stannett
• [TYPES/announce] Fwd: CONCUR 2017 - Deadline approaching!   Kirstin Peters
• [TYPES/announce] Fwd: Fully-funded PhD Studentship on Blockchain Technologies   Andrea Bracciali
• [TYPES/announce] Fwd: Multiple tenure-track positions at University of Minnesota   Eric Van Wyk
• [TYPES/announce] Fwd: PxTP 2017: 2nd Call for Papers   Bruno Woltzenlogel Paleo
• [TYPES/announce] Galois is hiring!   Eddy Westbrook
• [TYPES/announce] GaLoP 2017   Marina Lenisa
• [TYPES/announce] GaLoP 2017   Marina Lenisa
• [TYPES/announce] GaLoP 2018 - First Call for Papers   Ugo Dal Lago
• [TYPES/announce] GPCE 2017 - 1st Call for Papers   Cyrus Omar
• [TYPES/announce] GPCE 2017 - 2nd Call for Papers (16th International Conference on Generative Programming: Concepts & Experiences)   Cyrus Omar
• [TYPES/announce] GraMSec 2017 - deadline extended until Sunday, May 28   Barbara Kordy
• [TYPES/announce] GraMSec 2017 - last call for participation   Barbara Kordy
• [TYPES/announce] GraMSec 2017 CALL FOR PARTICIPATION   Barbara Kordy
• [TYPES/announce] Graphical Models for Security (GraMSec 2017) - CFP   Barbara Kordy
• [TYPES/announce] Graphical Models for Security (GraMSec 2017) - CFP   Barbara Kordy
• [TYPES/announce] Graphical Models for Security (GraMSec 2017) co-located with CSF 2017   Barbara Kordy
• [TYPES/announce] Halmstad Summer School on Cyber-Physical Systems 2017   Walid Gomaa
• [TYPES/announce] Harvard tenure-track position   Stephen Chong
• [TYPES/announce] Hausdorff Trimester "Types, Sets and Constructions" (Call for participation)   Helmut Schwichtenberg
• [TYPES/announce] HDRA 2017: Call for Papers   Samuel Mimram
• [TYPES/announce] HDRA 2017: Deadline extension   Samuel Mimram
• [TYPES/announce] HIGHLIGHTS 2017 -- Call for Participation   Nikos Tzevelekos
• [TYPES/announce] HIGHLIGHTS 2017 - Call for Presentations   Nikos Tzevelekos
• [TYPES/announce] Highlights 2017 Call for Papers   Matthew Hague
• [TYPES/announce] HoTT/UF 2017: 2nd Call for Participation   Benedikt Ahrens
• [TYPES/announce] IC 2017: 1st Workshop in Incremental Computing (1st call for papers)   Matthew Hammer
• [TYPES/announce] ICCSW17 CfP   Juliana Franco
• [TYPES/announce] ICECCS 2017: Call for Papers   Guangdong Bai
• [TYPES/announce] ICFP 2017 Student Research Competition: Call for Submissions   Sergey, Ilya
• [TYPES/announce] ICGT 2017: Deadline Extension   Detlef Plump
• [TYPES/announce] ICGT 2017: Final Call for Papers   Detlef Plump
• [TYPES/announce] iFM 2018 Call for Papers   HaoWu
• [TYPES/announce] IMLA 2017 Deadline Extension   Elaine Pimentel
• [TYPES/announce] IMPACT'17 @ HiPEAC'17 - Call for participation + posters   Tobias Grosser
• [TYPES/announce] Imperial College Research Post in Approximate Computing with Application to Machine Learning   Constantinides, George A
• [TYPES/announce] Intern and post-doc openings at MSR Cambridge   Andrey Rybalchenko
• [TYPES/announce] International School on Rewriting 2017: First Call for Participation   Raamsdonk, F. van
• [TYPES/announce] International School on Rewriting 2017: Second Call for Participation   Raamsdonk, F. van
• [TYPES/announce] International Training School on Reversible Computation   ivan.lanese
• [TYPES/announce] International Training School on Reversible Computation   ivan.lanese
• [TYPES/announce] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France   Yves Bertot
• [TYPES/announce] ITP 2017 -- SECOND CALL FOR PAPERS   Elaine Pimentel
• [TYPES/announce] JFLA 2018 : dernier appel à communications et extension de deadline   Sylvie Boldo
• [TYPES/announce] JFLA 2018 : premier appel à communications   Sylvie Boldo
• [TYPES/announce] JFLA 2018 : second appel à communications   Sylvie Boldo
• [TYPES/announce] JLAMP Special Issue on Open Problems in Concurrency Theory   Pedro R. D'Argenio
• [TYPES/announce] JLAMP Special Issue on Open Problems in Concurrency Theory   Pedro R. D'Argenio
• [TYPES/announce] Job: Associate Professor/Professor of Automated Verification, with Tutorial Fellowship at St. John's College, University of Oxford   Marta Kwiatkowska
• [TYPES/announce] Job offer: close-to-industry research position   Hernan Ponce de Leon
• [TYPES/announce] Job opening at Symbiont in New York City   Pinku Surana
• [TYPES/announce] Jobs: Assoc Profs/Profs in Theoretical Computer Science / Programming Languages in Oxford   Sam Staton
• [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] Kernkonzept is hiring!   Christiane Berndt
• [TYPES/announce] KLEE Workshop on Symbolic Execution: Call for Presentations   Cristian Cadar
• [TYPES/announce] LAP 2017 - Logic and Applications: CFP   Silvia Ghilezan
• [TYPES/announce] Last call: DeepSpec Summer School, July 13-28, 2017   Benjamin C. Pierce
• [TYPES/announce] Last Call for Participation: Trends in Mechanized Security Proofs, TMSP'17   Carsten Schuermann
• [TYPES/announce] Last call for student grants -- TABLEAUX/FroCoS/ITP   Elaine Pimentel
• [TYPES/announce] Last call for talk proposals: Higher-Order Programming with Effects, HOPE 2017   François Pottier
• [TYPES/announce] LCC 2017: 2nd call for papers; 1st call for participation   Norman Danner
• [TYPES/announce] LCC 2017: Call for papers   Norman Danner
• [TYPES/announce] Learning and Automata workshop: call for participation, early reg deadline 5 May   Sam Staton
• [TYPES/announce] Lecturer/Senior Lecturer/Reader positions in Security & Privacy, Artificial Intelligence at Edinburgh   James Cheney
• [TYPES/announce] LFCS 2018 Call for Papers   Ruy de Queiroz
• [TYPES/announce] LFMTP'18 First Call for Papers   Giselle Reis
• [TYPES/announce] LFMTP 2017 - Call for papers   Marino Miculan
• [TYPES/announce] LFMTP 2017: Call for Participation   Marino Miculan
• [TYPES/announce] LICS 2017 Call for Participation: Early Registration by April 7   Sam Staton
• [TYPES/announce] LICS Early Registration deadline Tomorrow (Friday 7 April)   Sam Staton
• [TYPES/announce] Logic Colloquium 2017: 2nd Announcement and Call for Submissions and Participation   Roussanka Loukanova
• [TYPES/announce] Logic Colloquium 2017: Call for Registration and Participation   Dilian Gurov
• [TYPES/announce] Logic Colloquium 2017: Final Call for Submissions ** Deadline for abstract submissions: May 5 **   Roussanka Loukanova
• [TYPES/announce] Logic Colloquium 2017: First Announcement and Call for Submissions   Roussanka Loukanova
• [TYPES/announce] Logic Colloquium 2018 (LC18): 1st call for contributions   Dario Della Monica
• [TYPES/announce] Logic in Stockholm 2017: Call for Submissions and Participation   Roussanka Loukanova
• [TYPES/announce] Logic Postdoc at CMU   Steve Awodey
• [TYPES/announce] LOLA 2017: Call for talk proposals   Matija Pretnar
• [TYPES/announce] LOLA 2017: Final call for talk proposals   Matija Pretnar
• [TYPES/announce] LOLA 2018: First Call-for-Proposals   Ohad Kammar
• [TYPES/announce] LOPSTR 2017: 1st Call for Papers   Fabio Fioravanti
• [TYPES/announce] LOPSTR 2017: 2nd Call for Papers   Fabio Fioravanti
• [TYPES/announce] LOPSTR 2017: Final Call for Papers - DEADLINE EXTENSION   Fabio Fioravanti
• [TYPES/announce] LSFA'17: First Call for Papers   Sandra Alves
• [TYPES/announce] LSFA'17: LAST CFP and DEADLINE EXTENSION   Sandra Alves
• [TYPES/announce] LSFA'17: Second Call for Papers   Sandra Alves
• [TYPES/announce] LSFA'17: LAST CFP and DEADLINE EXTENSION   Sandra Alves
• [TYPES/announce] MACIS 2017: Deadline extension   Temur Kutsia
• [TYPES/announce] MAPL Call for Papers   Lindsey Kuper
• [TYPES/announce] Maria Christakis wins the EAPLS Best Phd Dissertation Award 2015:   Arend Rensink
• [TYPES/announce] Marktoberdorf Summer School: Call for Participation   Tobias Nipkow
• [TYPES/announce] Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT   Dan Licata
• [TYPES/announce] Metafinite 2017 - Call for Presentations   European Association of Computer Science Logic
• [TYPES/announce] Meta Models for Process Languages (MeMo), affiliated with CONCUR, Sept. 4th, Berlin, Germany   Christian Johansen
• [TYPES/announce] Meta Models for Process Languages (MeMo), affiliated with CONCUR, Sept. 4th, Berlin, Germany (!new: Keynotes added)   Christian Johansen
• [TYPES/announce] Methods and Tools for Distributed Hybrid Systems (DHS 2017)   Uli Fahrenberg
• [TYPES/announce] Methods and Tools for Distributed Hybrid Systems (DHS 2017)   Uli Fahrenberg
• [TYPES/announce] MFPS 33: first call for papers   Alexandra Silva
• [TYPES/announce] Midlands Graduate School 2017, Leicester, UK - Registration now open   Roy L. Crole
• [TYPES/announce] Mozilla Research Grants 2017H2 Announcement   Lars Bergstrom
• [TYPES/announce] MSE at SEFM 2017 - Deadline Extended to 22.6.2017   Manuel Mazzara
• [TYPES/announce] MSE at SEFM 2017 - Workshop Call for Papers   Manuel Mazzara
• [TYPES/announce] MT-CPS'17: 2nd International Workshop on Monitoring and Testing of Cyber-Physical Systems   Ayoub Nouri
• [TYPES/announce] Multiple Research Positions, ERC MATHADOR Project, IMDEA, Software Institute, Madrid, Spain   Aleksandar Nanevski
• [TYPES/announce] NetPL '18: Call for Participation   Nate Foster
• [TYPES/announce] new moderator: Gabriel Scherer   Dimitrios Vytiniotis
• [TYPES/announce] NFM 2017 - 2nd Call For Participation   Rody Kersten
• [TYPES/announce] NFM 2017 - Call For Participation   Rody Kersten
• [TYPES/announce] NLS 2017: Third Nordic Logic Summer School (NLS) 2017: Call for Participation and Registration   Roussanka Loukanova
• [TYPES/announce] Nominations for ACM SIGPLAN Awards due by 5 January 2018   Satnam Singh
• [TYPES/announce] Nordic Conference on Secure IT Systems (NordSec 2017)   Musard Balliu
• [TYPES/announce] OCaml jobs at genomics company in New York City   Ashish Agarwal
• [TYPES/announce] Off the Beaten Track 2018: Call for Talk Proposals   Michael Greenberg
• [TYPES/announce] one year fellowship in Padova on "Homotopy type theoretic aspects within MF"   Maria Emilia Maietti
• [TYPES/announce] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations   Anders Mortberg
• [TYPES/announce] Open faculty position @ Lisbon, Portugal   Viktor Vafeiadis
• [TYPES/announce] Open Faculty Positions at the IT University of Copenhagen   Carsten Schuermann
• [TYPES/announce] Open position: Professorship of COMPUTER AIDED VERIFICATION at TU Wien (successor of Helmut Veith)   Maffei Matteo
• [TYPES/announce] open position in CS at uOttawa   Amy Felty
• [TYPES/announce] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems   Ichiro Hasuo
• [TYPES/announce] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems   Ichiro Hasuo
• [TYPES/announce] Open postdoc position: "Specification and Verification of Quantum Programming Languages" at CEA and Uni. Paris Sud, France   Valentin PERRELLE
• [TYPES/announce] Open Postdoc Position on Higher-Order Model Checking   koba at kb.is.s.u-tokyo.ac.jp
• [TYPES/announce] OPLSS: register by April 15th   Amal Ahmed
• [TYPES/announce] Oregon PL Summer School 2017: call for participation   Amal Ahmed
• [TYPES/announce] Oregon PL Summer School 2017: register by April 1   Amal Ahmed
• [TYPES/announce] PAPP at SAC 2018 Call for Papers - April 9-13, Pau, France   Frederic Loulergue
• [TYPES/announce] PEPM 2018 Call for Papers   PEPM Workshop
• [TYPES/announce] PEPM 2018 Call for Poster/Demo Abstracts and Participation   PEPM Workshop
• [TYPES/announce] PEPM 2018 Final Call for Papers   PEPM Workshop
• [TYPES/announce] PEPM 2018 Final Call for Poster/Demo Abstracts and Participation   PEPM Workshop
• [TYPES/announce] PhD/PostDoc position at INRIA and UGA   Pierre Geneves
• [TYPES/announce] Phd/PostDoc position at University of Freiburg   Peter Thiemann
• [TYPES/announce] PhD and Postdoc Position in Monad-Based Programming and Verification at FAU   Lutz Schröder
• [TYPES/announce] PhD and Postdoc positions in Innsbruck   Cezary Kaliszyk
• [TYPES/announce] PhD and Postdoc positions in Software Technology at Lund University   Christoph Reichenbach
• [TYPES/announce] PhD on Lambda-Calculus, in Paris   Beniamino Accattoli
• [TYPES/announce] PhD position @ Aalborg University: Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems (Ulrik Nyman)   Ulrik Nyman
• [TYPES/announce] PhD position @ Aalborg University: Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems (Ulrik Nyman)   Ulrik Nyman
• [TYPES/announce] PhD position at Chalmers | University of Gothenburg, Sweden   Thorsten Berger
• [TYPES/announce] PhD Position at U Tuebingen, Germany   Klaus Ostermann
• [TYPES/announce] PhD position in Groningen on concurrency theory / semantics / process calculi   Jorge A. Perez
• [TYPES/announce] PhD position on Security and Privacy of Location-Based Services at at Chalmers   Andrei Sabelfeld
• [TYPES/announce] PhD positions at CMU   Steve Awodey
• [TYPES/announce] PhD Positions at Inria Grenoble, France   Pierre Geneves
• [TYPES/announce] PhD positions at Nottingham   Thorsten Altenkirch
• [TYPES/announce] PhD positions at Penn in PL and Formal Methods   Benjamin C. Pierce
• [TYPES/announce] PhD positions available at TIB Hannover   Kasprzik, Anna
• [TYPES/announce] PhD positions in Bergen (deadline Aug 10th, 2017)   Anya Helene Bagge
• [TYPES/announce] PhD student position on agent-based modeling of drones in France   Stéphane Galland
• [TYPES/announce] PhD Studentship in Software Engineering/Programming Languages in New York City   Raffi T Khatchadourian
• [TYPES/announce] PhD studentships at the University of Leicester   Alexander Kurz
• [TYPES/announce] PhD studentships in computing at Imperial College London   Casale, Giuliano
• [TYPES/announce] PLACES 2017 – Deadline Extension   Philipp Haller
• [TYPES/announce] PLAS 2017 - Deadline Extension 4 August 2017   Nataliia Bielova
• [TYPES/announce] PLAS 2017: Call for Papers   Nataliia Bielova
• [TYPES/announce] PLAS 2017 Call for Papers   Nataliia Bielova
• [TYPES/announce] PLAS 2017 Call for Participation   Gaboardi, Marco
• [TYPES/announce] PLDI ACM Student Research Competition (SRC)   Tobias Grosser
• [TYPES/announce] PLDI and PACMPL   Philip Wadler
• [TYPES/announce] PLDI workshop and proposal deadline   Tobias Grosser
• [TYPES/announce] PLMW at ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)   Neel Krishnaswami
• [TYPES/announce] PMLDC 2017 - 1st Call for Papers   Christopher Meiklejohn
• [TYPES/announce] POPL 2018 - call for Workshops and co-located Events   Gaboardi, Marco
• [TYPES/announce] POPL 2018 ACM Student Research Competition (SRC)   Delaware, Benjamin J
• [TYPES/announce] POPL 2018 call for tutorials   Gaboardi, Marco
• [TYPES/announce] Positions in Swansea with opportunities in types, semantics, programming languages, verification, logic.   Markus Roggenbach
• [TYPES/announce] Post-Doc and Student Positions / Bar-Ilan University, Israel   Kugler Hillel
• [TYPES/announce] Post-Doc at IT University of Copenhagen/DemTech   Carsten Schuermann
• [TYPES/announce] Post-Doc position within the ANR-FWF project "TICAMORE"   Didier Galmiche
• [TYPES/announce] POST 2018 -- Call for Papers   Lujo Bauer
• [TYPES/announce] POST 2018 -- final call for papers   Lujo Bauer
• [TYPES/announce] Postdoc (PhD) position @ MPI-SWS in software verification and approximate computing   Eva Darulova
• [TYPES/announce] Postdoc/PhD Opportunity at the University of California, Irvine   Ayoub Nouri
• [TYPES/announce] Postdoc and PhD positions at IMDEA, Madrid   Alexey Gotsman
• [TYPES/announce] Postdoc in program semantics at Appalachian State University   Patricia Johann
• [TYPES/announce] Postdoc in SDN verification and security at Edinburgh   David Aspinall
• [TYPES/announce] Postdoc in Semantics and Tools for Functional Quantum Programming Languages   Mislove, Michael W
• [TYPES/announce] Post Doc in weak memory at the University of Kent   Scott Owens
• [TYPES/announce] Postdoc opening on weak memory concurrency at MPI-SWS   Viktor Vafeiadis
• [TYPES/announce] Postdoc opportunity at Carnegie Mellon University   Jean Yang
• [TYPES/announce] postdoc position (5 years) in Innsbruck   Aart Middeldorp
• [TYPES/announce] Postdoc Position at DePaul University   James Riely
• [TYPES/announce] Postdoc position at IT University of Copenhagen   Rasmus Ejlers Møgelberg
• [TYPES/announce] Postdoc position at MPI-SWS, Kaiserslautern, Germany   Maria Christakis
• [TYPES/announce] Postdoc Position at Queen Mary   Nikos Tzevelekos
• [TYPES/announce] Postdoc position at the Pennsylvania State University   Gang Gary Tan
• [TYPES/announce] Postdoc position at the University of Lisbon   Vasco T. Vasconcelos
• [TYPES/announce] Postdoc position at the University of Lisbon   Vasco T. Vasconcelos
• [TYPES/announce] Postdoc position at the University of Lisbon (2nd call)   vv at di
• [TYPES/announce] Postdoc position in Applied Semantics for Production Architectures   Peter Sewell
• [TYPES/announce] Postdoc Position in Program Verification at Carnegie Mellon University, Silicon Valley   Pasareanu, S Corina (ARC-TI)[SGT, INC]
• [TYPES/announce] Postdoc position in proof theory in Paris   lutz at lix.polytechnique.fr
• [TYPES/announce] Postdoc Positions at The University of Pennsylvania   Steve Zdancewic
• [TYPES/announce] Postdoc positions available for ERC "RustBelt" project on foundations of Rust   Derek Dreyer
• [TYPES/announce] Postdoctoral or PhD Position in Disciplined Approximate Arithmetic   Constantinides, George A
• [TYPES/announce] Postdoctoral Position   Mislove, Michael W
• [TYPES/announce] Postdoctoral Position - Error in Embedded Link   Mislove, Michael W
• [TYPES/announce] postdoctoral position at Wesleyan University   Dan Licata
• [TYPES/announce] Postdoctoral position at Wesleyan University   Norman Danner
• [TYPES/announce] Postdoctoral Position Closing   Mislove, Michael W
• [TYPES/announce] Postdoctoral position in formal methods + machine learning   Swarat Chaudhuri
• [TYPES/announce] Postdoctoral Position in Program Analysis at the University of Colorado Boulder   Pavol Cerny
• [TYPES/announce] Postdoctoral position in Security Static Analysis for IoT languages and their applications   Massimo Merro
• [TYPES/announce] Postdoctoral position on effects and/or type theory at Inria in Nantes   Guillaume Munch-Maccagnoni
• [TYPES/announce] Postdoctoral position on graph data mining and anomaly detection   James Cheney
• [TYPES/announce] Postdoctoral position on statistical program analysis and synthesis at Rice University   Swarat Chaudhuri
• [TYPES/announce] Postdoctoral positions in automated reasoning at Stanford University   Clark Barrett
• [TYPES/announce] Postdoctoral Researcher and (Senior) Research Associate/Scientist Positions at Penn State University   Dinghao Wu
• [TYPES/announce] Postdoctoral Researcher and (Senior) Research Associate/Scientist Positions at Penn State University (updated)   Dinghao Wu
• [TYPES/announce] Postdoctoral Research Position at UCLA   Miryung Kim
• [TYPES/announce] Postdoctoral Research Position in Theorem Proving at University of Manchester, UK   Giles Reger
• [TYPES/announce] PPAML Summer School: July 24 - August 4   Eddy Westbrook
• [TYPES/announce] PPDP 2017: ** REVISED PAPER DEADLINE 26 May **   Brigitte Pientka
• [TYPES/announce] PPDP 2017: Call For Papers   Brigitte Pientka
• [TYPES/announce] PPDP 2017: Call For Papers (Abstract 12 May / Paper 19 May)   Brigitte Pientka
• [TYPES/announce] PPDP and LOPSTR 2017 Call for Participation   Wim Vanhoof
• [TYPES/announce] PPS 2018: Workshop on Probabilistic Programming Languages, Semantics, and Systems 2018   Cameron Freer
• [TYPES/announce] PPS 2018: Workshop on Probabilistic Programming Languages, Semantics, and Systems 2018   Andy Gordon (RESEARCH)
• [TYPES/announce] PrePost 2017 CFP   Adrian Francalanza
• [TYPES/announce] PrePost 2017 Second CFP (announcing a journal special issue)   Adrian Francalanza
• [TYPES/announce] Professor of Cyber Security at Kent   Simon Thompson
• [TYPES/announce] Programming Language Implementation Summer School (PLISS)   Laurence Tratt
• [TYPES/announce] Program Semantics, Specification and Verification PSSV-2017: new dates and venue.   Shilov Nikolay
• [TYPES/announce] PxTP 2017: Call for Papers   Bruno Woltzenlogel Paleo
• [TYPES/announce] PxTP: Third Call for Papers (New Deadline: 26th of June)   Bruno Woltzenlogel Paleo
• [TYPES/announce] QAPL'17 - Extended Deadline (Regular Papers) & Call for Presentations   herbert at doc.ic.ac.uk
• [TYPES/announce] QEST'17: Deadline Extension, Abstract - (3 April 2017), (Paper - 9 April 2017, AOE)   Ezio Bartocci
• [TYPES/announce] QEST 2017 - Call for papers for the 14th International Conference on Quantitative Evaluation of Systems   Ezio Bartocci
• [TYPES/announce] QEST 2017 - Call for papers for the 14th International Conference on Quantitative Evaluation of Systems   Ezio Bartocci
• [TYPES/announce] QEST 2017: Call for Participation   Ezio Bartocci
• [TYPES/announce] QEST 2017: Call for Student Papers   Ezio Bartocci
• [TYPES/announce] Quantifiers and Determiners : two days left   Christian RETORE
• [TYPES/announce] Racket summer school [second and last call]   Matthias Felleisen
• [TYPES/announce] RADICAL 2017 -- Deadline Extension (July 7).   Jorge A. Perez
• [TYPES/announce] RADICAL at CONCUR'17: Recent Advances in Concurrency and Logic - 3rd Call for Submissions.   Jorge A. Perez
• [TYPES/announce] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science   Walter Guttmann
• [TYPES/announce] RC 2017 Call For Papers :: Deadline Extended   Iain Phillips
• [TYPES/announce] Reachability Problems 2017 -- Call for Presentations   Matthew Hague
• [TYPES/announce] Recent Advances in Concurrency and Logic (RADICAL 2017) -- 2nd Call for Submissions.   Jorge A. Perez
• [TYPES/announce] Release 0.6.0 of the SARL agent-programming language   stephane.galland at utbm.fr
• [TYPES/announce] RERS: 7th International Challenge on the Rigorous Examination of Reactive Systems   Klaus Havelund
• [TYPES/announce] Research (postdoc or graduate) position in Program Verification and Security   Toby Murray
• [TYPES/announce] Researcher Positions in HoTT   Steve Awodey
• [TYPES/announce] Research officer in theoretical foundations of cyber security at Swansea University   Markus Roggenbach
• [TYPES/announce] Research position in formal methods for intelligent cars   Eunsuk Kang
• [TYPES/announce] Research Positions at Galois   Eddy Westbrook
• [TYPES/announce] RV'17 - First call for papers and tutorials   Klaus Havelund
• [TYPES/announce] RV-CuBES Deadline Extension   Klaus Havelund
• [TYPES/announce] RV 2017 - 1st Call for Participation   Ayoub Nouri
• [TYPES/announce] RV 2017 - 2nd Call for papers and tutorials   Klaus Havelund
• [TYPES/announce] RV 2017 - 2nd Call for Participation   Ayoub Nouri
• [TYPES/announce] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions   Klaus Havelund
• [TYPES/announce] RV 2017 - Deadline Extension: full submissions May 8   Klaus Havelund
• [TYPES/announce] RV 2017 - Last Call for Participation   Ayoub Nouri
• [TYPES/announce] [Mycolleagues] RV and RV-CuBES 2017 - Call for papers and tutorials   Ayoub Nouri
• [TYPES/announce] RV and RV-CuBES 2017 - Call for papers and tutorials   Klaus Havelund
• [TYPES/announce] S&ReHIS 2017 Submission Extended (Firm) - 1 day to go   Kashif Akhtar Saleem
• [TYPES/announce] S-REPLS 8: Call for talks   Laurence Tratt
• [TYPES/announce] S-REPLS 8: Programme now available   Laurence Tratt
• [TYPES/announce] SAC-SVT 2018: Call for Papers   Yliès Falcone
• [TYPES/announce] SAS 2017 - Call for Papers   Urban Caterina
• [TYPES/announce] SAS 2017 - First Call For Papers   Urban Caterina
• [TYPES/announce] SAS 2017 CFP: Extended Submission Deadline   Urban Caterina
• [TYPES/announce] SASB 2017 Call for Papers   Jean Yang
• [TYPES/announce] SASB 2017 deadline extended!   Jean Yang
• [TYPES/announce] Scala Symposium 2017 - Call for Papers   Jonathan Brachthäuser
• [TYPES/announce] School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK)   Benedikt Ahrens
• [TYPES/announce] SD '17 CfPart: Structures & Deduction, Oxford 8-9 Sep. (early reg: 6 Aug)   Anupam Das
• [TYPES/announce] SD 2017 Final CfP: Structures & Deduction, Oxford 8-9 Sep. (deadline 16 jun)   Anupam Das
• [TYPES/announce] Second announcement of an online book on program proof in Coq   Adam Chlipala
• [TYPES/announce] SECOND CALL - PHYSICS & COMPUTATION 2017   Mike Stannett
• [TYPES/announce] Second Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017   Sven Linker
• [TYPES/announce] Second Call for Papers: ICFP 2017   Lindsey Kuper
• [TYPES/announce] Second call for papers: QPL 2017   Aleks Kissinger
• [TYPES/announce] Second call for talk proposals: Higher-Order Programming with Effects, HOPE 2017   François Pottier
• [TYPES/announce] Second CfP: GCM - Graph Computation Models 2017   Detlef Plump
• [TYPES/announce] Second CfP: MACIS 2017   Temur Kutsia
• [TYPES/announce] Second CFP: ML Family Workshop 2017   Sam Lindley
• [TYPES/announce] Second CFP: Symposium on the History and Philosophy of Programming   Tomas Petricek
• [TYPES/announce] seeking a lecturer for 8hs on proof-assistants in PD   Maria Emilia Maietti
• [TYPES/announce] SETTA 2017 Call for Papers (The Fourth Round) -- Deadline Extension   songfu at shanghaitech.edu.cn
• [TYPES/announce] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton   Sam Owre
• [TYPES/announce] Seventh Summer School on Formal Techniques, May 21 - May 26, 2017, Atherton, California   Natarajan Shankar
• [TYPES/announce] Several positions (PhD/PostDoc) on security and formal modelling and/or programming for IoT and/or CPS in Oslo.   Christian Johansen
• [TYPES/announce] Shonan school on "Semantics of Effects, Resources, and Applications" (May 2017)   Shinya Katsumata
• [TYPES/announce] Shonan school on "Semantics of Effects, Resources, and Applications" (May 2017)   sinya at kurims.kyoto-u.ac.jp
• [TYPES/announce] Short term placements at Imperial College   Constantinides, George A
• [TYPES/announce] SNR'17 @ ETAPS -- Call for participation   Sergiy Bogomolov
• [TYPES/announce] SOAP at SAC 2017, April 9-13, Pau, France - call for papers   sac.soap2018 at gmail.com
• [TYPES/announce] SOAP at SAC 2017, April 9-13, Pau, France - second call for papers   sac.soap2018 at gmail.com
• [TYPES/announce] SOAP at SAC 2018, April 9-13, Pau, France - (EXTENDED DEADLINE) final call for papers   sac.soap2018 at gmail.com
• [TYPES/announce] Special Issue of MSCS---Call for Papers   Gopalan Nadathur
• [TYPES/announce] Special Issue of MSCS---Deadline Extension   Gopalan Nadathur
• [TYPES/announce] SPLASH 2017: 1st Call for Participation   SPLASH Publicity
• [TYPES/announce] SPLASH 2017: 1st Combined Call for Contributions   SPLASH Publicity
• [TYPES/announce] SPLASH 2017: 1st Combined Call for Workshop Contributions   SPLASH Publicity
• [TYPES/announce] SPLASH 2017: 2nd Combined Call for Contributions   SPLASH Publicity
• [TYPES/announce] SPLASH 2017: 3rd Combined Call for Contributions   SPLASH Publicity
• [TYPES/announce] SPLASH 2017: Final Call for Participation   SPLASH Publicity
• [TYPES/announce] SPLASH’17 Call for Contributions: Workshops   Ronald Garcia
• [TYPES/announce] SR 2017 - EXTENDED DEADLINE for expository and novel-research + INVITED SPEAKERS   aniello murano
• [TYPES/announce] SR 2017 - Preliminary Call for Papers   Nello Murano
• [TYPES/announce] STAF Doctoral Symposium 2017 - Call for Papers   Barbara Koenig
• [TYPES/announce] STAF Doctoral Symposium 2017 - Call for Papers   Barbara Koenig
• [TYPES/announce] subject reduction   Peter Selinger
• [TYPES/announce] subject reduction   Gabriel Scherer
• [TYPES/announce] Summer School on Satisfiability Checking and Symbolic Computation   Pascal Fontaine
• [TYPES/announce] SyGuS-COMP 2017 Call for Solvers and Benchmarks Submission   Dana Fisman
• [TYPES/announce] SYNT 2017: Call for Papers   Dana Fisman
• [TYPES/announce] SYSMICS 2 Workshop: Substructural logics and applications, Vienna (Austria), 26-28 Feb 2018   Federico Aschieri
• [TYPES/announce] TABLEAUX/FroCoS/ITP 2017 -- 2nd. call for posters   Elaine Pimentel
• [TYPES/announce] TABLEAUX/FroCoS/ITP 2017 -- Call for posters   Elaine Pimentel
• [TYPES/announce] TABLEAUX/FroCoS/ITP 2017 -- Call for posters (deadline extended)   Elaine Pimentel
• [TYPES/announce] TABLEAUX/FroCoS/ITP: call for grants   Elaine Pimentel
• [TYPES/announce] TABLEAUX 2017 - Final Call for Papers   Elaine Pimentel
• [TYPES/announce] TABLEAUX 2017 - Second Call for Papers   Elaine Pimentel
• [TYPES/announce] TABLEAUX 2017 DEADLINE EXTENSION   Elaine Pimentel
• [TYPES/announce] TABLEAUX 2017 DEADLINE REMINDER   Elaine Pimentel
• [TYPES/announce] TAP 2017: Deadline Extension   Sebastian Gabmeyer
• [TYPES/announce] TAP 2017: Final Call for Papers   Sebastian Gabmeyer
• [TYPES/announce] TAP 2018 - First CFP   dubois
• [TYPES/announce] TAPAS 2017: Call for Abstracts   Thomas Wies
• [TYPES/announce] TAPAS 2017: Call for Abstracts   Thomas Wies
• [TYPES/announce] TaPP 2017 - Call for Papers   James Cheney
• [TYPES/announce] TaPP 2017 call for participation   James Cheney
• [TYPES/announce] TASE 2018 -- 1st Call for Papers   Jun PANG
• [TYPES/announce] TbILLC 2017: 1st Call for Papers   Alexandra Silva
• [TYPES/announce] Tenure-track assistant professorship at Wesleyan University   Norman Danner
• [TYPES/announce] Tenure-track assistant professorship in Cybersecurity at IMT Lucca - Deadline July 27th, 2017   Mirco Tribastone
• [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute   Manuel Hermenegildo
• [TYPES/announce] Tenure-track opening in computer science at Pomona College   Michael Greenberg
• [TYPES/announce] Tenure-track openings at Max Planck Institute for Software Systems (MPI-SWS)   Eva Darulova
• [TYPES/announce] Tenure-track openings at Max Planck Institute for Software Systems (MPI-SWS)   Derek Dreyer
• [TYPES/announce] Tenure-track position at University of Vermont   Christian Skalka
• [TYPES/announce] Tenure-track Professorship for Female Researchers at TU Wien   Maffei Matteo
• [TYPES/announce] Tenure-Track Research and Teaching Positions at University of British Columbia, Vancouver, Canada   Ronald Garcia
• [TYPES/announce] TFPIE - Trends in Functional Programming in Education 2017 - Deadline extended to 17 May   Simon Thompson
• [TYPES/announce] TFPIF 2017 - Trends in Functional Programming in Education - second call for papers   Simon Thompson
• [TYPES/announce] The 2018 Federated Logic Conference (FLoC 2018) - First Announcement   Andrzej Murawski
• [TYPES/announce] The 2018 Federated Logic Conference - Workshop Announcement   Andrzej Murawski
• [TYPES/announce] The Correctness-by-Construction Approach to Programming — Tutorial at QRS 2017   Ina Schaefer
• [TYPES/announce] ThEdu'17: 2nd Call for Extended Abstracts & Demonstrations   Achim D. Brucker
• [TYPES/announce] ThEdu'17: Call for Extended Abstracts & Demonstrations   Achim D. Brucker
• [TYPES/announce] ThEdu'17 Post-Proceedings: Call for Papers   Achim D. Brucker
• [TYPES/announce] Theory and Practice of Differential Privacy (TPDP): Deadline Extension   Justin Hsu
• [TYPES/announce] The Racket Summer School of Semantics and Languages   Matthias Felleisen
• [TYPES/announce] the Racket summer school of semantics and languages   Matthias Felleisen
• [TYPES/announce] Third Nordic Logic Summer School (NLS) 2017: Second announcement and call for papers   Roussanka Loukanova
• [TYPES/announce] Three PhD positions in Security and Privacy   Rolando TRUJILLO RASUA
• [TYPES/announce] Three PhD positions in Security and Privacy at the University of Luxembourg   Rolando TRUJILLO RASUA
• [TYPES/announce] Trends in Functional Programming in Education ITFPIE) 2017, call for papers   Simon Thompson
• [TYPES/announce] TTCS 2017: Last CFP (Abstract Deadline: May 15, Paper Deadline: May 19)   M.R. Mousavi
• [TYPES/announce] TTCS 2017 First CFP: Deadline May 1   M.R. Mousavi
• [TYPES/announce] Twenty Years of Deep Inference workshop: first CfP   Andrea Aler Tubella
• [TYPES/announce] Two PhD positions in Ljubljana starting October 2017   Matija Pretnar
• [TYPES/announce] Two positions at the University of Edinburgh   Philip Wadler
• [TYPES/announce] Two postdocs at Imperial, with Cristian Cadar and Alastair Donaldson, on "Automatically Detecting and Surviving Exploitable Compiler Bugs"   Alastair Donaldson
• [TYPES/announce] Two year postdoc at Imperial, with Ben Livshits and Alastair Donaldson, on automated browser testing   Alastair Donaldson
• [TYPES/announce] Types-announce mailing list submission: ESSLLI student session CFP   Marie Farrell
• [TYPES/announce] TYPES 2017 2nd call for contributions   Ambrus Kaposi
• [TYPES/announce] TYPES 2017 call for contributions   Ambrus Kaposi
• [TYPES/announce] TYPES 2017 post-proceedings call for papers   Ambrus Kaposi
• [TYPES/announce] TYPES 2017 post-proceedings DEADLINE EXTENDED   Ambrus Kaposi
• [TYPES/announce] TYPES 2017 post-proceedings open call for papers   Ambrus Kaposi
• [TYPES/announce] TYPES 2017 post-proceedings open call for papers   Ambrus Kaposi
• [TYPES/announce] TYPES 2017 submission deadline extended   Ambrus Kaposi
• [TYPES/announce] TYPES 2018: announcement and first call for contributions   José Carlos Espírito Santo
• [TYPES/announce] Types and Logic in Torino   Luca Padovani
• [TYPES/announce] UNIF 2018 - first CFPs   Mauricio Ayala-Rincon
• [TYPES/announce] Updated CfP: STRING 2017   Josh Holland
• [TYPES/announce] Vienna Research Groups for Young Investigators - Call for Applications   Georg Weissenbacher
• [TYPES/announce] VPT 2017 @ETAPS - Extended Deadlines   Maurizio Proietti
• [TYPES/announce] VSTTE 2017 - Deadline Extension   Andrei Paskevich
• [TYPES/announce] VSTTE 2017 - First Call for Papers   Andrei Paskevich
• [TYPES/announce] VSTTE 2017 - Second Call for Papers   Andrei Paskevich
• [TYPES/announce] WiL 2017: Women in Logic Workshop Second Call for Papers (new dates)   Amy Felty
• [TYPES/announce] WiL 2018: 2nd Women in Logic Workshop Call for Papers   Amy Felty
• [TYPES/announce] Workshop / summer school on coinduction in type theory, July 2017   Tom Hirschowitz
• [TYPES/announce] Workshop DaLí   Alexandre Madeira
• [TYPES/announce] Workshop DaLí === New deadline ====   Alexandre Madeira
• [TYPES/announce] Workshop on Coinduction in Type Theory in Chambery   Tom.Hirschowitz at univ-savoie.fr
• [TYPES/announce] Workshop on Foundations of Computer Security (FCS 2017)   Aslan Askarov
• [TYPES/announce] Workshop on Termination and Circular Proofs (19/07/2017 - Chambéry, France)   Rodolphe Lepigre

Last message date: Sun Dec 31 11:07:28 EST 2017
Archived on: Mon Jan 1 10:42:56 EST 2018

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