Messages by Date
-
2022/04/27
[TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)
Daniel Hillerström
-
2022/04/27
[TYPES/announce] FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals
Taro Sekiyama
-
2022/04/27
[TYPES/announce] PhD positions in Mathematical Foundations of Computer Science, Bath - deadline 16 May
Willem Heijltjes
-
2022/04/27
[TYPES/announce] WST 2022: final call for papers (submission deadline changed!)
Cynthia Kop
-
2022/04/27
[TYPES/announce] MOVEP: Early-bird rate ends April 30th
Martin Zimmermann
-
2022/04/27
[TYPES/announce] CfP: FACS 2022 - 18th International Conference on Formal Aspects of Component Software
José Proença
-
2022/04/27
[TYPES/announce] Second CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains
zaynah dargaye
-
2022/04/27
[TYPES/announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022
Serge Autexier
-
2022/04/27
[TYPES/announce] CSL'23 -- 1st call for papers
Elaine Pimentel
-
2022/04/24
[TYPES/announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers
Serge Autexier
-
2022/04/24
[TYPES/announce] Call for Presentations: VardiFest22
Kristin Yvonne Rozier
-
2022/04/22
[TYPES/announce] Applied Category Theory 2022: Second Call for Papers
Fredrik Nordvall Forsberg
-
2022/04/21
[TYPES/announce] Special Issue on Logic and Higher Structures in MSCS
Samuel Mimram
-
2022/04/21
[TYPES/announce] FOCODILE@DisCoTec 2022: Call For Extended Abstract - 3th International Workshop on Foundations of Consensus and Distributed Ledgers
Andrea Morichetta
-
2022/04/21
[TYPES/announce] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs
Luigia Petre
-
2022/04/20
[TYPES/announce] NFM 2022 - Call for participation
Klaus Havelund
-
2022/04/20
[TYPES/announce] 28th WoLLIC 2022 - 3rd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
-
2022/04/20
[TYPES/announce] QEST 2022 Call for Papers: Deadline Extension
QEST Publicity
-
2022/04/20
[TYPES/announce] Microservices 2022 - Second Call for Participation
Florian Rademacher
-
2022/04/20
[TYPES/announce] VORTEX 2022: Extended Submission Deadline, April 24
Davide Ancona
-
2022/04/20
[TYPES/announce] Formal Methods 2023 -- Joint call for workshop & tutorial proposals
Violet Ka I Pun
-
2022/04/19
[TYPES/announce] Reminder: PhD positions in Stockholm, deadline this Friday, 22 April
Peter LeFanu Lumsdaine
-
2022/04/19
[TYPES/announce] UNIF 2022 (2nd CFP) - 36TH International Workshop on Unification - deadline: May 5, 2022
David Cerna
-
2022/04/19
[TYPES/announce] BX 2022 - Call for papers (deadline 14 May)
Li-yao Xia
-
2022/04/19
[TYPES/announce] Postdoc position in Tokyo: model checking and optimization metaheuristics
Ichiro Hasuo
-
2022/04/19
[TYPES/announce] EXPRESS/SOS 2022 second call for Papers
Claudio Mezzina
-
2022/04/17
[TYPES/announce] SAT/SMT/AR + CP Summer School
Yoni
-
2022/04/17
[TYPES/announce] WPTE 2022 call for papers
Stefan Ciobaca
-
2022/04/15
[TYPES/announce] Final Call and Deadline Extension for Beth Outstanding Dissertation Prize 2022
Sadrzadeh, Mehrnoosh
-
2022/04/15
[TYPES/announce] Call for location ICALP 2025
Anca Muscholl
-
2022/04/13
[TYPES/announce] Call for solvers and benchmarks for the Synthesis Standard Demonstration
Andrew Reynolds
-
2022/04/13
[TYPES/announce] ETAPS 2023: Call for Satellite Events
Benedikt Bollig
-
2022/04/13
[TYPES/announce] 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software
Joao Marcos
-
2022/04/13
[TYPES/announce] Summer School on Neurosymbolic Programming July 11-13, Pasadena CA
Armando Solar-Lezama
-
2022/04/12
[TYPES/announce] Final CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics
Justin Hsu
-
2022/04/12
[TYPES/announce] Final CfP (with extended deadline): 15th Interaction and Concurrency Experience (ICE 2022)
Clément Aubert
-
2022/04/12
[TYPES/announce] Call for presentations: Program Analyses for WebAssembly (PAW @ ECOOP 2022) (Deadline extension)
Quentin Stievenart
-
2022/04/11
[TYPES/announce] ICFP'22 Artifact Evaluation Committee: call for nominations
Gabriel Scherer
-
2022/04/11
[TYPES/announce] ICFP 2022 Student Research Competition: Call for Submissions
Danel Ahman
-
2022/04/11
[TYPES/announce] 2nd CfP - ACM Workshop on Functional Art, Music, Modelling and Design - Deadline June 1
Michael Sperber
-
2022/04/08
[TYPES/announce] Tenure-track assistant professor
Coen DE ROOVER
-
2022/04/08
[TYPES/announce] LAP 2022 - Logic and Applications: CFP
Silvia Ghilezan
-
2022/04/08
[TYPES/announce] Reminder: Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21 (contributed talk and funding deadline Monday 11 April)
Anders Mortberg
-
2022/04/06
[TYPES/announce] Vacancy at Lancaster University (Leipzig campus), Deadline 18 April 2022
Marco Caminati
-
2022/04/06
[TYPES/announce] ICTCS'22: preliminary CfP
Daniele Gorla
-
2022/04/06
[TYPES/announce] TERMGRAPH 2022 Workshop: Second Call for Papers
Clemens Grabmayer
-
2022/04/06
[TYPES/announce] Student applications for PLMW @ PLDI 2022
Deian Stefan
-
2022/04/06
[TYPES/announce] ECOOP Doctoral Symposium 2022: 2nd Call for Contributions
Stephanie Balzer
-
2022/04/06
[TYPES/announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd cfp)
Alexandre Madeira
-
2022/04/06
[TYPES/announce] QEST 2022: Last Call for Papers
QEST Publicity
-
2022/04/06
[TYPES/announce] ICALP 2024 - call for location
Emanuela Merelli
-
2022/04/03
[TYPES/announce] [ICFEM 2022] Last CfP
ADRIAN RIESCO RODRIGUEZ
-
2022/04/03
[TYPES/announce] CONCUR 2022 - last CFP
Bartek Klin
-
2022/04/03
[TYPES/announce] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)
Achim D. Brucker
-
2022/04/02
[TYPES/announce] CFP SL-COMP 2022
Mihaela Sighireanu
-
2022/04/01
[TYPES/announce] Call for Workshop Papers - ECOOP 2022
Carolin Brandt
-
2022/04/01
[TYPES/announce] Lecturer Positions in Computer Science at Sussex
Bernhard Reus
-
2022/03/31
[TYPES/announce] SPLASH 2022 Call for Workshop Proposals
Andreea Costea
-
2022/03/31
[TYPES/announce] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
Marco Maggesi
-
2022/03/31
[TYPES/announce] last call: HSCC 2022 Test-of-time-award (deadline 10 April)
Nicola Paoletti
-
2022/03/31
[TYPES/announce] Microservices 2022 - First Call for Participation
Florian Rademacher
-
2022/03/31
[TYPES/announce] PhD position in machine learning for formal verification (Université Paris-Saclay, CEA LIST Institute, France)
Michele Alberti
-
2022/03/29
[TYPES/announce] Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2022
Sadrzadeh, Mehrnoosh
-
2022/03/29
[TYPES/announce] PhD Student / Post-Doc Position at University of Konstanz
Stefan Leue
-
2022/03/29
[TYPES/announce] First CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains
zaynah dargaye
-
2022/03/29
[TYPES/announce] PhD positions at Aarhus University
Andreas Pavlogiannis
-
2022/03/29
[TYPES/announce] Structure meets Power workshop 2022
Tomáš Jakl
-
2022/03/28
[TYPES/announce] 2nd CfP: AMAI Special Issue on Symbolic Computation in Software Science
Temur Kutsia
-
2022/03/28
[TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 26 Sep - 1 Oct 2022
Chuangjie Xu
-
2022/03/28
[TYPES/announce] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022
Anders Mortberg
-
2022/03/25
[TYPES/announce] FLoC 2022 Mentoring Workshop: Call for Scholarship Applications - deadline on April 11th
Andrew Kent
-
2022/03/25
[TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, last CFP and deadline extension
Tobias Kappé
-
2022/03/25
[TYPES/announce] post-doc & programmer positions in Tokyo, Japan
Ichiro Hasuo
-
2022/03/25
[TYPES/announce] Logic Colloquium deadline extension
Antonios Achilleos
-
2022/03/24
[TYPES/announce] CMCS 2022: Call for Participation
Thorsten Wissmann
-
2022/03/24
[TYPES/announce] Call for STSMs, deadline 3 April 2022
Ambrus Kaposi
-
2022/03/23
[TYPES/announce] Ph.D position on formal methods available @ University of Oslo (short deadline)
Martin Steffen
-
2022/03/23
[TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Daniel Hillerström
-
2022/03/23
[TYPES/announce] The Logic Colloquium 2022
Antonios Achilleos
-
2022/03/23
[TYPES/announce] First CFP: FM 2023 - 25th International Symposium on Formal Methods
Violet Ka I Pun
-
2022/03/21
[TYPES/announce] PhD position on Homotopy Type Theory
Benno van den Berg
-
2022/03/21
[TYPES/announce] OOPSLA 2022 - Round 2 CFP
Andreea Costea
-
2022/03/18
[TYPES/announce] MFCS 2022 - Second Call for Papers
Stefan Szeider
-
2022/03/18
[TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022)
Clément Aubert
-
2022/03/18
[TYPES/announce] OPLSS 2022
Zena Matilde Ariola
-
2022/03/18
[TYPES/announce] Postdoctoral researcher: opening at the University of Cambridge
Jeremy Yallop
-
2022/03/18
[TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)
RADU IOSIF
-
2022/03/17
[TYPES/announce] FLoC 2022 Mentoring Workshop: Call for Scholarship Applications — deadline on April 11th
Caterina Urban
-
2022/03/16
[TYPES/announce] postdoc position in Lille (France) on type systems and logical methods
Patrick Baillot
-
2022/03/15
[TYPES/announce] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL)
Herman Geuvers
-
2022/03/15
[TYPES/announce] GPCE 2022 Call for Papers
Yukiyoshi Kameyama
-
2022/03/15
[TYPES/announce] FSCD 2024: Call for Location
carsten
-
2022/03/15
[TYPES/announce] GandALF 2022 -- 2nd Call For Papers
Dario Della Monica
-
2022/03/15
[TYPES/announce] Second CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics
Justin Hsu
-
2022/03/14
[TYPES/announce] VORTEX 2022: Call for Papers
Davide Ancona
-
2022/03/14
[TYPES/announce] CSL’23 -- CALL FOR WORKSHOPS
Elaine Pimentel
-
2022/03/14
[TYPES/announce] Midlands Graduate School: Accommodation and second (final) call for participation
Nicolai Kraus
-
2022/03/14
[TYPES/announce] Assistant Research Professor or Postdoc position at Penn State CSE
Gang (Gary) Tan
-
2022/03/14
[TYPES/announce] ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances
Michael Sperber
-
2022/03/13
[TYPES/announce] [Call for participation] TFPiE and TFP online events March 16-18
Peter Achten
-
2022/03/13
[TYPES/announce] Morello: Edinburgh research post on capability-based security technologies
Ian Stark
-
2022/03/11
[TYPES/announce] PPDP 2022 - 1st Call for Papers
Beniamino Accattoli
-
2022/03/11
[TYPES/announce] ECOOP Doctoral Symposium 2022: Call for Participation
Stephanie Balzer
-
2022/03/11
[TYPES/announce] TYPES 2022 -- Deadline extension
Pierre-Marie Pédrot
-
2022/03/11
[TYPES/announce] The Coq Workshop 2022: Call for Presentation Proposals
Talia Ringer
-
2022/03/11
[TYPES/announce] SAS 2022 - First Call for Papers - Paper submission deadline: May 4th, 2022
Caterina Urban
-
2022/03/09
[TYPES/announce] Postdoctoral positions in AI for Programming Education at MPI-SWS, Germany
ru...@mpi-sws.org
-
2022/03/08
[TYPES/announce] SOAP 2022 - submission deadline extended
Titolo, Laura
-
2022/03/08
[TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, second CFP
Tobias Kappé
-
2022/03/08
[TYPES/announce] PhD position at the University of Amsterdam
Benno van den Berg
-
2022/03/08
[TYPES/announce] Call for STSMs, deadline 3 April 2022
Ambrus Kaposi
-
2022/03/08
[TYPES/announce] TAP22: Tests and Proofs 2022 - Call for Papers
Catherine DUBOIS
-
2022/03/07
[TYPES/announce] Postdoc position on session types for Erlang, University of Glasgow
Simon Gay
-
2022/03/07
[TYPES/announce] Fwd: PhD and postdoc positions in Software Security (Université Paris-Saclay, CEA List institute, France)
Michaël Marcozzi
-
2022/03/07
[TYPES/announce] SMT 2022 - 20th International Workshop on Satisfiability Modulo Theories
Antti Hyvärinen
-
2022/03/07
[TYPES/announce] 2-Year Postdoctoral Fellowship in Program Synthesis at Grinnell College
Osera, Peter-Michael
-
2022/03/07
[TYPES/announce] Call for presentations: Program Analyses for WebAssembly (PAW @ ECOOP 2022)
Quentin Stievenart
-
2022/03/05
[TYPES/announce] CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]
D. Ventura
-
2022/03/03
[TYPES/announce] PhD Position in Number Theory and Formalization
Andrei Popescu
-
2022/03/03
[TYPES/announce] HSCC 2022 Test-of-time-award (deadline 10 April)
Nicola Paoletti
-
2022/03/03
[TYPES/announce] Postdoc and PhD position in homotopy type theory
Nicolai Kraus
-
2022/03/01
[TYPES/announce] UNIF 2022 CFP - 36TH International Workshop on Unification - deadline: May 5, 2022
David Cerna
-
2022/03/01
[TYPES/announce] EXPRESS/SOS 2022 first call for Papers
Claudio Mezzina
-
2022/02/27
[TYPES/announce] DisCoTec 2022 Call for Workshop Papers [deadline 7 apr+]
Giorgio Audrito
-
2022/02/27
[TYPES/announce] TYPES 2022 -- Last call for contributions
Pierre-Marie Pédrot
-
2022/02/27
[TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic - deadline extended
Bahareh Afshari
-
2022/02/23
[TYPES/announce] Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique)
Noam Zeilberger
-
2022/02/23
[TYPES/announce] Associate Professor Position in Software Engineering at Uppsala University
Tobias Wrigstad
-
2022/02/23
[TYPES/announce] [ICFEM 2022] Call for Workshops and tutorials
ADRIAN RIESCO RODRIGUEZ
-
2022/02/23
[TYPES/announce] Applied Category Theory 2022: First Call for Papers
Fredrik Nordvall Forsberg
-
2022/02/23
[TYPES/announce] postdoc position, University of Warsaw
Sławomir Lasota
-
2022/02/23
[TYPES/announce] Call for contributions - 11th Conference on Geometric and Topological Methods in Computer Science
Eric Goubault
-
2022/02/23
[TYPES/announce] QEST 2022: Second Call for Papers
QEST Publicity
-
2022/02/21
[TYPES/announce] PhD and postdoc positions in security and privacy at Chalmers University of Technology
Andrei Sabelfeld
-
2022/02/21
[TYPES/announce] CONCUR 2022: 2nd CFP
Sławomir Lasota
-
2022/02/21
[TYPES/announce] PhD position, University of Warsaw
Sławomir Lasota
-
2022/02/21
[TYPES/announce] postdoc position, University of Warsaw
Sławomir Lasota
-
2022/02/21
[TYPES/announce] ACKERMANN AWARD 2022: CALL FOR NOMINATIONS
EACSL Mail-Account
-
2022/02/21
[TYPES/announce] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)
Peter Achten
-
2022/02/21
[TYPES/announce] FORMATS'22: second call for papers
Gethin Norman
-
2022/02/21
[TYPES/announce] Formal Verification: Postdoc and PhD Positions available at University of Stuttgart, Germany
Ralf Kuesters
-
2022/02/21
[TYPES/announce] CFP - Symposium on the History and Philosophy of Programming
Tomas Petricek
-
2022/02/21
[TYPES/announce] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
Nicolai Kraus
-
2022/02/21
[TYPES/announce] Call for Papers: PACMPL issue ICFP 2022
ICFP Publicity
-
2022/02/18
[TYPES/announce] Two Lecturer / Senior Lecturer posts in Formal Methods at Newcastle University
Sergiy Bogomolov
-
2022/02/18
[TYPES/announce] 1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022)
Martin Zimmermann
-
2022/02/18
[TYPES/announce] VerifyThis Verification Competition 2022
Marie Farrell
-
2022/02/18
[TYPES/announce] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US
Luigia Petre
-
2022/02/18
[TYPES/announce] ETAPS Mentoring Workshop 2022 - Call for Participation
Caterina Urban
-
2022/02/18
[TYPES/announce] Lecturer / Senior Lecturer in Software Engineering
David Pearce
-
2022/02/16
[TYPES/announce] Nordic Online Logic Seminar: next talk on February 28 by Thierry Coquand
Graham Leigh
-
2022/02/15
[TYPES/announce] PhD position on efficient and provably correct execution environments
Tobias Wrigstad
-
2022/02/15
[TYPES/announce] DisCoTec 2022 call for tutorials [deadline feb 28]
Giorgio Audrito
-
2022/02/13
[TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022)
Clément Aubert
-
2022/02/13
[TYPES/announce] Coq Community Survey 2022
Théo Zimmermann
-
2022/02/12
[TYPES/announce] CfP GCM 2022 - 13th International Workshop on Graph Computation Models
Christopher Michael POSKITT
-
2022/02/12
[TYPES/announce] Tenure Track Position (RTDB) in Computer Science (INF/01) at the University of Bologna - Call Opened
Ugo Dal Lago
-
2022/02/11
[TYPES/announce] LCC 2022 workshop Final call for participation
Patrick Baillot
-
2022/02/10
[TYPES/announce] VPT 2022 Workshop, Extended Deadline
Lisitsa, Alexei
-
2022/02/09
[TYPES/announce] PhD positions in Mathematical Foundations of Computer Science - Bath - deadline 4 March
Willem Heijltjes
-
2022/02/09
[TYPES/announce] LSFA 2022 -- First Call for Papers
Daniele Nantes
-
2022/02/09
[TYPES/announce] RC2022 final CFP [extended deadline]
Claudio Mezzina
-
2022/02/08
[TYPES/announce] Postdoc on session types and reliability
Laura Bocchi
-
2022/02/08
[TYPES/announce] Post-doc/senior researcher in smart contract security analysis using formal methods
Stefan Dziembowski
-
2022/02/07
[TYPES/announce] CFP : Logical Frameworks and Meta-Languages: Theory and Practice + Frank Pfenning's 60th birthday @ FLOC 2022
Gabriel Scherer
-
2022/02/07
[TYPES/announce] Researcher positions (postdoc / phd) in Quantum Crypto and Formal Verification
Dominique Unruh
-
2022/02/07
[TYPES/announce] FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18)
Carsten Fuhs
-
2022/02/05
[TYPES/announce] First CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics
Justin Hsu
-
2022/02/05
[TYPES/announce] HoTT/UF 2022: Call for Contributions
Benedikt Ahrens
-
2022/02/04
[TYPES/announce] 2 Ph.D positions on formal methods available at the University of Oslo
Martin Steffen
-
2022/02/04
[TYPES/announce] PLACES 2022 - Call for Papers (Extended deadline & Call for Presentations)
Rumyana Neykova
-
2022/02/04
[TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic (Amsterdam)
Bahareh Afshari
-
2022/02/04
[TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)
RADU IOSIF
-
2022/02/01
[TYPES/announce] Call for Model-Checking Community Feedback
Kristin Yvonne Rozier
-
2022/02/01
[TYPES/announce] CSL 2022: 2nd Call for Participation
Manea, Florin
-
2022/02/01
[TYPES/announce] CfP: AMAI Special Issue on Symbolic Computation in Software Science
Temur Kutsia
-
2022/02/01
[TYPES/announce] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France
Julien Signoles
-
2022/02/01
[TYPES/announce] Beth Outstanding Dissertation Prize 2022: First Call for Nominations
Sadrzadeh, Mehrnoosh
-
2022/02/01
[TYPES/announce] TYPES 2022 -- Second call for contributions
Pierre-Marie Pédrot
-
2022/02/01
[TYPES/announce] DisCoTec final CFP [extended deadline]
Giorgio Audrito
-
2022/02/01
[TYPES/announce] Research Post in Session Types for Erlang at University of Glasgow, UK
Simon Gay
-
2022/02/01
[TYPES/announce] PLACES 2022 -- FINAL Call for Papers (deadline 4 February '22)
Rumyana Neykova
-
2022/02/01
[TYPES/announce] RC2022 final call for papers
Claudio Mezzina
-
2022/02/01
[TYPES/announce] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline
Serge Autexier
-
2022/02/01
[TYPES/announce] HCVS 2022 - Final Call for Papers (Deadline extended 13th February)
Maurizio Proietti
-
2022/02/01
[TYPES/announce] Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)
Radu Iosif
-
2022/01/27
[TYPES/announce] CMCS 2022: Deadline extension
Thorsten Wissmann
-
2022/01/27
[TYPES/announce] ACM HSCC 2022 -- Call for Posters and Demos (deadline 14 February)
Nicola Paoletti
-
2022/01/25
[TYPES/announce] Fully-funded PhD studentship at Edinburgh
Liam O'CONNOR
-
2022/01/25
[TYPES/announce] POPL 2022 Virtual Workshop this week
Adam Chlipala
-
2022/01/23
[TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop
Tobias Kappé
-
2022/01/23
[TYPES/announce] CMCS 2022: Final Call for Papers
Thorsten Wissmann
-
2022/01/23
[TYPES/announce] First call for papers SOAP 2022
Titolo, Laura
-
2022/01/23
[TYPES/announce] 2022 Alonzo Church Award: Call for Nominations
Andrzej Murawski
-
2022/01/20
[TYPES/announce] PLACES 2022 - Call for Papers
Rumyana Neykova
-
2022/01/20
[TYPES/announce] Release of Lambdapi 2.1.0
Frédéric Blanqui
-
2022/01/18
[TYPES/announce] DisCoTec 2022: second call for Workshops
Giorgio Audrito
-
2022/01/18
[TYPES/announce] FSCD 2022: Second Call for Papers
Carsten Fuhs
-
2022/01/16
[TYPES/announce] Multiple Research Fellow positions at the Australian National University
Alwen Tiu
-
2022/01/15
[TYPES/announce] HCVS 2022 - Second Call for Papers
Maurizio Proietti