Messages by Date
-
2023/09/13
[TYPES/announce] SPLASH 2023 Call for Participation
Alcides Fonseca
-
2023/09/13
[TYPES/announce] Call for participation: Workshop Celebrating 30 Years of Session Types (ST30 @ SPLASH)
Simon Gay
-
2023/09/11
[TYPES/announce] ESOP 2024 Call For Papers
Stephanie Weirich
-
2023/09/11
[TYPES/announce] CFP: PEPM 2024, ACM SIGPLAN Workshop
Alex Kavvos
-
2023/09/11
[TYPES/announce] Permanent Position in Applied Formal Methods at Swansea University
Markus Roggenbach
-
2023/09/10
[TYPES/announce] PhD student position in Principled Application Security at Chalmers
Ana Bove
-
2023/09/08
[TYPES/announce] CoqPL 2024: Call for Presentations
Stark, Kathrin
-
2023/09/08
[TYPES/announce] Final CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)
Ralf Kuesters
-
2023/09/08
[TYPES/announce] SAS 2023 - Call for Participation - Early deadline: Sept 22
Louis Rustenholz
-
2023/09/05
[TYPES/announce] 2nd CfP AIM37 : Agda Implementors' Meeting XXXVII in Taipei, 20-25 November 2023
Liang-Ting Chen
-
2023/09/05
[TYPES/announce] PhD Vacancy: Position on Verifying Quantum Programs
Dominique Unruh
-
2023/09/04
[TYPES/announce] Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)
Graham Hutton
-
2023/09/03
[TYPES/announce] LAFI 2024 - Call for Extended Abstracts (deadline Oct. 27)
Matthijs Vákár
-
2023/09/02
[TYPES/announce] prefaculty / postdoc researcher in type systems at Jane Street
Richard Eisenberg
-
2023/08/31
[TYPES/announce] PhD position in automata learning at Radboud University
Jurriaan Rot
-
2023/08/31
[TYPES/announce] FSCD 2024: First Call for Papers
Carsten Fuhs
-
2023/08/31
[TYPES/announce] Dafny Workshop at POPL 24 (Call for Papers)
Stefan
-
2023/08/29
[TYPES/announce] PSSV-2023 Call for Papers
Alexander Chichigin
-
2023/08/28
[TYPES/announce] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023
Dirk Pattinson
-
2023/08/28
[TYPES/announce] Talk on Operational Transform / Collaborative Editing via Category Theory
David Espinosa
-
2023/08/28
[TYPES/announce] VMCAI 2024: Extended Deadline September 7th
Rayna Dimitrova
-
2023/08/28
[TYPES/announce] The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols: Call for Papers
TRAN Dinh Duong
-
2023/08/28
[TYPES/announce] Three postdoc positions on Quantum Programming in Edinburgh
Chris Heunen
-
2023/08/26
[TYPES/announce] CCC 2023 - call for participation
Norbert Müller
-
2023/08/26
[TYPES/announce] Four PhD positions at Dept. of Computer Science (University of Sheffield)
Harsh Beohar
-
2023/08/24
[TYPES/announce] PADL 2024: Call for Papers
ICFP Publicity
-
2023/08/21
[TYPES/announce] Research Associate at the University of Kent, Canterbury, UK
Mark Batty
-
2023/08/17
[TYPES/announce] ACM SIGLOG Research Highlights call for nominations
Liron Cohen
-
2023/08/16
[TYPES/announce] PhD position in Secure Software and Microarchitectures
Roberto Guanciale
-
2023/08/14
[TYPES/announce] PhD position in in Formal Methods for Business Process Modelling
Violet Ka I Pun
-
2023/08/14
[TYPES/announce] Multiple PhD positions at The Australian National University
Nisansala Yatapanage
-
2023/08/14
[TYPES/announce] University Assistant position (limited to 6 years) at TU Wien
Ezio Bartocci
-
2023/08/13
[TYPES/announce] Midwest Programming Languages Summit 2023 - Call for Participation
Max New
-
2023/08/11
[TYPES/announce] PhD Position in Higher-Order Mathematical Operational Semantics at FAU
Sergey Goncharov
-
2023/08/11
[TYPES/announce] VMCAI 2024: Second Call for Papers
Rayna Dimitrova
-
2023/08/11
[TYPES/announce] Postdoc position, Logic and Semantics Group in Tallinn
Tarmo Uustalu
-
2023/08/10
[TYPES/announce] CfP FMAS 2023: Deadline Extension
FMAS Workshop
-
2023/08/08
[TYPES/announce] Senior Lecturer (with Tenure) in Programming Languages
Stefan Leue
-
2023/08/08
[TYPES/announce] 2nd CFP - CPP 2024 Certified Programs and Proofs
Brigitte Pientka
-
2023/08/07
[TYPES/announce] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023
Sato, Ryosuke
-
2023/08/07
[TYPES/announce] GandALF 2023: Registration is open – Call For Participation
Luca Geatti
-
2023/08/07
[TYPES/announce] Extended deadline: JSC special issue on the interaction of SC and ML in AI
Temur Kutsia
-
2023/08/07
[TYPES/announce] WITS '23 Call for Participation
Jesper Cockx
-
2023/08/07
[TYPES/announce] Functional Art, Music, Modeling and Design (FARM 2023) Sep 8: Call for Participation
Michael Sperber
-
2023/08/06
[TYPES/announce] PhD Student Position at University of Konstanz
Stefan Leue
-
2023/08/04
[TYPES/announce] Call For Contributions: The Second Southeast Regional Programming Languages Seminar (SERPL)
Rusch, Neea
-
2023/08/03
[TYPES/announce] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University
Hazem Torfah
-
2023/08/03
[TYPES/announce] CCC 2023 - extended deadline for contributions
Norbert Müller
-
2023/08/03
[TYPES/announce] ICFP 2023: Call for Participation
ICFP Publicity
-
2023/08/02
[TYPES/announce] Assistant Professor positions in Programming Languages and Systems, University of Southern Denmark (deadline 14 august 2023)
Fabrizio Montesi
-
2023/07/31
[TYPES/announce] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages
Pieter Koopman
-
2023/07/28
[TYPES/announce] Announcing the Pittsposium -- August 22-23 -- Cambridge, UK
Jamie Vicary
-
2023/07/28
[TYPES/announce] Research Fellow in Quantum Tech and NLP in UCL
Sadrzadeh, Mehrnoosh
-
2023/07/28
[TYPES/announce] IFL23 last Call for papers
Pieter Koopman
-
2023/07/27
[TYPES/announce] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023
Donaldson, Alastair F
-
2023/07/27
[TYPES/announce] [IEEE VL/HCC 2023] Registration is now open!
Rebecca Krosnick
-
2023/07/27
[TYPES/announce] POPL 2024 - Call for Tutorials (deadline: 15 October)
Donaldson, Alastair F
-
2023/07/27
[TYPES/announce] Job: Postdoctoral position in verification/robustness of AI
Marta Kwiatkowska
-
2023/07/27
[TYPES/announce] CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)
Ralf Kuesters
-
2023/07/26
[TYPES/announce] Call for Participation, Functional Software Architecture - FP in the Large
Graham Hutton
-
2023/07/26
[TYPES/announce] PhD Position in Programming Languages at Uppsala University, Sweden (lots of type opportunities)
Tobias Wrigstad
-
2023/07/26
[TYPES/announce] Call for nominations for the new HaPoC Council
felice cardone
-
2023/07/25
[TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers
Andrea Rosa
-
2023/07/25
[TYPES/announce] Several assistant/associate professor positions at TU Delft Software Technology
Jesper Cockx
-
2023/07/24
[TYPES/announce] SBMF 2023 - Final Call for Papers with *** Deadline Extensions ***
Haniel Barbosa
-
2023/07/23
[TYPES/announce] Call For Papers: OpenCERT 2023 - 11th Int. Work. on Open Community approaches to Education, Research and Technology
Antonio Cerone
-
2023/07/23
[TYPES/announce] CICM 2023 - Call for Participation
Catherine DUBOIS
-
2023/07/23
[TYPES/announce] FORMATS 2023 (at CONFEST): Call for participation
Jeremy Sproston
-
2023/07/20
[TYPES/announce] Two Postdoctoral Research Fellows at the University of Surrey, UK
Brijesh Dongol
-
2023/07/17
[TYPES/announce] VMCAI 2024: First Call for Papers
Rayna Dimitrova
-
2023/07/17
[TYPES/announce] PhD position on Program Analysis for LLVM-IR and all its source languages @ University of Twente, Netherlands
Huisman, Marieke (UT-EEMCS)
-
2023/07/17
[TYPES/announce] ETAPS 2024 1st joint call for papers
jan . kofron
-
2023/07/17
[TYPES/announce] CFP FLOPS 2024 Symposium on Functional and Logic Programming
Dale Miller
-
2023/07/16
[TYPES/announce] Undone Computer Science — Call for contributions
Alessio Guglielmi
-
2023/07/14
[TYPES/announce] Seeking nominations: POPL 2024 Artifact Evaluation Committee
Caleb Stanford
-
2023/07/14
[TYPES/announce] SBMF 2023 - Second Call for Papers
Haniel Barbosa
-
2023/07/14
[TYPES/announce] PhD scholarships on blockchain & distributed ledger technology
emilio . tuosto
-
2023/07/14
[TYPES/announce] Day of the Camel 2023: OCaml in Academia and Industry (online, 20 July 2023)
Roberto Blanco
-
2023/07/13
[TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension
Andrea Rosa
-
2023/07/13
[TYPES/announce] SPLASH 2023 Student Research Competition – Deadline (extended): July 21st, 2023
Xujie SI
-
2023/07/13
[TYPES/announce] Call for papers: VSTTE 2023
Andrew Reynolds
-
2023/07/12
[TYPES/announce] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming
Peter Achten
-
2023/07/12
[TYPES/announce] DiλLL 2024 (Marseille, France) -- Early announcement
Lionel Vaux Auclair
-
2023/07/11
[TYPES/announce] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)
Graham Hutton
-
2023/07/11
[TYPES/announce] VeriProP 2023 - Final Call for Participation
Fredrik Dahlqvist
-
2023/07/10
[TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions
Alcides Fonseca
-
2023/07/10
[TYPES/announce] Deadline extension: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
Peter Csaba Ölveczky
-
2023/07/10
Re: [TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering
Ana Bove
-
2023/07/10
[TYPES/announce] VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers
Andrea Rosa
-
2023/07/10
[TYPES/announce] Göteborgs universitet | Four PhD Positions in Computer Science and Engineering
Ana Bove
-
2023/07/08
[TYPES/announce] IWACO 2023 -- (deadline 12 July)
Tobias Wrigstad
-
2023/07/07
[TYPES/announce] IEEE VL/HCC 2023 - grad consortium deadline **extended** to July 14!
Rebecca Krosnick
-
2023/07/07
[TYPES/announce] WLP 2023 - Final Call for Papers (extended deadline)
Sibylle Schwarz
-
2023/07/07
[TYPES/announce] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023
Serge Autexier
-
2023/07/07
[TYPES/announce] PhD Scholarships in cybersecurity
emilio . tuosto
-
2023/07/07
[TYPES/announce] QPL 2023 -- Final Call for Participation
Vladimir Zamdzhiev
-
2023/07/06
[TYPES/announce] CFP - CPP 2024 - Certified Programs and Proofs
Brigitte Pientka
-
2023/07/05
[TYPES/announce] GPCE 2023: Deadline Extension
Youyou Cong
-
2023/07/04
[TYPES/announce] FACS 2023 - Final Call for Papers (extended deadlines)
Sung-Shik Jongmans
-
2023/07/04
[TYPES/announce] Summer School on Reactive Synthesis + Workshop on Synthesis, Monitoring and Learning at University of Udine
Gabriele Puppis
-
2023/07/04
[TYPES/announce] summer school VTSA 2023 (updated with travel funding)
Stephan Merz
-
2023/07/04
[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - final CFP
Simon Gay
-
2023/07/04
[TYPES/announce] FSTTCS 2023 - Second Call for Papers
Shibashis Guha
-
2023/07/03
[TYPES/announce] IEEE CSF 2023: final call for participation
Ralf Kuesters
-
2023/07/03
[TYPES/announce] ACT 2023: Call for participation
Sam Staton
-
2023/07/03
[TYPES/announce] FMCAD 2023 Student Forum: Call for Contributions
Rozier, Kristin-Yvonne [AER E]
-
2023/07/03
[TYPES/announce] CCC 2023 - second call for contributions
Norbert Müller
-
2023/07/01
[TYPES/announce] CFP: PLOS '23: 12th Workshop on Programming Languages and Operating Systems
Eric Eide
-
2023/07/01
[TYPES/announce] WITS 2023 Deadline Extended to July 15
Jesper Cockx
-
2023/06/30
[TYPES/announce] EXPRESS/SOS 2023 Last Call for Papers (deadline extension)
Claudio Mezzina
-
2023/06/29
[TYPES/announce] PhD Symposium iFM 2023 - Call for Papers [Deadline Extensions: July 13]
Gidon Ernst
-
2023/06/28
[TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) DEADLINE EXTENDED - Final Call for Contributions
perelli
-
2023/06/27
[TYPES/announce] Lecturer position at the University of Bristol
Alex Kavvos
-
2023/06/27
[TYPES/announce] ETAPS 2024 – Call for Satellite Events
jan . kofron
-
2023/06/27
[TYPES/announce] ICFP 2023: Call for Volunteers (Deadline: 30 June!)
ICFP Publicity
-
2023/06/27
[TYPES/announce] PhD student in Computing Science on safe and efficient programming languages
Tjark Weber
-
2023/06/26
[TYPES/announce] PLMW @ ICFP 2023: Call for Scholarship Applications
Stefan Muller
-
2023/06/26
[TYPES/announce] 29th WoLLIC 2023 - Final Call for Participation
Ruy Jose Guerra Barretto de Queiroz
-
2023/06/26
[TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission)
Antonios Achilleos
-
2023/06/26
[TYPES/announce] 2nd Summer School on Security Testing and Verification
Coen DE ROOVER
-
2023/06/24
[TYPES/announce] Postdoc position in SE/PL for AI (modular deep learning, robust AI)
Rajan, Hridesh [COM S]
-
2023/06/23
[TYPES/announce] POPL 2024: Final Call for Papers
Donaldson, Alastair F
-
2023/06/23
[TYPES/announce] WITS 2023 Second Call for Contributions (Deadline in one week!)
Jesper Cockx
-
2023/06/23
[TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission)
Luca Geatti
-
2023/06/21
[TYPES/announce] Workshop on Virtual Machines and Language Implementations (VMIL’23) - Call for Papers
Andrea Rosa
-
2023/06/21
[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - 2nd CFP
Simon Gay
-
2023/06/20
[TYPES/announce] Writing and Speaking with Style (course materials)
Benjamin Pierce
-
2023/06/19
[TYPES/announce] Two PhD studentships at Imperial College London on compiler / verifier / mutation testing
Donaldson, Alastair F
-
2023/06/19
[TYPES/announce] IFL23 2nd Call for papers
Pieter Koopman
-
2023/06/18
[TYPES/announce] VL/HCC 2023 call for posters (due June 28), tutorials (due June 30), grad consortium (due July 7)
Rebecca Krosnick
-
2023/06/16
[TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions
Alcides Fonseca
-
2023/06/15
[TYPES/announce] Research Associate position at the University of Glasgow
Ornela Dardha
-
2023/06/14
[TYPES/announce] QPL 2023 -- Preliminary Call for Participation
Vladimir Zamdzhiev
-
2023/06/14
[TYPES/announce] New moderator: Ningning Xie
Gabriel Scherer
-
2023/06/14
[TYPES/announce] Call For Contributions: The Second Southeast Regional Programming Languages Seminar (SERPL)
Clément Aubert
-
2023/06/14
[TYPES/announce] APLAS 2023: Deadline Extension
Sato, Ryosuke
-
2023/06/12
[TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2023
Carsten Fuhs
-
2023/06/12
[TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Call for Contributions
perelli
-
2023/06/12
[TYPES/announce] Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation
Cynthia Kop
-
2023/06/12
[TYPES/announce] VeriProP 2023 - Call for Participation
Fredrik Dahlqvist
-
2023/06/12
[TYPES/announce] YR-CONCUR 2023 -- Call for papers
Léo Stefanesco
-
2023/06/12
[TYPES/announce] [ICTAC 2023] Final call for papers – New deadlines 25 June (abstract), 02 July (paper)
Violet Ka I Pun
-
2023/06/10
[TYPES/announce] EXPRESS/SOS 2023 Second Call for Papers
Claudio Mezzina
-
2023/06/10
[TYPES/announce] FACS 2023 - Call for Papers
Sung-Shik Jongmans
-
2023/06/10
[TYPES/announce] Call for TYPES 2025 location
Henning Basold
-
2023/06/10
[TYPES/announce] summer school VTSA 2023
Stephan Merz
-
2023/06/08
[TYPES/announce] APLAS 2023: Final Call for Papers
Sato, Ryosuke
-
2023/06/08
[TYPES/announce] FSTTCS 2023 - Call for papers
Shibashis Guha
-
2023/06/07
[TYPES/announce] Assistant/Associate professor role at Radboud University
Wouter Swierstra
-
2023/06/07
[TYPES/announce] IEEE CSF 2023: early bird registration ends soon
Ralf Kuesters
-
2023/06/07
[TYPES/announce] POPL 2024: Call for Workshops and Co-located Events
Donaldson, Alastair F
-
2023/06/07
[TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts
Graham Hutton
-
2023/06/07
[TYPES/announce] PhD Studentships in PL at the University of Glasgow (Deadline: 31st July 2023)
Simon Fowler
-
2023/06/07
[TYPES/announce] PhD and Postdoc positions in PL/FM/Security at LMU Munich, Germany
Johannes Kinder
-
2023/06/07
[TYPES/announce] CfP: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
Peter Csaba Ölveczky
-
2023/06/05
[TYPES/announce] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation)
Christopher Michael POSKITT
-
2023/06/03
[TYPES/announce] Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023)
Arthur Azevedo de Amorim
-
2023/06/02
[TYPES/announce] TyDe 2023 - Second Call for Papers and Deadline Extension
Youyou Cong
-
2023/06/02
[TYPES/announce] CFP WLP2023: 37th Workshop on (Constraint and Functional) Logic Programming
Sibylle Schwarz
-
2023/06/02
[TYPES/announce] MFPS and CALCO 2023: Call for participation
Marie Kerjean
-
2023/06/02
[TYPES/announce] Call for Participation -- LFMTP 2023
Carlos Olarte
-
2023/06/02
[TYPES/announce] Moderator's note: Working through backlog of unposted message
Gabriel Scherer
-
2023/06/02
[TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi
Clément Aubert
-
2023/06/02
Re: [TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations
Guillaume Munch-Maccagnoni
-
2023/06/02
[TYPES/announce] ITP 2023 Call for Participation
Thiemann , René
-
2023/06/02
[TYPES/announce] [Call for Participation] LCTES 2023
Anders Miltner
-
2023/05/31
[TYPES/announce] GandALF 2023: Last Call For Papers
Luca Geatti
-
2023/05/31
[TYPES/announce] [Call for Participation] LSFA 2023 (early registration May 31)
D. Ventura
-
2023/05/31
[TYPES/announce] WiL 2023 - Call for Participation
Daniele Nantes
-
2023/05/31
[TYPES/announce] HOR 2023: Call for Participation
Carsten Fuhs
-
2023/05/30
[TYPES/announce] Call for Papers: JFP Special Issue on Program Calculation
Graham Hutton
-
2023/05/27
[TYPES/announce] VL/HCC 2023 call for posters (due June 28) and graduate consortium (due July 7)
Rebecca Krosnick
-
2023/05/27
[TYPES/announce] [ICTAC 2023] Second call for papers – deadline 16 June 2023
Violet Ka I Pun
-
2023/05/27
[TYPES/announce] UNIF 2023 Call for Participation
Christophe Ringeissen
-
2023/05/26
[TYPES/announce] Deadline Extension: CfP 2023 Coq workshop, May 30th
Yves Bertot
-
2023/05/26
[TYPES/announce] Haskell Symposium'23 Calls For Papers
Niki Vazou
-
2023/05/25
[TYPES/announce] Postdoc, PhD student and intern positions at Université Paris-Saclay, CEA List institute, France, in Software Security and Program Analysis
Michaël Marcozzi
-
2023/05/25
[TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations
Guillaume Munch-Maccagnoni
-
2023/05/25
[TYPES/announce] SPLASH 2023 Student Research Competition – deadline: July 14th, 2023
Xujie SI
-
2023/05/25
[TYPES/announce] GPCE 2023 Call for Papers
Youyou Cong
-
2023/05/25
[TYPES/announce] Doctoral Researcher / PhD Student / Postdoc Position
Andre Platzer
-
2023/05/24
[TYPES/announce] CfP for the International Workshop on Aliasing, Capabilities and Ownership
Aleksander Boruch-Gruszecki
-
2023/05/24
[TYPES/announce] [CFP] Student Research Competition (SRC) at ICFP'23
Daniel Hillerström
-
2023/05/24
[TYPES/announce] 2nd Call for Papers: 19th International Workshop on Termination (WST 2023)
YAMADA, Akihisa
-
2023/05/24
[TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP)
Daniel Hillerström
-
2023/05/24
[TYPES/announce] VORTEX 2023: Last call for papers
Davide Ancona
-
2023/05/23
[TYPES/announce] WITS 2023 First Call for Contributions
Jesper Cockx
-
2023/05/23
[TYPES/announce] CADE-29: Call for participation
Haniel Barbosa
-
2023/05/23
[TYPES/announce] SBMF 2023 - Call for papers
Haniel Barbosa
-
2023/05/23
[TYPES/announce] [final CfP+new submission link] MODALITIES IN SUBSTRUCTURAL LOGICS at ESSLLI
Sadrzadeh, Mehrnoosh
-
2023/05/23
[TYPES/announce] 2nd Call for Contributions: Programming Languages in The Netherlands 2023
Verano Merino, M. (Mauricio)
-
2023/05/23
[TYPES/announce] Ackermann Award: Second call for nominations - Deadline 1st July
Maribel Fernandez
-
2023/05/23
[TYPES/announce] Final CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE)
Ralf Kuesters
-
2023/05/23
[TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - 2nd CfP
perelli
-
2023/05/23
[TYPES/announce] Call for Submissions: Student Research Competition and Posters, APLAS 2023
Sato, Ryosuke
-
2023/05/22
[TYPES/announce] First Call for Papers for ICFEM 2023
Ranald Clouston
-
2023/05/22
[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - CFP
Simon Gay
-
2023/05/22
[TYPES/announce] Final Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
Michael Sperber
-
2023/05/22
[TYPES/announce] CFP RV 2023: 23rd International Conference on Runtime Verification
Dmitriy Traytel
-
2023/05/22
[TYPES/announce] APLAS 2023: Second Call for Papers
Sato, Ryosuke