types-announce

Messages by Date

2020/10/14 [TYPES/announce] CFP (2nd call): IEEE ICCQ Conference on Code Quality in Moscow Yegor Bugayenko
2020/10/13 [TYPES/announce] Compiler Construction (CC) 2021 - Final Call for Papers Delphine Demange
2020/10/12 [TYPES/announce] PLMW@POPL 2021: Call for Applications (CORRECT URL) Stephanie Balzer
2020/10/12 [TYPES/announce] Computability in Europe 2021 CALL FOR PAPERS acie
2020/10/10 [TYPES/announce] Call for short submissions - PSSV-2020: XI Workshop Program Semantics, Specification and Verification Shilov Nikolay
2020/10/09 [TYPES/announce] CfP for TYPES 2020 postproceedings: Ugo de'Liguoro
2020/10/09 [TYPES/announce] PhD and Postdoc positions at the University of Copenhagen Dmitriy Traytel
2020/10/09 [TYPES/announce] DEADLINE EXTENSION: JLAMP Special Issue for PLACES 2020 Stephanie Balzer
2020/10/09 [TYPES/announce] VMCAI 2021 -- updated call for papers. Submission deadline: October 11 fritz
2020/10/09 [TYPES/announce] Tenure Track Assistant/Associate Professor of Computer Science Lea Wittie
2020/10/07 [TYPES/announce] Open positions in Software Engineering at Innopolis University Manuel Mazzara
2020/10/07 [TYPES/announce] CfP: AMAI Special Issue on Theoretical and Practical Aspects of Unification Temur Kutsia
2020/10/03 [TYPES/announce] NLPaSE 2020@ 27th APSEC 2020: Extended Deadline Saurabh Tiwari
2020/10/01 [TYPES/announce] ETAPS Doctoral Dissertation Award - Call for Nominations Caterina Urban
2020/09/30 [TYPES/announce] PLMW@POPL 2021: Call for Applications Stephanie Balzer
2020/09/29 [TYPES/announce] Science of Computer Programming: Special Issue on Application-Oriented Aspects of Graph Transformation Fabio Gadducci
2020/09/29 [TYPES/announce] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021) Peter Achten
2020/09/29 [TYPES/announce] [TFP'21] first call for papers: Trends in Functional Programming 2021, 17-19 February (with Lambda Days 2021 & TFPIE 2021) Peter Achten
2020/09/28 Re: [TYPES/announce] 2 Lecturer (Assistant Professor) Positions in Programming Languages at the University of Kent Dominic Orchard
2020/09/28 [TYPES/announce] POPL 2021 - Call for Tutorials (deadline 2020-10-28) Michael Greenberg
2020/09/28 Re: [TYPES/announce] Seminar talk on Linear Logic Harley D. Eades III
2020/09/28 [TYPES/announce] 2 Lecturer (Assistant Professor) Positions in Programming Languages at the University of Kent Dominic Orchard
2020/09/28 [TYPES/announce] Seminar talk on Linear Logic Harley D. Eades III
2020/09/27 [TYPES/announce] POPL 2021 - Student Research Competition - Call for Submissions (deadline: 2020-11-21) Michael Greenberg
2020/09/27 [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute Manuel Hermenegildo
2020/09/25 [TYPES/announce] NEW: Proof Theory Virtual Seminar Anton Freund
2020/09/23 [TYPES/announce] 3rd Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification Shilov Nikolay
2020/09/23 [TYPES/announce] [fm-announcements] NASA Formal Methods 1st CFP Munoz, Cesar (LARC-D320) via fm-announcements
2020/09/22 [TYPES/announce] ETAPS 2021 2nd joint call for papers Tarmo Uustalu
2020/09/22 [TYPES/announce] PEPM 2021 - Second Call for Papers Sam Lindley
2020/09/21 Re: [TYPES/announce] CFP: IEEE ICCQ-2021 Conference on Code Quality Yegor Bugayenko
2020/09/19 [TYPES/announce] Seminar Talk on Graded Types Harley D. Eades III
2020/09/19 [TYPES/announce] ECSS 2020 - Diversity in Informatics Research and Education - Register Now! Franziska Hauffe
2020/09/19 [TYPES/announce] Second CfP for PADL 2021 - Deadline 9th October 2020 Dominic Orchard
2020/09/18 [TYPES/announce] Assistant Professor position at IU --- Quantum Computing Sabry, Amr A.
2020/09/16 [TYPES/announce] CMCS 2020: Final Call for Participation Henning Basold
2020/09/16 [TYPES/announce] RV'20 - Call for Participation Ničković Dejan
2020/09/15 [TYPES/announce] Call for Contributions: JLAMP Special Issue for PLACES 2020 Stephanie Balzer
2020/09/14 [TYPES/announce] Call for Presentations: Principles of Secure Compilation (PriSC 2021 @ POPL 2021) Deian Stefan
2020/09/14 [TYPES/announce] University of Bologna Positions Call for Interest 2020 ivan.lanese
2020/09/14 [TYPES/announce] Agda Implementors' Meeting XXXIII: Call for talks and participation Jesper Cockx
2020/09/14 [TYPES/announce] PL / compilers team lead role with Standard Chartered in Warsaw José Pedro Magalhães
2020/09/13 [TYPES/announce] Special Issue on Confluence - Mathematical Structures in Computer Science Mauricio Ayala-Rincon
2020/09/08 [TYPES/announce] FMCAD'20 (Sept 21 to 24) - Call for Participation Georg Weissenbacher
2020/09/08 [TYPES/announce] PhD/Post-Doc positions at the University of Duisburg-Essen Barbara Koenig
2020/09/08 [TYPES/announce] Gandalf 2020 - Call for Participation Davide Bresolin
2020/09/07 [TYPES/announce] CoqPL 2021: Call for Presentations Amin Timany
2020/09/05 [TYPES/announce] Seminar Talk on Gradual Typing and Verification Harley D. Eades III
2020/09/04 [TYPES/announce] FLOPS 2020: Call for (free) Participation Keisuke Nakano
2020/09/04 [TYPES/announce] Compiler Construction (CC) 2021 - Call for Papers Delphine Demange
2020/09/03 [TYPES/announce] Haskell tutors required! Philip Wadler
2020/09/03 [TYPES/announce] Participation FROM 2020 motogna
2020/09/03 [TYPES/announce] LFMTP 2020 Post-Proceedings: Call for Papers Claudio Sacerdoti Coen
2020/09/03 [TYPES/announce] Lecturer / Senior Lecturer / Reader, University of Glasgow, School of Computing Science Simon Gay
2020/09/01 [TYPES/announce] 2nd Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification Shilov Nikolay
2020/09/01 Re: [TYPES/announce] Computational Logic and Applications 2020: call for (virtual) talk proposals Noam Zeilberger
2020/09/01 [TYPES/announce] Postdoctoral position in programming languages at Edinburgh LFCS James Cheney
2020/09/01 [TYPES/announce] Final Announcement - Panel Debate, Tomorrow @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science" Jamie Vicary
2020/08/31 [TYPES/announce] TYPES 2020 Post-proccedings CfP Ugo de Liguoro
2020/08/29 Re: [TYPES/announce] Online seminar on type-based verification Gabriel Scherer
2020/08/28 [TYPES/announce] Online seminar on type-based verification Harley D. Eades III
2020/08/28 [TYPES/announce] [fm-announcements] Certified Programs and Proofs (CPP) 2021: Final Call for Papers Munoz, Cesar (LARC-D320) via fm-announcements
2020/08/28 [TYPES/announce] Formal Methods 2021 -- 2nd Call for Papers Jun PANG
2020/08/28 [TYPES/announce] SEFM 2020: Registration is open Jacopo Mauro
2020/08/26 [TYPES/announce] LFMTP 2020 Post-Proceedings: Call for Papers Alwen Tiu
2020/08/26 [TYPES/announce] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages) Jurriaan Hage
2020/08/25 [TYPES/announce] QONFEST 2020 (CONCUR, FMICS, FORMATS, QEST + WORKSHOPS) - Last Call for Participation Ezio Bartocci
2020/08/25 [TYPES/announce] [2nd CFP] VMIL 2020 - Workshop on Virtual Machines and Language Implementations - Co-located with SPLASH 2020 Juan Fumero
2020/08/25 [TYPES/announce] Research professor position in Secure Systems Pieter Philippaerts
2020/08/24 [TYPES/announce] Extended Deadline: AGERE 2020 Elias Castegren
2020/08/24 [TYPES/announce] [LAFI 2021]: POPL 21 workshop on Languages for Inference Jean-Baptiste Tristan
2020/08/24 [TYPES/announce] Postdocs available in formal analysis of code for secure hardware Giles Reger
2020/08/23 [TYPES/announce] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP) Fernandez, Maria Isabel
2020/08/23 [TYPES/announce] PhD and postdoc positions at the Schaffhausen Institute of Technology Bertrand Meyer
2020/08/23 [TYPES/announce] Job: research associate in probabilistic programming Sam Staton
2020/08/23 [TYPES/announce] Formal methods engineer positions at Siemens Mobility, Paris, France (full-time) Danko Ilik
2020/08/23 [TYPES/announce] Job advertisement: assistant professor on cryptography at the University of Innsbruck Thiemann , René
2020/08/21 [TYPES/announce] CFP: 1st Workshop on Natural Language Processing Advancements for Software Engineering (NLPaSE) @ 27th APSEC 2020 Saurabh Tiwari
2020/08/20 [TYPES/announce] HSB2020 Call For Online Participation Max Tschaikowski
2020/08/20 [TYPES/announce] Certified Programs and Proofs (CPP) 2021: Final Call for Papers Andrei Popescu
2020/08/20 [TYPES/announce] Third Call for Participation: ICFP 2020 Sam Tobin-Hochstadt
2020/08/20 [TYPES/announce] Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science" Charles Grellois
2020/08/20 [TYPES/announce] CADE-28 Call for Papers, Workshops, Tutorials, and Competitions Sophie Tourret
2020/08/13 [TYPES/announce] MPLR 2020: Deadline Extended to August 19, 23:59 AoE Juan Fumero
2020/08/13 [TYPES/announce] EAPLS PhD Award 2020: Call for Nominations Andreas Wortmann
2020/08/12 [TYPES/announce] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages) Jurriaan Hage
2020/08/12 [TYPES/announce] PEPM 2021 - First Call for Papers Sam Lindley
2020/08/11 [TYPES/announce] QONFEST 2020 (CONCUR, FMICS, FORMATS, QEST + WORKSHOPS) - Call for Participation (Early Registration Deadline: 13 August 2020) Ezio Bartocci
2020/08/11 [TYPES/announce] Registration for CMSB 2020 is open! Tatjana Petrov
2020/08/11 [TYPES/announce] Call for papers: VMCAI 2021 Fritz Henglein
2020/08/11 [TYPES/announce] Final CfP : International Workshop on Quantum Compilation : 23-24 September 2020 Ross Duncan
2020/08/11 [TYPES/announce] PROBPROG 2020 Call for Late-breaking Submissions Jean-Baptiste Tristan
2020/08/10 [TYPES/announce] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation Sam Lindley
2020/08/06 [TYPES/announce] LGBTQ Social at ICFP Matthew Weaver
2020/08/05 [TYPES/announce] PhD/Postdoc in programming language technology for adaptively morphing cyber-physical systems at University of Amsterdam Clemens Grelck
2020/08/05 [TYPES/announce] Computational Logic and Applications 2020: call for (virtual) talk proposals Noam Zeilberger
2020/08/03 [TYPES/announce] PADL 2021 CfP Dominic Orchard
2020/08/03 [TYPES/announce] CMCS 2020: Call for Participation Henning Basold
2020/08/01 [TYPES/announce] Postdoc in Foundational Security for AI at University of Edinburgh, UK David Aspinall
2020/07/30 [TYPES/announce] Compiler Construction (CC) 2021 - Call for Papers Delphine Demange
2020/07/30 [TYPES/announce] 2nd CfP : International Workshop on Quantum Compilation : 23-24 September 2020 Ross Duncan
2020/07/28 [TYPES/announce] Short-term and long-term mentors needed for ICFP Talia Ringer
2020/07/25 [TYPES/announce] SPLASH 2020 Combined Call for Workshop Submissions hitesh sajnani
2020/07/24 [TYPES/announce] Call for online participation: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences Martha Lewis
2020/07/23 [TYPES/announce] ETAPS 2021 1st joint call for papers Tarmo Uustalu
2020/07/23 [TYPES/announce] EAPLS PhD Award 2020: Call for Nominations Andreas Wortmann
2020/07/23 [TYPES/announce] Extended deadline: PRDC 2020 The 25th Pacific Rim International Symposium on Dependable Computing Simon Yusuf-Enoch
2020/07/20 [TYPES/announce] Postdoc position in Formal Methods, Programming Languages, and Systems, at the University of Salzburg, Computational Systems Group Ana Sokolova
2020/07/20 [TYPES/announce] extended deadline Working Formal Methods Symposium (FROM 2020)] motogna
2020/07/20 [TYPES/announce] TYPES post-proceedings: call for papers Ugo de'Liguoro
2020/07/16 [TYPES/announce] FTfJP 2020 (virtual) - Call for Participation - 23.07.2020 Oortwijn Wytse
2020/07/16 [TYPES/announce] Final Call for Tutorials, Discussions, and Social Events: ICFP 2020 Sam Tobin-Hochstadt
2020/07/15 [TYPES/announce] Lecturer (Assistant Professor) position available at Bath, UK Guy McCusker
2020/07/15 [TYPES/announce] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages) Jurriaan Hage
2020/07/15 [TYPES/announce] Formal Methods 2021 -- 1st Call for Papers Jun PANG
2020/07/15 [TYPES/announce] Call for Participation: ICFP 2020 Sam Tobin-Hochstadt
2020/07/15 [TYPES/announce] SETTA-2020 CFP [Deadline extended]: Symposium on Dependable Software Engineering Theories, Tools and Applications - Guangzhou China, November 24-27, 2020 songfu1...@shanghaitech.edu.cn
2020/07/15 [TYPES/announce] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020 Mihaela Rozman
2020/07/11 [TYPES/announce] CICM 2020, July 26-31: Call for Online Participation Serge Autexier
2020/07/11 [TYPES/announce] Call for Papers: AGERE 2020 Elias Castegren
2020/07/11 [TYPES/announce] CFP: Open Virtual Special Issue of HSB 2020 in Information and Computation [Deadline Extension] Max Tschaikowski
2020/07/10 [TYPES/announce] Fully funded PhD studentship available at University of Southampton Rathke J.
2020/07/09 [TYPES/announce] 4th Workshop on Program Equivalence and Relational Reasoning (PERR 2020) Andrzej Murawski
2020/07/09 [TYPES/announce] [CFP] VMIL 2020 - Workshop on Virtual Machines and Language Implementations - Co-located with SPLASH 2020 Juan Fumero
2020/07/08 [TYPES/announce] Permanent positions at the University of Strathclyde Fredrik Nordvall Forsberg
2020/07/08 [TYPES/announce] FMBC 2020 - Call for Participation Bruno Bernardo
2020/07/07 [TYPES/announce] CFP: VIRTUAL SLE 2020 - 13th ACM SIGPLAN International Conference on Software Language Engineering Loli Burgueño
2020/07/07 [TYPES/announce] Oded Padon wins the ETAPS Doctoral Dissertation Award 2020 Caterina Urban
2020/07/07 [TYPES/announce] WFLP 2020: Deadline Extension Claudio Sacerdoti Coen
2020/07/07 [TYPES/announce] LAST CFPs: ONLINE EXPRESS/SOS 2020 submission deadline 13th July Ornela Dardha
2020/07/03 [TYPES/announce] PhD Position at VERIMAG (University of Grenoble Alpes and CNRS) Radu Iosif
2020/07/03 [TYPES/announce] Verification Mentorship Workshop 2020: call for participation Jean-Baptiste Jeannin
2020/07/03 [TYPES/announce] Invitation LogicLounge with Cory Doctorow - Surveillance Capitalism is not a Rogue Capitalism - virtual open livestream - 21 July 2020 - 8am PST - hosted by CAV 2020 Mathias Preiner
2020/07/02 [TYPES/announce] Cardano Virtual Summit 2020 Philip Wadler
2020/07/02 [TYPES/announce] Postdoctoral position available at Université Grenoble Alpes, France Pierre Corbineau
2020/07/02 [TYPES/announce] Call for SyGuS Benchmarks and Language Extensions Andrew Reynolds
2020/06/30 [TYPES/announce] Final Call for Papers: APLAS 2020 (deadline on the 6th of July) Bruno Oliveira
2020/06/30 [TYPES/announce] Post Doctoral Fellow Position at Carnegie Mellon University in Logical Systems Lab Andre Platzer
2020/06/30 [TYPES/announce] ICFP 2020: Second Call for Student Volunteers Victor Lanvin
2020/06/28 [TYPES/announce] TERMGRAPH 2020: Call for (Online) Participation Patrick Bahr
2020/06/28 [TYPES/announce] CFP: HATRA '20: Human Aspects of Types and Reasoning Assistants Michael Coblenz
2020/06/26 [TYPES/announce] [Call for participation] The Coq workshop 2020 Théo Zimmermann
2020/06/26 [TYPES/announce] Call for Participation: HoTT/UF 2020 - July 5-7 Benedikt Ahrens
2020/06/25 [TYPES/announce] Junior and Senior Faculty Openings in Programming Languages at Uppsala University Tobias Wrigstad
2020/06/25 [TYPES/announce] Fully funded PhD positions at Tallinn University of Technology Ed Morehouse
2020/06/25 [TYPES/announce] 2nd Joint Call for Participation: IJCAR 2020 + FSCD 2020 + 17 workshops and events, June 29 -- July 6, 2020 Stefano Guerrini
2020/06/25 [TYPES/announce] Call for Contributions: JLAMP Special Issue for PLACES 2020 Stephanie Balzer
2020/06/25 [TYPES/announce] CFP DETECT 2020 - Special Issue at ISSE NASA Journal Abderrahim AIT WAKRIME
2020/06/22 [TYPES/announce] LFMTP2020 Call for Participation Claudio Sacerdoti Coen
2020/06/22 [TYPES/announce] ICGT 2020: Call for Online Participation Fabio Gadducci
2020/06/22 [TYPES/announce] PhD Positions at the International Max Planck Research School on Trustworthy Computing Jennifer Gerling
2020/06/22 [TYPES/announce] Reversible Computation 2020 Call for Participation (fwd) ivan.lanese
2020/06/20 [TYPES/announce] 2nd cfp Working Formal Methods Symposium (FROM 2020) motogna
2020/06/20 [TYPES/announce] Final CFP: Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Guangzhou China, November 24-27, 2020 songfu1...@shanghaitech.edu.cn
2020/06/18 [TYPES/announce] CCC 2020; 2nd call for submissions; Dieter Spreen
2020/06/17 [TYPES/announce] Call for Tutorial Proposals: ICFP 2020 Sam Tobin-Hochstadt
2020/06/17 [TYPES/announce] LICS 2020 Call for Participation Sam Staton
2020/06/16 [TYPES/announce] ETAPS 2020 afternoon, online, 2 July 2020, call for participation Tarmo Uustalu
2020/06/12 [TYPES/announce] 2 PhD positions in programming languages at the University of Southern Denmark Fabrizio Montesi
2020/06/12 [TYPES/announce] The HoTTEST Conference of 2020, June 15-19 (homotopy type theory) Dan Christensen
2020/06/12 [TYPES/announce] CFP DETECT 2020 - Special Issue at ISSE NASA Journal Abderrahim AIT WAKRIME
2020/06/12 [TYPES/announce] DEADLINE EXTENSION - GandALF 2020 Davide Bresolin
2020/06/12 [TYPES/announce] Competitively paid postdoc position in programming languages at the University of Southern Denmark Fabrizio Montesi
2020/06/11 [TYPES/announce] PLAS 2020 - Extended Deadline (28 June) Vassena, Marco
2020/06/09 [TYPES/announce] Shut Down PL Talia Ringer
2020/06/09 [TYPES/announce] Postdoctoral fellowship in Oxford (All Souls College) Sam Staton
2020/06/09 [TYPES/announce] Fully funded PhD position(s) on managed languages and runtimes at the department of Information Technology at Uppsala University Tobias Wrigstad
2020/06/09 [TYPES/announce] FSCD 2020 - Call for (Online) Participation Sandra Alves
2020/06/08 [TYPES/announce] IEEE CSF 2020: Registration Maffei, Matteo
2020/06/08 [TYPES/announce] Berkeley summer seminar series on programming systems Alvin Cheung
2020/06/08 [TYPES/announce] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages) Jurriaan Hage
2020/06/08 [TYPES/announce] PLAS 2019 talk recordings available Piotr Mardziel
2020/06/06 [TYPES/announce] ICFP 2020: First Call for Students Volunteers Victor Lanvin
2020/06/06 [TYPES/announce] LOPSTR 2020: Extended Deadlines Fernandez, Maria Isabel
2020/06/04 [TYPES/announce] CFP: SLE 2020 - 13th ACM SIGPLAN International Conference on Software Language Engineering Loli Burgueño
2020/06/03 [TYPES/announce] 13 PhD Positions in Computer Science and System Engineering at University of Verona Massimo Merro
2020/06/03 [TYPES/announce] Fwd: Call for Speakers - PRiML 2020 Seyed H. HAERI (Hossein)
2020/06/03 [TYPES/announce] Postdoctoral Opening at the University of Minnesota Gopalan Nadathur
2020/06/03 [TYPES/announce] Call for Submissions: ICFP Student Research Competition Sam Tobin-Hochstadt
2020/06/03 [TYPES/announce] 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020 Mihaela Rozman
2020/06/03 [TYPES/announce] CfP : International Workshop on Quantum Compilation : 23-24 Sept 2020 Ross Duncan
2020/06/03 [TYPES/announce] Joint Call for Participation: IJCAR 2020 + FSCD 2020 + 17 workshops and events, June 29 -- July 6, 2020 Kaustuv Chaudhuri
2020/06/01 [TYPES/announce] The Proof Theory Blog anupamdotdas
2020/06/01 [TYPES/announce] Third Call for Papers: ONLINE EXPRESS/SOS 2020 Ornela Dardha
2020/06/01 [TYPES/announce] Online Worldwide Seminar on Logic and Semantics -- Summer Programme Jamie Vicary
2020/06/01 [TYPES/announce] ICALP 2020 - call for participation Anuj Dawar
2020/06/01 [TYPES/announce] ThEdu'20/EPTCS proceedings 2nd call for papers Walther Neuper
2020/05/31 [TYPES/announce] Open Tenure Track Professorship at TU Clausthal, Germany (Topics: Security, but also Static Analysis & PL) Rüdiger Ehlers
2020/05/31 [TYPES/announce] Research Assistant/Associate Position at Department of Computing, Imperial College London Yoshida, Nobuko
2020/05/29 [TYPES/announce] Request for funding Proposals on automatically finding and fixing bugs using Web Enabled Simulation (WES). Harman, Mark
2020/05/28 [TYPES/announce] PLDI 2020 - registration closing soon Wickerson, John P
2020/05/27 [TYPES/announce] Joint Call for Participation - DisCoTec2020 Kiko Fernandez Reyes
2020/05/27 [TYPES/announce] Call for papers: LOPSTR 2020 - a virtual conference Fernandez, Maria Isabel
2020/05/26 [TYPES/announce] TEASE-LP - Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020 Henning Basold
2020/05/26 [TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK. anupamdotdas
2020/05/24 [TYPES/announce] CFP: GandALF2020 - 2nd Call for Papers Davide Bresolin
2020/05/22 [TYPES/announce] cfp Working Formal Methods Symposium (FROM 2020) motogna
2020/05/21 [TYPES/announce] 7 PhD positions in Computer Science at GSSI, L'Aquila (Italy) -- DEADLINE JUNE 11 Emilio Tuosto
2020/05/21 [TYPES/announce] MFPS 2020 -- Call for Participation Vladimir Zamdzhiev
2020/05/21 [TYPES/announce] Job offer for a Mathematician or Computer Scientist researcher in Barcelona Ana Borges

Later messages