types-announce

Messages by Date

2023/03/01 [TYPES/announce] HOR 2023: Call for Papers Carsten Fuhs
2023/03/01 [TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi Clément Aubert
2023/03/01 [TYPES/announce] Postdoc position at Kyoto University, Japan Kohei SUENAGA
2023/03/01 [TYPES/announce] Second Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
2023/03/01 [TYPES/announce] ISMM 2023 (colocated with PLDI): call for papers Anders Miltner
2023/03/01 [TYPES/announce] SYCO 11 - Second call for papers Samuel Mimram
2023/02/26 [TYPES/announce] 1st Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023) D. Ventura
2023/02/26 [TYPES/announce] HCVS 2023 - Call for Papers (Extended deadline) Jose F. Morales
2023/02/24 [TYPES/announce] CALCO 2023: Final Call for Papers Thorsten Wissmann
2023/02/24 [TYPES/announce] FMTea 2023 - colocated with FM 2023 - call for participation Catherine DUBOIS
2023/02/24 [TYPES/announce] Two Postdocs in Logic, Gothenburg (Sweden) Bahareh Afshari
2023/02/22 [TYPES/announce] Eastern Canada Logic and Programming Seminar 2023 Ryan Kavanagh
2023/02/22 [TYPES/announce] CADE-29 - Second Call for Papers Haniel Barbosa
2023/02/21 [TYPES/announce] 1st Call for Contributions - Women in Logic Workshop (WiL 2023) Daniele Nantes
2023/02/21 [TYPES/announce] New book: Essentials of Compilation Siek, Jeremy
2023/02/21 [TYPES/announce] QPL 2023 -- Final Call for Papers (with updated deadlines) Vladimir Zamdzhiev
2023/02/21 [TYPES/announce] [ICTAC 2023] First call for papers – deadline 16 June 2023 Violet Ka I Pun
2023/02/20 [TYPES/announce] HCVS 2023 - Last Call for Papers Jose F. Morales
2023/02/20 [TYPES/announce] 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<) Ruy Jose Guerra Barretto de Queiroz
2023/02/20 [TYPES/announce] CfP: 16th Interaction and Concurrency Experience (ICE 2023) Simon Fowler
2023/02/20 [TYPES/announce] Logic Mentoring Workshop@CSL'23, Feb 17: Online Participation Michaël Cadilhac
2023/02/20 [TYPES/announce] HoTT/UF 2023: Deadline extended / 3rd Call for Contributions Jonathan Weinberger
2023/02/20 [TYPES/announce] 1st Ecumenical meeting @UCL Elaine Pimentel
2023/02/20 [TYPES/announce] FSCD 2025: Call for Location Carsten Fuhs
2023/02/20 [TYPES/announce] Call for Papers: ACM DEBS 2023 (Deadline Extension) Naohiro Hayashibara
2023/02/20 [TYPES/announce] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
2023/02/16 [TYPES/announce] Call for Papers in Doctoral Symposium, DEBS 2023 Naohiro Hayashibara
2023/02/16 [TYPES/announce] ICFP 2023: Last Call for Papers ICFP Publicity
2023/02/16 [TYPES/announce] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation) Catalin Hritcu
2023/02/16 [TYPES/announce] ECOOP 2023: Call for Papers Pascal Weisenburger
2023/02/16 [TYPES/announce] Midlands Graduate School in the Foundations of Computing Science 2023 Paul Levy
2023/02/16 [TYPES/announce] SPLASH 2023: Call for Workshop Proposals Andreea Costea
2023/02/16 [TYPES/announce] ICFP 2023 Artifact Evaluation Committee: call for nominations Quentin Stiévenart
2023/02/13 [TYPES/announce] OOPSLA 2023 - Round 2 CFP Andreea Costea
2023/02/13 [TYPES/announce] TYPES 2023 - Call for Contributions Alicia Villanueva
2023/02/13 [TYPES/announce] Call for STSMs and ITC conference grants, deadline 1 January 2023 Ambrus Kaposi
2023/02/12 [TYPES/announce] COORDINATION 2023 Final Call For Papers [extended deadline feb 24] Giorgio Audrito
2023/02/12 [TYPES/announce] 2nd call for PhD positions at ANU Nisansala Yatapanage
2023/02/12 [TYPES/announce] Call for papers SC-square 2023 Erika Abraham
2023/02/12 [TYPES/announce] Registration open - EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023 Jacopo Emmenegger
2023/02/12 [TYPES/announce] Call for Participation: Eelco Visser Commemorative Symposium, 5 April 2023 Jonathan Aldrich
2023/02/12 [TYPES/announce] Call for Nominations: ACM SIGPLAN Software Award - deadline extension 17 March 2023 Dominique Devriese
2023/02/08 [TYPES/announce] Full Professor in Computer Science at IMT Lucca - Expression of Interest Mirco Tribastone
2023/02/08 [TYPES/announce] Call for expressions of interest for open-rank positions at GSSI - Italy emilio . tuosto
2023/02/08 [TYPES/announce] CfP: 2nd International Conference on Homotopy Type Theory Steve Awodey
2023/02/08 [TYPES/announce] SOAP 2023 Call for Papers (co-located with PLDI'23) Liana Hadarean
2023/02/07 [TYPES/announce] special issue of Journal of Logic and Analysis dedicated to the 75th birthday of Dieter Spreen Maria Emilia Maietti
2023/02/07 [TYPES/announce] Five tenured positions in theoretical computer science at IRIF / Université Paris Cité Giuseppe Castagna
2023/02/07 [TYPES/announce] HoTT/UF 2023: 2nd Call for Contributions Jonathan Weinberger
2023/02/07 [TYPES/announce] Reversible Computation 2023: Call for papers -- Extended deadline Clément Aubert
2023/02/07 [TYPES/announce] TACAS 2023 TOOLympics - Call for Contributions Hartmanns, Arnd (UT-EEMCS)
2023/02/06 [TYPES/announce] SYCO 22 - Call for papers Samuel Mimram
2023/02/06 [TYPES/announce] PhD position in formal methods at the University of Oslo Peter Csaba Ölveczky
2023/02/06 [TYPES/announce] CFP: DISCOTEC 2023 - 18th International Federated Conference on Distributed Computing Techniques Carlos Baquero-Moreno
2023/02/06 [TYPES/announce] CfP FORTE 2023 - 43nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (deadline extension) Huisman, Marieke (UT-EEMCS)
2023/02/06 [TYPES/announce] Last Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw Michaël Cadilhac
2023/02/06 [TYPES/announce] Applied Category Theory 2023: First Call for Papers Sam Staton
2023/02/03 [TYPES/announce] QPL 2023 -- Call for Papers Vladimir Zamdzhiev
2023/02/03 [TYPES/announce] CALCO 2023: Second Call for Papers Thorsten Wissmann
2023/02/03 [TYPES/announce] [deadline extended] lecturer in Computational Linguistics in UCL Sadrzadeh, Mehrnoosh
2023/02/03 [TYPES/announce] One PhD and Two Postdocs in Logic, Gothenburg (Sweden) Graham Leigh
2023/02/02 [TYPES/announce] 4y fully funded PhD position on verification of efficient and secure parallel algorithms Peter Lammich
2023/02/02 [TYPES/announce] Deadline Extension: 2023 Alonzo Church Award Call for Nominations Mariangiola Dezani
2023/02/02 [TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham vincent rahli
2023/02/01 [TYPES/announce] IEEE CSF 2023: Call for Workshops - proposals due by Feb 24, 2023 Ralf Kuesters
2023/02/01 [TYPES/announce] Two PhD Positions in AUTOSARD Georg Moser
2023/02/01 Re: [TYPES/announce] Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw Michaël Cadilhac
2023/02/01 [TYPES/announce] FSCD 2023: Extended deadline (Abstract: February 4/ Submission: February 9) Carsten Fuhs
2023/02/01 [TYPES/announce] ETAPS 2023 Call For Participation jan . kofron
2023/02/01 [TYPES/announce] Call for ECOOP/ISSTA 2023 Workshop Proposals Pascal Weisenburger
2023/02/01 [TYPES/announce] COORDINATION 2023 Second Call For Papers - abstract deadline feb 11 Giorgio Audrito
2023/02/01 [TYPES/announce] CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call) D. Ventura
2023/01/27 [TYPES/announce] lecturer in Computational Linguistics in UCL Sadrzadeh, Mehrnoosh
2023/01/27 [TYPES/announce] EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023 Jacopo Emmenegger
2023/01/27 [TYPES/announce] CiE 2023: FINAL CALL FOR PAPERS acie
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