types-announce

Messages by Date

2023/01/24 [TYPES/announce] Faculty positions at the University of Copenhagen Dmitriy Traytel
2023/01/24 [TYPES/announce] Full professor of programming languages, U of Tartu Tarmo Uustalu
2023/01/24 [TYPES/announce] Job offer / Researcher-Engineer / Inria, Saclay, France Claude Marche
2023/01/24 [TYPES/announce] ETAPS Mentoring Workshop 2023 - Call for Scholarship Applications (deadline: February 13th, 2023) Caterina Urban
2023/01/24 [TYPES/announce] 29th WoLLIC 2023 - 2nd Call for Papers Ruy Jose Guerra Barretto de Queiroz
2023/01/22 [TYPES/announce] TbiLLC 2023: First Call for Papers Hansen, H.H.
2023/01/22 [TYPES/announce] ITP 2023: Second Call for Papers Thiemann , René
2023/01/22 [TYPES/announce] Call for papers: Mathematical Foundations of Programming Semantics 2023 Paul Levy
2023/01/22 [TYPES/announce] Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw Michaël Cadilhac
2023/01/22 [TYPES/announce] Call for ETAPS Test of Time Award 2023 Nominations jan . kofron
2023/01/22 [TYPES/announce] HoTT 2023: first CfP Steve Awodey
2023/01/18 [TYPES/announce] PLACES 2023 - 2nd Call for Papers Alceste Scalas
2023/01/18 [TYPES/announce] Open faculty position in “Software Technology” at Vrije Universiteit Brussel, Belgium Coen DE ROOVER
2023/01/18 [TYPES/announce] CfP: Journal of Systems and Software - Special Issue on Software Language Engineering Andrei Chis
2023/01/18 [TYPES/announce] FSCD 2023: Second Call for Papers Carsten Fuhs
2023/01/18 [TYPES/announce] Reversible Computation 2023: Call for papers Clément Aubert
2023/01/18 [TYPES/announce] 2 PhD positions in Formal Analysis for Concurrent Workflows (deadline extended) Violet Ka I Pun
2023/01/18 [TYPES/announce] Funded PhD positions at Illinois Tech Stefan Muller
2023/01/17 [TYPES/announce] Lecture or Senior Lectureship in Computer Science at Swansea University Monika Seisenberger
2023/01/17 [TYPES/announce] 2023 Alonzo Church Award: Call for Nominations Mariangiola Dezani
2023/01/17 [TYPES/announce] PhD scholarships at University of Kent (UK) Marco Paviotti
2023/01/17 [TYPES/announce] New Undergrad PL Research Internship at Penn Joey Velez-Ginorio
2023/01/17 [TYPES/announce] CONFEST 2023 -- 2nd Call for Workshop Proposals Emmanuel Filiot
2023/01/17 [TYPES/announce] UNIF 2023 Call for Papers Christophe Ringeissen
2023/01/12 [TYPES/announce] CADE-29 - Call for Papers Haniel Barbosa
2023/01/12 [TYPES/announce] RRRR 2023 Call for Submissions Arnd Hartmanns
2023/01/12 [TYPES/announce] CMSB 2023: first call for papers Jun PANG
2023/01/12 [TYPES/announce] ICFP 2023 Call for Papers ICFP Publicity
2023/01/12 [TYPES/announce] Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
2023/01/12 [TYPES/announce] Fully Funded PhD Scholarship at St Andrews Christopher Brown
2023/01/12 [TYPES/announce] HoTT/UF 2023: Call for Contributions Jonathan Weinberger
2023/01/11 [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
2023/01/09 [TYPES/announce] FM 2023 - Call for Participation Violet Ka I Pun
2023/01/09 [TYPES/announce] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software Walther Neuper
2023/01/09 [TYPES/announce] Phd Position in Concurrency Theory Kirstin Peters
2023/01/09 [TYPES/announce] Professorship for System Security @ Ruhr Uni Bochum, Germany Catalin Hritcu
2023/01/09 [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
2023/01/09 [TYPES/announce] A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games" Harsh Beohar
2023/01/09 [TYPES/announce] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming Peter Achten
2023/01/09 [TYPES/announce] QEST 2023 first call for papers Nils Jansen
2022/12/27 [TYPES/announce] FORMATS 2023 first call for papers Jeremy Sproston
2022/12/27 [TYPES/announce] Final CfPart: FoPSS 2023 (February 2023, Bertinoro, Italy) Paolo Pistone
2022/12/27 [TYPES/announce] CoqPL 2023, final program Benjamin Pierce
2022/12/21 [TYPES/announce] CFP: IEEE CSF 2023 - Winter Cycle (Submission Deadline: February 3, 2023) Ralf Kuesters
2022/12/21 [TYPES/announce] Two open position at the ILLC, University of Amsterdam Benno van den Berg
2022/12/21 [TYPES/announce] FORTE'23 first CfP Antonio Ravara
2022/12/20 [TYPES/announce] CALCO 2023: First Call for Papers Thorsten Wissmann
2022/12/20 [TYPES/announce] ICALP 2023 - 2nd CFP Anca Muscholl
2022/12/20 [TYPES/announce] 2nd Call for Contributions FICS 2023: Workshop on Fixed Points in Computer Science Ralph Matthes
2022/12/20 [TYPES/announce] Call for Participation: CSL'23 Elaine Pimentel
2022/12/19 [TYPES/announce] Extended CFP: ICCQ'23, the 3rd IEEE International Conference on Code Quality Yegor Bugayenko
2022/12/19 [TYPES/announce] HCVS 2023 - First Call for Papers Jose F. Morales
2022/12/19 [TYPES/announce] PLACES 2023 - Call for Papers Alceste Scalas
2022/12/19 [TYPES/announce] 2023 Alonzo Church Award: Call for Nominations Mariangiola Dezani
2022/12/17 [TYPES/announce] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
2022/12/17 [TYPES/announce] Recruiting: Doctoral Researchers / PhD Students Andre Platzer
2022/12/17 [TYPES/announce] LangSec 2023 - Call for Papers, Work-in-Progress reports, and Panels Erik Poll
2022/12/17 [TYPES/announce] Assistant/Associate Professor positions in Computer Science at the University of Birmingham, UK vincent rahli
2022/12/17 [TYPES/announce] Call for applications: Applied Category Theory Adjoint School 2023 Elena Di Lavore
2022/12/17 [TYPES/announce] Assistant professor position in Theoretical Computer Science - University of Groningen. Jorge A . Pérez
2022/12/17 [TYPES/announce] RAMiCS 2023 - Call for short contributions/posters Luigi Santocanale
2022/12/13 [TYPES/announce] 16th workshop on Computational Logic and Applications: Call for Participation Noam Zeilberger
2022/12/13 [TYPES/announce] 2 Associate professor positions at CSE, Chalmers Ana Bove
2022/12/12 [TYPES/announce] Tenure-Track Assistant Professor in Software Engineering at the University of Konstanz, Germany Michael Grossniklaus
2022/12/12 [TYPES/announce] PLDI 2023 Student Research Competition (SRC) PLDI 2023 Publicity Chairs
2022/12/11 [TYPES/announce] POPL '23 Early Bird Registration ending Friday, Dec 16 Kristopher K Micinski
2022/12/09 [TYPES/announce] CfP ICGT 2023 :: 16th International Conference on Graph Transformation Christopher Michael POSKITT
2022/12/09 [TYPES/announce] PLAS 2022: Monday, December 12, 2022 (free, online, excellent programme) Musard Balliu
2022/12/09 [TYPES/announce] NFM 2023: Deadline extension & final CFP Rozier, Kristin-Yvonne [AER E]
2022/12/09 [TYPES/announce] Post-doc position in the Inria Gallinette team in Nantes Guilhem Jaber
2022/12/09 [TYPES/announce] ESSLLI 2023: Second Call for Course and Workshop Proposals Lutz Strassburger
2022/12/08 [TYPES/announce] postdoctoral research positions in effect handler oriented programming at Edinburgh Sam Lindley
2022/12/07 [TYPES/announce] Call for STSMs, deadline 1 January 2023 Ambrus Kaposi
2022/12/06 [TYPES/announce] Rust Verification Workshop at ETAPS 2023: Call for Talk and Demo Proposals Mueller Peter
2022/12/06 [TYPES/announce] Certified Programs and Proofs (CPP) 2023: Call for Participation Steve Zdancewic
2022/12/05 [TYPES/announce] TFPIE 2023 call for submissions (deadline Dec 27th) Elena Machkasova
2022/12/05 [TYPES/announce] Lectureships (assistant professorships) at Imperial College London Gardner, Philippa A
2022/12/03 [TYPES/announce] Call for Participation: Online Workshop Series "Proofs, Computation and Meaning" Paolo Pistone
2022/12/03 [TYPES/announce] FMTea Tutorial on Teaching TLA+ in Industry: Principal Research Engineer Markus Kuppe, RiSE group at Microsoft Research, US, on Friday, December 9, 2022 at 3 pm CET Luigia Petre
2022/12/03 [TYPES/announce] QPL 2023 - Preliminary Call for Papers Vladimir Zamdzhiev
2022/12/01 [TYPES/announce] ICFP 2023: Call for Workshop and Co-Located Event ICFP Publicity
2022/11/29 [TYPES/announce] New Lambda Calculus book Henk Barendregt
2022/11/29 [TYPES/announce] FSCD-CADE 2023: Call for Workshop Proposals Carsten Fuhs
2022/11/29 [TYPES/announce] Call for Participation: POPL'23 Kristopher K Micinski
2022/11/28 [TYPES/announce] PhD and post-doc positions in Mainz, Germany Erdweg, Sebastian
2022/11/28 [TYPES/announce] FSCD 2023: First Call for Papers Carsten Fuhs
2022/11/28 [TYPES/announce] 7 PhD positions available in Austria within the SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design) Special Research Program Maffei, Matteo
2022/11/28 [TYPES/announce] Tenure-Track Faculty Position at Illinois Tech Stefan Muller
2022/11/25 [TYPES/announce] Fully funded PhD positions in PL theory and interactive theorem proving at Heriot-Watt University in Edinburgh Sieczkowski, Filip K
2022/11/25 [TYPES/announce] SYCO 10: Call for Participation Chris Heunen
2022/11/25 [TYPES/announce] 2023 Alonzo Church Award: Call for Nominations Mariangiola Dezani
2022/11/25 [TYPES/announce] 2 PhD positions in Formal Analysis for Concurrent Workflows in HVL, Bergen, Norway Violet Ka I Pun
2022/11/22 [TYPES/announce] 29th WoLLIC 2023 - Call for Papers Ruy Jose Guerra Barretto de Queiroz
2022/11/22 [TYPES/announce] Call for Papers: NASA Formal Methods (NFM) 2023 Rozier, Kristin-Yvonne [AER E]
2022/11/22 [TYPES/announce] PhD Position in Theory Georg Moser
2022/11/22 [TYPES/announce] Postdoc position in verification and automata learning at MPI-SWS, in association with Cornell and Oxford James Worrell
2022/11/22 [TYPES/announce] COORDINATION 2023 Call For Papers emilio . tuosto
2022/11/22 [TYPES/announce] 10 PhD studentships in Nottingham Graham Hutton
2022/11/22 [TYPES/announce] ETH Zürich looking to hire assistant professor for "Software Security and Formal Methods" (deadline Jan 8) Ralf Jung
2022/11/22 [TYPES/announce] nominations for the Dahl-Nygaard prize for the 2023 year Davide Ancona
2022/11/17 [TYPES/announce] ITP 2023: First Call for Papers Thiemann , René
2022/11/15 [TYPES/announce] PhD positions in program verification and separation logic at ETH Zürich Ralf Jung
2022/11/15 [TYPES/announce] Tenure-track Faculty Positions at Max Planck Institutes in Computer Science Catalin Hritcu
2022/11/15 [TYPES/announce] FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023) Ralph Matthes
2022/11/14 [TYPES/announce] ANU Logic Summer School: Call for Participation Dirk Pattinson
2022/11/14 [TYPES/announce] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC Andrei Popescu
2022/11/14 [TYPES/announce] ProofGeneal release 4.5 pierre . courtieu
2022/11/14 [TYPES/announce] Assistant professor position in Theoretical Computer Science at University of Groningen. Jorge A . Pérez
2022/11/14 [TYPES/announce] PhD positions in Blockchain and DLT including analysis and verification of smart contracts using Horn clauses Fabio Fioravanti
2022/11/14 [TYPES/announce] Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 7 Dec 2022 Sammartino, Matteo
2022/11/14 [TYPES/announce] CONFEST 2023 -- Call for Workshop Proposals Emmanuel Filiot
2022/11/08 [TYPES/announce] Chancellor's Fellowships at the University of Edinburgh James Cheney
2022/11/08 [TYPES/announce] Fwd: Postdoc positions in Probabilistic Programming, in Singapore Luke Ong
2022/11/08 [TYPES/announce] PhD studentship at University of Oxford Nobuko Yoshida
2022/11/07 [TYPES/announce] CFP IEEE 3rd International Conference on Code Quality (ICCQ'23) Yegor Bugayenko
2022/11/07 [TYPES/announce] Extended Deadline 11 November 2022 - Formal Methods Teaching Workshop (FMTea 2023) Call for Paper - Catherine DUBOIS
2022/11/07 [TYPES/announce] Postdoc position in automata and concurrency theory, at the University of Warsaw Sławomir Lasota
2022/11/01 [TYPES/announce] Recruitment of a research engineer in automated proof at LIRMM in Montpellier (France) David Delahaye
2022/11/01 [TYPES/announce] 16th Workshop on Computational Logic and Applications: call for talk proposals Noam Zeilberger
2022/10/31 [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
2022/10/31 [TYPES/announce] PLDI 2023 Second Call for Papers Anders Miltner
2022/10/31 [TYPES/announce] LICS 2023 Call for Papers and Call for Workshop Proposals Sam Staton
2022/10/30 [TYPES/announce] Postdoc & Scientific Programmer Positions in Tokyo Ichiro Hasuo
2022/10/30 [TYPES/announce] ESSLLI 2023: Call for Course and Workshop Proposals lutz
2022/10/30 [TYPES/announce] Postdoc position at the University of Birmingham vincent rahli
2022/10/30 [TYPES/announce] TYPES 2022 Last Post-proceeding CfP -- Extended Deadline Pierre-Marie Pédrot
2022/10/28 [TYPES/announce] PL and AI faculty Position at McGill University Brigitte Pientka
2022/10/27 [TYPES/announce] SYCO 10 – Second call for submissions Robin Kaarsgaard
2022/10/27 [TYPES/announce] Postdoc, PhD and intern positions at Université Paris-Saclay, CEA List institute, France, in Software Security and Program Analysis Michaël Marcozzi
2022/10/27 [TYPES/announce] HSCC 2023 Call for papers Ničković Dejan
2022/10/25 [TYPES/announce] PLAS 2022: Call for Papers Musard Balliu
2022/10/25 [TYPES/announce] 2nd Call for Presentations - Workshop on Principles of Secure Compilation (PriSC 2023) Marco Guarnieri
2022/10/25 [TYPES/announce] PLDI 2023 Artifact Evaluation Committee Nominations Anders Miltner
2022/10/24 [TYPES/announce] 2023 Alonzo Church Award: Call for Nominations Mariangiola Dezani
2022/10/24 [TYPES/announce] CfPart: FoPSS 2023 (February 2023, Bertinoro, Italy) Paolo Pistone
2022/10/24 [TYPES/announce] TYPES 2022 Second Post-proceeding CfP Pierre-Marie Pédrot
2022/10/23 [TYPES/announce] Fully-funded Ph.D. position(s) in analysis and transformations of Deep Learning programs in New York City (deadline Dec 15) Raffi T Khatchadourian
2022/10/23 [TYPES/announce] CoqPL 2023, extended submission deadline (Oct 31) Benjamin Pierce
2022/10/23 [TYPES/announce] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET Luigia Petre
2022/10/23 [TYPES/announce] TFPIE 2023 call for submissions (deadline Dec 27th) Elena Machkasova
2022/10/23 [TYPES/announce] Funded PhD positions in Computer Science at State University of New York, Korea Zhoulai Fu
2022/10/19 [TYPES/announce] Research opportunities (internships, PhD positions, summer school) at Max Planck Institutes in Computer Science Catalin Hritcu
2022/10/18 [TYPES/announce] Assistant/Associate/Full Professor and Teaching Professor Positions @ State University of New York (SUNY), Korea Zhoulai Fu
2022/10/18 [TYPES/announce] Final CFP: Proceedings for ThEdu'22 Joao Marcos
2022/10/18 [TYPES/announce] PhD position in modelling languages for concurrent systems Kirstin Peters
2022/10/17 [TYPES/announce] 2 PhD scholarships in Verification of Concurrent and Distributed Applications Alceste Scalas
2022/10/17 [TYPES/announce] LAFI 2023 - Final Call for Extended Abstracts (deadline Oct. 27) - POPL 2023 workshop on Languages for Inference Christine Tasson
2022/10/17 [TYPES/announce] Call for participation: The Proof Society Autumn School and Workshop, Utrecht 7-12 November 2022 Bahareh Afshari
2022/10/14 [TYPES/announce] CFP for PEPM 2023 (Deadline extended) Edwin Brady
2022/10/14 [TYPES/announce] POPL 23 -- Call for student volunteers Konstantinos Kallas
2022/10/14 [TYPES/announce] open faculty search (including PL) in computer science at Boston University Alley Stoughton
2022/10/13 [TYPES/announce] Faculty position in PL at the CS Dept of the University of Oregon Zena Matilde Ariola
2022/10/12 [TYPES/announce] Faculty position in Cambridge, closing date December 5 Jamie Vicary
2022/10/11 [TYPES/announce] Ph.D. positions at Portland State University Yao Li
2022/10/11 [TYPES/announce] PLDI 2023, Call for Workshops and Tutorials William J. Bowman
2022/10/11 [TYPES/announce] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022 Orestis Melkonian
2022/10/11 [TYPES/announce] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct) Fredrik Nordvall Forsberg
2022/10/11 [TYPES/announce] Selected Papers of Dana S. Scott Steve Awodey
2022/10/10 [TYPES/announce] SPLASH 2022 - Call For Participation: OOPSLA/APLAS/DLS/GPCE/SAS/SLE and more Andreea Costea
2022/10/10 [TYPES/announce] PhD and postdoc positions in theory of quantum computing in Paris Benoît Valiron
2022/10/10 [TYPES/announce] Internship for master students at CNES Paris-Daumesnil Ilik Danko
2022/10/09 [TYPES/announce] SYCO 10 – Call for submissions Robin Kaarsgaard
2022/10/08 [TYPES/announce] Multiple PhD positions at The Australian National University Nisansala Yatapanage
2022/10/07 [TYPES/announce] Call for Workshop Proposals for <Programming> 2023 Atsushi Igarashi
2022/10/07 [TYPES/announce] ETAPS Doctoral Dissertation Award 2023 jan . kofron
2022/10/07 [TYPES/announce] ECI 2023 – Call for course proposals – Buenos Aires, July 2023 Pablo Barenbaum
2022/10/07 [TYPES/announce] ETAPS 2023 Final joint call for papers jan . kofron
2022/10/07 [TYPES/announce] Four (4) PhD student positions in dependent type theory for mathematics and computer science Ana Bove
2022/10/05 [TYPES/announce] 14 PhD positions in Austria within the SPyCoDe Special Research Program Maffei, Matteo
2022/10/05 [TYPES/announce] Two postdocs in Type theory for mathematics and computer science Ana Bove
2022/10/05 [TYPES/announce] [Deadline Extension] The 33rd Nordic Workshop on Programming Theory, NWPT '22 Crystal Chang Din
2022/10/04 [TYPES/announce] Faculty position in Verification at Sheffield University Mike Stannett
2022/10/04 [TYPES/announce] Post-doc in Programming Languages at IRIF (Paris) Giuseppe Castagna
2022/10/04 [TYPES/announce] SRC@POPL 2023: Call For Submissions (DEADLINE: 11/11 AoE) Zhang, Danfeng
2022/10/04 [TYPES/announce] Postdoc position (6 years) at the Security and Privacy group, TU Wien Maffei, Matteo
2022/10/03 [TYPES/announce] CFP for PEPM 2023 (Partial Evaluation and Program Manipulation) Edwin Brady
2022/10/02 [TYPES/announce] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct Nicolai Kraus
2022/10/02 [TYPES/announce] Call for Presentations - 7th Workshop on Principles of Secure Compilation (PriSC - colocated with POPL) Marco Guarnieri
2022/10/01 [TYPES/announce] POPL 2023 Call for Tutorials Kristopher K Micinski
2022/09/27 [TYPES/announce] Faculty positions at Iowa State University Rajan, Hridesh [COM S]
2022/09/26 [TYPES/announce] Faculty positions at Indiana University Siek, Jeremy
2022/09/26 [TYPES/announce] Postdoc Positions in Programming Languages, Types, Choreographies (Protocols), and Distributed Systems -- University of Southern Denmark -- Deadline: 6 October 2022 Fabrizio Montesi
2022/09/26 [TYPES/announce] Postdoc contract at the University of Lisbon Vasco Thudichum Vasconcelos
2022/09/23 [TYPES/announce] UPDATED CfP: Eelco Visser Commemorative Symposium Jonathan Aldrich
2022/09/23 [TYPES/announce] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE) Favonia
2022/09/23 [TYPES/announce] RAMiCS 2023 - Deadline extension Luigi Santocanale
2022/09/22 [TYPES/announce] CoqPL 2023: Call for Presentations Tej Chajed
2022/09/22 [TYPES/announce] Summary of results from the Coq Community Survey 2022 Théo Zimmermann
2022/09/21 [TYPES/announce] [CfPart / Reminder] Proofs, computation and meaning II (28 September, online) Luca Tranchini
2022/09/20 [TYPES/announce] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming Peter Achten
2022/09/20 [TYPES/announce] 1st Call for Papers: NASA Formal Methods (NFM) 2023 Rozier, Kristin-Yvonne [AER E]
2022/09/20 [TYPES/announce] PLDI 2023 First Call for Papers Anders Miltner
2022/09/20 [TYPES/announce] NJPLS on Friday, October 21st, at UMD Leonidas Lampropoulos
2022/09/19 [TYPES/announce] NWPT 2022 call for contributions Crystal Chang Din
2022/09/17 [TYPES/announce] Recruitment of a research engineer in automated proof at LIRMM in Montpellier (France) David Delahaye
2022/09/17 [TYPES/announce] Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 15 Oct 2022 Sammartino, Matteo
2022/09/17 [TYPES/announce] Faculty positions at Oxford Jeremy Gibbons
2022/09/14 [TYPES/announce] Teaching faculty positions at Princeton CS David Walker
2022/09/14 [TYPES/announce] (Deadline Extended: Sep 22) Call for Papers for FAVPQC 2022 - International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022 TRAN Dinh Duong
2022/09/14 [TYPES/announce] LAFI 2023 - Call for Extended Abstracts (deadline Oct. 20) - POPL 2023 workshop on Languages for Inference Christine Tasson