Messages by Thread
-
[TYPES/announce] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice", 10th May 2021 to 14th May 2021 (Register by April 17)
Natarajan Shankar
-
[TYPES/announce] 7th International Workshop on Proof eXchange for Theorem Proving (PxTP) - Second CFP
Giselle Reis
-
[TYPES/announce] Two PhD positions in Formal Methods for Underwater Robots available (RWTH Aachen, Uni Oslo)
Einar Broch Johnsen
-
[TYPES/announce] IWACO 2021 - Call for Papers
Elias Castegren
-
[TYPES/announce] FMBC 2021 - 2nd Call for Papers
Bruno Bernardo
-
[TYPES/announce] LFMTP 2021 - 3rd cfp
Elaine Pimentel
-
[TYPES/announce] Two Postdoc Positions within the DIAPASoN Project
Ugo Dal Lago
-
[TYPES/announce] ML Family Workshop 2021: first call for short abstracts and presentations
Jonathan Protzenko
-
[TYPES/announce] LAP 2021 - Logic and Applications: CFP
Simona Kasterovic
-
[TYPES/announce] Pos doc position at University of Minho
José Carlos Espírito Santo
-
[TYPES/announce] HOPE'21@ICFP-CfP: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Ohad Kammar
-
[TYPES/announce] ITRS 21 CfP (Extended Deadline)
Riccardo Treglia
-
[TYPES/announce] ESSLLI 2022 Call for Course and Workshop Proposals
Moss, Larry
-
[TYPES/announce] TLLA 2021 - 1st cfp
Elaine Pimentel
-
[TYPES/announce] Reminder: 2-year position in HoTT at Stockholm, deadline this Friday
Peter LeFanu Lumsdaine
-
[TYPES/announce] COP'21
Yu David Liu
-
[TYPES/announce] MFPS 2021 -- Call for Papers
Ana Sokolova
-
[TYPES/announce] PPDP 2021 Call for Papers
Silvia Ghilezan
-
[TYPES/announce] CFP SETTA 2021 -Symposiumon Dependable Software Engineering: Theories, Tools and Applications
songfu1...@shanghaitech.edu.cn
-
[TYPES/announce] FORMATS 2021: 2nd CFP
Mahsa
-
[TYPES/announce] Call for Tutorials and Workshops: FroCoS 2021 & TABLEAUX 2021. 6-10 September, 2021. Birmingham, UK.
anupamdotdas
-
[TYPES/announce] VORTEX 2021: Call for Papers
Davide Ancona
-
[TYPES/announce] Deadline extension: PLanQC 2021
Matt Amy
-
[TYPES/announce] Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021
Natarajan Shankar
-
[TYPES/announce] Deadline Extension: April 5th, 20201, 14th Conference on Intelligent Computer Mathematics (CICM 2021)
Serge Autexier
-
[TYPES/announce] 2nd CfP: SCSS 2021
Temur Kutsia
-
[TYPES/announce] Call for Nominations: EiC of ACM TOCL journal
Sam Staton
-
[TYPES/announce] 2nd CfP: 14th Interaction and Concurrency Experience (ICE 2021)
Alceste Scalas
-
[TYPES/announce] Morello: Edinburgh research posts on capability-based security technologies
Ian Stark
-
[TYPES/announce] CALCO 2021: First Call for Papers
Michele Loreti
-
[TYPES/announce] Seminar talk on Coinductive Equivalences for Higher-order Coeffectful Languages
Harley D. Eades III
-
[TYPES/announce] CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science
Claudio Sacerdoti Coen
-
[TYPES/announce] SemSpace 2021 Final CfP and Deadline extension
Martha Lewis
-
[TYPES/announce] VEST'21 Workshop: First Call for Talks
Ornela Dardha
-
[TYPES/announce] Seminar talk on Extending Homotopy Type Theory with Linear Type Formers
Harley D. Eades III
-
[TYPES/announce] Reader (Associate Professor) Position in Programming Languages at the University of Kent
Dominic Orchard
-
[TYPES/announce] TABLEAUX 2021 - 2nd Call for Papers. 6-9 September, 2021. Birmingham, UK.
anupamdotdas
-
[TYPES/announce] CfP: International Symposium on Database Programming Languages (DBPL 2021) @ VLDB 2021
James Cheney
-
[TYPES/announce] IFL2021 First call for papers
Pieter Koopman
-
[TYPES/announce] Faculty position at UCL, London
Pym, David
-
[TYPES/announce] Research position at UCL, London
Pym, David
-
[TYPES/announce] Call for participation: 1st Rust Verification Workshop
Mueller Peter
-
[TYPES/announce] PhD Position in Programming Languages at TU Delft
Casper Bach Poulsen
-
[TYPES/announce] FMBC 2021 - Call for Papers
Bruno Bernardo
-
[TYPES/announce] OPLSS 2021 - Oregon Programming Languages Summer School
Paul Downen
-
[TYPES/announce] SBLP 2021 - First Call for Papers
Mario Pereira
-
[TYPES/announce] Call for Papers: HotSpot 2021
Toby Murray
-
[TYPES/announce] TYPES 2021: Call for Contributions
Henning Basold
-
[TYPES/announce] 2-year researcher position in HoTT, Stockholm University; deadline 9 April
Peter LeFanu Lumsdaine
-
[TYPES/announce] WST 2021 - Call for Papers
Samir Genaim
-
[TYPES/announce] Call for Papers - FMCAD 2021
Ruzica Piskac
-
[TYPES/announce] CFP: MAPS 21: 5th Annual Symposium on Machine Programming
Aws Albarghouthi
-
[TYPES/announce] PhD Position at U. Oslo: Formal Methods for Probabilistic Programs
Einar Broch Johnsen
-
[TYPES/announce] CFP: GandALF2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification
Davide Bresolin
-
[TYPES/announce] International Workshop on Confluence (IWC 2021): second call for papers
Samuel Mimram
-
[TYPES/announce] Two assistant professor faculty positions (tenure track) at UMass Lowell
Jay McCarthy
-
[TYPES/announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021) Final call for papers, Conference Date: July 26-31, 2021
Serge Autexier
-
[TYPES/announce] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation
Andrei Popescu
-
[TYPES/announce] LFMTP 2021 - 2nd call for papers
Elaine Pimentel
-
[TYPES/announce] CfP: ICTAC'21 (18th International Colloquium on Theoretical Aspects of Computing)
Peter Csaba Ølveczky
-
[TYPES/announce] Research Programmer in HoTT and Cubical Type Theory
Favonia
-
[TYPES/announce] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021
Andrei Popescu
-
[TYPES/announce] EXPRESS/SOS 2021: First Call for Papers
Ornela Dardha
-
[TYPES/announce] RV 2021 call for papers - RV 2021 the 21st international conference on runtime verification
Dana Fisman
-
[TYPES/announce] PhD position in Programming Language Tooling - Lund University, Sweden
Görel Hedin
-
[TYPES/announce] Ralf Jung wins the ETAPS Doctoral Dissertation Award 2021
Caterina Urban
-
[TYPES/announce] PxTP 2021: call for papers
Giselle Reis
-
[TYPES/announce] Second CFPs LSFA 2021 affiliated to FSCD 2021
Mauricio Ayala-Rincon
-
[TYPES/announce] PhD or postdoc position on program verification and Iris at Radboud University Nijmegen
Robbert Krebbers
-
[TYPES/announce] Call For Contributions - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Juan Fumero
-
[TYPES/announce] Call for papers - Workshop on Type-Driven Development (TyDe 2021) at ICFP 2021
Dominic Orchard
-
[TYPES/announce] ATVA 2021 - Second Call for Papers
Giles Reger
-
[TYPES/announce] Post-doctoral research position on `Gillian; Concurrency', Imperial
Gardner, Philippa A
-
[TYPES/announce] Final CFP: Quantum Physics and Logic (QPL 2021), submission deadline March 12
Miriam Backens
-
[TYPES/announce] PhD position in the analysis of concurrent or distributed programs, Imperial
Gardner, Philippa A
-
[TYPES/announce] PLDI 2021 Co-located events
Guha, Arjun
-
[TYPES/announce] 2021 Alonzo Church Award
Javier Esparza
-
[TYPES/announce] 3 Post-doc positions on semantics of PLs
Davide Sangiorgi
-
[TYPES/announce] Second Call for Nominations: Beth Outstanding Dissertation Prize 2021
Sadrzadeh, Mehrnoosh
-
[TYPES/announce] Seminar talk on Coupled Relational Symbolic Execution
Harley D. Eades III
-
[TYPES/announce] 27th WoLLIC 2021 - Call for Papers
Ruy Jose Guerra Barretto de Queiroz
-
[TYPES/announce] PLDI 2021 Student Research Competition (SRC)
Guha, Arjun
-
[TYPES/announce] Call for Submissions: International Conference on Probabilistic Programming (PROBPROG 2021)
Jean-Baptiste Tristan
-
[TYPES/announce] Post-doc position in Programming Language Foundations at University of Glasgow
Simon Gay
-
[TYPES/announce] SMT 2021 Workshop: Second Call for Papers
Nadel, Alexander
-
[TYPES/announce] PLanQC 2021 -- Call for Submissions
Matt Amy
-
[TYPES/announce] Post-doc position (2 years) on monitoring and verification of smart systems (deadline 18/3/21)
Emilio Tuosto
-
[TYPES/announce] ACKERMANN AWARD 2021: CALL FOR NOMINATIONS
EACSL Mail-Account
-
[TYPES/announce] The Plutus team is hiring
Philip Wadler
-
[TYPES/announce] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto)
Dominique Unruh
-
[TYPES/announce] ITRS 21 CfP
Riccardo Treglia
-
[TYPES/announce] Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark
Jacopo Mauro
-
[TYPES/announce] F-IDE 2021 - Last Call for Papers - Extended Deadline
Andrei Paskevich
-
[TYPES/announce] VerifyThis 2021: Call for Participation + Grants + Prizes
Siddharth Krishna
-
[TYPES/announce] SAS 2021 Call for Papers
Namjoshi, Kedar (Nokia - US/Murray Hill)
-
[TYPES/announce] Seminar talk on skew X categories and structural proof theory
Harley D. Eades III
-
[TYPES/announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021
Serge Autexier
-
[TYPES/announce] 2nd CfP ThEdu'21
Walther Neuper
-
[TYPES/announce] 2-years postdoctoral position in HoTT
Ana Bove
-
[TYPES/announce] Postdoc positions @ MPI-SWS
Viktor Vafeiadis
-
[TYPES/announce] [CFP] The Coq Workshop 2021 : Call for Talk Proposals
Christian Doczkal
-
[TYPES/announce] Two postdoc contracts at the University of Lisbon
Vasco Thudichum Vasconcelos
-
[TYPES/announce] ICFP'21 Artifact Evaluation Committee: call for nominations
Gabriel Scherer
-
[TYPES/announce] CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
Nick Hu
-
[TYPES/announce] Reversible Computation 2021 3rd CfP (Extended deadlines)
Tetsuo Yokoyama
-
[TYPES/announce] International Workshop on Confluence (IWC 2021): call for papers
Samuel Mimram
-
[TYPES/announce] CSL 2022 - call for papers
Manea, Florin
-
[TYPES/announce] Fundamenta Informaticae ---> OPEN ACCESS
Sławomir Lasota
-
[TYPES/announce] 12 month postdoc positions in Paris and Marseille
Thomas Ehrhard
-
[TYPES/announce] LAMAS&SR Final CFP (Submission deadline extended)
Giuseppe Perelli
-
[TYPES/announce] Deadline extension: Quantum Physics and Logic (QPL 2021), new submission deadline 12 March
Miriam Backens
-
[TYPES/announce] FSCD 2021: Extended deadline (Abstract: February 16/ Submission: February 22)
Carsten Fuhs
-
[TYPES/announce] PhD in Mathematical Foundations in Bath - deadline 21 Feb
Willem Heijltjes
-
[TYPES/announce] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation
Andrei Popescu
-
[TYPES/announce] PhD position in formal methods at the University of Oslo, Norway
Peter Csaba Ølveczky
-
[TYPES/announce] CfP: 14th Interaction and Concurrency Experience (ICE 2021)
Alceste Scalas
-
[TYPES/announce] PhD scholarship on Concurrency and Logic (Updated)
Jorge A. Perez
-
[TYPES/announce] Seminar talk on Relational Programming, Program Synthesis, Treating Rare Diseases, and More!
Harley D. Eades III
-
[TYPES/announce] WPTE 2021 (FIRST Call For Papers)
Keisuke Nakano
-
[TYPES/announce] [fm-announcements] Formal Methods for Industrial Critical Systems 2021 CfP
Munoz, Cesar (LARC-D320) via fm-announcements
-
[TYPES/announce] LICS 2021 Online and Call for Workshops
Sam Staton
-
[TYPES/announce] Second CFP: Quantum Physics and Logic (QPL 2021), submission deadline February 12
Miriam Backens
-
[TYPES/announce] announcing: March workshop on polynomial functors
David Spivak
-
[TYPES/announce] Fwd: Informatics at University of Leicester
Seyed H. HAERI (Hossein)
-
[TYPES/announce] TABLEAUX 2021 - Call for Papers. 6-9 September, 2021. Birmingham, UK.
anupamdotdas
-
[TYPES/announce] History and Philosophy of Computing 2021, CfP
Simone Martini
-
[TYPES/announce] Call for Papers: PACMPL issue ICFP 2021
Sam Tobin-Hochstadt
-
[TYPES/announce] CfP: SCSS 2021
Temur Kutsia
-
[TYPES/announce] PhD position at IMDEA Software Institute
niki.vazou
-
[TYPES/announce] Full professor and associate professor positions available at IRIF - Université de Paris
Hugo Herbelin
-
[TYPES/announce] CFP DisCoTec 2021 [EXTENDED DEADLINE]
Duncan Paul Attard
-
[TYPES/announce] COORDINATION'21: Last Call for Papers
Ornela Dardha
-
[TYPES/announce] ProWeb21: Deadline Extension (8th February)
Simon Fowler
-
[TYPES/announce] Postdoc opening in categorical semantics
Patricia Johann
-
[TYPES/announce] Compiler Construction (CC) 2021 - Call for Participation
Delphine Demange
-
[TYPES/announce] First Call for Nominations: Beth Outstanding Dissertation Prize (BODP) 2021
Sadrzadeh, Mehrnoosh
-
[TYPES/announce] Seminar talk on the semantics of bisimilarity
Harley D. Eades III
-
[TYPES/announce] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021
Serge Autexier
-
[TYPES/announce] ICALP 2021 Second Call for Workshops
Gethin Norman
-
[TYPES/announce] SMT 2021 Workshop CFP
Nadel, Alexander
-
[TYPES/announce] Reversible Computation 2021 2nd CfP
Tetsuo Yokoyama
-
[TYPES/announce] [Lambda Days + TFP + TFPIE 2021] call for participation
Peter Achten
-
[TYPES/announce] CfP - Intersection Types and Related Systems - ITRS2021
Ugo de Liguoro
-
[TYPES/announce] First CFPs LSFA 2021 - affiliated to FSCD 2021
Mauricio Ayala-Rincon
-
[TYPES/announce] Special Issue on Confluence - Mathematical Structures in Computer Science - Extended deadline
Mauricio Ayala-Rincon
-
[TYPES/announce] Two fully funded PhD positions in type theory at Chalmers/Gothenburg Univ
Ana Bove
-
[TYPES/announce] CFP: 6th Workshop On Monitoring And Testing Of Cyber-physical Systems (MT-CPS 2021)
Ichiro Hasuo
-
[TYPES/announce] CFW DisCoTec 2021 [2nd Call, ERRATUM]
Duncan Paul Attard
-
[TYPES/announce] Assistant Professor in Formal Methods @ DTU Compute
Alceste Scalas
-
[TYPES/announce] CFP DisCoTec 2021 [3rd Call]
Duncan Paul Attard
-
[TYPES/announce] CFW DisCoTec 2021 [2nd Call]
Duncan Paul Attard
-
[TYPES/announce] WTSC21 - workshop on trusted smart contracts @ financial crypto
Andrea Bracciali
-
[TYPES/announce] Final CfP. CiE 2021: Connecting with computability
acie
-
[TYPES/announce] Hiring of researcher by University of Minho
José Carlos Espírito Santo
-
[TYPES/announce] CFP HCVS 2021
bishoksan kafle
-
[TYPES/announce] Call for papers: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)
Lisa Nguyen Quang Do
-
[TYPES/announce] (Deadline extended to Feb 7th, 2021) LangSec 2021, affiliated with IEEE S&P
Gang (Gary) Tan
-
[TYPES/announce] CFP Quantum Physics and Logic (QPL 2021), June 7-11, Gdańsk & online
Miriam Backens
-
[TYPES/announce] Call for workshops: 35th European Conference on Object-Oriented Programming (ECOOP'21) & 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)
Lisa Nguyen Quang Do
-
[TYPES/announce] CfP HCVS 2021 @ ETAPS
Fabio Fioravanti
-
[TYPES/announce] LFMTP 2021 - 1st call for papers
Elaine Pimentel
-
[TYPES/announce] PhD scholarship on Concurrency and Logic
Jorge A. Perez
-
[TYPES/announce] ATVA 2021 - Call for Workshops
Dimitrova, Rayna
-
[TYPES/announce] PEPM 2021 - Call for Participation
Sam Lindley
-
[TYPES/announce] POPL 2021 - Talks are live! - Second Call for Participation
Michael Greenberg
-
[TYPES/announce] F-IDE 2021 - 2nd Call for Papers
Andrei Paskevich
-
[TYPES/announce] ICALP 2021 - Second Call For Papers
Simon Gay
-
[TYPES/announce] UNESCO World Logic Day@UCL: Logical Journeys
Sadrzadeh, Mehrnoosh
-
[TYPES/announce] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021)
Peter Achten
-
[TYPES/announce] Practical Aspects of Declarative Languages (PADL 2021) Final Call for Participation
Dominic Orchard
-
[TYPES/announce] two industrially-funded PhD positions at VERIMAG, Grenoble, France
DAVID MONNIAUX
-
[TYPES/announce] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13)
Andrei Popescu
-
[TYPES/announce] PhD openings in Security and Privacy at TU Wien
Maffei, Matteo
-
[TYPES/announce] ITP2021: Second Call for Workshops (Deadline 11 January 2021)
itp2021-workshops
-
[TYPES/announce] Third CFP VPT 2021 Ninth International Workshop on Verification and Program Transformation
Lisitsa, Alexei
-
[TYPES/announce] [TFPIE'21] Third and Final Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)
Peter Achten
-
[TYPES/announce] CfP Theorem Proving Components for Educational Software at CADE-28
Walther Neuper
-
[TYPES/announce] FSCD 2021: Second Call for Papers
Carsten Fuhs
-
[TYPES/announce] WST 2021 - 1st Call for Papers
Samir Genaim
-
[TYPES/announce] Postdoc in Statistical Model Checking at UCLouvain -- Belgium
Thomas Given-Wilson
-
[TYPES/announce] CPP 2021: Call for Participation and Lightning Talks
Andrei Popescu
-
[TYPES/announce] CS@max planck doctoral program applications by 31 December
Catalin Hritcu
-
[TYPES/announce] CFW DisCoTec 2021 [1st Call]
Duncan Paul Attard
-
[TYPES/announce] CFP DisCoTec 2021 [2nd Call]
Duncan Paul Attard
-
[TYPES/announce] PhD positions in Mathematical Foundations of Computation at University of Bath
Willem Heijltjes
-
[TYPES/announce] 18th Quantum Physics and Logic (QPL 2021) -- workshop announcement
QPL 2021
-
[TYPES/announce] POPL 2021 - Call for Participation
Michael Greenberg
-
[TYPES/announce] [TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)
Peter Achten
-
[TYPES/announce] Research assistant/associate position at Imperial College London
Yoshida, Nobuko