types-announce

Messages by Date

2023/06/12 [TYPES/announce] Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation Cynthia Kop
2023/06/12 [TYPES/announce] VeriProP 2023 - Call for Participation Fredrik Dahlqvist
2023/06/12 [TYPES/announce] YR-CONCUR 2023 -- Call for papers Léo Stefanesco
2023/06/12 [TYPES/announce] [ICTAC 2023] Final call for papers – New deadlines 25 June (abstract), 02 July (paper) Violet Ka I Pun
2023/06/10 [TYPES/announce] EXPRESS/SOS 2023 Second Call for Papers Claudio Mezzina
2023/06/10 [TYPES/announce] FACS 2023 - Call for Papers Sung-Shik Jongmans
2023/06/10 [TYPES/announce] Call for TYPES 2025 location Henning Basold
2023/06/10 [TYPES/announce] summer school VTSA 2023 Stephan Merz
2023/06/08 [TYPES/announce] APLAS 2023: Final Call for Papers Sato, Ryosuke
2023/06/08 [TYPES/announce] FSTTCS 2023 - Call for papers Shibashis Guha
2023/06/07 [TYPES/announce] Assistant/Associate professor role at Radboud University Wouter Swierstra
2023/06/07 [TYPES/announce] IEEE CSF 2023: early bird registration ends soon Ralf Kuesters
2023/06/07 [TYPES/announce] POPL 2024: Call for Workshops and Co-located Events Donaldson, Alastair F
2023/06/07 [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
2023/06/07 [TYPES/announce] PhD Studentships in PL at the University of Glasgow (Deadline: 31st July 2023) Simon Fowler
2023/06/07 [TYPES/announce] PhD and Postdoc positions in PL/FM/Security at LMU Munich, Germany Johannes Kinder
2023/06/07 [TYPES/announce] CfP: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems Peter Csaba Ölveczky
2023/06/05 [TYPES/announce] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation) Christopher Michael POSKITT
2023/06/03 [TYPES/announce] Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023) Arthur Azevedo de Amorim
2023/06/02 [TYPES/announce] TyDe 2023 - Second Call for Papers and Deadline Extension Youyou Cong
2023/06/02 [TYPES/announce] CFP WLP2023: 37th Workshop on (Constraint and Functional) Logic Programming Sibylle Schwarz
2023/06/02 [TYPES/announce] MFPS and CALCO 2023: Call for participation Marie Kerjean
2023/06/02 [TYPES/announce] Call for Participation -- LFMTP 2023 Carlos Olarte
2023/06/02 [TYPES/announce] Moderator's note: Working through backlog of unposted message Gabriel Scherer
2023/06/02 [TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi Clément Aubert
2023/06/02 Re: [TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations Guillaume Munch-Maccagnoni
2023/06/02 [TYPES/announce] ITP 2023 Call for Participation Thiemann , René
2023/06/02 [TYPES/announce] [Call for Participation] LCTES 2023 Anders Miltner
2023/05/31 [TYPES/announce] GandALF 2023: Last Call For Papers Luca Geatti
2023/05/31 [TYPES/announce] [Call for Participation] LSFA 2023 (early registration May 31) D. Ventura
2023/05/31 [TYPES/announce] WiL 2023 - Call for Participation Daniele Nantes
2023/05/31 [TYPES/announce] HOR 2023: Call for Participation Carsten Fuhs
2023/05/30 [TYPES/announce] Call for Papers: JFP Special Issue on Program Calculation Graham Hutton
2023/05/27 [TYPES/announce] VL/HCC 2023 call for posters (due June 28) and graduate consortium (due July 7) Rebecca Krosnick
2023/05/27 [TYPES/announce] [ICTAC 2023] Second call for papers – deadline 16 June 2023 Violet Ka I Pun
2023/05/27 [TYPES/announce] UNIF 2023 Call for Participation Christophe Ringeissen
2023/05/26 [TYPES/announce] Deadline Extension: CfP 2023 Coq workshop, May 30th Yves Bertot
2023/05/26 [TYPES/announce] Haskell Symposium'23 Calls For Papers Niki Vazou
2023/05/25 [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
2023/05/25 [TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations Guillaume Munch-Maccagnoni
2023/05/25 [TYPES/announce] SPLASH 2023 Student Research Competition – deadline: July 14th, 2023 Xujie SI
2023/05/25 [TYPES/announce] GPCE 2023 Call for Papers Youyou Cong
2023/05/25 [TYPES/announce] Doctoral Researcher / PhD Student / Postdoc Position Andre Platzer
2023/05/24 [TYPES/announce] CfP for the International Workshop on Aliasing, Capabilities and Ownership Aleksander Boruch-Gruszecki
2023/05/24 [TYPES/announce] [CFP] Student Research Competition (SRC) at ICFP'23 Daniel Hillerström
2023/05/24 [TYPES/announce] 2nd Call for Papers: 19th International Workshop on Termination (WST 2023) YAMADA, Akihisa
2023/05/24 [TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP) Daniel Hillerström
2023/05/24 [TYPES/announce] VORTEX 2023: Last call for papers Davide Ancona
2023/05/23 [TYPES/announce] WITS 2023 First Call for Contributions Jesper Cockx
2023/05/23 [TYPES/announce] CADE-29: Call for participation Haniel Barbosa
2023/05/23 [TYPES/announce] SBMF 2023 - Call for papers Haniel Barbosa
2023/05/23 [TYPES/announce] [final CfP+new submission link] MODALITIES IN SUBSTRUCTURAL LOGICS at ESSLLI Sadrzadeh, Mehrnoosh
2023/05/23 [TYPES/announce] 2nd Call for Contributions: Programming Languages in The Netherlands 2023 Verano Merino, M. (Mauricio)
2023/05/23 [TYPES/announce] Ackermann Award: Second call for nominations - Deadline 1st July Maribel Fernandez
2023/05/23 [TYPES/announce] Final CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE) Ralf Kuesters
2023/05/23 [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - 2nd CfP perelli
2023/05/23 [TYPES/announce] Call for Submissions: Student Research Competition and Posters, APLAS 2023 Sato, Ryosuke
2023/05/22 [TYPES/announce] First Call for Papers for ICFEM 2023 Ranald Clouston
2023/05/22 [TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - CFP Simon Gay
2023/05/22 [TYPES/announce] Final Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
2023/05/22 [TYPES/announce] CFP RV 2023: 23rd International Conference on Runtime Verification Dmitriy Traytel
2023/05/22 [TYPES/announce] APLAS 2023: Second Call for Papers Sato, Ryosuke
2023/05/19 [TYPES/announce] Last CfP for the 23rd International Conference on Runtime Verification (RV'23) Panagiotis Katsaros
2023/05/19 [TYPES/announce] FSCD 2023: Call for Participation (early registration deadline: 31 May 2023) Carsten Fuhs
2023/05/19 [TYPES/announce] Moderator's note: Working through backlog of unposted messages Derek Dreyer
2023/05/19 [TYPES/announce] LAP 2023 - Logic and Applications: CFP Simona Kašterović
2023/05/19 [TYPES/announce] 29th WoLLIC 2023 - Call for Participation Ruy Jose Guerra Barretto de Queiroz
2023/05/19 [TYPES/announce] Permanent Position S/SL in Applied Formal Methods at Swansea University Markus Roggenbach
2023/05/19 [TYPES/announce] Fully-funded Ph.D. Positions in Software Quality Mirco Tribastone
2023/05/19 [TYPES/announce] Final Call for Papers: Functional Software Architecture - FP in the Large (** deadline 1st June **) Graham Hutton
2023/05/19 [TYPES/announce] CiE 2023: CALL FOR PARTICIPATION - CALL FOR INFORMAL PRESENTATIONS acie
2023/05/19 [TYPES/announce] VORTEX 2023: Extended Submission Deadline, May 22 Davide Ancona
2023/05/19 [TYPES/announce] CfP: JSC special issue on the interaction of SC and ML in AI Temur Kutsia
2023/05/18 [TYPES/announce] 5-year Postdoc fellowship in Computer Science (PL) for Climate Science at University of Cambridge Dominic Orchard
2023/05/18 [TYPES/announce] Postdoc position in automata and concurrency theory at the University of Warsaw Sławomir Lasota
2023/05/18 [TYPES/announce] TYPES 23 - Call for Participation Eduardo Hermo Reyes
2023/05/18 [TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023 xu
2023/05/18 [TYPES/announce] TLLA 2023 : deadline extension Stefano Guerrini
2023/05/18 [TYPES/announce] Assistant Professor in Computer Science at Chalmers University of Technology Ana Bove
2023/05/18 [TYPES/announce] Three Lectureships in Computer Science at Sussex Bernhard Reus
2023/05/18 [TYPES/announce] HoTT 2023 -- Programme and final registration Steve Awodey
2023/05/18 [TYPES/announce] FTfJP 2023 (co-located with ECOOP/ISSTA in Seattle) Call for Papers Summers, Alexander
2023/05/18 [TYPES/announce] 2nd Call for presentations: 2023 Coq workshop Yves Bertot
2023/05/18 [TYPES/announce] Conference in honour of Corrado Böhm Ronchi Della Rocca Simona
2023/05/18 [TYPES/announce] [CFP] Student Research Competition (SRC) at ICFP'23 Daniel Hillerström
2023/05/18 [TYPES/announce] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals ICFP Publicity
2023/05/18 [TYPES/announce] Assistant Professor in Theoretical Foundations of AI at Chalmers University of Technology Ana Bove
2023/05/18 [TYPES/announce] LICS 2023 Call for Participation Sam Staton
2023/05/18 [TYPES/announce] DEADLINE EXTENSION — Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023 Ana Sokolova
2023/04/30 [TYPES/announce] Second Call for Papers SETS 2023 (Deadline Extended) David Delahaye
2023/04/30 [TYPES/announce] (Extended Deadline, May 11 AoE) ATVA 2023 call for papers Ichiro Hasuo
2023/04/28 [TYPES/announce] CfP: Functional Software Architecture - FP in the Large (deadline June 1) Michael Sperber
2023/04/28 [TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
2023/04/28 [TYPES/announce] HOR 2023: Second Call for Papers Carsten Fuhs
2023/04/28 [TYPES/announce] HoTT 2023: Reduced registration ends May 1 Steve Awodey
2023/04/28 [TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
2023/04/28 [TYPES/announce] Two year postdoc in logic and computation at the University of Bath Thomas Powell
2023/04/28 [TYPES/announce] GandALF 2023: 2nd Call For Papers Dario Della Monica
2023/04/28 [TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023 Ana Sokolova
2023/04/28 [TYPES/announce] QEST 2023: Third Call for Papers with Deadline Extension QEST Publicity
2023/04/28 [TYPES/announce] 2023 Coq workshop call for presentations Yves Bertot
2023/04/28 [TYPES/announce] Fwd: Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines] D. Ventura
2023/04/24 [TYPES/announce] VMW at CAV 2023: Call for Scholarship Applications - DEADLINE EXTENSION (May 5th) Sammartino, Matteo
2023/04/24 [TYPES/announce] 5-year PhD Position in Language-based Security @ Utrecht University (Netherlands) Vassena, M. (Marco)
2023/04/24 [TYPES/announce] Call for Papers - TLLA 23 (7th International Workshop on Trends in Linear Logic and Applications) Stefano Guerrini
2023/04/24 [TYPES/announce] POPL 2024: Call for Papers (deadline: July 11) Donaldson, Alastair F
2023/04/24 [TYPES/announce] SMT 2023 - Final CFP - Extended Deadlines to May 5 Mathias Preiner
2023/04/24 [TYPES/announce] WiL 2023: Call for contributions Tephilla
2023/04/24 [TYPES/announce] PPDP 2023: Call for Papers Ugo de Liguoro
2023/04/24 [TYPES/announce] WPTE 2023 -- second Call for Papers and deadline extension Cynthia Kop
2023/04/24 [TYPES/announce] Postdoc in PL, RL, and Networking Nate Foster
2023/04/24 [TYPES/announce] GandALF 2023: 2nd Call For Papers Antonios Achilleos
2023/04/24 [TYPES/announce] CCC 2023 - call for contributions Norbert Müller
2023/04/24 [TYPES/announce] CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE) Ralf Kuesters
2023/04/24 [TYPES/announce] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st) louis . rustenholz
2023/04/24 [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
2023/04/24 [TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP) Daniel Hillerström
2023/04/19 [TYPES/announce] Call for Papers: 19th International Workshop on Termination (WST 2023) YAMADA, Akihisa
2023/04/19 [TYPES/announce] MSCA Postodoc on Reversible Computing @ University of Bologna, Italy ivan.lanese
2023/04/18 [TYPES/announce] PPDP 2023 - Call for Papers Santiago Escobar
2023/04/17 [TYPES/announce] CMSB 2023: last call for papers (extended deadlines) Jun PANG
2023/04/17 [TYPES/announce] 4y fully funded PhD position on verification of efficient and secure parallel algorithms Peter Lammich
2023/04/17 [TYPES/announce] Call for Papers: Functional Software Architecture - FP in the Large Graham Hutton
2023/04/17 [TYPES/announce] WORKSHOP on DOCTRINES and FIBRATIONS, May 29 - June 1, 2023 -dedicated to W. Lawvere Maria Emilia Maietti
2023/04/17 [TYPES/announce] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023 louis . rustenholz
2023/04/17 [TYPES/announce] CfP - VL/HCC 2023 - abstracts due this week, April 21 - IEEE Symposium on Visual Languages and Human-Centric Computing Rebecca Krosnick
2023/04/17 [TYPES/announce] WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC Tephilla
2023/04/15 [TYPES/announce] SAS 2023 - Second Call for Papers - Paper Deadline: April 24, 2023 louis . rustenholz
2023/04/15 [TYPES/announce] PhD in Computer Science at GSSI (Italy) emilio . tuosto
2023/04/15 [TYPES/announce] JLAMP: new initiative launched emilio . tuosto
2023/04/15 [TYPES/announce] SPLASH 2023: Combined Call for Contributions Andreea Costea
2023/04/15 [TYPES/announce] Algebra, Categories and Logic in Computing (ACLiC) 2023 - Call for applications Nima Motamed
2023/04/15 [TYPES/announce] Structure Meets Power 2023 announcement Tomáš Jakl
2023/04/15 [TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Preliminary CfP perelli
2023/04/15 [TYPES/announce] 2nd Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023) D. Ventura
2023/04/15 [TYPES/announce] Final Call for Papers LFMTP'23 [extended abstract submission deadline, April 20] Carlos Olarte
2023/04/15 [TYPES/announce] SMT 2023 - Second Call For Papers Mathias Preiner
2023/04/15 [TYPES/announce] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023 Julien Narboux
2023/04/15 [TYPES/announce] Call for Participation PLDI 2023 Anders Miltner
2023/04/07 [TYPES/announce] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation Christopher Michael POSKITT
2023/04/07 [TYPES/announce] Onward! 2023 @ SPLASH: Call for Papers & Essays Tijs van der Storm
2023/04/07 [TYPES/announce] VORTEX 2023: 2nd Call for Papers Davide Ancona
2023/04/07 [TYPES/announce] HoTT 2023: registration open Steve Awodey
2023/04/04 [TYPES/announce] APLAS 2023 first Call for Papers Sato, Ryosuke
2023/04/04 [TYPES/announce] Postdoc @ DTU Compute in Modelling and Verification of Concurrent & Distributed Applications Alceste Scalas
2023/04/04 [TYPES/announce] TbiLLC 2023: Final Deadline Extension Mon 3 April 2023 AoE Hansen, H.H.
2023/04/04 [TYPES/announce] TyDe 2023 - Call for Papers Youyou Cong
2023/04/04 [TYPES/announce] Final Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
2023/04/04 [TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK vincent rahli
2023/04/04 [TYPES/announce] IFL23 first CFP Pieter Koopman
2023/04/04 [TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023 xu
2023/03/31 [TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP) Daniel Hillerström
2023/03/31 [TYPES/announce] Call for Participation: MARKTOBERDORF SUMMER SCHOOL 2023 Javier Esparza
2023/03/31 [TYPES/announce] Two Senior Research Associates on Concurrent and Distributed Programming / Digital Security by Design Nobuko Yoshida
2023/03/29 [TYPES/announce] FMCAD 2023: Second Call for Papers Nadel, Alexander
2023/03/29 [TYPES/announce] MFPS 2023: Deadline Extension Marie Kerjean
2023/03/29 [TYPES/announce] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper) Serge Autexier
2023/03/29 [TYPES/announce] Agda Implementors' Meeting XXXVI: Call for talks and participation Jesper Cockx
2023/03/27 [TYPES/announce] 18th International Summer School on Training And Research On Testing M.R. Mousavi
2023/03/27 [TYPES/announce] Postdoctor in Type theory for mathematics and computer science Ana Bove
2023/03/27 [TYPES/announce] 2nd CfP: 16th Interaction and Concurrency Experience (Revised deadlines & invited speaker) Simon Fowler
2023/03/27 [TYPES/announce] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming Luigia Petre
2023/03/27 [TYPES/announce] Call for papers - VL/HCC 2023 - abstracts due April 21 - IEEE Symposium on Visual Languages and Human-Centric Computing Rebecca Krosnick
2023/03/27 [TYPES/announce] SYCO 11 - Call for participation Samuel Mimram
2023/03/21 [TYPES/announce] PPDP 2023 - Preliminary Call for Papers Santiago Escobar
2023/03/21 [TYPES/announce] MPLR’23 Call for Submissions Rodrigo Bruno
2023/03/21 [TYPES/announce] Final CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call) D. Ventura
2023/03/21 [TYPES/announce] EXPRESS/SOS 2023 First Call for Papers Claudio Mezzina
2023/03/21 [TYPES/announce] CfP: Haskell Symposium 2023 Niki Vazou
2023/03/19 [TYPES/announce] CMSB 2023: second call for papers Jun PANG
2023/03/19 [TYPES/announce] VORTEX 2023: Call for Papers Davide Ancona
2023/03/19 [TYPES/announce] Utrecht Summer School on Advanced Functional Programming 2023 Swierstra, W.S. (Wouter)
2023/03/19 [TYPES/announce] Job: research associate in Oxford Sam Staton
2023/03/19 [TYPES/announce] Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1) Michael Sperber
2023/03/19 [TYPES/announce] Verification Mentoring Workshop at CAV 2023: Call for Scholarship Applications — deadline April 14th Sammartino, Matteo
2023/03/19 [TYPES/announce] Funding deadline: EuroProofNet WG6 meeting in Vienna Jacopo Emmenegger
2023/03/19 [TYPES/announce] Call for Papers, Functional Software Architecture - FP in the Large Graham Hutton
2023/03/19 [TYPES/announce] ITP 2023: Call for Workshop and Tutorial Proposals Thiemann , René
2023/03/19 [TYPES/announce] TbiLLC 2023: Second Call for Papers incl. Deadline Extension Hansen, H.H.
2023/03/19 [TYPES/announce] SAS 2023 - First Call for Papers - Paper deadline: April 24, 2023 Manuel Hermenegildo
2023/03/19 [TYPES/announce] CALCO 2023: Second Deadline Extension Thorsten Wissmann
2023/03/13 [TYPES/announce] First Call for Papers SETS 2023 David Delahaye
2023/03/13 [TYPES/announce] Erlang 2023 - Call for Papers Kiko Fernandez-reyes A
2023/03/13 [TYPES/announce] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software Walther Neuper
2023/03/13 [TYPES/announce] PhD or Postdoc Position at LMU Munich about Verified Modal Logics Andrei Popescu
2023/03/13 [TYPES/announce] Lectureships at Lancaster University (Leipzig campus), Deadline 30 March Marco Caminati
2023/03/09 [TYPES/announce] Ackermann Award: Call for nominations Maribel Fernandez
2023/03/09 [TYPES/announce] ITP 2024 - Call for Bids Thiemann , René
2023/03/09 [TYPES/announce] UNIF 2023 Second Call for Papers Christophe Ringeissen
2023/03/08 [TYPES/announce] WPTE 2023 Call for Papers Cynthia Kop
2023/03/07 [TYPES/announce] WTSC23 --- extended deadline! Andrea Bracciali
2023/03/07 [TYPES/announce] MFPS 2023: Second Call for Papers Marie Kerjean
2023/03/07 [TYPES/announce] OPLSS 2023: Summer School Dates Stephanie Weirich
2023/03/07 [TYPES/announce] Vacancy: Assistant/Associate Professor Energy-efficient Software Development, University of Twente, Netherlands, Formal Methods and Tools group Huisman, Marieke (UT-EEMCS)
2023/03/07 [TYPES/announce] TYPES 2023: Call for Contributions - Deadline extension Alicia Villanueva
2023/03/07 [TYPES/announce] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering Andrei Chis
2023/03/07 [TYPES/announce] Call for papers SC-square 2023 Erika Abraham
2023/03/07 [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
2023/03/06 [TYPES/announce] SMT2023 Call For Papers Mathias Preiner
2023/03/06 [TYPES/announce] Software engineer position available Giuseppe Castagna