types-announce

Messages by Date

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
2023/08/03 [TYPES/announce] ICFP 2023: Call for Participation ICFP Publicity
2023/08/02 [TYPES/announce] Assistant Professor positions in Programming Languages and Systems, University of Southern Denmark (deadline 14 august 2023) Fabrizio Montesi
2023/07/31 [TYPES/announce] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages Pieter Koopman
2023/07/28 [TYPES/announce] Announcing the Pittsposium -- August 22-23 -- Cambridge, UK Jamie Vicary
2023/07/28 [TYPES/announce] Research Fellow in Quantum Tech and NLP in UCL Sadrzadeh, Mehrnoosh
2023/07/28 [TYPES/announce] IFL23 last Call for papers Pieter Koopman
2023/07/27 [TYPES/announce] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023 Donaldson, Alastair F
2023/07/27 [TYPES/announce] [IEEE VL/HCC 2023] Registration is now open! Rebecca Krosnick
2023/07/27 [TYPES/announce] POPL 2024 - Call for Tutorials (deadline: 15 October) Donaldson, Alastair F
2023/07/27 [TYPES/announce] Job: Postdoctoral position in verification/robustness of AI Marta Kwiatkowska
2023/07/27 [TYPES/announce] CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE) Ralf Kuesters
2023/07/26 [TYPES/announce] Call for Participation, Functional Software Architecture - FP in the Large Graham Hutton
2023/07/26 [TYPES/announce] PhD Position in Programming Languages at Uppsala University, Sweden (lots of type opportunities) Tobias Wrigstad
2023/07/26 [TYPES/announce] Call for nominations for the new HaPoC Council felice cardone
2023/07/25 [TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers Andrea Rosa
2023/07/25 [TYPES/announce] Several assistant/associate professor positions at TU Delft Software Technology Jesper Cockx
2023/07/24 [TYPES/announce] SBMF 2023 - Final Call for Papers with *** Deadline Extensions *** Haniel Barbosa
2023/07/23 [TYPES/announce] Call For Papers: OpenCERT 2023 - 11th Int. Work. on Open Community approaches to Education, Research and Technology Antonio Cerone
2023/07/23 [TYPES/announce] CICM 2023 - Call for Participation Catherine DUBOIS
2023/07/23 [TYPES/announce] FORMATS 2023 (at CONFEST): Call for participation Jeremy Sproston
2023/07/20 [TYPES/announce] Two Postdoctoral Research Fellows at the University of Surrey, UK Brijesh Dongol
2023/07/17 [TYPES/announce] VMCAI 2024: First Call for Papers Rayna Dimitrova
2023/07/17 [TYPES/announce] PhD position on Program Analysis for LLVM-IR and all its source languages @ University of Twente, Netherlands Huisman, Marieke (UT-EEMCS)
2023/07/17 [TYPES/announce] ETAPS 2024 1st joint call for papers jan . kofron
2023/07/17 [TYPES/announce] CFP FLOPS 2024 Symposium on Functional and Logic Programming Dale Miller
2023/07/16 [TYPES/announce] Undone Computer Science — Call for contributions Alessio Guglielmi
2023/07/14 [TYPES/announce] Seeking nominations: POPL 2024 Artifact Evaluation Committee Caleb Stanford
2023/07/14 [TYPES/announce] SBMF 2023 - Second Call for Papers Haniel Barbosa
2023/07/14 [TYPES/announce] PhD scholarships on blockchain & distributed ledger technology emilio . tuosto
2023/07/14 [TYPES/announce] Day of the Camel 2023: OCaml in Academia and Industry (online, 20 July 2023) Roberto Blanco
2023/07/13 [TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension Andrea Rosa
2023/07/13 [TYPES/announce] SPLASH 2023 Student Research Competition – Deadline (extended): July 21st, 2023 Xujie SI
2023/07/13 [TYPES/announce] Call for papers: VSTTE 2023 Andrew Reynolds
2023/07/12 [TYPES/announce] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming Peter Achten
2023/07/12 [TYPES/announce] DiλLL 2024 (Marseille, France) -- Early announcement Lionel Vaux Auclair
2023/07/11 [TYPES/announce] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec) Graham Hutton
2023/07/11 [TYPES/announce] VeriProP 2023 - Final Call for Participation Fredrik Dahlqvist
2023/07/10 [TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions Alcides Fonseca
2023/07/10 [TYPES/announce] Deadline extension: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems Peter Csaba Ölveczky
2023/07/10 Re: [TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering Ana Bove
2023/07/10 [TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers Andrea Rosa
2023/07/10 [TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering Ana Bove
2023/07/08 [TYPES/announce] IWACO 2023 -- (deadline 12 July) Tobias Wrigstad
2023/07/07 [TYPES/announce] IEEE VL/HCC 2023 - grad consortium deadline **extended** to July 14! Rebecca Krosnick
2023/07/07 [TYPES/announce] WLP 2023 - Final Call for Papers (extended deadline) Sibylle Schwarz
2023/07/07 [TYPES/announce] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023 Serge Autexier
2023/07/07 [TYPES/announce] PhD Scholarships in cybersecurity emilio . tuosto
2023/07/07 [TYPES/announce] QPL 2023 -- Final Call for Participation Vladimir Zamdzhiev
2023/07/06 [TYPES/announce] CFP - CPP 2024 - Certified Programs and Proofs Brigitte Pientka
2023/07/05 [TYPES/announce] GPCE 2023: Deadline Extension Youyou Cong
2023/07/04 [TYPES/announce] FACS 2023 - Final Call for Papers (extended deadlines) Sung-Shik Jongmans
2023/07/04 [TYPES/announce] Summer School on Reactive Synthesis + Workshop on Synthesis, Monitoring and Learning at University of Udine Gabriele Puppis
2023/07/04 [TYPES/announce] summer school VTSA 2023 (updated with travel funding) Stephan Merz
2023/07/04 [TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - final CFP Simon Gay
2023/07/04 [TYPES/announce] FSTTCS 2023 - Second Call for Papers Shibashis Guha
2023/07/03 [TYPES/announce] IEEE CSF 2023: final call for participation Ralf Kuesters
2023/07/03 [TYPES/announce] ACT 2023: Call for participation Sam Staton
2023/07/03 [TYPES/announce] FMCAD 2023 Student Forum: Call for Contributions Rozier, Kristin-Yvonne [AER E]
2023/07/03 [TYPES/announce] CCC 2023 - second call for contributions Norbert Müller
2023/07/01 [TYPES/announce] CFP: PLOS '23: 12th Workshop on Programming Languages and Operating Systems Eric Eide
2023/07/01 [TYPES/announce] WITS 2023 Deadline Extended to July 15 Jesper Cockx
2023/06/30 [TYPES/announce] EXPRESS/SOS 2023 Last Call for Papers (deadline extension) Claudio Mezzina
2023/06/29 [TYPES/announce] PhD Symposium iFM 2023 - Call for Papers [Deadline Extensions: July 13] Gidon Ernst
2023/06/28 [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) DEADLINE EXTENDED - Final Call for Contributions perelli
2023/06/27 [TYPES/announce] Lecturer position at the University of Bristol Alex Kavvos
2023/06/27 [TYPES/announce] ETAPS 2024 – Call for Satellite Events jan . kofron
2023/06/27 [TYPES/announce] ICFP 2023: Call for Volunteers (Deadline: 30 June!) ICFP Publicity
2023/06/27 [TYPES/announce] PhD student in Computing Science on safe and efficient programming languages Tjark Weber
2023/06/26 [TYPES/announce] PLMW @ ICFP 2023: Call for Scholarship Applications Stefan Muller
2023/06/26 [TYPES/announce] 29th WoLLIC 2023 - Final Call for Participation Ruy Jose Guerra Barretto de Queiroz
2023/06/26 [TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission) Antonios Achilleos
2023/06/26 [TYPES/announce] 2nd Summer School on Security Testing and Verification Coen DE ROOVER
2023/06/24 [TYPES/announce] Postdoc position in SE/PL for AI (modular deep learning, robust AI) Rajan, Hridesh [COM S]
2023/06/23 [TYPES/announce] POPL 2024: Final Call for Papers Donaldson, Alastair F
2023/06/23 [TYPES/announce] WITS 2023 Second Call for Contributions (Deadline in one week!) Jesper Cockx
2023/06/23 [TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission) Luca Geatti
2023/06/21 [TYPES/announce] Workshop on Virtual Machines and Language Implementations (VMIL’23) - Call for Papers Andrea Rosa
2023/06/21 [TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - 2nd CFP Simon Gay
2023/06/20 [TYPES/announce] Writing and Speaking with Style (course materials) Benjamin Pierce
2023/06/19 [TYPES/announce] Two PhD studentships at Imperial College London on compiler / verifier / mutation testing Donaldson, Alastair F
2023/06/19 [TYPES/announce] IFL23 2nd Call for papers Pieter Koopman
2023/06/18 [TYPES/announce] VL/HCC 2023 call for posters (due June 28), tutorials (due June 30), grad consortium (due July 7) Rebecca Krosnick
2023/06/16 [TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions Alcides Fonseca
2023/06/15 [TYPES/announce] Research Associate position at the University of Glasgow Ornela Dardha
2023/06/14 [TYPES/announce] QPL 2023 -- Preliminary Call for Participation Vladimir Zamdzhiev
2023/06/14 [TYPES/announce] New moderator: Ningning Xie Gabriel Scherer
2023/06/14 [TYPES/announce] Call For Contributions: The Second Southeast Regional Programming Languages Seminar (SERPL) Clément Aubert
2023/06/14 [TYPES/announce] APLAS 2023: Deadline Extension Sato, Ryosuke
2023/06/12 [TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2023 Carsten Fuhs
2023/06/12 [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Call for Contributions perelli