Messages by Date
-
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
-
2024/03/18
[TYPES/announce] Call for Papers: 7th International Symposium on AI Verification (SAIV 2024)
Guy Katz
-
2024/03/16
[TYPES/announce] Postdoc positions in Reykjavik
Tarmo Uustalu
-
2024/03/16
[TYPES/announce] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)
Serge Autexier
-
2024/03/16
[TYPES/announce] [ATVA 2024 CfP] 22nd International Symposium on Automated Technology for Verification and Analysis Call for Papers
Ichiro Hasuo
-
2024/03/15
[TYPES/announce] Call for Papers: OOPSLA 2024
Umar Farooq
-
2024/03/15
[TYPES/announce] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent
Vineet Rajani
-
2024/03/15
[TYPES/announce] Agda Implementors' Meeting XXXVIII: Call for talks and participation
Anton Setzer
-
2024/03/15
[TYPES/announce] SMT 2024 Second Call For Papers
Yoni
-
2024/03/15
[TYPES/announce] Tenure-Track Assistant/Associate/Full Professor in Software-Intensive Systems - University of Groningen (The Netherlands)
Jorge A . Pérez
-
2024/03/15
[TYPES/announce] 1st cfp of SEFM'24
Alexandre Madeira
-
2024/03/14
[TYPES/announce] Postdoc position at the University of Strathclyde
Fredrik Nordvall Forsberg
-
2024/03/14
[TYPES/announce] Applied Category Theory 2024 Call for Papers
David Jaz Myers
-
2024/03/13
[TYPES/announce] Snd CfP: TAP 2024 (Tests and Proofs 2024), Milan, Italy
Huisman, Marieke (UT-EEMCS)
-
2024/03/13
[TYPES/announce] Call for Papers: ACM Workshop on Functional Software Architecture
Michael Sperber
-
2024/03/13
[TYPES/announce] Part-time (0.3) senior researcher position in program logics in Tallinn
Tarmo Uustalu
-
2024/03/11
[TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
xu
-
2024/03/11
[TYPES/announce] SYCO 12 - Third call for papers
Thibaut Benjamin
-
2024/03/11
[TYPES/announce] CFP: Haskell Symposium 2024
J. Garrett Morris
-
2024/03/11
[TYPES/announce] ICFP 2024: Call for Tutorials
ICFP Publicity
-
2024/03/11
[TYPES/announce] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024
Marco Peressotti
-
2024/03/09
[TYPES/announce] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop
Guillaume Munch-Maccagnoni
-
2024/03/08
[TYPES/announce] OPLSS 2024 at Boston University!
anku...@alumni.cmu.edu
-
2024/03/08
[TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, first CFP
Sammartino, Matteo
-
2024/03/08
[TYPES/announce] Postdoc in Tallinn - deadline 28 March
Pawel Sobocinski
-
2024/03/07
[TYPES/announce] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)
Favonia
-
2024/03/07
[TYPES/announce] ESOP 2025 Call For Papers
jan . kofron
-
2024/03/06
[TYPES/announce] GandALF 2024: Call for papers
Antonios Achilleos
-
2024/03/06
[TYPES/announce] Joint CFP NLS and SLSS 2024
Antonios Achilleos
-
2024/03/05
[TYPES/announce] TYPES 2024: Call for Contributions - Deadline extension
Patrick Bahr
-
2024/03/05
[TYPES/announce] ITP 2024, Interactive Theorem Proving: Last Call For Papers
Yves Bertot
-
2024/03/05
[TYPES/announce] 2nd Call for participation: Differential λ-Calculus and Differential Linear Logic, 20 Years Later (DiλLL 2024)
Giulio Guerrieri
-
2024/03/04
[TYPES/announce] Lectureship positions in Bath
Thomas Powell
-
2024/03/04
[TYPES/announce] Midlands Graduate School (MGS)
Graham Hutton
-
2024/03/04
[TYPES/announce] Symbolic Computation in Software Science (SCSS'24): submission deadline extension
Temur Kutsia
-
2024/03/03
[TYPES/announce] PLMW@PLDI 2024: Call for Scholarship Applications
Gollamudi, Anitha
-
2024/03/02
[TYPES/announce] Call for Participation: BOB 2024 (Berlin, Mar 15)
Michael Sperber
-
2024/02/29
[TYPES/announce] MFPS 2024: final CFP
Alex Simpson
-
2024/02/29
[TYPES/announce] ICE 2024: Second Call for Papers
Clément Aubert
-
2024/02/29
[TYPES/announce] CfP: SCSS 2024
Temur Kutsia
-
2024/02/28
[TYPES/announce] APLAS 2024: Call for Papers
Mirai Ikebuchi
-
2024/02/28
[TYPES/announce] Call for Papers & Essays: Onward! @ SPLASH 2024
Guillaume Munch-Maccagnoni
-
2024/02/28
[TYPES/announce] CfP: SC-square 2024: The 9th International Workshop on Satisfiability Checking and Symbolic Computation
Daniela Kaufmann
-
2024/02/28
[TYPES/announce] WiL 2024: first call for papers
Elaine Pimentel
-
2024/02/28
[TYPES/announce] CfA: PhD in theoretical computer science, Kings College (London / UK), deadline 12 April
Riccardo Treglia
-
2024/02/28
[TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024
Graham Leigh
-
2024/02/26
[TYPES/announce] Job offer / Researcher-Engineer / Inria & LMF, Saclay, France
Claude Marche
-
2024/02/25
[TYPES/announce] TYPES 2024 - 2nd Call for Contributions
Patrick Bahr
-
2024/02/25
[TYPES/announce] ITP 2024: Call for Workshop and Tutorial Proposals
Besik Dundua
-
2024/02/23
[TYPES/announce] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line
Luigia Petre
-
2024/02/22
[TYPES/announce] Five PhD Positions at the department of Computer Science and Engineering, Chalmers
Ana Bove
-
2024/02/22
[TYPES/announce] PhD position at the University of Copenhagen
Dmitriy Traytel
-
2024/02/22
[TYPES/announce] CfP TASE 2024 (extended deadlines)
Jun PANG
-
2024/02/21
[TYPES/announce] VerifyThis 2024 - Call for Participation / Applications for Travel Grants
Summers, Alexander
-
2024/02/21
[TYPES/announce] Call for Participation and Registration: HoTT/UF 2024
Jonathan Weinberger
-
2024/02/20
[TYPES/announce] Extended CfP: 4th IEEE International Conference on Code Quality (ICCQ'24)
Yegor Bugayenko
-
2024/02/20
[TYPES/announce] WQS 2024 - Call for Papers
Nicola Assolini
-
2024/02/20
[TYPES/announce] SMT 2024 Call For Papers
Yoni
-
2024/02/19
[TYPES/announce] Distinguished Postdoctoral Fellowship at Northeastern
Amal Ahmed
-
2024/02/19
[TYPES/announce] QPL 2024 - Third Call for Papers
Alejandro Díaz-Caro
-
2024/02/16
[TYPES/announce] ITP 2024 : Second call for papers
Yves Bertot
-
2024/02/16
[TYPES/announce] FroCoS+ITP+TABLEAUX call for location
Elaine Pimentel
-
2024/02/16
[TYPES/announce] PhD positions in Nottingham
Nicolai Kraus
-
2024/02/15
[TYPES/announce] CfP ITRS 2024
Riccardo Treglia
-
2024/02/14
[TYPES/announce] 2024 Summer School on Formal Techniques (May 25 - May 31, 2024) + Formal Methods in the Field Bootcamp (June 1/2, 2024)
Natarajan Shankar
-
2024/02/14
[TYPES/announce] PhD position at the University of Strathclyde
Fredrik Nordvall Forsberg
-
2024/02/14
[TYPES/announce] 2nd CfP & Deadline Extension: RAMiCS 2024
Uli Fahrenberg
-
2024/02/12
[TYPES/announce] SYCO 12 - Call for Papers
Thibaut Benjamin
-
2024/02/12
[TYPES/announce] MGS 8-12 April 2024
Crole, Roy L. (Dr.)
-
2024/02/12
[TYPES/announce] CFP PPDP 2024 - The 26th International Symposium on, Principles and Practice of Declarative Programming
Alessandro Bruni
-
2024/02/11
[TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers
Sam Staton
-
2024/02/11
[TYPES/announce] FORTE 2024 Extended Deadline (23 Feb) and Journal Special Issue Confirmed
Adrian Francalanza
-
2024/02/09
[TYPES/announce] ICFP 2024: Second Call for Papers
ICFP Publicity
-
2024/02/09
[TYPES/announce] SOAP 2024 Call for Papers (co-located with PLDI'24, taking place in Copenhagen)
Raphaël Monat
-
2024/02/09
[TYPES/announce] Research Fellow in Programming Languages Foundations, University of Tartu, Estonia
Danel Ahman
-
2024/02/08
[TYPES/announce] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)
Claudio Sacerdoti Coen
-
2024/02/08
[TYPES/announce] ICTAC 2024: First call for papers
Hans-Dieter Hiep
-
2024/02/07
[TYPES/announce] CiE 2024: CALL FOR PAPERS [Deadline Extension]
acie
-
2024/02/07
[TYPES/announce] FSCD 2024: Extended deadline (Abstract: February 12/ Submission: February 19)
Carsten Fuhs
-
2024/02/07
[TYPES/announce] RC 2024 - call for papers - deadline extension
Clément Aubert