Messages by Thread
-
[TYPES/announce] PLanQC 2022: Submission Deadline Extension
Julien Ross
-
[TYPES/announce] Tenure-track Assistant Professor Position Open at NOVA University Lisbon (PL \/ SE)
Luis Caires
-
[TYPES/announce] Postdoc position on specification and verification of heterogeneous systems at Imperial
Donaldson, Alastair F
-
[TYPES/announce] TERMGRAPH 2022 Workshop: First Call for Participation
Clemens Grabmayer
-
[TYPES/announce] Certified Programs and Proofs (CPP) 2023 Call for Papers
Steve Zdancewic
-
[TYPES/announce] CfP: SPLASH Onward! 2022
KAMMAR Ohad
-
[TYPES/announce] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody"
Luigia Petre
-
[TYPES/announce] WiL 2022 - Call for Participation
Daniele Nantes
-
[TYPES/announce] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages
Pieter Koopman
-
[TYPES/announce] PLanQC 2022: Final call for submissions and student travel support
Julien Ross
-
[TYPES/announce] FSTTCS 2022 - Call for Papers
Anuj Dawar
-
[TYPES/announce] CSL 2023 -- 2nd cfp
Elaine Pimentel
-
[TYPES/announce] Engineer and postdoc positions in France: proof assistant for crypto protocols
David Baelde
-
[TYPES/announce] Call for TYPES Steering Committee Nominations
Henning Basold
-
[TYPES/announce] ICFP 2022: Call for Tutorials, Panels, and Discussions
ICFP Publicity
-
[TYPES/announce] Applied Category Theory 2022: Call for Participation
Fredrik Nordvall Forsberg
-
[TYPES/announce] APLAS 2022 Call for Papers
Andreea Costea
-
[TYPES/announce] Call for Participation (RC 2022)
Claudio Mezzina
-
[TYPES/announce] Call for STSMs, deadline 1 July 2022
Ambrus Kaposi
-
[TYPES/announce] CfP deadline extension June 8 - ACM Workshop on Functional Art, Music, Modelling and Design
Michael Sperber
-
[TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (DEADLINE EXTENSION)
Daniel Hillerström
-
[TYPES/announce] Deadline Extension: TyDe 2022
Harley D. Eades III
-
[TYPES/announce] ESSLLI 2022 - Early Bird Registration extended once more, to 12th June
Fransen, Theodorus
-
[TYPES/announce] two funded PhD positions at Inria Nancy
Stephan Merz
-
[TYPES/announce] Job offer / Researcher-Engineer / Inria, France
Claude Marche
-
[TYPES/announce] ICFP 2022 Student Research Competition: Final Call for Submissions
Danel Ahman
-
[TYPES/announce] ML Family Workshop 2022: DEADLINE EXTENSION
Benoit Montagu
-
[TYPES/announce] Last CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]
D. Ventura
-
[TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP)
Daniel Hillerström
-
[TYPES/announce] GandALF 2022 -- Call For Papers [extended deadline]
Dario Della Monica
-
[TYPES/announce] ESSLLI 2022 - Early Bird Registration extended to 5th June
Fransen, Theodorus
-
[TYPES/announce] Deadline extension: AMAI Special Issue on Symbolic Computation in Software Science
Temur Kutsia
-
[TYPES/announce] Days in Logic 2022 - Call for participation
José Carlos Espírito Santo
-
[TYPES/announce] Call for Papers: Workshop on Type-Driven Development (TyDe) co-located with ICFP
Nada Amin
-
[TYPES/announce] Final CfP [deadline extended]: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]
D. Ventura
-
[TYPES/announce] Nominate the next editor-in-chief of TOPLAS
Adrian Sampson
-
[TYPES/announce] TYPES 2022 -- Second call for participation
Pierre-Marie Pédrot
-
[TYPES/announce] Final CfP: AMAI Special Issue on Symbolic Computation in Software Science
Temur Kutsia
-
[TYPES/announce] Job advert -- Research Fellow in Programming Languages and Systems. University of Kent, UK.
Mark Batty
-
[TYPES/announce] GandALF 2022 -- Last Call For Papers
Dario Della Monica
-
[TYPES/announce] ICALP 2022 - Call for Participation - Extended early registration ends TODAY
Anca Muscholl
-
[TYPES/announce] PPDP 2022 - 3rd Call for Papers - deadline extended
Beniamino Accattoli
-
[TYPES/announce] ICTAC'22 Last Call For Papers
Peter Lammich
-
[TYPES/announce] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022
Chuangjie Xu
-
[TYPES/announce] CCC2022 -September 19-23, 2022- call for contributions
Maria Emilia Maietti
-
[TYPES/announce] ML Family Workshop 2022: Final Call for Presentations
Benoit Montagu
-
[TYPES/announce] Open postdoc or PhD position at Reykjavik University, department of Computer Science
Antonios Achilleos
-
[TYPES/announce] WPTE 2022 final CFP (deadline: 31 May, publication JLAMP)
Stefan Ciobaca
-
[TYPES/announce] ICTCS'22: Final CFP with deadlines extended
Daniele Gorla
-
[TYPES/announce] Final CfP - ACM Workshop on Functional Art, Music, Modelling and Design - Deadline June 1
Michael Sperber
-
[TYPES/announce] Call for Presentations for "Teaching Functional Programming in OCaml" as part of the OCaml Workshop 2022
Brigitte Pientka
-
[TYPES/announce] Structure meets Power workshop 2022 (Extended deadline)
Daniel Marsden
-
[TYPES/announce] ACKERMANN AWARD 2022: 2ND CALL FOR NOMINATIONS
EACSL Mail-Account
-
[TYPES/announce] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics
Serge Autexier
-
[TYPES/announce] Workshop in honour of Thierry Coquand's 60th birthday
Ana Bove
-
[TYPES/announce] second CFP: 6th Working Formal Methods Symposium
vlad
-
[TYPES/announce] Extended Deadline for HoTT/UF 2022: 15 May
Evan Cavallo
-
[TYPES/announce] Deadline extension: SMT Workshop 2022
Antti Hyvärinen
-
[TYPES/announce] Call for Reviewers APLAS 2022 Artifact Evaluation Committee
Jan de Muijnck-Hughes
-
[TYPES/announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION)
Alexandre Madeira
-
[TYPES/announce] Final call for participation (Deadline Friday 13 May): Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022
Anders Mortberg
-
[TYPES/announce] SPLV 2022 - Call for Participation
Filip Sieczkowski
-
[TYPES/announce] PLanQC 2022: First call for submissions
Julien Ross
-
[TYPES/announce] [TERMGRAPH-2022] 2-day extension submission deadline: May 12
Clemens Grabmayer
-
[TYPES/announce] Final CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]
D. Ventura
-
[TYPES/announce] Applied Category Theory 2022: Final Call for Papers (deadline extended to Wed 11 May)
Fredrik Nordvall Forsberg
-
[TYPES/announce] Logic colloquium 2022 registration is open
Antonios Achilleos
-
[TYPES/announce] Researcher Formal Verification position at Hensoldt Cyber in Munich
Jaap Boender
-
[TYPES/announce] HoTT/UF 2022: Second Call for Contributions
Evan Cavallo
-
[TYPES/announce] PPDP 2022 - 2nd Call for Papers
Beniamino Accattoli
-
[TYPES/announce] ICFP 2022 Student Research Competition: Call for Submissions [2nd CfP]
Daniel Hillerström
-
[TYPES/announce] Deadline extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains External
zaynah dargaye
-
[TYPES/announce] Call for papers: FCS'22 workshop @ CSF/FLoC'22
Joe Near
-
[TYPES/announce] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!
Andrei Popescu
-
[TYPES/announce] Save the Date: Symposium on Probabilistic Programming in Paris (France) on June 29 and 30, 2022
Jean-Baptiste Tristan
-
[TYPES/announce] SMT Workshop 2022: Final Call for Papers
Antti Hyvärinen
-
[TYPES/announce] Final Call for Proposals for the Coq Workshop 2022
Talia Ringer
-
[TYPES/announce] TYPES 2022 -- Call for participation
Pierre-Marie Pédrot
-
[TYPES/announce] WPTE 2022 cfp (extended deadline, journal publication)
Stefan Ciobaca
-
[TYPES/announce] SAS 2022 - Last Call for Papers - Submissions by May 4th, 2022 (paper updates until May 11th, 2022)
Caterina Urban
-
[TYPES/announce] DEADLINE EXTENSION: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics
Justin Hsu
-
[TYPES/announce] Fwd: TERMGRAPH 2022 Workshop: Final Call for Papers
Clemens Grabmayer
-
[TYPES/announce] SPLASH 2022 Final Call for Workshops
Andreea Costea
-
[TYPES/announce] announcing the HoTTEST summer school (save the dates)
Carlo Angiuli
-
[TYPES/announce] 28th WoLLIC 2022 - Deadline extension
Elaine Pimentel
-
[TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)
Daniel Hillerström
-
[TYPES/announce] FLOPS 2022: the 16th International Symposium on Functional and Logic Programming: Call For Participation & Workshop talk proposals
Taro Sekiyama
-
[TYPES/announce] PhD positions in Mathematical Foundations of Computer Science, Bath - deadline 16 May
Willem Heijltjes
-
[TYPES/announce] WST 2022: final call for papers (submission deadline changed!)
Cynthia Kop
-
[TYPES/announce] MOVEP: Early-bird rate ends April 30th
Martin Zimmermann
-
[TYPES/announce] CfP: FACS 2022 - 18th International Conference on Formal Aspects of Component Software
José Proença
-
[TYPES/announce] Second CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains
zaynah dargaye
-
[TYPES/announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022
Serge Autexier
-
[TYPES/announce] CSL'23 -- 1st call for papers
Elaine Pimentel
-
[TYPES/announce] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers
Serge Autexier
-
[TYPES/announce] Call for Presentations: VardiFest22
Kristin Yvonne Rozier
-
[TYPES/announce] Applied Category Theory 2022: Second Call for Papers
Fredrik Nordvall Forsberg
-
[TYPES/announce] Special Issue on Logic and Higher Structures in MSCS
Samuel Mimram
-
[TYPES/announce] FOCODILE@DisCoTec 2022: Call For Extended Abstract - 3th International Workshop on Foundations of Consensus and Distributed Ledgers
Andrea Morichetta
-
[TYPES/announce] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs
Luigia Petre
-
[TYPES/announce] NFM 2022 - Call for participation
Klaus Havelund
-
[TYPES/announce] 28th WoLLIC 2022 - 3rd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
-
[TYPES/announce] QEST 2022 Call for Papers: Deadline Extension
QEST Publicity
-
[TYPES/announce] Microservices 2022 - Second Call for Participation
Florian Rademacher
-
[TYPES/announce] VORTEX 2022: Extended Submission Deadline, April 24
Davide Ancona
-
[TYPES/announce] Formal Methods 2023 -- Joint call for workshop & tutorial proposals
Violet Ka I Pun
-
[TYPES/announce] Reminder: PhD positions in Stockholm, deadline this Friday, 22 April
Peter LeFanu Lumsdaine
-
[TYPES/announce] UNIF 2022 (2nd CFP) - 36TH International Workshop on Unification - deadline: May 5, 2022
David Cerna
-
[TYPES/announce] BX 2022 - Call for papers (deadline 14 May)
Li-yao Xia
-
[TYPES/announce] Postdoc position in Tokyo: model checking and optimization metaheuristics
Ichiro Hasuo
-
[TYPES/announce] EXPRESS/SOS 2022 second call for Papers
Claudio Mezzina
-
[TYPES/announce] SAT/SMT/AR + CP Summer School
Yoni
-
[TYPES/announce] WPTE 2022 call for papers
Stefan Ciobaca
-
[TYPES/announce] Call for location ICALP 2025
Anca Muscholl
-
[TYPES/announce] Call for solvers and benchmarks for the Synthesis Standard Demonstration
Andrew Reynolds
-
[TYPES/announce] ETAPS 2023: Call for Satellite Events
Benedikt Bollig
-
[TYPES/announce] 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software
Joao Marcos
-
[TYPES/announce] Summer School on Neurosymbolic Programming July 11-13, Pasadena CA
Armando Solar-Lezama
-
[TYPES/announce] Final CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics
Justin Hsu
-
[TYPES/announce] Final CfP (with extended deadline): 15th Interaction and Concurrency Experience (ICE 2022)
Clément Aubert
-
[TYPES/announce] Call for presentations: Program Analyses for WebAssembly (PAW @ ECOOP 2022) (Deadline extension)
Quentin Stievenart
-
[TYPES/announce] ICFP'22 Artifact Evaluation Committee: call for nominations
Gabriel Scherer
-
[TYPES/announce] ICFP 2022 Student Research Competition: Call for Submissions
Danel Ahman
-
[TYPES/announce] 2nd CfP - ACM Workshop on Functional Art, Music, Modelling and Design - Deadline June 1
Michael Sperber
-
[TYPES/announce] Tenure-track assistant professor
Coen DE ROOVER
-
[TYPES/announce] LAP 2022 - Logic and Applications: CFP
Silvia Ghilezan
-
[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
-
[TYPES/announce] Vacancy at Lancaster University (Leipzig campus), Deadline 18 April 2022
Marco Caminati
-
[TYPES/announce] ICTCS'22: preliminary CfP
Daniele Gorla
-
[TYPES/announce] TERMGRAPH 2022 Workshop: Second Call for Papers
Clemens Grabmayer
-
[TYPES/announce] Student applications for PLMW @ PLDI 2022
Deian Stefan
-
[TYPES/announce] ECOOP Doctoral Symposium 2022: 2nd Call for Contributions
Stephanie Balzer
-
[TYPES/announce] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd cfp)
Alexandre Madeira
-
[TYPES/announce] QEST 2022: Last Call for Papers
QEST Publicity
-
[TYPES/announce] ICALP 2024 - call for location
Emanuela Merelli
-
[TYPES/announce] [ICFEM 2022] Last CfP
ADRIAN RIESCO RODRIGUEZ
-
[TYPES/announce] CONCUR 2022 - last CFP
Bartek Klin
-
[TYPES/announce] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)
Achim D. Brucker
-
[TYPES/announce] CFP SL-COMP 2022
Mihaela Sighireanu
-
[TYPES/announce] Call for Workshop Papers - ECOOP 2022
Carolin Brandt
-
[TYPES/announce] Lecturer Positions in Computer Science at Sussex
Bernhard Reus
-
[TYPES/announce] SPLASH 2022 Call for Workshop Proposals
Andreea Costea
-
[TYPES/announce] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
Marco Maggesi
-
[TYPES/announce] last call: HSCC 2022 Test-of-time-award (deadline 10 April)
Nicola Paoletti
-
[TYPES/announce] Microservices 2022 - First Call for Participation
Florian Rademacher
-
[TYPES/announce] PhD position in machine learning for formal verification (Université Paris-Saclay, CEA LIST Institute, France)
Michele Alberti
-
[TYPES/announce] Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2022
Sadrzadeh, Mehrnoosh
-
[TYPES/announce] PhD Student / Post-Doc Position at University of Konstanz
Stefan Leue
-
[TYPES/announce] First CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains
zaynah dargaye
-
[TYPES/announce] PhD positions at Aarhus University
Andreas Pavlogiannis
-
[TYPES/announce] Structure meets Power workshop 2022
Tomáš Jakl
-
[TYPES/announce] 2nd CfP: AMAI Special Issue on Symbolic Computation in Software Science
Temur Kutsia
-
[TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 26 Sep - 1 Oct 2022
Chuangjie Xu
-
[TYPES/announce] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022
Anders Mortberg
-
[TYPES/announce] FLoC 2022 Mentoring Workshop: Call for Scholarship Applications - deadline on April 11th
Andrew Kent
-
[TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, last CFP and deadline extension
Tobias Kappé
-
[TYPES/announce] post-doc & programmer positions in Tokyo, Japan
Ichiro Hasuo
-
[TYPES/announce] Logic Colloquium deadline extension
Antonios Achilleos
-
[TYPES/announce] CMCS 2022: Call for Participation
Thorsten Wissmann
-
[TYPES/announce] Ph.D position on formal methods available @ University of Oslo (short deadline)
Martin Steffen
-
[TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Daniel Hillerström
-
[TYPES/announce] The Logic Colloquium 2022
Antonios Achilleos
-
[TYPES/announce] First CFP: FM 2023 - 25th International Symposium on Formal Methods
Violet Ka I Pun
-
[TYPES/announce] PhD position on Homotopy Type Theory
Benno van den Berg
-
[TYPES/announce] OOPSLA 2022 - Round 2 CFP
Andreea Costea
-
[TYPES/announce] MFCS 2022 - Second Call for Papers
Stefan Szeider
-
[TYPES/announce] OPLSS 2022
Zena Matilde Ariola
-
[TYPES/announce] Postdoctoral researcher: opening at the University of Cambridge
Jeremy Yallop
-
[TYPES/announce] FLoC 2022 Mentoring Workshop: Call for Scholarship Applications — deadline on April 11th
Caterina Urban
-
[TYPES/announce] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL)
Herman Geuvers
-
[TYPES/announce] GPCE 2022 Call for Papers
Yukiyoshi Kameyama
-
[TYPES/announce] FSCD 2024: Call for Location
carsten
-
[TYPES/announce] GandALF 2022 -- 2nd Call For Papers
Dario Della Monica
-
[TYPES/announce] Second CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics
Justin Hsu
-
[TYPES/announce] VORTEX 2022: Call for Papers
Davide Ancona
-
[TYPES/announce] CSL’23 -- CALL FOR WORKSHOPS
Elaine Pimentel
-
[TYPES/announce] Midlands Graduate School: Accommodation and second (final) call for participation
Nicolai Kraus
-
[TYPES/announce] Assistant Research Professor or Postdoc position at Penn State CSE
Gang (Gary) Tan
-
[TYPES/announce] ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances
Michael Sperber
-
[TYPES/announce] [Call for participation] TFPiE and TFP online events March 16-18
Peter Achten
-
[TYPES/announce] Morello: Edinburgh research post on capability-based security technologies
Ian Stark
-
[TYPES/announce] PPDP 2022 - 1st Call for Papers
Beniamino Accattoli
-
[TYPES/announce] ECOOP Doctoral Symposium 2022: Call for Participation
Stephanie Balzer
-
[TYPES/announce] TYPES 2022 -- Deadline extension
Pierre-Marie Pédrot
-
[TYPES/announce] The Coq Workshop 2022: Call for Presentation Proposals
Talia Ringer
-
[TYPES/announce] SAS 2022 - First Call for Papers - Paper submission deadline: May 4th, 2022
Caterina Urban
-
[TYPES/announce] Postdoctoral positions in AI for Programming Education at MPI-SWS, Germany
ru...@mpi-sws.org
-
[TYPES/announce] SOAP 2022 - submission deadline extended
Titolo, Laura
-
[TYPES/announce] Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop, second CFP
Tobias Kappé
-
[TYPES/announce] PhD position at the University of Amsterdam
Benno van den Berg
-
[TYPES/announce] Call for STSMs, deadline 3 April 2022
Ambrus Kaposi