Messages by Date
-
2024/06/10
[TYPES/announce] Postdoc/PhD on compiler optimisations/meta-programming for DSLs @ Inria Lyon, France
Gabriel Radanne
-
2024/06/10
[TYPES/announce] DisCoTec 2024 Final Call for Participation
Bas van den Heuvel
-
2024/06/10
[TYPES/announce] Working Formal Methods Symposium (FROM) 2024, Timisoara, Romania
Madalina Erascu
-
2024/06/08
[TYPES/announce] BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts
Paul Levy
-
2024/06/08
[TYPES/announce] joint PhD position between Grenoble and Genova
Radu Iosif
-
2024/06/08
[TYPES/announce] Call for Papers: SPLASH 2024 Student Research Competition
Umar Farooq
-
2024/06/08
[TYPES/announce] SEFM'24 -- Deadline extended!
Alexandre Madeira
-
2024/06/07
[TYPES/announce] VORTEX 2024: 2nd Call for Papers
Davide Ancona
-
2024/06/07
[TYPES/announce] CFP (extended deadline): HATRA '24: Human Aspects of Types and Reasoning Assistants
Cyrus Omar
-
2024/06/06
[TYPES/announce] CfP ICTCS24 - Extended deadline
Riccardo Treglia
-
2024/06/06
[TYPES/announce] University Professorship (W3) Programming Languages and Program Analysis at KIT
André Platzer
-
2024/06/06
[TYPES/announce] Call for Participation: Scottish PL & Verification Summer School
Guillaume Allais
-
2024/06/06
[TYPES/announce] CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
ESSLLI Publicity
-
2024/06/06
[TYPES/announce] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
Frédéric Blanqui
-
2024/06/06
[TYPES/announce] Postdoctoral Position, VERIFAI, closing June 9th 2024
Rosemary Monahan
-
2024/06/06
[TYPES/announce] Deadline extension: ACM Workshop on Functional Software Architecture [NOW JUNE 12]
Michael Sperber
-
2024/06/06
[TYPES/announce] [Deadline extention] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop
Guillaume Munch-Maccagnoni
-
2024/06/06
[TYPES/announce] Call for Participation: 3rd Summer School on Security Testing and Verification (ST&V 2024)
Dominique Devriese
-
2024/06/04
[TYPES/announce] Two Senior Research Fellows on Concurrent and Distributed Programming, and Quantum Computing
Nobuko Yoshida
-
2024/06/04
[TYPES/announce] Reachability Problems (RP'24) EXTENDED deadline: Abstracts 24 June, Full papers 26 June 2024
Ana Sokolova
-
2024/06/04
[TYPES/announce] deadline extended: LSFA 2024
Cynthia Kop
-
2024/06/04
[TYPES/announce] Postdoctoral Research Fellow at the University of Surrey
Brijesh Dongol
-
2024/06/01
[TYPES/announce] IEEE CSF 2024 - Program is online
Ralf Kuesters
-
2024/06/01
[TYPES/announce] FSTTCS 2024 - Call for papers
Shibashis Guha
-
2024/06/01
[TYPES/announce] [DEADLINE EXTENSION | DATE CHANGE] Coq Workshop 2024 call for presentations
Théo Winterhalter
-
2024/05/31
[TYPES/announce] Call for TYPES 2026 location
Paige Randall North
-
2024/05/31
[TYPES/announce] Deadline extension--Sixth miniKanren and Relational Programming Workshop
Ekaterina Verbitskaia
-
2024/05/31
[TYPES/announce] PhD Positions Available at the University of Lille – Starting September 2024
David Nowak
-
2024/05/31
[TYPES/announce] Looking for PostDoc in the Formally Verified Security group at MPI-SP
Catalin Hritcu
-
2024/05/31
[TYPES/announce] SREPLS 15 / Concurrency Workshop -- Second Call for Talks
Marco Paviotti
-
2024/05/29
[TYPES/announce] Ackermann Award: Call for nominations - Deadline approaching - 1st July
Maribel Fernandez
-
2024/05/29
[TYPES/announce] Final Joint Call for Participation for NLS 2024, SLSS 2024, GandALF 2024
Antonios Achilleos
-
2024/05/29
[TYPES/announce] TyDe 2024: (EXTENDED DEADLINE: Monday 3 Jun 2024 (AoE))
Sandra Alves
-
2024/05/28
[TYPES/announce] PhD position in program verification at Radboud University Nijmegen
Robbert Krebbers
-
2024/05/28
[TYPES/announce] PhD/PostDoc position in Formal Methods at the University of Konstanz
Emanuele D'Osualdo
-
2024/05/28
[TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
xu
-
2024/05/27
[TYPES/announce] Category Theory / Type Theory / Machine Learning research posts at Symbolica
Dominic Verity
-
2024/05/24
[TYPES/announce] PLMW@ICFP'24: Call for Participation (travel funding application by June 21)
Ningning Xie
-
2024/05/24
[TYPES/announce] Coq Workshop 2024 call for presentations
Clément Pit-Claudel
-
2024/05/24
[TYPES/announce] IEEE CSF 2024 - Student Volunteers and Travel Scholarships: deadline extended to June 2, 2024
Ralf Kuesters
-
2024/05/24
[TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024
Carsten Fuhs
-
2024/05/24
[TYPES/announce] ACT and MFPS 2024 Call for Participation
Sam Staton
-
2024/05/24
[TYPES/announce] APLAS 2024: Final Call for Papers [Deadline extended till May 31]
Mirai Ikebuchi
-
2024/05/23
[TYPES/announce] Deadline extension TAP 2024 (Tests and Proofs 2024), Milan, Italy: new submission deadline June 14
Huisman, Marieke (UT-EEMCS)
-
2024/05/23
[TYPES/announce] HOPE '24: Second CFP
Max New
-
2024/05/23
[TYPES/announce] Final CfP: ACM Workshop on Functional Software Architecture [Deadline June 3]
Michael Sperber
-
2024/05/23
[TYPES/announce] Final Call: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
Michael Sperber
-
2024/05/23
[TYPES/announce] ICFP Programming Contest 2024
ICFP Contest 2024
-
2024/05/23
[TYPES/announce] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024
Serge Autexier
-
2024/05/22
[TYPES/announce] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024
Serge Autexier
-
2024/05/22
[TYPES/announce] SPLV 2024 --- Call for Participation (first call)
Jan de Muijnck-Hughes
-
2024/05/22
[TYPES/announce] PhD Positions at Chalmers University in Language-based Security
Alejandro Russo
-
2024/05/22
[TYPES/announce] 1st CALL FOR PAPERS EXPRESS/SOS@CONFEST2024
Cinzia Di Giusto
-
2024/05/21
[TYPES/announce] TyDe 2024: Final call for papers and extended abstracts
Jesper Cockx
-
2024/05/21
[TYPES/announce] LAP 2024 - Logic and Applications: CFP
Simona Prokić
-
2024/05/21
[TYPES/announce] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024
Serge Autexier
-
2024/05/20
[TYPES/announce] FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different systems
Luigia Petre
-
2024/05/20
[TYPES/announce] POPL 2025: First Call for Papers (deadline: July 11 AOE)
Ningning Xie
-
2024/05/20
[TYPES/announce] VORTEX 2024: Call for Papers
Davide Ancona
-
2024/05/17
[TYPES/announce] PLMW@PLDI'24: Call for lightning talks on research group openings
Gollamudi, Anitha
-
2024/05/17
[TYPES/announce] Final CfA: Proof Society School and Workshop [PS24] (extended deadline). 9-13 September, Birmingham, UK
Anupam das
-
2024/05/17
[TYPES/announce] 1-year researcher position at Gothenburg university
Ana Bove
-
2024/05/16
[TYPES/announce] ICTCS24 - Second CfP
Riccardo Treglia
-
2024/05/16
[TYPES/announce] LearnAut 2024 First Call for Participation (In-Person ICALP/LiCS/FSCD workshop) – Early registration deadline May 17
Sammartino, Matteo
-
2024/05/15
[TYPES/announce] Extended deadline: 8th International Workshop on Trends in Linear Logic and Applications
Paolo Pistone
-
2024/05/14
[TYPES/announce] FSEN 2025 - Call for Papers
Bos, Petra van den (UT-EEMCS)
-
2024/05/14
[TYPES/announce] LSFA 2024: Second Call For Papers
Cynthia Kop
-
2024/05/14
[TYPES/announce] Call for papers: Workshop on Programming Languages and Analysis for Security (PLAS 2024)
Vineet Rajani
-
2024/05/14
[TYPES/announce] FSCD 2024: Call for Participation (early registration deadline: *May 17, 2024*)
Carsten Fuhs
-
2024/05/14
[TYPES/announce] IEEE CSF 2025 - Call for Papers
Ralf Kuesters
-
2024/05/14
[TYPES/announce] Call for papers: FCS @ CSF'24 (Extended deadline: May 16 AoE)
Vassena, M. (Marco)
-
2024/05/14
[TYPES/announce] PhD Positions Available in Formal Methods for Reversible Concurrent Calculi
Clément Aubert
-
2024/05/13
[TYPES/announce] ICALP 2024 - Call for Participation
Pawel Sobocinski
-
2024/05/13
[TYPES/announce] Postdoctoral Research Fellow in Formal Methods in Bergen, Norway
Violet Ka I Pun
-
2024/05/13
[TYPES/announce] IEEE CSF 2024 - Second Call for Participation and Update
Ralf Kuesters
-
2024/05/13
[TYPES/announce] MSFP 2024 deadline extension: Tuesday 28th May
Favonia
-
2024/05/12
[TYPES/announce] ISR 2024: second call for participation + financial support
Thiemann , René
-
2024/05/12
[TYPES/announce] QPL 2024 - Call for participation
Alejandro Díaz-Caro
-
2024/05/12
[TYPES/announce] 2nd cfp of SEFM'24
Alexandre Madeira
-
2024/05/12
[TYPES/announce] ESOP 2025 2nd CfP - New: Two Submission Rounds
jan . kofron
-
2024/05/12
[TYPES/announce] 2nd CfP, 8th International Workshop on Trends in Linear Logic and Applications (TLLA'24)
Paolo Pistone
-
2024/05/09
[TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts
Graham Hutton
-
2024/05/09
[TYPES/announce] CfP: The Art, Science, and Engineering of Programming Journal volume 9
Jonathan Edwards
-
2024/05/08
[TYPES/announce] Tenure-Track Position in "Logic, Automata, and Games" at the Technical University of Munich
Javier Esparza
-
2024/05/07
[TYPES/announce] Types 2024, second call for participation
Patrick Bahr
-
2024/05/07
[TYPES/announce] FACS 2024 - Third Call for Papers
Marmsoler, Diego
-
2024/05/07
[TYPES/announce] Deadline extension: Graph Computation Models (GCM 2024)
Joerg Endrullis
-
2024/05/07
[TYPES/announce] Position: Full Professor in Programming Languages and Compilers at TU Wien, Austria
Georg Weissenbacher
-
2024/05/06
[TYPES/announce] Last CFP and deadline extension: PPDP 2024
Alessandro Bruni
-
2024/05/03
[TYPES/announce] Call for Papers: the 5th International Workshop on Automated (Co)inductive Theorem Proving, a satellite workshop of IJCAR 2024
sorin stratulat
-
2024/05/02
[TYPES/announce] WoLLIC 2024 call for participation
Ruy Jose Guerra Barretto de Queiroz
-
2024/05/02
[TYPES/announce] VTSA 2024: 2nd call for applications
Jun PANG
-
2024/05/02
[TYPES/announce] Call for papers: FCS workshop @ CSF’24
Vassena, M. (Marco)
-
2024/05/02
[TYPES/announce] Joint Call for Workshop Submissions - Software Technologies: Applications and Foundations (STAF 2024)
Vadim Zaytsev
-
2024/05/02
[TYPES/announce] Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM)
Yao Li
-
2024/05/01
[TYPES/announce] WiL2024 -- deadline extended to May 7!!
Elaine Pimentel
-
2024/05/01
[TYPES/announce] 2nd Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.
Anupam das
-
2024/05/01
[TYPES/announce] PhD Studentships in Computer Science at Queen Mary University of London
Raymond Hu
-
2024/05/01
[TYPES/announce] Call for Papers: Scheme '24
Kristopher K Micinski
-
2024/04/29
[TYPES/announce] ICTCS 2024: Call for Papers (deadline June 9, 2024)
emilio . tuosto
-
2024/04/29
[TYPES/announce] IEEE CSF 2024 - Student Volunteers and Travel Scholarships
Ralf Kuesters
-
2024/04/29
[TYPES/announce] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)
Claudio Sacerdoti Coen
-
2024/04/29
[TYPES/announce] PPDP 2024 - Final CFP
Alessandro Bruni
-
2024/04/29
[TYPES/announce] Coq Workshop 2024 call for presentations
Théo Winterhalter
-
2024/04/28
[TYPES/announce] Postdoc positions in Automated Reasoning at Universidade Federal de Minas Gerais
Haniel Barbosa
-
2024/04/28
[TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
Michael Sperber
-
2024/04/26
[TYPES/announce] Postdoc position in Theoretical CS @ King's College London
Riccardo Treglia
-
2024/04/26
[TYPES/announce] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
Favonia
-
2024/04/26
[TYPES/announce] Call for remote participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024
Lionel Vaux Auclair
-
2024/04/26
[TYPES/announce] SMT 2024 -- Deadline Extended to May 6
Yoni
-
2024/04/25
[TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Software Architecture [Deadline June 3]
Michael Sperber
-
2024/04/23
[TYPES/announce] New postdoc position on Frama-C at CEA List, Saclay, France
Julien Signoles
-
2024/04/23
[TYPES/announce] Call for Papers--Sixth miniKanren and Relational Programming Workshop
Ekaterina Verbitskaia
-
2024/04/22
[TYPES/announce] Multiple PhD and postdoc positions in PL/FM at Nanyang Technological University, Singapore
Dr Conrad Watt (Asst Prof)
-
2024/04/22
[TYPES/announce] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
Favonia
-
2024/04/22
[TYPES/announce] IEEE CSF 2024 - Call for Participation
Ralf Kuesters
-
2024/04/22
[TYPES/announce] APLAS 2024 SRC & Posters
Koko Akazaki Muroya
-
2024/04/22
[TYPES/announce] Student Research Competition (SRC) at ICFP 2024
Favonia
-
2024/04/20
[TYPES/announce] Tenure-track position in Systems-Level Security at University of Copenhagen
Andrzej Filinski
-
2024/04/20
[TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 workshop, last CFP and deadline extension
Sammartino, Matteo
-
2024/04/20
[TYPES/announce] PhD position in neuro-symbolic AI for Mathematical Discovery at Chalmers
Ana Bove
-
2024/04/20
[TYPES/announce] CSL 2025 --- call for papers
Sylvain Schmitz
-
2024/04/20
[TYPES/announce] CfP: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS 2024)
FMAS Workshop
-
2024/04/19
[TYPES/announce] IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, Protect-IT'24 - Call for Papers (deadline May 4, 2024)
Ralf Kuesters
-
2024/04/19
[TYPES/announce] TYPES 2024: Call for Participation
Patrick Bahr
-
2024/04/19
[TYPES/announce] WiL 2024: 8th Women in Logic Workshop
Elaine Pimentel
-
2024/04/19
[TYPES/announce] APLAS 2024: 2nd Call for Papers
Mirai Ikebuchi
-
2024/04/18
[TYPES/announce] IJCAR 2024: Call for Participation
Peter Lammich
-
2024/04/18
[TYPES/announce] VMW at CAV 2024: Call for Scholarship Applications
Jingbo Wang
-
2024/04/18
[TYPES/announce] 1st cfp: 8th International Workshop on Trends in Linear Logic and Applications
Paolo Pistone
-
2024/04/18
[TYPES/announce] Second CFP: Haskell Symposium 2024 (New this year: talk proposals!)
J. Garrett Morris
-
2024/04/17
[TYPES/announce] GandALF 2024: Last Call for Papers
Antonios Achilleos
-
2024/04/17
[TYPES/announce] Functional programming jobs at Conexus
Wisnesky, Ryan
-
2024/04/17
[TYPES/announce] Two PhD positions in Computing science at Chalmers
Ana Bove
-
2024/04/14
[TYPES/announce] PhD Position in Formal Verification of Autonomous Systems
Hazem Torfah
-
2024/04/14
[TYPES/announce] CfP - ICTCS24
Riccardo Treglia
-
2024/04/14
[TYPES/announce] SMT 2024 Third Call For Papers
Yoni
-
2024/04/14
[TYPES/announce] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris)
Alexis Saurin
-
2024/04/12
[TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, second CFP
Sammartino, Matteo
-
2024/04/12
[TYPES/announce] DisCoTec 2024 Joint Call for Participation
Bas van den Heuvel
-
2024/04/12
[TYPES/announce] TUM professorship in "Fundamentals of programming"
Alexander Pretschner
-
2024/04/11
[TYPES/announce] FACS 24 - Second Call for Papers
Marmsoler, Diego
-
2024/04/11
[TYPES/announce] Deadline Extension (19 April) - SC-square 2024: The 9th International Workshop on Satisfiability Checking and Symbolic Computation
Daniela Kaufmann
-
2024/04/11
[TYPES/announce] ECOOP 2024 R2: Call for Papers and AEC Nominations
Pascal Weisenburger
-
2024/04/11
[TYPES/announce] ESOP 25: NEWS in CFP and ROUND 1 deadline approaching *** May 30, 2024 ***
Luís Caires
-
2024/04/11
[TYPES/announce] (Submissions can be updated till April 25 AoE) ATVA 2024 2nd CfP
Ichiro Hasuo
-
2024/04/10
[TYPES/announce] UNIF 2024 - 2nd Call for Papers (Extended Deadline)
Oliver Fernandez Gil
-
2024/04/10
[TYPES/announce] PhD Studentship at VU Amsterdam
Kristina Sojakova
-
2024/04/10
[TYPES/announce] DEADLINE EXTENSION (26 April 2024) - CILC 2024: 39th Italian Conference on Computational Logic
Maurizio Proietti
-
2024/04/10
[TYPES/announce] Call for papers: Graph Computation Models (GCM 2024)
Joerg Endrullis
-
2024/04/10
[TYPES/announce] HOPE 2024: Call for Papers
Guilhem Jaber
-
2024/04/09
[TYPES/announce] MARKTOBERDORF SUMMER SCHOOL 2024: CALL FOR PARTICIPATION
Alexander Pretschner
-
2024/04/09
[TYPES/announce] E.W. Beth Dissertation Prize
Herman Geuvers
-
2024/04/09
[TYPES/announce] Postdoc in proof theory - University of Birmingham, 2 years - deadline 30 April
Anupam das
-
2024/04/08
[TYPES/announce] GandALF 2024: 2nd Call for Papers and deadline extension
Antonios Achilleos
-
2024/04/08
[TYPES/announce] Ackermann Award: First call for nominations - Deadline 1st July
Maribel Fernandez
-
2024/04/08
[TYPES/announce] Second Joint CFP NLS and SLSS 2024 and extension
Antonios Achilleos
-
2024/04/07
[TYPES/announce] A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection
Tayssir TOUILI
-
2024/04/07
[TYPES/announce] FroCoS-ITP-TABLEAUX 2025
Elaine Pimentel
-
2024/04/05
[TYPES/announce] Faculty position in Formal Methods at DTU Compute, Technical University of Denmark
Alberto Lluch Lafuente
-
2024/04/05
[TYPES/announce] Women in Logic -- 2nd call for papers
Elaine Pimentel
-
2024/04/05
[TYPES/announce] Special Issue on Advances in Formal Methods for Autonomous Systems
FMAS Workshop
-
2024/04/04
[TYPES/announce] SREPLS 15 / Concurrency Workshop at Kent (UK) -- Call for Talks
Marco Paviotti
-
2024/04/04
[TYPES/announce] Structure meets Power 2024
Dan Marsden
-
2024/04/04
[TYPES/announce] Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
Michael Sperber
-
2024/04/03
[TYPES/announce] CfP ITRS 2024 - Eleventh Workshop on Intersection Types and Related Systems
Riccardo Treglia
-
2024/04/03
[TYPES/announce] PLDI 2024 - Call for Participation (Early registration: May 15)
Yao Li
-
2024/03/30
[TYPES/announce] 10 fully-funded PhD scholarships in Computer Science at GSSI
emilio . tuosto
-
2024/03/30
[TYPES/announce] Postdoc or Assistant Research Professor position in formal methods and probabilistic programming
Tan, G. Gary
-
2024/03/29
[TYPES/announce] MFPS 2024: Extended deadline
Sam Staton
-
2024/03/29
[TYPES/announce] Postdoc opportunities in quantum computation and information
Vladimir Zamdzhiev
-
2024/03/28
[TYPES/announce] SAT/SMT/AR Summer School 2024: call for applications
Sophie Tourret
-
2024/03/28
[TYPES/announce] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19!
Luigia Petre
-
2024/03/27
[TYPES/announce] LSFA 2024: CALL FOR PAPERS
Cynthia Kop
-
2024/03/26
[TYPES/announce] ICE 2024: Third Call for Papers (abstract deadline tomorrow)
Clément Aubert
-
2024/03/26
[TYPES/announce] Five PhD Positions in Programming Languages and Software Engineering, Turku, Finland
Jaakko Järvi
-
2024/03/26
[TYPES/announce] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)
Serge Autexier
-
2024/03/26
[TYPES/announce] SYCO 12, Call For Participation
Thibaut Benjamin
-
2024/03/26
[TYPES/announce] TyDe 2024: First call for papers and extended abstracts
Jesper Cockx
-
2024/03/25
[TYPES/announce] Erlang 2024 - Call for Papers
Kiko Fernandez-reyes A
-
2024/03/25
[TYPES/announce] Postdoc Position in Formal Verification of Cyber-Physical Systems
Hazem Torfah
-
2024/03/25
[TYPES/announce] Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)
Benoit Montagu
-
2024/03/24
[TYPES/announce] 3rd Workshop on Hyperproperties - Call for Presentations
Hazem Torfah
-
2024/03/24
[TYPES/announce] Beth Dissertation Prize 2024
Elaine Pimentel
-
2024/03/22
[TYPES/announce] FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck
Luigia Petre
-
2024/03/22
[TYPES/announce] PhD position in program verification at Uppsala University
Eva Darulova
-
2024/03/22
[TYPES/announce] Second CfP and Deadline Extension: 14th Panhellenic Logic Symposium
Alex Kavvos
-
2024/03/21
[TYPES/announce] [PPDP'2024 CfP] The 26th International Symposium on Principles and Practice of Declarative Programming Call for Papers
Alessandro Bruni
-
2024/03/21
[TYPES/announce] Postdoc positions on foundations of type classes and type families at the University of Iowa
J. Garrett Morris
-
2024/03/21
[TYPES/announce] 4 fully funded PhD positions in Tallinn
Pawel Sobocinski
-
2024/03/20
[TYPES/announce] Final CFP: Formal Methods and Programming Languages Track at CCS'24
Catalin Hritcu
-
2024/03/20
[TYPES/announce] VTSA 2024: 1st call for applications
Jun PANG
-
2024/03/20
[TYPES/announce] 1st Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.
Anupam das
-
2024/03/20
[TYPES/announce] PhD / Postdoc positions related to quantum verification / programs
Dominique Unruh
-
2024/03/20
[TYPES/announce] ESWEEK 2024: Abstract Submissions on March 24th
Lars Bauer
-
2024/03/19
[TYPES/announce] 20th Latin American Symposium in Mathematical Logic
Elaine Pimentel
-
2024/03/19
[TYPES/announce] CILC 2024 - 2nd Call for Papers
Maurizio Proietti
-
2024/03/19
[TYPES/announce] PhD position: Software Verification for Programmable 6G Networks (University of Amsterdam, 31/3/2024)
Thomas van Binsbergen
-
2024/03/18
[TYPES/announce] [CfP] The 19th Int.Workshop on Security (IWSEC 2024), Kyoto, Japan
ウォルゲムト スベン
-
2024/03/18
[TYPES/announce] PhD at Utrecht
Paige Randall North