types-announce

Messages by Date

2024/01/09 [TYPES/announce] 2nd Call for Participation: BOB 2024 (Berlin, Mar 15, Early Bird until Jan 30) Michael Sperber
2024/01/06 [TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Online Participation Gabriele Vanoni
2024/01/04 [TYPES/announce] PLACES 2024 -- CFP (Deadline: 7 Feb 2024 AoE) Raymond Hu
2024/01/04 [TYPES/announce] Call for participation: Undone Computer Science, Nantes, 5-7 Feb 2024 Guillaume Munch-Maccagnoni
2024/01/03 [TYPES/announce] Call for participation: Workshop on Programming for the Planet (PROPL) (20th January) Dominic Orchard
2024/01/03 [TYPES/announce] Call for ETAPS Test of Time Award 2024 Nominations jan . kofron
2024/01/03 [TYPES/announce] PhD/postdoc positions in formal methods for AI at Ecole Polytechnique, Paris, France Eric Goubault
2024/01/02 [TYPES/announce] Call for Participation PLanQC (+ Student Travel Funding) Mathys Rennela
2024/01/02 [TYPES/announce] Funded Masters and PhD positions at U of Regina Joseph Eremondi
2024/01/02 [TYPES/announce] Undergraduate PL internship at Penn Joey Velez-Ginorio
2024/01/01 [TYPES/announce] PhD/postdoc positions in formal verification at Ecole Polytechnique, Paris, France Constantin Enea
2024/01/01 [TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino Claudio Mezzina
2023/12/29 [TYPES/announce] ISR 2024: first call for participation Aart Middeldorp
2023/12/26 [TYPES/announce] CLOSING DATE 14 January: Postdoc opening in categorical semantics Patricia Johann
2023/12/26 [TYPES/announce] Two PhD scholarships in formal methods at ANU Nisansala Yatapanage
2023/12/26 [TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers David Jaz Myers
2023/12/24 [TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino Pierluigi Graziani
2023/12/24 [TYPES/announce] Call for participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024, Marseille (France) Giulio Guerrieri
2023/12/24 [TYPES/announce] RC 2024 - call for papers Clément Aubert
2023/12/23 [TYPES/announce] LICS 2024 Second Call for Papers Sam Staton
2023/12/23 [TYPES/announce] Call for Papers: TAP 2024 (Tests and Proofs 2024), Milan, Italy Huisman, Marieke (UT-EEMCS)
2023/12/23 [TYPES/announce] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA) Peter Achten
2023/12/23 [TYPES/announce] CFP: IEEE CSF 2024 - Winter Cycle (Submission Deadline: February 3, 2024, AoE) Ralf Kuesters
2023/12/23 [TYPES/announce] [CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg Fabio Fioravanti
2023/12/22 [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Second Call for Papers Henning Urbat
2023/12/22 [TYPES/announce] QPL 2024 - Second Call for Papers Alejandro Díaz-Caro
2023/12/22 [TYPES/announce] 2nd Call: Student Research Competition at Programming Conference 2024 - deadline 25 January Philipp Haller
2023/12/18 [TYPES/announce] HoTT/UF 2024: Second Call for Contributions and Participation Jonathan Weinberger
2023/12/18 [TYPES/announce] Multiple PhD and Postdoc positions in Artificial Intelligence and Formal Methods Nils Jansen
2023/12/18 [TYPES/announce] Several post-doc positions at GSSI (deadline extended to 31/01/2024) emilio . tuosto
2023/12/18 [TYPES/announce] Visiting/postdoc researcher in Logic, Semantics, Concurrency -- University of Groningen (NL). Jorge A . Pérez
2023/12/16 Re: [TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation Jesper Cockx
2023/12/15 [TYPES/announce] Full Professorship in Formal Methods at the Johannes Kepler University Linz Martina Seidl
2023/12/15 [TYPES/announce] Fully-funded PhD positions at ISTA in the area of Programming Languages and Verification Michael Sammler
2023/12/14 [TYPES/announce] The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers Tran Dinh Duong
2023/12/12 [TYPES/announce] ITP 2024: First Call for Papers Yves Bertot
2023/12/12 [TYPES/announce] CiE 2024: CALL FOR PAPERS acie
2023/12/11 [TYPES/announce] ICFP 2024: Call for Workshops and Co-Located Events ICFP Publicity
2023/12/11 [TYPES/announce] CfP: TASE 2024 Jun PANG
2023/12/10 [TYPES/announce] Certified Programs and Proofs (CPP'24) - Call for Participation Brigitte Pientka
2023/12/08 [TYPES/announce] PLDI'24 Artifact Evaluation Committee: Call for nominations Ningning Xie
2023/12/07 [TYPES/announce] Subject: 2024 Alonzo Church Award Call for Nominations Marcelo Fiore
2023/12/07 [TYPES/announce] Call for papers: Festschrift for Prof. Alan Mycroft Dominic Orchard
2023/12/07 [TYPES/announce] CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages Saverio Giallorenzo
2023/12/06 [TYPES/announce] ECOOP 2024 R1: Call for Papers, AEC Nominations and Workshop Proposals Pascal Weisenburger
2023/12/05 [TYPES/announce] Nordic Online Logic Seminar: next talk on Monday, 18 December by Göran Sundholm Graham Leigh
2023/12/05 [TYPES/announce] Funded PhD Positions at Boston University Ankush Das
2023/12/04 [TYPES/announce] Research fellowship about spatio-temporal logics - deadline Jan 12, 2024 Marino Miculan
2023/12/04 [TYPES/announce] [Deadline Extension] FormaliSE 2024 - Call for Papers Abhishek Tiwari
2023/12/03 [TYPES/announce] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24) Kristopher K Micinski
2023/12/03 [TYPES/announce] Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
2023/12/03 [TYPES/announce] Deadline extension for FICS Workshop (new deadline: 6/12/2023) Alexis Saurin
2023/12/01 [TYPES/announce] ICFP 2024: Call for Papers ICFP Publicity
2023/12/01 [TYPES/announce] FLOPS 2024: final call for abstracts and papers Dale Miller
2023/12/01 [TYPES/announce] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming Peter Achten
2023/11/27 [TYPES/announce] Fully Funded PhD Position in Refactoring Fault-Tolerant Session Types Adam Barwell
2023/11/27 [TYPES/announce] CiE 2024: Call for papers Benno van den Berg
2023/11/26 [TYPES/announce] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
2023/11/25 [TYPES/announce] multiple PhD Studentships at Queen Mary University of London Raymond Hu
2023/11/25 [TYPES/announce] Third Call for Contributions - FICS Workshop (submission deadline: 1st December 2023) Alexis Saurin
2023/11/25 [TYPES/announce] Postdoc in Inria Gallinette team, Nantes -- Compositional Automated Verification for OCaml Guilhem Jaber
2023/11/25 [TYPES/announce] Relational and Algebraic Methods in Computer Science (RAMiCS) 2024 in Prague Uli Fahrenberg
2023/11/22 [TYPES/announce] Tenure-track openings in UVM CS Christian Skalka
2023/11/22 [TYPES/announce] HoTT/UF 2024: First Call for Contributions and Participation Jonathan Weinberger
2023/11/22 [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): First Call for Papers Urbat, Henning
2023/11/18 [TYPES/announce] Quantum information faculty positions at Indiana University Sabry, Amr A.
2023/11/18 [TYPES/announce] Several post-doc positions at GSSI emilio . tuosto
2023/11/17 [TYPES/announce] 30th WoLLIC 2024 - Second Call for Papers Ruy Jose Guerra Barretto de Queiroz
2023/11/16 [TYPES/announce] Faculty positions at the University of Iowa J. Garrett Morris
2023/11/15 [TYPES/announce] Lectureships available at Sussex University Bernhard Reus
2023/11/15 [TYPES/announce] postdoctoral positions at IRIF, Paris, France Giuseppe Castagna
2023/11/15 [TYPES/announce] Fully funded PhD position in categorical semantics Alessio Santamaria
2023/11/13 [TYPES/announce] POPL 2024 - Call for Participation - Early registration: 14 December Donaldson, Alastair F
2023/11/13 [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
2023/11/10 [TYPES/announce] Postdoc opening in categorical semantics Patricia Johann
2023/11/08 [TYPES/announce] PhD positions at the University of Bergen Håkon Robbestad Gylterud
2023/11/08 [TYPES/announce] PhD opportunities at the University of Birmingham Paul Levy
2023/11/08 [TYPES/announce] ICALP-LICS-FSCD joint call for workshops Sam Staton
2023/11/05 [TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Partecipation Gabriele Vanoni
2023/11/05 [TYPES/announce] FormaliSE 2024 - Call for Papers Abhishek Tiwari
2023/11/03 [TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation Jesper Cockx
2023/11/03 [TYPES/announce] EuroPLoP 2024 - Call for Papers and Focus Group Proposals Filipe Correia
2023/11/03 [TYPES/announce] Tenure-Track Faculty Positions at McGill University: Secure Software and Computer Systems Brigitte Pientka
2023/10/31 [TYPES/announce] Call for papers and deadline extension for: TYPES 2023 post-proceedings Benno van den Berg
2023/10/30 [TYPES/announce] CFP - FICS Workshop (submission deadline: 1st December 2023) Alexis Saurin
2023/10/30 [TYPES/announce] RRRR 2024 Call for Submissions - Reproducibility and Replication of Research Results Arnd Hartmanns
2023/10/30 [TYPES/announce] Postdoc in quantum computation at Dalhousie Julien Ross
2023/10/30 [TYPES/announce] Fully funded PhD Studentship in Proof-theoretic Semantics at UCL Pym, David
2023/10/26 [TYPES/announce] PriSC 2024: Call for Presentations PriSC PC Chairs
2023/10/26 [TYPES/announce] POPL 2024 Student Research Competition - deadline Friday 10 November Donaldson, Alastair F
2023/10/26 [TYPES/announce] 2nd Call for Submissions PLanQC (Programming Languages for Quantum Computing) Mathys Rennela
2023/10/26 [TYPES/announce] Call for Contributions - Workshop on Programming for the Planet (PROPL) co-located with POPL Dominic Orchard
2023/10/23 [TYPES/announce] VerifyThis Verification Competition: Announcement and Call for Problems Summers, Alexander
2023/10/23 [TYPES/announce] Postdoctoral Research Fellow (3 years) Brijesh Dongol
2023/10/23 [TYPES/announce] SRC@POPL 2024 Call for Submissions Neel Krishnaswami
2023/10/22 [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark Anders Møller
2023/10/21 [TYPES/announce] Postdoctoral opportunities in verification/synthesis for AI at Oxford Marta Kwiatkowska
2023/10/19 [TYPES/announce] Expression of interest for two post-doc positions on blockchain and formal methods emilio . tuosto
2023/10/19 [TYPES/announce] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg Lutz Schröder
2023/10/19 [TYPES/announce] Research Internship position in Formal verification for quantum programming at CEA Paris-Saclay Nicolas Blanco
2023/10/18 [TYPES/announce] Assistant Prof at Barnard College, Columbia U Mark Santolucito
2023/10/18 [TYPES/announce] APLAS 2023: Second Call for Participation Sato, Ryosuke
2023/10/18 [TYPES/announce] POPL24 - Call for Student Volunteers Ayoun, Sacha-Elie
2023/10/17 [TYPES/announce] ICTAC 2023: Call for Participation Silvia Lizeth Tapia Tarifa
2023/10/17 [TYPES/announce] Postdoctoral fellowship at Stockholm University Anders Mortberg
2023/10/17 [TYPES/announce] IJCAR 2024 --- Call for Papers Peter Lammich
2023/10/16 [TYPES/announce] Call for Participation: S-REPLS / Fun in the Afternoon at Bristol Alex Kavvos
2023/10/16 [TYPES/announce] (Extended Deadline) Dafny Workshop at POPL 24 Stefan
2023/10/14 [TYPES/announce] Call for Participation: FMAS 2023 FMAS Workshop
2023/10/13 [TYPES/announce] CFP: Workshop on the Implementation of Type Systems (WITS) '24 Richard Eisenberg
2023/10/12 [TYPES/announce] CiE 2024: CALL FOR PAPERS acie
2023/10/11 [TYPES/announce] QPL 2024 - 1st CFP Alejandro Díaz-Caro
2023/10/11 [TYPES/announce] Preliminary CFP - FICS Workshop (submission deadline: 1st December 2023) Alexis Saurin
2023/10/11 [TYPES/announce] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University Bas Spitters
2023/10/10 [TYPES/announce] Registrations closing soon for New Jersey Programming Languages and Systems (NJPLS) -- November 10th at Princeton University Tim Alberdingk Thijm
2023/10/10 [TYPES/announce] Tenure-track PL faculty position at Tufts University Jeff Foster
2023/10/10 [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
2023/10/10 [TYPES/announce] ESSLLI 2024 - Call for Proposals Beniamino Accattoli
2023/10/10 [TYPES/announce] First CFP: GALOP 2024 Pierre Clairambault
2023/10/08 [TYPES/announce] Undone Computer Science — Second call for contributions Guillaume Munch-Maccagnoni
2023/10/08 [TYPES/announce] Expressions of interests in two postdoctoral positions in Logic and Computer Science Claudio Mezzina
2023/10/06 [TYPES/announce] ESOP 2024: Call for papers Stephanie Weirich
2023/10/06 [TYPES/announce] Call for papers: TYPES 2023 post-proceedings Benno van den Berg
2023/10/05 [TYPES/announce] The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers Tran Dinh Duong
2023/10/05 [TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024 Gianluca Curzi
2023/10/05 [TYPES/announce] ETMF 2023 (co-located with SBMF 2023) - Call for participation Haniel Barbosa
2023/10/05 [TYPES/announce] PADL'24: Last Call for Papers ICFP Publicity
2023/10/05 [TYPES/announce] PLDI 2023 Call for Papers Anders Miltner
2023/10/02 [TYPES/announce] FACS 2023 - Call for Participation Sung-Shik Jongmans
2023/10/02 [TYPES/announce] ICALP 2024 - First Call for Papers Pawel Sobocinski
2023/09/29 [TYPES/announce] ETAPS 2024 final joint call for papers jan . kofron
2023/09/29 [TYPES/announce] PLanQC (Programming Languages for Quantum Computing) 2024: Call for Submissions Mathys Rennela
2023/09/29 [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 24 Stefan
2023/09/26 [TYPES/announce] Call for Participation: VerifyThis Long-Term Collaborative Challenge Gidon Ernst
2023/09/26 [TYPES/announce] PROBPROG Seminar Series Sam Staton
2023/09/25 [TYPES/announce] CiE 2024: FIRST CALL FOR PAPERS Elaine Pimentel
2023/09/25 [TYPES/announce] 2 year postdoc in Tallinn - compositional approaches in cryptography and/or cybersecurity Pawel Sobocinski
2023/09/25 [TYPES/announce] Deadline extension: PSSV-2023 Call for Papers Alexander Chichigin
2023/09/25 [TYPES/announce] APLAS 2023: Call for Participation Sato, Ryosuke
2023/09/22 [TYPES/announce] Computer Science Faculty positions at Oxford Sam Staton
2023/09/22 [TYPES/announce] LAST CFP: SAC 2024 -- Programming Languages Track Marco Giunti
2023/09/21 [TYPES/announce] 30th WoLLIC 2024 - 1st Call for Papers Ruy Jose Guerra Barretto de Queiroz
2023/09/19 [TYPES/announce] LICS 2024 Call for Papers Sam Staton
2023/09/18 [TYPES/announce] FMCAD 2023: Call for Participation Nadel, Alexander
2023/09/18 [TYPES/announce] Midwest Programming Languages Summit 2023 - Call for Participation Max New
2023/09/18 [TYPES/announce] PPDP 2023 Call for Participation Santiago Escobar
2023/09/16 [TYPES/announce] Assistant/Associate Professor positions in Computer Science at the University of Birmingham, UK vincent rahli
2023/09/16 [TYPES/announce] Expressions of interests in two postdoctoral positions in Logic and Computer Science (Cagliari & Urbino) Claudio Mezzina
2023/09/14 [TYPES/announce] Research faculty positions Open @ Tecnico – ULisboa (BIG ERA Chair Research Team Luís Caires
2023/09/13 [TYPES/announce] S-REPLS 13 / Fun in the Afternoon, Bristol, UK Alex Kavvos
2023/09/13 [TYPES/announce] CfP: FoSSaCS '24: 27th International Conference on Foundations of Software Science and Computation Structures Naoki Kobayashi
2023/09/13 [TYPES/announce] OOPSLA 2024: Round 1 Call for Papers Umar Farooq
2023/09/13 [TYPES/announce] SPLASH 2023 Call for Participation Alcides Fonseca
2023/09/13 [TYPES/announce] Call for participation: Workshop Celebrating 30 Years of Session Types (ST30 @ SPLASH) Simon Gay
2023/09/11 [TYPES/announce] ESOP 2024 Call For Papers Stephanie Weirich
2023/09/11 [TYPES/announce] CFP: PEPM 2024, ACM SIGPLAN Workshop Alex Kavvos
2023/09/11 [TYPES/announce] Permanent Position in Applied Formal Methods at Swansea University Markus Roggenbach
2023/09/10 [TYPES/announce] PhD student position in Principled Application Security at Chalmers Ana Bove
2023/09/08 [TYPES/announce] CoqPL 2024: Call for Presentations Stark, Kathrin
2023/09/08 [TYPES/announce] Final CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE) Ralf Kuesters
2023/09/08 [TYPES/announce] SAS 2023 - Call for Participation - Early deadline: Sept 22 Louis Rustenholz
2023/09/05 [TYPES/announce] 2nd CfP AIM37 : Agda Implementors' Meeting XXXVII in Taipei, 20-25 November 2023 Liang-Ting Chen
2023/09/05 [TYPES/announce] PhD Vacancy: Position on Verifying Quantum Programs Dominique Unruh
2023/09/04 [TYPES/announce] Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec) Graham Hutton
2023/09/03 [TYPES/announce] LAFI 2024 - Call for Extended Abstracts (deadline Oct. 27) Matthijs Vákár
2023/09/02 [TYPES/announce] prefaculty / postdoc researcher in type systems at Jane Street Richard Eisenberg
2023/08/31 [TYPES/announce] PhD position in automata learning at Radboud University Jurriaan Rot
2023/08/31 [TYPES/announce] FSCD 2024: First Call for Papers Carsten Fuhs
2023/08/31 [TYPES/announce] Dafny Workshop at POPL 24 (Call for Papers) Stefan
2023/08/29 [TYPES/announce] PSSV-2023 Call for Papers Alexander Chichigin
2023/08/28 [TYPES/announce] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023 Dirk Pattinson
2023/08/28 [TYPES/announce] Talk on Operational Transform / Collaborative Editing via Category Theory David Espinosa
2023/08/28 [TYPES/announce] VMCAI 2024: Extended Deadline September 7th Rayna Dimitrova
2023/08/28 [TYPES/announce] The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols: Call for Papers TRAN Dinh Duong
2023/08/28 [TYPES/announce] Three postdoc positions on Quantum Programming in Edinburgh Chris Heunen
2023/08/26 [TYPES/announce] CCC 2023 - call for participation Norbert Müller
2023/08/26 [TYPES/announce] Four PhD positions at Dept. of Computer Science (University of Sheffield) Harsh Beohar
2023/08/24 [TYPES/announce] PADL 2024: Call for Papers ICFP Publicity
2023/08/21 [TYPES/announce] Research Associate at the University of Kent, Canterbury, UK Mark Batty
2023/08/17 [TYPES/announce] ACM SIGLOG Research Highlights call for nominations Liron Cohen
2023/08/16 [TYPES/announce] PhD position in Secure Software and Microarchitectures Roberto Guanciale
2023/08/14 [TYPES/announce] PhD position in in Formal Methods for Business Process Modelling Violet Ka I Pun
2023/08/14 [TYPES/announce] Multiple PhD positions at The Australian National University Nisansala Yatapanage
2023/08/14 [TYPES/announce] University Assistant position (limited to 6 years) at TU Wien Ezio Bartocci
2023/08/13 [TYPES/announce] Midwest Programming Languages Summit 2023 - Call for Participation Max New
2023/08/11 [TYPES/announce] PhD Position in Higher-Order Mathematical Operational Semantics at FAU Sergey Goncharov
2023/08/11 [TYPES/announce] VMCAI 2024: Second Call for Papers Rayna Dimitrova
2023/08/11 [TYPES/announce] Postdoc position, Logic and Semantics Group in Tallinn Tarmo Uustalu
2023/08/10 [TYPES/announce] CfP FMAS 2023: Deadline Extension FMAS Workshop
2023/08/08 [TYPES/announce] Senior Lecturer (with Tenure) in Programming Languages Stefan Leue
2023/08/08 [TYPES/announce] 2nd CFP - CPP 2024 Certified Programs and Proofs Brigitte Pientka
2023/08/07 [TYPES/announce] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023 Sato, Ryosuke
2023/08/07 [TYPES/announce] GandALF 2023: Registration is open – Call For Participation Luca Geatti
2023/08/07 [TYPES/announce] Extended deadline: JSC special issue on the interaction of SC and ML in AI Temur Kutsia
2023/08/07 [TYPES/announce] WITS '23 Call for Participation Jesper Cockx
2023/08/07 [TYPES/announce] Functional Art, Music, Modeling and Design (FARM 2023) Sep 8: Call for Participation Michael Sperber
2023/08/06 [TYPES/announce] PhD Student Position at University of Konstanz Stefan Leue
2023/08/04 [TYPES/announce] Call For Contributions: The Second Southeast Regional Programming Languages Seminar (SERPL) Rusch, Neea
2023/08/03 [TYPES/announce] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University Hazem Torfah
2023/08/03 [TYPES/announce] CCC 2023 - extended deadline for contributions Norbert Müller