2023 Archives by date

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

Starting: Mon Jan 2 10:39:20 EST 2023
Ending: Fri Dec 29 10:31:27 EST 2023
Messages: 605

• [TYPES/announce] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming   Peter Achten
• [TYPES/announce] QEST 2023 first call for papers   Nils Jansen
• [TYPES/announce] Professorship for System Security @ Ruhr Uni Bochum, Germany   Catalin Hritcu
• [TYPES/announce] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software   Walther Neuper
• [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute   Manuel Hermenegildo
• [TYPES/announce] FM 2023 - Call for Participation   Violet Ka I Pun
• [TYPES/announce] Phd Position in Concurrency Theory   Kirstin Peters
• [TYPES/announce] LAFI'23 - Call for participation - POPL-23 workshop on Languages for Inference - Boston, Online and with a local antenna in Paris   Christine Tasson
• [TYPES/announce] Fully Funded PhD Scholarship at St Andrews   Christopher Brown
• [TYPES/announce] ICFP 2023 Call for Papers   ICFP Publicity
• [TYPES/announce] HoTT/UF 2023: Call for Contributions   Jonathan Weinberger
• [TYPES/announce] Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)   Carlos Olarte
• [TYPES/announce] CMSB 2023: first call for papers   Jun PANG
• [TYPES/announce] CADE-29 - Call for Papers   Haniel Barbosa
• [TYPES/announce] RRRR 2023 Call for Submissions   Arnd Hartmanns
• [TYPES/announce] 2 PhD positions in Formal Analysis for Concurrent Workflows (deadline extended)   Violet Ka I Pun
• [TYPES/announce] CfP: Journal of Systems and Software - Special Issue on Software Language Engineering   Andrei Chis
• [TYPES/announce] UNIF 2023 Call for Papers   Christophe Ringeissen
• [TYPES/announce] New Undergrad PL Research Internship at Penn   Joey Velez-Ginorio
• [TYPES/announce] 2023 Alonzo Church Award: Call for Nominations   Mariangiola Dezani
• [TYPES/announce] Lecture or Senior Lectureship in Computer Science at Swansea University   Monika Seisenberger
• [TYPES/announce] CONFEST 2023 -- 2nd Call for Workshop Proposals   Emmanuel Filiot
• [TYPES/announce] PLACES 2023 - 2nd Call for Papers   Alceste Scalas
• [TYPES/announce] PhD scholarships at University of Kent (UK)   Marco Paviotti
• [TYPES/announce] Funded PhD positions at Illinois Tech   Stefan Muller
• [TYPES/announce] FSCD 2023: Second Call for Papers   Carsten Fuhs
• [TYPES/announce] Open faculty position in “Software Technology” at Vrije Universiteit Brussel, Belgium   Coen DE ROOVER
• [TYPES/announce] Reversible Computation 2023: Call for papers   Clément Aubert
• [TYPES/announce] Call for ETAPS Test of Time Award 2023 Nominations   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] Call for papers: Mathematical Foundations of Programming Semantics 2023   Paul Levy
• [TYPES/announce] HoTT 2023: first CfP   Steve Awodey
• [TYPES/announce] ITP 2023: Second Call for Papers   Thiemann, René
• [TYPES/announce] TbiLLC 2023: First Call for Papers   Hansen, H.H.
• [TYPES/announce] Call for Participation: Logic Mentoring Workshop at CSL'23, Feb 17, Warsaw   Michaël Cadilhac
• [TYPES/announce] ETAPS Mentoring Workshop 2023 - Call for Scholarship Applications (deadline: February 13th, 2023)   Caterina Urban
• [TYPES/announce] 29th WoLLIC 2023 - 2nd Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Job offer / Researcher-Engineer / Inria, Saclay, France   Claude Marche
• [TYPES/announce] Faculty positions at the University of Copenhagen   Dmitriy Traytel
• [TYPES/announce] Full professor of programming languages, U of Tartu   Tarmo Uustalu
• [TYPES/announce] EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023   Jacopo Emmenegger
• [TYPES/announce] lecturer in Computational Linguistics in UCL   Sadrzadeh, Mehrnoosh
• [TYPES/announce] CiE 2023: FINAL CALL FOR PAPERS   acie at acie.eu
• [TYPES/announce] Two PhD Positions in AUTOSARD   Georg Moser
• [TYPES/announce] IEEE CSF 2023: Call for Workshops - proposals due by Feb 24, 2023   Ralf Kuesters
• [TYPES/announce] COORDINATION 2023 Second Call For Papers - abstract deadline feb 11   Giorgio Audrito
• [TYPES/announce] ETAPS 2023 Call For Participation   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call)   D. Ventura
• [TYPES/announce] Call for Participation: Logic Mentoring Workshop at CSL'23, Feb 17, Warsaw   Michaël Cadilhac
• [TYPES/announce] Call for ECOOP/ISSTA 2023 Workshop Proposals   Pascal Weisenburger
• [TYPES/announce] FSCD 2023: Extended deadline (Abstract: February 4/ Submission: February 9)   Carsten Fuhs
• [TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham   vincent rahli
• [TYPES/announce] Deadline Extension: 2023 Alonzo Church Award Call for Nominations   Mariangiola Dezani
• [TYPES/announce] 4y fully funded PhD position on verification of efficient and secure parallel algorithms   Peter Lammich
• [TYPES/announce] [deadline extended] lecturer in Computational Linguistics in UCL   Sadrzadeh, Mehrnoosh
• [TYPES/announce] One PhD and Two Postdocs in Logic, Gothenburg (Sweden)   Graham Leigh
• [TYPES/announce] CALCO 2023: Second Call for Papers   Thorsten Wissmann
• [TYPES/announce] QPL 2023 -- Call for Papers   Vladimir Zamdzhiev
• [TYPES/announce] CFP: DISCOTEC 2023 - 18th International Federated Conference on Distributed Computing Techniques   Carlos Baquero-Moreno
• [TYPES/announce] PhD position in formal methods at the University of Oslo   Peter Csaba Ölveczky
• [TYPES/announce] Applied Category Theory 2023: First Call for Papers   Sam Staton
• [TYPES/announce] CfP FORTE 2023 - 43nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (deadline extension)   Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] Last Call for Participation: Logic Mentoring Workshop at CSL'23, Feb 17, Warsaw   Michaël Cadilhac
• [TYPES/announce] SYCO 22 - Call for papers   Samuel Mimram
• [TYPES/announce] Reversible Computation 2023: Call for papers -- Extended deadline   Clément Aubert
• [TYPES/announce] special issue of Journal of Logic and Analysis dedicated to the 75th birthday of Dieter Spreen   Maria Emilia Maietti
• [TYPES/announce] TACAS 2023 TOOLympics - Call for Contributions   Hartmanns, Arnd (UT-EEMCS)
• [TYPES/announce] Five tenured positions in theoretical computer science at IRIF / Université Paris Cité   Giuseppe Castagna
• [TYPES/announce] HoTT/UF 2023: 2nd Call for Contributions   Jonathan Weinberger
• [TYPES/announce] SOAP 2023 Call for Papers (co-located with PLDI'23)   Liana Hadarean
• [TYPES/announce] Full Professor in Computer Science at IMT Lucca - Expression of Interest   Mirco Tribastone
• [TYPES/announce] Call for expressions of interest for open-rank positions at GSSI - Italy   emilio.tuosto at gssi.it
• [TYPES/announce] CfP: 2nd International Conference on Homotopy Type Theory   Steve Awodey
• [TYPES/announce] Call for papers SC-square 2023   Erika Abraham
• [TYPES/announce] Registration open - EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023   Jacopo Emmenegger
• [TYPES/announce] 2nd call for PhD positions at ANU   Nisansala Yatapanage
• [TYPES/announce] Call for Participation: Eelco Visser Commemorative Symposium, 5 April 2023   Jonathan Aldrich
• [TYPES/announce] COORDINATION 2023 Final Call For Papers [extended deadline feb 24]   Giorgio Audrito
• [TYPES/announce] Call for Nominations: ACM SIGPLAN Software Award - deadline extension 17 March 2023   Dominique Devriese
• [TYPES/announce] OOPSLA 2023 - Round 2 CFP   Andreea Costea
• [TYPES/announce] TYPES 2023 - Call for Contributions   Alicia Villanueva
• [TYPES/announce] Call for STSMs and ITC conference grants, deadline 1 January 2023   Ambrus Kaposi
• [TYPES/announce] Midlands Graduate School in the Foundations of Computing Science 2023   Paul Levy
• [TYPES/announce] ICFP 2023: Last Call for Papers   ICFP Publicity
• [TYPES/announce] Call for Papers in Doctoral Symposium, DEBS 2023   Naohiro Hayashibara
• [TYPES/announce] ECOOP 2023: Call for Papers   Pascal Weisenburger
• [TYPES/announce] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation)   Catalin Hritcu
• [TYPES/announce] ICFP 2023 Artifact Evaluation Committee: call for nominations   Quentin Stiévenart
• [TYPES/announce] SPLASH 2023: Call for Workshop Proposals   Andreea Costea
• [TYPES/announce] Call for Papers: ACM DEBS 2023 (Deadline Extension)   Naohiro Hayashibara
• [TYPES/announce] Logic Mentoring Workshop at CSL'23, Feb 17: Online Participation   Michaël Cadilhac
• [TYPES/announce] HCVS 2023 - Last Call for Papers   Jose F. Morales
• [TYPES/announce] CfP: 16th Interaction and Concurrency Experience (ICE 2023)   Simon Fowler
• [TYPES/announce] FSCD 2025: Call for Location   Carsten Fuhs
• [TYPES/announce] 1st Ecumenical meeting @UCL   Elaine Pimentel
• [TYPES/announce] 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] HoTT/UF 2023: Deadline extended / 3rd Call for Contributions   Jonathan Weinberger
• [TYPES/announce] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)   Serge Autexier
• [TYPES/announce] QPL 2023 -- Final Call for Papers (with updated deadlines)   Vladimir Zamdzhiev
• [TYPES/announce] 1st Call for Contributions - Women in Logic Workshop (WiL 2023)   Daniele Nantes
• [TYPES/announce] [ICTAC 2023] First call for papers – deadline 16 June 2023   Violet Ka I Pun
• [TYPES/announce] New book: Essentials of Compilation   Siek, Jeremy
• [TYPES/announce] CADE-29 - Second Call for Papers   Haniel Barbosa
• [TYPES/announce] Eastern Canada Logic and Programming Seminar 2023   Ryan Kavanagh
• [TYPES/announce] Two Postdocs in Logic, Gothenburg (Sweden)   Bahareh Afshari
• [TYPES/announce] CALCO 2023: Final Call for Papers   Thorsten Wissmann
• [TYPES/announce] FMTea 2023 - colocated with FM 2023 - call for participation   Catherine DUBOIS
• [TYPES/announce] 1st Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023)   D. Ventura
• [TYPES/announce] HCVS 2023 - Call for Papers (Extended deadline)   Jose F. Morales
• [TYPES/announce] HOR 2023: Call for Papers   Carsten Fuhs
• [TYPES/announce] SYCO 11 - Second call for papers   Samuel Mimram
• [TYPES/announce] Call for papers - VL/HCC 2023 - IEEE Symposium on Visual Languages and Human-Centric Computing   Rebecca Krosnick
• [TYPES/announce] ARRAY 2023 (colocated with PLDI): call for papers   Anders Miltner
• [TYPES/announce] ISMM 2023 (colocated with PLDI): call for papers   Anders Miltner
• [TYPES/announce] Postdoc position at Kyoto University, Japan   Kohei SUENAGA
• [TYPES/announce] Second Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)   Carlos Olarte
• [TYPES/announce] Postdoc position on Formal Verification for Zero-Trust IoT Systems at Kyoto University   Atsushi Igarashi
• [TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi   Clément Aubert
• [TYPES/announce] HoTT 2023: Extended Deadline   Steve Awodey
• [TYPES/announce] PhD position at Inria / Nantes Université (France)   Assia Mahboubi
• [TYPES/announce] GandALF 2023: Call For Papers   Antonios Achilleos
• [TYPES/announce] PLMW at PLDI23 application is open   Limin Jia
• [TYPES/announce] CALCO 2023: Deadline Extension   Thorsten Wissmann
• [TYPES/announce] Tenure Track Faculty Position Bucknell University   Lea Wittie
• [TYPES/announce] FMCAD 2023: First Call for Papers   Nadel, Alexander
• [TYPES/announce] Software engineer position available   Giuseppe Castagna
• [TYPES/announce] PhD Studentships in Formalising CS/Maths at King's College London   Mohammad Abdulaziz
• [TYPES/announce] Vacancy: Assistant/Associate Professor Energy-efficient Software Development, University of Twente, Netherlands, Formal Methods and Tools group   Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] WTSC23 --- extended deadline!   Andrea Bracciali
• [TYPES/announce] SMT2023 Call For Papers   Mathias Preiner
• [TYPES/announce] TYPES 2023: Call for Contributions - Deadline extension   Alicia Villanueva
• [TYPES/announce] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering   Andrei Chis
• [TYPES/announce] Call for papers SC-square 2023   Erika Abraham
• [TYPES/announce] OPLSS 2023: Summer School Dates   Stephanie Weirich
• [TYPES/announce] MFPS 2023: Second Call for Papers   Marie Kerjean
• [TYPES/announce] 2023 Summer School on Formal Techniques (May 24 - 29, 2023) + Formal Methods in the Field Bootcamp (May 30 - June 2, 2023)   Natarajan Shankar
• [TYPES/announce] WPTE 2023 Call for Papers   Cynthia Kop
• [TYPES/announce] UNIF 2023 Second Call for Papers   Christophe Ringeissen
• [TYPES/announce] ITP 2024 - Call for Bids   Thiemann, René
• [TYPES/announce] Ackermann Award: Call for nominations   Maribel Fernandez
• [TYPES/announce] PhD or Postdoc Position at LMU Munich about Verified Modal Logics   Andrei Popescu
• [TYPES/announce] Lectureships at Lancaster University (Leipzig campus), Deadline 30 March   Marco Caminati
• [TYPES/announce] First Call for Papers SETS 2023   David Delahaye
• [TYPES/announce] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software   Walther Neuper
• [TYPES/announce] Erlang 2023 - Call for Papers   Kiko Fernandez-reyes A
• [TYPES/announce] Verification Mentoring Workshop at CAV 2023: Call for Scholarship Applications — deadline April 14th   Sammartino, Matteo
• [TYPES/announce] TbiLLC 2023: Second Call for Papers incl. Deadline Extension   Hansen, H.H.
• [TYPES/announce] CMSB 2023: second call for papers   Jun PANG
• [TYPES/announce] Funding deadline: EuroProofNet WG6 meeting in Vienna   Jacopo Emmenegger
• [TYPES/announce] CALCO 2023: Second Deadline Extension   Thorsten Wissmann
• [TYPES/announce] VORTEX 2023: Call for Papers   Davide Ancona
• [TYPES/announce] SAS 2023 - First Call for Papers - Paper deadline: April 24, 2023   Manuel Hermenegildo
• [TYPES/announce] Call for Papers, Functional Software Architecture - FP in the Large   Graham Hutton
• [TYPES/announce] Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)   Michael Sperber
• [TYPES/announce] Utrecht Summer School on Advanced Functional Programming 2023   Swierstra, W.S. (Wouter)
• [TYPES/announce] ITP 2023: Call for Workshop and Tutorial Proposals   Thiemann, René
• [TYPES/announce] Job: research associate in Oxford   Sam Staton
• [TYPES/announce] EXPRESS/SOS 2023 First Call for Papers   Claudio Mezzina
• [TYPES/announce] PPDP 2023 - Preliminary Call for Papers   Santiago Escobar
• [TYPES/announce] CfP: Haskell Symposium 2023   Niki Vazou
• [TYPES/announce] MPLR’23 Call for Submissions   Rodrigo Bruno
• [TYPES/announce] Final CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call)   D. Ventura
• [TYPES/announce] 18th International Summer School on Training And Research On Testing   M.R. Mousavi
• [TYPES/announce] Call for papers - VL/HCC 2023 - abstracts due April 21 - IEEE Symposium on Visual Languages and Human-Centric Computing   Rebecca Krosnick
• [TYPES/announce] 2nd CfP: 16th Interaction and Concurrency Experience (Revised deadlines & invited speaker)   Simon Fowler
• [TYPES/announce] SYCO 11 - Call for participation   Samuel Mimram
• [TYPES/announce] Postdoctor in Type theory for mathematics and computer science   Ana Bove
• [TYPES/announce] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming   Luigia Petre
• [TYPES/announce] MFPS 2023: Deadline Extension   Marie Kerjean
• [TYPES/announce] FMCAD 2023: Second Call for Papers   Nadel, Alexander
• [TYPES/announce] Agda Implementors' Meeting XXXVI: Call for talks and participation   Jesper Cockx
• [TYPES/announce] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper)   Serge Autexier
• [TYPES/announce] Two Senior Research Associates on Concurrent and Distributed Programming / Digital Security by Design   Nobuko Yoshida
• [TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP)   Daniel Hillerström
• [TYPES/announce] Call for Participation: MARKTOBERDORF SUMMER SCHOOL 2023   Javier Esparza
• [TYPES/announce] Final Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)   Carlos Olarte
• [TYPES/announce] TbiLLC 2023: Final Deadline Extension Mon 3 April 2023 AoE   Hansen, H.H.
• [TYPES/announce] Postdoc @ DTU Compute in Modelling and Verification of Concurrent & Distributed Applications   Alceste Scalas
• [TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK   vincent rahli
• [TYPES/announce] IFL23 first CFP   Pieter Koopman
• [TYPES/announce] TyDe 2023 - Call for Papers   Youyou Cong
• [TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023   xu at math.lmu.de
• [TYPES/announce] APLAS 2023 first Call for Papers   Sato, Ryosuke
• [TYPES/announce] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation   Christopher Michael POSKITT
• [TYPES/announce] VORTEX 2023: 2nd Call for Papers   Davide Ancona
• [TYPES/announce] HoTT 2023: registration open   Steve Awodey
• [TYPES/announce] Onward! 2023 @ SPLASH: Call for Papers & Essays   Tijs van der Storm
• [TYPES/announce] SAS 2023 - Second Call for Papers - Paper Deadline: April 24, 2023   louis.rustenholz at imdea.org
• [TYPES/announce] SMT 2023 - Second Call For Papers   Mathias Preiner
• [TYPES/announce] Call for Participation PLDI 2023   Anders Miltner
• [TYPES/announce] Final Call for Papers LFMTP'23 [extended abstract submission deadline, April 20]   Carlos Olarte
• [TYPES/announce] SPLASH 2023: Combined Call for Contributions   Andreea Costea
• [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Preliminary CfP   perelli at di.uniroma1.it
• [TYPES/announce] Algebra, Categories and Logic in Computing (ACLiC) 2023 - Call for applications   Nima Motamed
• [TYPES/announce] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023   Julien Narboux
• [TYPES/announce] JLAMP: new initiative launched   emilio.tuosto at gssi.it
• [TYPES/announce] PhD in Computer Science at GSSI (Italy)   emilio.tuosto at gssi.it
• [TYPES/announce] Structure Meets Power 2023 announcement   Tomáš Jakl
• [TYPES/announce] 2nd Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023)   D. Ventura
• [TYPES/announce] CfP - VL/HCC 2023 - abstracts due this week, April 21 - IEEE Symposium on Visual Languages and Human-Centric Computing   Rebecca Krosnick
• [TYPES/announce] WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC   Tephilla
• [TYPES/announce] CMSB 2023: last call for papers (extended deadlines)   Jun PANG
• [TYPES/announce] 4y fully funded PhD position on verification of efficient and secure parallel algorithms   Peter Lammich
• [TYPES/announce] Call for Papers: Functional Software Architecture - FP in the Large   Graham Hutton
• [TYPES/announce] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023   louis.rustenholz at imdea.org
• [TYPES/announce] WORKSHOP on DOCTRINES and FIBRATIONS, May 29 - June 1, 2023 -dedicated to W. Lawvere   Maria Emilia Maietti
• [TYPES/announce] PPDP 2023 - Call for Papers   Santiago Escobar
• [TYPES/announce] MSCA Postodoc on Reversible Computing @ University of Bologna, Italy   ivan.lanese
• [TYPES/announce] Call for Papers: 19th International Workshop on Termination (WST 2023)   YAMADA, Akihisa
• [TYPES/announce] Postdoc in PL, RL, and Networking   Nate Foster
• [TYPES/announce] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield   Andrei Popescu
• [TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)   Daniel Hillerström
• [TYPES/announce] CCC 2023 - call for contributions   Norbert Müller
• [TYPES/announce] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)   louis.rustenholz at imdea.org
• [TYPES/announce] SMT 2023 - Final CFP - Extended Deadlines to May 5   Mathias Preiner
• [TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)   Michael Sperber
• [TYPES/announce] GandALF 2023: 2nd Call For Papers   Dario Della Monica
• [TYPES/announce] CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE)   Ralf Kuesters
• [TYPES/announce] GandALF 2023: 2nd Call For Papers   Antonios Achilleos
• [TYPES/announce] HOR 2023: Second Call for Papers   Carsten Fuhs
• [TYPES/announce] WPTE 2023 -- second Call for Papers and deadline extension   Cynthia Kop
• [TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)   Michael Sperber
• [TYPES/announce] CfP: Functional Software Architecture - FP in the Large (deadline June 1)   Michael Sperber
• [TYPES/announce] WiL 2023: Call for contributions   Tephilla
• [TYPES/announce] Fwd: Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines]   D. Ventura
• [TYPES/announce] Call for Papers - TLLA 23 (7th International Workshop on Trends in Linear Logic and Applications)   Stefano Guerrini
• [TYPES/announce] POPL 2024: Call for Papers (deadline: July 11)   Donaldson, Alastair F
• [TYPES/announce] 5-year PhD Position in Language-based Security @ Utrecht University (Netherlands)   Vassena, M. (Marco)
• [TYPES/announce] VMW at CAV 2023: Call for Scholarship Applications - DEADLINE EXTENSION (May 5th)   Sammartino, Matteo
• [TYPES/announce] PPDP 2023: Call for Papers   Ugo de Liguoro
• [TYPES/announce] 2023 Coq workshop call for presentations   Yves Bertot
• [TYPES/announce] QEST 2023: Third Call for Papers with Deadline Extension   QEST Publicity
• [TYPES/announce] Two year postdoc in logic and computation at the University of Bath   Thomas Powell
• [TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023   Ana Sokolova
• [TYPES/announce] HoTT 2023: Reduced registration ends May 1   Steve Awodey
• [TYPES/announce] (Extended Deadline, May 11 AoE) ATVA 2023 call for papers   Ichiro Hasuo
• [TYPES/announce] Second Call for Papers SETS 2023 (Deadline Extended)   David Delahaye
• [TYPES/announce] First Call for Papers for ICFEM 2023   Ranald Clouston
• [TYPES/announce] Postdoc position in automata and concurrency theory at the University of Warsaw   Sławomir Lasota
• [TYPES/announce] VORTEX 2023: Extended Submission Deadline, May 22   Davide Ancona
• [TYPES/announce] Fully-funded Ph.D. Positions in Software Quality   Mirco Tribastone
• [TYPES/announce] Final CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE)   Ralf Kuesters
• [TYPES/announce] CfP: JSC special issue on the interaction of SC and ML in AI   Temur Kutsia
• [TYPES/announce] LICS 2023 Call for Participation   Sam Staton
• [TYPES/announce] FTfJP 2023 (co-located with ECOOP/ISSTA in Seattle) Call for Papers   Summers, Alexander
• [TYPES/announce] LAP 2023 - Logic and Applications: CFP   Simona Kašterović
• [TYPES/announce] [CFP] Student Research Competition (SRC) at ICFP'23   Daniel Hillerström
• [TYPES/announce] TYPES 23 - Call for Participation   Eduardo Hermo Reyes
• [TYPES/announce] SBMF 2023 - Call for papers   Haniel Barbosa
• [TYPES/announce] Final Call for Papers: Functional Software Architecture - FP in the Large (** deadline 1st June **)   Graham Hutton
• [TYPES/announce] CiE 2023: CALL FOR PARTICIPATION - CALL FOR INFORMAL PRESENTATIONS   acie at acie.eu
• [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - 2nd CfP   perelli at di.uniroma1.it
• [TYPES/announce] Final Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)   Michael Sperber
• [TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023   xu at math.lmu.de
• [TYPES/announce] HoTT 2023 -- Programme and final registration   Steve Awodey
• [TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - CFP   Simon Gay
• [TYPES/announce] APLAS 2023: Second Call for Papers   Sato, Ryosuke
• [TYPES/announce] CADE-29: Call for participation   Haniel Barbosa
• [TYPES/announce] CFP RV 2023: 23rd International Conference on Runtime Verification   Dmitriy Traytel
• [TYPES/announce] Assistant Professor in Theoretical Foundations of AI at Chalmers University of Technology   Ana Bove
• [TYPES/announce] Ackermann Award: Second call for nominations - Deadline 1st July   Maribel Fernandez
• [TYPES/announce] TLLA 2023 : deadline extension   Stefano Guerrini
• [TYPES/announce] 2nd Call for Contributions: Programming Languages in The Netherlands 2023   Verano Merino, M. (Mauricio)
• [TYPES/announce] Assistant Professor in Computer Science at Chalmers University of Technology   Ana Bove
• [TYPES/announce] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals   ICFP Publicity
• [TYPES/announce] Three Lectureships in Computer Science at Sussex   Bernhard Reus
• [TYPES/announce] [final CfP+new submission link] MODALITIES IN SUBSTRUCTURAL LOGICS at ESSLLI   Sadrzadeh, Mehrnoosh
• [TYPES/announce] Last CfP for the 23rd International Conference on Runtime Verification (RV'23)   Panagiotis Katsaros
• [TYPES/announce] 2nd Call for presentations: 2023 Coq workshop   Yves Bertot
• [TYPES/announce] Conference in honour of Corrado Böhm   Ronchi Della Rocca Simona
• [TYPES/announce] 29th WoLLIC 2023 - Call for Participation   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] DEADLINE EXTENSION — Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023   Ana Sokolova
• [TYPES/announce] 5-year Postdoc fellowship in Computer Science (PL) for Climate Science at University of Cambridge   Dominic Orchard
• [TYPES/announce] Permanent Position S/SL in Applied Formal Methods at Swansea University   Markus Roggenbach
• [TYPES/announce] 2nd Call for Papers: 19th International Workshop on Termination (WST 2023)   YAMADA, Akihisa
• [TYPES/announce] WITS 2023 First Call for Contributions   Jesper Cockx
• [TYPES/announce] Moderator's note: Working through backlog of unposted messages   Derek Dreyer
• [TYPES/announce] FSCD 2023: Call for Participation (early registration deadline: 31 May 2023)   Carsten Fuhs
• [TYPES/announce] VORTEX 2023: Last call for papers   Davide Ancona
• [TYPES/announce] CfP for the International Workshop on Aliasing, Capabilities and Ownership   Aleksander Boruch-Gruszecki
• [TYPES/announce] Call for Submissions: Student Research Competition and Posters, APLAS 2023   Sato, Ryosuke
• [TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP)   Daniel Hillerström
• [TYPES/announce] [CFP] Student Research Competition (SRC) at ICFP'23   Daniel Hillerström
• [TYPES/announce] GPCE 2023 Call for Papers   Youyou Cong
• [TYPES/announce] Postdoc, PhD student and intern positions at Université Paris-Saclay, CEA List institute, France, in Software Security and Program Analysis   Michaël Marcozzi
• [TYPES/announce] SPLASH 2023 Student Research Competition – deadline: July 14th, 2023   Xujie SI
• [TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations   Guillaume Munch-Maccagnoni
• [TYPES/announce] Doctoral Researcher / PhD Student / Postdoc Position   Andre Platzer
• [TYPES/announce] Haskell Symposium'23 Calls For Papers   Niki Vazou
• [TYPES/announce] [ICTAC 2023] Second call for papers – deadline 16 June 2023   Violet Ka I Pun
• [TYPES/announce] Deadline Extension: CfP 2023 Coq workshop, May 30th   Yves Bertot
• [TYPES/announce] VL/HCC 2023 call for posters (due June 28) and graduate consortium (due July 7)   Rebecca Krosnick
• [TYPES/announce] UNIF 2023 Call for Participation   Christophe Ringeissen
• [TYPES/announce] Call for Papers: JFP Special Issue on Program Calculation   Graham Hutton
• [TYPES/announce] [Call for Participation] LSFA 2023 (early registration May 31)   D. Ventura
• [TYPES/announce] GandALF 2023: Last Call For Papers   Luca Geatti
• [TYPES/announce] WiL 2023 - Call for Participation   Daniele Nantes
• [TYPES/announce] HOR 2023: Call for Participation   Carsten Fuhs
• [TYPES/announce] ITP 2023 Call for Participation   Thiemann, René
• [TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi   Clément Aubert
• [TYPES/announce] [Call for Participation] LCTES 2023   Anders Miltner
• [TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations   Guillaume Munch-Maccagnoni
• [TYPES/announce] Moderator's note: Working through backlog of unposted message   Gabriel Scherer
• [TYPES/announce] TyDe 2023 - Second Call for Papers and Deadline Extension   Youyou Cong
• [TYPES/announce] Call for Participation -- LFMTP 2023   Carlos Olarte
• [TYPES/announce] MFPS and CALCO 2023: Call for participation   Marie Kerjean
• [TYPES/announce] CFP WLP2023: 37th Workshop on (Constraint and Functional) Logic Programming   Sibylle Schwarz
• [TYPES/announce] Call for Participation: Logic Mentoring Workshop (LMW at LICS 2023)   Arthur Azevedo de Amorim
• [TYPES/announce] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation)   Christopher Michael POSKITT
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] PhD Studentships in PL at the University of Glasgow (Deadline: 31st July 2023)   Simon Fowler
• [TYPES/announce] POPL 2024: Call for Workshops and Co-located Events   Donaldson, Alastair F
• [TYPES/announce] CfP: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems   Peter Csaba Ölveczky
• [TYPES/announce] IEEE CSF 2023: early bird registration ends soon   Ralf Kuesters
• [TYPES/announce] PhD and Postdoc positions in PL/FM/Security at LMU Munich, Germany   Johannes Kinder
• [TYPES/announce] Assistant/Associate professor role at Radboud University   Wouter Swierstra
• [TYPES/announce] FSTTCS 2023 - Call for papers   Shibashis Guha
• [TYPES/announce] APLAS 2023: Final Call for Papers   Sato, Ryosuke
• [TYPES/announce] FACS 2023 - Call for Papers   Sung-Shik Jongmans
• [TYPES/announce] Call for TYPES 2025 location   Henning Basold
• [TYPES/announce] EXPRESS/SOS 2023 Second Call for Papers   Claudio Mezzina
• [TYPES/announce] summer school VTSA 2023   Stephan Merz
• [TYPES/announce] Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation   Cynthia Kop
• [TYPES/announce] [ICTAC 2023] Final call for papers – New deadlines 25 June (abstract), 02 July (paper)   Violet Ka I Pun
• [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Call for Contributions   perelli at di.uniroma1.it
• [TYPES/announce] VeriProP 2023 - Call for Participation   Fredrik Dahlqvist
• [TYPES/announce] YR-CONCUR 2023 -- Call for papers   Léo Stefanesco
• [TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2023   Carsten Fuhs
• [TYPES/announce] Call For Contributions: The Second Southeast Regional Programming Languages Seminar (SERPL)   Clément Aubert
• [TYPES/announce] APLAS 2023: Deadline Extension   Sato, Ryosuke
• [TYPES/announce] New moderator: Ningning Xie   Gabriel Scherer
• [TYPES/announce] QPL 2023 -- Preliminary Call for Participation   Vladimir Zamdzhiev
• [TYPES/announce] Research Associate position at the University of Glasgow   Ornela Dardha
• [TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions   Alcides Fonseca
• [TYPES/announce] VL/HCC 2023 call for posters (due June 28), tutorials (due June 30), grad consortium (due July 7)   Rebecca Krosnick
• [TYPES/announce] IFL23 2nd Call for papers   Pieter Koopman
• [TYPES/announce] Two PhD studentships at Imperial College London on compiler / verifier / mutation testing   Donaldson, Alastair F
• [TYPES/announce] Writing and Speaking with Style (course materials)   Benjamin Pierce
• [TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - 2nd CFP   Simon Gay
• [TYPES/announce] Workshop on Virtual Machines and Language Implementations (VMIL’23) - Call for Papers   Andrea Rosa
• [TYPES/announce] POPL 2024: Final Call for Papers   Donaldson, Alastair F
• [TYPES/announce] WITS 2023 Second Call for Contributions (Deadline in one week!)   Jesper Cockx
• [TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission)   Luca Geatti
• [TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission)   Antonios Achilleos
• [TYPES/announce] Postdoc position in SE/PL for AI (modular deep learning, robust AI)   Rajan, Hridesh [COM S]
• [TYPES/announce] 29th WoLLIC 2023 - Final Call for Participation   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] 2nd Summer School on Security Testing and Verification   Coen DE ROOVER
• [TYPES/announce] PLMW @ ICFP 2023: Call for Scholarship Applications   Stefan Muller
• [TYPES/announce] ICFP 2023: Call for Volunteers (Deadline: 30 June!)   ICFP Publicity
• [TYPES/announce] PhD student in Computing Science on safe and efficient programming languages   Tjark Weber
• [TYPES/announce] ETAPS 2024 – Call for Satellite Events   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] Lecturer position at the University of Bristol   Alex Kavvos
• [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) DEADLINE EXTENDED - Final Call for Contributions   perelli at di.uniroma1.it
• [TYPES/announce] PhD Symposium iFM 2023 - Call for Papers [Deadline Extensions: July 13]   Gidon Ernst
• [TYPES/announce] EXPRESS/SOS 2023 Last Call for Papers (deadline extension)   Claudio Mezzina
• [TYPES/announce] CFP: PLOS '23: 12th Workshop on Programming Languages and Operating Systems   Eric Eide
• [TYPES/announce] WITS 2023 Deadline Extended to July 15   Jesper Cockx
• [TYPES/announce] FMCAD 2023 Student Forum: Call for Contributions   Rozier, Kristin-Yvonne [AER E]
• [TYPES/announce] CCC 2023 - second call for contributions   Norbert Müller
• [TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - final CFP   Simon Gay
• [TYPES/announce] IEEE CSF 2023: final call for participation   Ralf Kuesters
• [TYPES/announce] ACT 2023: Call for participation   Sam Staton
• [TYPES/announce] FSTTCS 2023 - Second Call for Papers   Shibashis Guha
• [TYPES/announce] Summer School on Reactive Synthesis + Workshop on Synthesis, Monitoring and Learning at University of Udine   Gabriele Puppis
• [TYPES/announce] summer school VTSA 2023 (updated with travel funding)   Stephan Merz
• [TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers   Andrea Rosa
• [TYPES/announce] FACS 2023 - Final Call for Papers (extended deadlines)   Sung-Shik Jongmans
• [TYPES/announce] GPCE 2023: Deadline Extension   Youyou Cong
• [TYPES/announce] CFP - CPP 2024 - Certified Programs and Proofs   Brigitte Pientka
• [TYPES/announce] PhD Scholarships in cybersecurity   emilio.tuosto at gssi.it
• [TYPES/announce] QPL 2023 -- Final Call for Participation   Vladimir Zamdzhiev
• [TYPES/announce] WLP 2023 - Final Call for Papers (extended deadline)   Sibylle Schwarz
• [TYPES/announce] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023   Serge Autexier
• [TYPES/announce] IEEE VL/HCC 2023 - grad consortium deadline **extended** to July 14!   Rebecca Krosnick
• [TYPES/announce] IWACO 2023 -- (deadline 12 July)   Tobias Wrigstad
• [TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering   Ana Bove
• [TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering   Ana Bove
• [TYPES/announce] Deadline extension: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems   Peter Csaba Ölveczky
• [TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions   Alcides Fonseca
• [TYPES/announce] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)   Graham Hutton
• [TYPES/announce] VeriProP 2023 - Final Call for Participation   Fredrik Dahlqvist
• [TYPES/announce] DiλLL 2024 (Marseille, France) -- Early announcement   Lionel Vaux Auclair
• [TYPES/announce] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming   Peter Achten
• [TYPES/announce] SPLASH 2023 Student Research Competition – Deadline (extended): July 21st, 2023   Xujie SI
• [TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension   Andrea Rosa
• [TYPES/announce] Call for papers: VSTTE 2023   Andrew Reynolds
• [TYPES/announce] PhD scholarships on blockchain & distributed ledger technology   emilio.tuosto at gssi.it
• [TYPES/announce] Day of the Camel 2023: OCaml in Academia and Industry (online, 20 July 2023)   Roberto Blanco
• [TYPES/announce] SBMF 2023 - Second Call for Papers   Haniel Barbosa
• [TYPES/announce] Seeking nominations: POPL 2024 Artifact Evaluation Committee   Caleb Stanford
• [TYPES/announce] Undone Computer Science — Call for contributions   Alessio Guglielmi
• [TYPES/announce] CFP FLOPS 2024 Symposium on Functional and Logic Programming   Dale Miller
• [TYPES/announce] ETAPS 2024 1st joint call for papers   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] VMCAI 2024: First Call for Papers   Rayna Dimitrova
• [TYPES/announce] PhD position on Program Analysis for LLVM-IR and all its source languages @ University of Twente, Netherlands   Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] Two Postdoctoral Research Fellows at the University of Surrey, UK   Brijesh Dongol
• [TYPES/announce] Call For Papers: OpenCERT 2023 - 11th Int. Work. on Open Community approaches to Education, Research and Technology   Antonio Cerone
• [TYPES/announce] FORMATS 2023 (at CONFEST): Call for participation   Jeremy Sproston
• [TYPES/announce] CICM 2023 - Call for Participation   Catherine DUBOIS
• [TYPES/announce] SBMF 2023 - Final Call for Papers with *** Deadline Extensions ***   Haniel Barbosa
• [TYPES/announce] Several assistant/associate professor positions at TU Delft Software Technology   Jesper Cockx
• [TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers   Andrea Rosa
• [TYPES/announce] Call for nominations for the new HaPoC Council   felice cardone
• [TYPES/announce] PhD Position in Programming Languages at Uppsala University, Sweden (lots of type opportunities)   Tobias Wrigstad
• [TYPES/announce] Call for Participation, Functional Software Architecture - FP in the Large   Graham Hutton
• [TYPES/announce] POPL 2024 - Call for Tutorials (deadline: 15 October)   Donaldson, Alastair F
• [TYPES/announce] Job: Postdoctoral position in verification/robustness of AI   Marta Kwiatkowska
• [TYPES/announce] CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)   Ralf Kuesters
• [TYPES/announce] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023   Donaldson, Alastair F
• [TYPES/announce] [IEEE VL/HCC 2023] Registration is now open!   Rebecca Krosnick
• [TYPES/announce] IFL23 last Call for papers   Pieter Koopman
• [TYPES/announce] Research Fellow in Quantum Tech and NLP in UCL   Sadrzadeh, Mehrnoosh
• [TYPES/announce] Announcing the Pittsposium -- August 22-23 -- Cambridge, UK   Jamie Vicary
• [TYPES/announce] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages   Pieter Koopman
• [TYPES/announce] Assistant Professor positions in Programming Languages and Systems, University of Southern Denmark (deadline 14 august 2023)   Fabrizio Montesi
• [TYPES/announce] ICFP 2023: Call for Participation   ICFP Publicity
• [TYPES/announce] CCC 2023 - extended deadline for contributions   Norbert Müller
• [TYPES/announce] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University   Hazem Torfah
• [TYPES/announce] Call For Contributions: The Second Southeast Regional Programming Languages Seminar (SERPL)   Rusch, Neea
• [TYPES/announce] PhD Student Position at University of Konstanz   Stefan Leue
• [TYPES/announce] Extended deadline: JSC special issue on the interaction of SC and ML in AI   Temur Kutsia
• [TYPES/announce] WITS '23 Call for Participation   Jesper Cockx
• [TYPES/announce] Functional Art, Music, Modeling and Design (FARM 2023) Sep 8: Call for Participation   Michael Sperber
• [TYPES/announce] GandALF 2023: Registration is open – Call For Participation   Luca Geatti
• [TYPES/announce] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023   Sato, Ryosuke
• [TYPES/announce] 2nd CFP - CPP 2024 Certified Programs and Proofs   Brigitte Pientka
• [TYPES/announce] Senior Lecturer (with Tenure) in Programming Languages   Stefan Leue
• [TYPES/announce] CfP FMAS 2023: Deadline Extension   FMAS Workshop
• [TYPES/announce] Postdoc position, Logic and Semantics Group in Tallinn   Tarmo Uustalu
• [TYPES/announce] VMCAI 2024: Second Call for Papers   Rayna Dimitrova
• [TYPES/announce] PhD Position in Higher-Order Mathematical Operational Semantics at FAU   Sergey Goncharov
• [TYPES/announce] Midwest Programming Languages Summit 2023 - Call for Participation   Max New
• [TYPES/announce] Multiple PhD positions at The Australian National University   Nisansala Yatapanage
• [TYPES/announce] PhD position in in Formal Methods for Business Process Modelling   Violet Ka I Pun
• [TYPES/announce] University Assistant position (limited to 6 years) at TU Wien   Ezio Bartocci
• [TYPES/announce] PhD position in Secure Software and Microarchitectures   Roberto Guanciale
• [TYPES/announce] ACM SIGLOG Research Highlights call for nominations   Liron Cohen
• [TYPES/announce] Research Associate at the University of Kent, Canterbury, UK   Mark Batty
• [TYPES/announce] PADL 2024: Call for Papers   ICFP Publicity
• [TYPES/announce] The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols: Call for Papers   TRAN Dinh Duong
• [TYPES/announce] Four PhD positions at Dept. of Computer Science (University of Sheffield)   Harsh Beohar
• [TYPES/announce] CCC 2023 - call for participation   Norbert Müller
• [TYPES/announce] Three postdoc positions on Quantum Programming in Edinburgh   Chris Heunen
• [TYPES/announce] VMCAI 2024: Extended Deadline September 7th   Rayna Dimitrova
• [TYPES/announce] Talk on Operational Transform / Collaborative Editing via Category Theory   David Espinosa
• [TYPES/announce] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023   Dirk Pattinson
• [TYPES/announce] PSSV-2023 Call for Papers   Alexander Chichigin
• [TYPES/announce] Dafny Workshop at POPL 24 (Call for Papers)   Stefan
• [TYPES/announce] PhD position in automata learning at Radboud University   Jurriaan Rot
• [TYPES/announce] FSCD 2024: First Call for Papers   Carsten Fuhs
• [TYPES/announce] prefaculty / postdoc researcher in type systems at Jane Street   Richard Eisenberg
• [TYPES/announce] LAFI 2024 - Call for Extended Abstracts (deadline Oct. 27)   Matthijs Vákár
• [TYPES/announce] Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)   Graham Hutton
• [TYPES/announce] 2nd CfP AIM37 : Agda Implementors' Meeting XXXVII in Taipei, 20-25 November 2023   Liang-Ting Chen
• [TYPES/announce] PhD Vacancy: Position on Verifying Quantum Programs   Dominique Unruh
• [TYPES/announce] Final CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)   Ralf Kuesters
• [TYPES/announce] PhD student position in Principled Application Security at Chalmers   Ana Bove
• [TYPES/announce] CoqPL 2024: Call for Presentations   Stark, Kathrin
• [TYPES/announce] SAS 2023 - Call for Participation - Early deadline: Sept 22   Louis Rustenholz
• [TYPES/announce] Permanent Position in Applied Formal Methods at Swansea University   Markus Roggenbach
• [TYPES/announce] CFP: PEPM 2024, ACM SIGPLAN Workshop   Alex Kavvos
• [TYPES/announce] ESOP 2024 Call For Papers   Stephanie Weirich
• [TYPES/announce] S-REPLS 13 / Fun in the Afternoon, Bristol, UK   Alex Kavvos
• [TYPES/announce] OOPSLA 2024: Round 1 Call for Papers   Umar Farooq
• [TYPES/announce] SPLASH 2023 Call for Participation   Alcides Fonseca
• [TYPES/announce] CfP: FoSSaCS '24: 27th International Conference on Foundations of Software Science and Computation Structures   Naoki Kobayashi
• [TYPES/announce] Call for participation: Workshop Celebrating 30 Years of Session Types (ST30 @ SPLASH)   Simon Gay
• [TYPES/announce] Research faculty positions Open @ Tecnico – ULisboa (BIG ERA Chair Research Team   Luís Caires
• [TYPES/announce] Expressions of interests in two postdoctoral positions in Logic and Computer Science (Cagliari & Urbino)   Claudio Mezzina
• [TYPES/announce] Assistant/Associate Professor positions in Computer Science at the University of Birmingham, UK   vincent rahli
• [TYPES/announce] PPDP 2023 Call for Participation   Santiago Escobar
• [TYPES/announce] FMCAD 2023: Call for Participation   Nadel, Alexander
• [TYPES/announce] Midwest Programming Languages Summit 2023 - Call for Participation   Max New
• [TYPES/announce] LICS 2024 Call for Papers   Sam Staton
• [TYPES/announce] 30th WoLLIC 2024 - 1st Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] LAST CFP: SAC 2024 -- Programming Languages Track   Marco Giunti
• [TYPES/announce] Computer Science Faculty positions at Oxford   Sam Staton
• [TYPES/announce] CiE 2024: FIRST CALL FOR PAPERS   Elaine Pimentel
• [TYPES/announce] APLAS 2023: Call for Participation   Sato, Ryosuke
• [TYPES/announce] Deadline extension: PSSV-2023 Call for Papers   Alexander Chichigin
• [TYPES/announce] 2 year postdoc in Tallinn - compositional approaches in cryptography and/or cybersecurity   Pawel Sobocinski
• [TYPES/announce] Call for Participation: VerifyThis Long-Term Collaborative Challenge   Gidon Ernst
• [TYPES/announce] PROBPROG Seminar Series   Sam Staton
• [TYPES/announce] (2nd CfP) Dafny Workshop at POPL 24   Stefan
• [TYPES/announce] PLanQC (Programming Languages for Quantum Computing) 2024: Call for Submissions   Mathys Rennela
• [TYPES/announce] ETAPS 2024 final joint call for papers   jan.kofron at d3s.mff.cuni.cz
• [TYPES/announce] FACS 2023 - Call for Participation   Sung-Shik Jongmans
• [TYPES/announce] ICALP 2024 - First Call for Papers   Pawel Sobocinski
• [TYPES/announce] PADL'24: Last Call for Papers   ICFP Publicity
• [TYPES/announce] ETMF 2023 (co-located with SBMF 2023) - Call for participation   Haniel Barbosa
• [TYPES/announce] The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers   Tran Dinh Duong
• [TYPES/announce] PLDI 2023 Call for Papers   Anders Miltner
• [TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024   Gianluca Curzi
• [TYPES/announce] Call for papers: TYPES 2023 post-proceedings   Benno van den Berg
• [TYPES/announce] ESOP 2024: Call for papers   Stephanie Weirich
• [TYPES/announce] Expressions of interests in two postdoctoral positions in Logic and Computer Science   Claudio Mezzina
• [TYPES/announce] Undone Computer Science — Second call for contributions   Guillaume Munch-Maccagnoni
• [TYPES/announce] ESSLLI 2024 - Call for Proposals   Beniamino Accattoli
• [TYPES/announce] First CFP: GALOP 2024   Pierre Clairambault
• [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute   Manuel Hermenegildo
• [TYPES/announce] Registrations closing soon for New Jersey Programming Languages and Systems (NJPLS) -- November 10th at Princeton University   Tim Alberdingk Thijm
• [TYPES/announce] Tenure-track PL faculty position at Tufts University   Jeff Foster
• [TYPES/announce] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University   Bas Spitters
• [TYPES/announce] Preliminary CFP - FICS Workshop (submission deadline: 1st December 2023)   Alexis Saurin
• [TYPES/announce] QPL 2024 - 1st CFP   Alejandro Díaz-Caro
• [TYPES/announce] CiE 2024: CALL FOR PAPERS   acie at acie.eu
• [TYPES/announce] CFP: Workshop on the Implementation of Type Systems (WITS) '24   Richard Eisenberg
• [TYPES/announce] Call for Participation: FMAS 2023   FMAS Workshop
• [TYPES/announce] Call for Participation: S-REPLS / Fun in the Afternoon at Bristol   Alex Kavvos
• [TYPES/announce] (Extended Deadline) Dafny Workshop at POPL 24   Stefan
• [TYPES/announce] IJCAR 2024 --- Call for Papers   Peter Lammich
• [TYPES/announce] ICTAC 2023: Call for Participation   Silvia Lizeth Tapia Tarifa
• [TYPES/announce] Postdoctoral fellowship at Stockholm University   Anders Mortberg
• [TYPES/announce] Assistant Prof at Barnard College, Columbia U   Mark Santolucito
• [TYPES/announce] APLAS 2023: Second Call for Participation   Sato, Ryosuke
• [TYPES/announce] POPL24 - Call for Student Volunteers   Ayoun, Sacha-Elie
• [TYPES/announce] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg   Lutz Schröder
• [TYPES/announce] Research Internship position in Formal verification for quantum programming at CEA Paris-Saclay   Nicolas Blanco
• [TYPES/announce] Expression of interest for two post-doc positions on blockchain and formal methods   emilio.tuosto at gssi.it
• [TYPES/announce] Postdoctoral opportunities in verification/synthesis for AI at Oxford   Marta Kwiatkowska
• [TYPES/announce] Assistant/associate professor positions at Aarhus University, Denmark   Anders Møller
• [TYPES/announce] SRC at POPL 2024 Call for Submissions   Neel Krishnaswami
• [TYPES/announce] VerifyThis Verification Competition: Announcement and Call for Problems   Summers, Alexander
• [TYPES/announce] Postdoctoral Research Fellow (3 years)   Brijesh Dongol
• [TYPES/announce] Postdoc in quantum computation at Dalhousie   Julien Ross
• [TYPES/announce] PriSC 2024: Call for Presentations   PriSC PC Chairs
• [TYPES/announce] Call for Contributions - Workshop on Programming for the Planet (PROPL) co-located with POPL   Dominic Orchard
• [TYPES/announce] 2nd Call for Submissions PLanQC (Programming Languages for Quantum Computing)   Mathys Rennela
• [TYPES/announce] POPL 2024 Student Research Competition - deadline Friday 10 November   Donaldson, Alastair F
• [TYPES/announce] Fully funded PhD Studentship in Proof-theoretic Semantics at UCL   Pym, David
• [TYPES/announce] RRRR 2024 Call for Submissions - Reproducibility and Replication of Research Results   Arnd Hartmanns
• [TYPES/announce] CFP - FICS Workshop (submission deadline: 1st December 2023)   Alexis Saurin
• [TYPES/announce] Call for papers and deadline extension for: TYPES 2023 post-proceedings   Benno van den Berg
• [TYPES/announce] Six Fully-funded PhD Positions in Theoretical Computer Science at University of Sheffield   Harsh Beohar
• [TYPES/announce] EuroPLoP 2024 - Call for Papers and Focus Group Proposals   Filipe Correia
• [TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation   Jesper Cockx
• [TYPES/announce] Tenure-Track Faculty Positions at McGill University: Secure Software and Computer Systems   Brigitte Pientka
• [TYPES/announce] FormaliSE 2024 - Call for Papers   Abhishek Tiwari
• [TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Partecipation   Gabriele Vanoni
• [TYPES/announce] PhD positions at the University of Bergen   Håkon Robbestad Gylterud
• [TYPES/announce] PhD opportunities at the University of Birmingham   Paul Levy
• [TYPES/announce] ICALP-LICS-FSCD joint call for workshops   Sam Staton
• [TYPES/announce] Postdoc opening in categorical semantics   Patricia Johann
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] POPL 2024 - Call for Participation - Early registration: 14 December   Donaldson, Alastair F
• [TYPES/announce] Fully funded PhD position in categorical semantics   Alessio Santamaria
• [TYPES/announce] Lectureships available at Sussex University   Bernhard Reus
• [TYPES/announce] postdoctoral positions at IRIF, Paris, France   Giuseppe Castagna
• [TYPES/announce] Faculty positions at the University of Iowa   J. Garrett Morris
• [TYPES/announce] 30th WoLLIC 2024 - Second Call for Papers   Ruy Jose Guerra Barretto de Queiroz
• [TYPES/announce] Several post-doc positions at GSSI   emilio.tuosto at gssi.it
• [TYPES/announce] Quantum information faculty positions at Indiana University   Sabry, Amr A.
• [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): First Call for Papers   Urbat, Henning
• [TYPES/announce] HoTT/UF 2024: First Call for Contributions and Participation   Jonathan Weinberger
• [TYPES/announce] Tenure-track openings in UVM CS   Christian Skalka
• [TYPES/announce] Relational and Algebraic Methods in Computer Science (RAMiCS) 2024 in Prague   Uli Fahrenberg
• [TYPES/announce] multiple PhD Studentships at Queen Mary University of London   Raymond Hu
• [TYPES/announce] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [TYPES/announce] Postdoc in Inria Gallinette team, Nantes -- Compositional Automated Verification for OCaml   Guilhem Jaber
• [TYPES/announce] Third Call for Contributions - FICS Workshop (submission deadline: 1st December 2023)   Alexis Saurin
• [TYPES/announce] Fully Funded PhD Position in Refactoring Fault-Tolerant Session Types   Adam Barwell
• [TYPES/announce] CiE 2024: Call for papers   Benno van den Berg
• [TYPES/announce] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming   Peter Achten
• [TYPES/announce] ICFP 2024: Call for Papers   ICFP Publicity
• [TYPES/announce] Deadline extension for FICS Workshop (new deadline: 6/12/2023)   Alexis Saurin
• [TYPES/announce] FLOPS 2024: final call for abstracts and papers   Dale Miller
• [TYPES/announce] Joint CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques   Bas van den Heuvel
• [TYPES/announce] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24)   Kristopher K Micinski
• [TYPES/announce] [Deadline Extension] FormaliSE 2024 - Call for Papers   Abhishek Tiwari
• [TYPES/announce] Research fellowship about spatio-temporal logics - deadline Jan 12, 2024   Marino Miculan
• [TYPES/announce] Nordic Online Logic Seminar: next talk on Monday, 18 December by Göran Sundholm   Graham Leigh
• [TYPES/announce] Funded PhD Positions at Boston University   Ankush Das
• [TYPES/announce] ECOOP 2024 R1: Call for Papers, AEC Nominations and Workshop Proposals   Pascal Weisenburger
• [TYPES/announce] CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages   Saverio Giallorenzo
• [TYPES/announce] Call for papers: Festschrift for Prof. Alan Mycroft   Dominic Orchard
• [TYPES/announce] Subject: 2024 Alonzo Church Award Call for Nominations   Marcelo Fiore
• [TYPES/announce] PLDI'24 Artifact Evaluation Committee: Call for nominations   Ningning Xie
• [TYPES/announce] Certified Programs and Proofs (CPP'24) - Call for Participation   Brigitte Pientka
• [TYPES/announce] CfP: TASE 2024   Jun PANG
• [TYPES/announce] Full Professorship in Formal Methods at the Johannes Kepler University Linz   Martina Seidl
• [TYPES/announce] ICFP 2024: Call for Workshops and Co-Located Events   ICFP Publicity
• [TYPES/announce] ITP 2024: First Call for Papers   Yves Bertot
• [TYPES/announce] CiE 2024: CALL FOR PAPERS   acie at acie.eu
• [TYPES/announce] The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers   Tran Dinh Duong
• [TYPES/announce] Fully-funded PhD positions at ISTA in the area of Programming Languages and Verification   Michael Sammler
• [TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation   Jesper Cockx
• [TYPES/announce] Several post-doc positions at GSSI (deadline extended to 31/01/2024)   emilio.tuosto at gssi.it
• [TYPES/announce] Visiting/postdoc researcher in Logic, Semantics, Concurrency -- University of Groningen (NL).   Jorge A. Pérez
• [TYPES/announce] Multiple PhD and Postdoc positions in Artificial Intelligence and Formal Methods   Nils Jansen
• [TYPES/announce] HoTT/UF 2024: Second Call for Contributions and Participation   Jonathan Weinberger
• [TYPES/announce] 2nd Call: Student Research Competition at Programming Conference 2024 - deadline 25 January   Philipp Haller
• [TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Second Call for Papers   Henning Urbat
• [TYPES/announce] QPL 2024 - Second Call for Papers   Alejandro Díaz-Caro
• [TYPES/announce] CFP: IEEE CSF 2024 - Winter Cycle (Submission Deadline: February 3, 2024, AoE)   Ralf Kuesters
• [TYPES/announce] [CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg   Fabio Fioravanti
• [TYPES/announce] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)   Peter Achten
• [TYPES/announce] Call for Papers: TAP 2024 (Tests and Proofs 2024), Milan, Italy   Huisman, Marieke (UT-EEMCS)
• [TYPES/announce] LICS 2024 Second Call for Papers   Sam Staton
• [TYPES/announce] RC 2024 - call for papers   Clément Aubert
• [TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino   Pierluigi Graziani
• [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
• [TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers   David Jaz Myers
• [TYPES/announce] Two PhD scholarships in formal methods at ANU   Nisansala Yatapanage
• [TYPES/announce] CLOSING DATE 14 January: Postdoc opening in categorical semantics   Patricia Johann
• [TYPES/announce] ISR 2024: first call for participation   Aart Middeldorp
• [TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino   Claudio Mezzina

Last message date: Fri Dec 29 10:31:27 EST 2023
Archived on: Mon Jan 1 04:13:33 EST 2024

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