Messages by Thread
-
[TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
Michael Sperber
-
[TYPES/announce] Two year postdoc in logic and computation at the University of Bath
Thomas Powell
-
[TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023
Ana Sokolova
-
[TYPES/announce] QEST 2023: Third Call for Papers with Deadline Extension
QEST Publicity
-
[TYPES/announce] 2023 Coq workshop call for presentations
Yves Bertot
-
[TYPES/announce] Fwd: Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines]
D. Ventura
-
[TYPES/announce] VMW at CAV 2023: Call for Scholarship Applications - DEADLINE EXTENSION (May 5th)
Sammartino, Matteo
-
[TYPES/announce] 5-year PhD Position in Language-based Security @ Utrecht University (Netherlands)
Vassena, M. (Marco)
-
[TYPES/announce] Call for Papers - TLLA 23 (7th International Workshop on Trends in Linear Logic and Applications)
Stefano Guerrini
-
[TYPES/announce] POPL 2024: Call for Papers (deadline: July 11)
Donaldson, Alastair F
-
[TYPES/announce] SMT 2023 - Final CFP - Extended Deadlines to May 5
Mathias Preiner
-
[TYPES/announce] WiL 2023: Call for contributions
Tephilla
-
[TYPES/announce] PPDP 2023: Call for Papers
Ugo de Liguoro
-
[TYPES/announce] WPTE 2023 -- second Call for Papers and deadline extension
Cynthia Kop
-
[TYPES/announce] Postdoc in PL, RL, and Networking
Nate Foster
-
[TYPES/announce] GandALF 2023: 2nd Call For Papers
Antonios Achilleos
-
[TYPES/announce] CCC 2023 - call for contributions
Norbert Müller
-
[TYPES/announce] CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE)
Ralf Kuesters
-
[TYPES/announce] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
Andrei Popescu
-
[TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)
Daniel Hillerström
-
[TYPES/announce] Call for Papers: 19th International Workshop on Termination (WST 2023)
YAMADA, Akihisa
-
[TYPES/announce] PPDP 2023 - Call for Papers
Santiago Escobar
-
[TYPES/announce] CMSB 2023: last call for papers (extended deadlines)
Jun PANG
-
[TYPES/announce] Call for Papers: Functional Software Architecture - FP in the Large
Graham Hutton
-
[TYPES/announce] WORKSHOP on DOCTRINES and FIBRATIONS, May 29 - June 1, 2023 -dedicated to W. Lawvere
Maria Emilia Maietti
-
[TYPES/announce] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023
louis . rustenholz
-
[TYPES/announce] CfP - VL/HCC 2023 - abstracts due this week, April 21 - IEEE Symposium on Visual Languages and Human-Centric Computing
Rebecca Krosnick
-
[TYPES/announce] WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC
Tephilla
-
[TYPES/announce] SAS 2023 - Second Call for Papers - Paper Deadline: April 24, 2023
louis . rustenholz
-
[TYPES/announce] PhD in Computer Science at GSSI (Italy)
emilio . tuosto
-
[TYPES/announce] JLAMP: new initiative launched
emilio . tuosto
-
[TYPES/announce] SPLASH 2023: Combined Call for Contributions
Andreea Costea
-
[TYPES/announce] Algebra, Categories and Logic in Computing (ACLiC) 2023 - Call for applications
Nima Motamed
-
[TYPES/announce] Structure Meets Power 2023 announcement
Tomáš Jakl
-
[TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Preliminary CfP
perelli
-
[TYPES/announce] 2nd Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023)
D. Ventura
-
[TYPES/announce] Final Call for Papers LFMTP'23 [extended abstract submission deadline, April 20]
Carlos Olarte
-
[TYPES/announce] SMT 2023 - Second Call For Papers
Mathias Preiner
-
[TYPES/announce] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023
Julien Narboux
-
[TYPES/announce] Call for Participation PLDI 2023
Anders Miltner
-
[TYPES/announce] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation
Christopher Michael POSKITT
-
[TYPES/announce] Onward! 2023 @ SPLASH: Call for Papers & Essays
Tijs van der Storm
-
[TYPES/announce] VORTEX 2023: 2nd Call for Papers
Davide Ancona
-
[TYPES/announce] HoTT 2023: registration open
Steve Awodey
-
[TYPES/announce] APLAS 2023 first Call for Papers
Sato, Ryosuke
-
[TYPES/announce] Postdoc @ DTU Compute in Modelling and Verification of Concurrent & Distributed Applications
Alceste Scalas
-
[TYPES/announce] TbiLLC 2023: Final Deadline Extension Mon 3 April 2023 AoE
Hansen, H.H.
-
[TYPES/announce] TyDe 2023 - Call for Papers
Youyou Cong
-
[TYPES/announce] Final Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)
Carlos Olarte
-
[TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK
vincent rahli
-
[TYPES/announce] IFL23 first CFP
Pieter Koopman
-
[TYPES/announce] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023
xu
-
[TYPES/announce] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP)
Daniel Hillerström
-
[TYPES/announce] Call for Participation: MARKTOBERDORF SUMMER SCHOOL 2023
Javier Esparza
-
[TYPES/announce] Two Senior Research Associates on Concurrent and Distributed Programming / Digital Security by Design
Nobuko Yoshida
-
[TYPES/announce] MFPS 2023: Deadline Extension
Marie Kerjean
-
[TYPES/announce] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper)
Serge Autexier
-
[TYPES/announce] Agda Implementors' Meeting XXXVI: Call for talks and participation
Jesper Cockx
-
[TYPES/announce] 18th International Summer School on Training And Research On Testing
M.R. Mousavi
-
[TYPES/announce] Postdoctor in Type theory for mathematics and computer science
Ana Bove
-
[TYPES/announce] 2nd CfP: 16th Interaction and Concurrency Experience (Revised deadlines & invited speaker)
Simon Fowler
-
[TYPES/announce] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming
Luigia Petre
-
[TYPES/announce] Call for papers - VL/HCC 2023 - abstracts due April 21 - IEEE Symposium on Visual Languages and Human-Centric Computing
Rebecca Krosnick
-
[TYPES/announce] SYCO 11 - Call for participation
Samuel Mimram
-
[TYPES/announce] PPDP 2023 - Preliminary Call for Papers
Santiago Escobar
-
[TYPES/announce] MPLR’23 Call for Submissions
Rodrigo Bruno
-
[TYPES/announce] Final CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call)
D. Ventura
-
[TYPES/announce] EXPRESS/SOS 2023 First Call for Papers
Claudio Mezzina
-
[TYPES/announce] CfP: Haskell Symposium 2023
Niki Vazou
-
[TYPES/announce] CMSB 2023: second call for papers
Jun PANG
-
[TYPES/announce] VORTEX 2023: Call for Papers
Davide Ancona
-
[TYPES/announce] Utrecht Summer School on Advanced Functional Programming 2023
Swierstra, W.S. (Wouter)
-
[TYPES/announce] Job: research associate in Oxford
Sam Staton
-
[TYPES/announce] Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
Michael Sperber
-
[TYPES/announce] Verification Mentoring Workshop at CAV 2023: Call for Scholarship Applications — deadline April 14th
Sammartino, Matteo
-
[TYPES/announce] Funding deadline: EuroProofNet WG6 meeting in Vienna
Jacopo Emmenegger
-
[TYPES/announce] Call for Papers, Functional Software Architecture - FP in the Large
Graham Hutton
-
[TYPES/announce] ITP 2023: Call for Workshop and Tutorial Proposals
Thiemann , René
-
[TYPES/announce] TbiLLC 2023: Second Call for Papers incl. Deadline Extension
Hansen, H.H.
-
[TYPES/announce] SAS 2023 - First Call for Papers - Paper deadline: April 24, 2023
Manuel Hermenegildo
-
[TYPES/announce] CALCO 2023: Second Deadline Extension
Thorsten Wissmann
-
[TYPES/announce] First Call for Papers SETS 2023
David Delahaye
-
[TYPES/announce] Erlang 2023 - Call for Papers
Kiko Fernandez-reyes A
-
[TYPES/announce] PhD or Postdoc Position at LMU Munich about Verified Modal Logics
Andrei Popescu
-
[TYPES/announce] Lectureships at Lancaster University (Leipzig campus), Deadline 30 March
Marco Caminati
-
[TYPES/announce] Ackermann Award: Call for nominations
Maribel Fernandez
-
[TYPES/announce] ITP 2024 - Call for Bids
Thiemann , René
-
[TYPES/announce] UNIF 2023 Second Call for Papers
Christophe Ringeissen
-
[TYPES/announce] WPTE 2023 Call for Papers
Cynthia Kop
-
[TYPES/announce] WTSC23 --- extended deadline!
Andrea Bracciali
-
[TYPES/announce] MFPS 2023: Second Call for Papers
Marie Kerjean
-
[TYPES/announce] OPLSS 2023: Summer School Dates
Stephanie Weirich
-
[TYPES/announce] Vacancy: Assistant/Associate Professor Energy-efficient Software Development, University of Twente, Netherlands, Formal Methods and Tools group
Huisman, Marieke (UT-EEMCS)
-
[TYPES/announce] TYPES 2023: Call for Contributions - Deadline extension
Alicia Villanueva
-
[TYPES/announce] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering
Andrei Chis
-
[TYPES/announce] 2023 Summer School on Formal Techniques (May 24 - 29, 2023) + Formal Methods in the Field Bootcamp (May 30 - June 2, 2023)
Natarajan Shankar
-
[TYPES/announce] SMT2023 Call For Papers
Mathias Preiner
-
[TYPES/announce] Software engineer position available
Giuseppe Castagna
-
[TYPES/announce] PhD Studentships in Formalising CS/Maths at King's College London
Mohammad Abdulaziz
-
[TYPES/announce] Tenure Track Faculty Position Bucknell University
Lea Wittie
-
[TYPES/announce] FMCAD 2023: First Call for Papers
Nadel, Alexander
-
[TYPES/announce] CALCO 2023: Deadline Extension
Thorsten Wissmann
-
[TYPES/announce] PhD position at Inria / Nantes Université (France)
Assia Mahboubi
-
[TYPES/announce] PLMW@PLDI23 application is open
Limin Jia
-
[TYPES/announce] GandALF 2023: Call For Papers
Antonios Achilleos
-
[TYPES/announce] HoTT 2023: Extended Deadline
Steve Awodey
-
[TYPES/announce] Postdoc position on Formal Verification for Zero-Trust IoT Systems at Kyoto University
Atsushi Igarashi
-
[TYPES/announce] Call for papers - VL/HCC 2023 - IEEE Symposium on Visual Languages and Human-Centric Computing
Rebecca Krosnick
-
[TYPES/announce] HOR 2023: Call for Papers
Carsten Fuhs
-
[TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi
Clément Aubert
-
[TYPES/announce] Postdoc position at Kyoto University, Japan
Kohei SUENAGA
-
[TYPES/announce] Second Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23)
Carlos Olarte
-
[TYPES/announce] ISMM 2023 (colocated with PLDI): call for papers
Anders Miltner
-
[TYPES/announce] SYCO 11 - Second call for papers
Samuel Mimram
-
[TYPES/announce] 1st Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023)
D. Ventura
-
[TYPES/announce] HCVS 2023 - Call for Papers (Extended deadline)
Jose F. Morales
-
[TYPES/announce] CALCO 2023: Final Call for Papers
Thorsten Wissmann
-
[TYPES/announce] FMTea 2023 - colocated with FM 2023 - call for participation
Catherine DUBOIS
-
[TYPES/announce] Two Postdocs in Logic, Gothenburg (Sweden)
Bahareh Afshari
-
[TYPES/announce] Eastern Canada Logic and Programming Seminar 2023
Ryan Kavanagh
-
[TYPES/announce] CADE-29 - Second Call for Papers
Haniel Barbosa
-
[TYPES/announce] 1st Call for Contributions - Women in Logic Workshop (WiL 2023)
Daniele Nantes
-
[TYPES/announce] New book: Essentials of Compilation
Siek, Jeremy
-
[TYPES/announce] QPL 2023 -- Final Call for Papers (with updated deadlines)
Vladimir Zamdzhiev
-
[TYPES/announce] [ICTAC 2023] First call for papers – deadline 16 June 2023
Violet Ka I Pun
-
[TYPES/announce] HCVS 2023 - Last Call for Papers
Jose F. Morales
-
[TYPES/announce] 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)
Ruy Jose Guerra Barretto de Queiroz
-
[TYPES/announce] CfP: 16th Interaction and Concurrency Experience (ICE 2023)
Simon Fowler
-
[TYPES/announce] HoTT/UF 2023: Deadline extended / 3rd Call for Contributions
Jonathan Weinberger
-
[TYPES/announce] 1st Ecumenical meeting @UCL
Elaine Pimentel
-
[TYPES/announce] FSCD 2025: Call for Location
Carsten Fuhs
-
[TYPES/announce] Call for Papers: ACM DEBS 2023 (Deadline Extension)
Naohiro Hayashibara
-
[TYPES/announce] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)
Serge Autexier
-
[TYPES/announce] Call for Papers in Doctoral Symposium, DEBS 2023
Naohiro Hayashibara
-
[TYPES/announce] ICFP 2023: Last Call for Papers
ICFP Publicity
-
[TYPES/announce] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation)
Catalin Hritcu
-
[TYPES/announce] ECOOP 2023: Call for Papers
Pascal Weisenburger
-
[TYPES/announce] Midlands Graduate School in the Foundations of Computing Science 2023
Paul Levy
-
[TYPES/announce] SPLASH 2023: Call for Workshop Proposals
Andreea Costea
-
[TYPES/announce] ICFP 2023 Artifact Evaluation Committee: call for nominations
Quentin Stiévenart
-
[TYPES/announce] OOPSLA 2023 - Round 2 CFP
Andreea Costea
-
[TYPES/announce] TYPES 2023 - Call for Contributions
Alicia Villanueva
-
[TYPES/announce] Call for papers SC-square 2023
Erika Abraham
-
[TYPES/announce] Registration open - EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023
Jacopo Emmenegger
-
[TYPES/announce] Call for Participation: Eelco Visser Commemorative Symposium, 5 April 2023
Jonathan Aldrich
-
[TYPES/announce] Call for Nominations: ACM SIGPLAN Software Award - deadline extension 17 March 2023
Dominique Devriese
-
[TYPES/announce] Full Professor in Computer Science at IMT Lucca - Expression of Interest
Mirco Tribastone
-
[TYPES/announce] Call for expressions of interest for open-rank positions at GSSI - Italy
emilio . tuosto
-
[TYPES/announce] CfP: 2nd International Conference on Homotopy Type Theory
Steve Awodey
-
[TYPES/announce] SOAP 2023 Call for Papers (co-located with PLDI'23)
Liana Hadarean
-
[TYPES/announce] Five tenured positions in theoretical computer science at IRIF / Université Paris Cité
Giuseppe Castagna
-
[TYPES/announce] HoTT/UF 2023: 2nd Call for Contributions
Jonathan Weinberger
-
[TYPES/announce] Reversible Computation 2023: Call for papers -- Extended deadline
Clément Aubert
-
[TYPES/announce] TACAS 2023 TOOLympics - Call for Contributions
Hartmanns, Arnd (UT-EEMCS)
-
[TYPES/announce] SYCO 22 - Call for papers
Samuel Mimram
-
[TYPES/announce] PhD position in formal methods at the University of Oslo
Peter Csaba Ölveczky
-
[TYPES/announce] CFP: DISCOTEC 2023 - 18th International Federated Conference on Distributed Computing Techniques
Carlos Baquero-Moreno
-
[TYPES/announce] CfP FORTE 2023 - 43nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (deadline extension)
Huisman, Marieke (UT-EEMCS)
-
[TYPES/announce] Applied Category Theory 2023: First Call for Papers
Sam Staton
-
[TYPES/announce] QPL 2023 -- Call for Papers
Vladimir Zamdzhiev
-
[TYPES/announce] CALCO 2023: Second Call for Papers
Thorsten Wissmann
-
[TYPES/announce] One PhD and Two Postdocs in Logic, Gothenburg (Sweden)
Graham Leigh
-
[TYPES/announce] 4y fully funded PhD position on verification of efficient and secure parallel algorithms
Peter Lammich
-
[TYPES/announce] Deadline Extension: 2023 Alonzo Church Award Call for Nominations
Mariangiola Dezani
-
[TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham
vincent rahli
-
[TYPES/announce] IEEE CSF 2023: Call for Workshops - proposals due by Feb 24, 2023
Ralf Kuesters
-
[TYPES/announce] Two PhD Positions in AUTOSARD
Georg Moser
-
[TYPES/announce] FSCD 2023: Extended deadline (Abstract: February 4/ Submission: February 9)
Carsten Fuhs
-
[TYPES/announce] ETAPS 2023 Call For Participation
jan . kofron
-
[TYPES/announce] Call for ECOOP/ISSTA 2023 Workshop Proposals
Pascal Weisenburger
-
[TYPES/announce] COORDINATION 2023 Second Call For Papers - abstract deadline feb 11
Giorgio Audrito
-
[TYPES/announce] CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call)
D. Ventura
-
[TYPES/announce] EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023
Jacopo Emmenegger
-
[TYPES/announce] CiE 2023: FINAL CALL FOR PAPERS
acie
-
[TYPES/announce] Faculty positions at the University of Copenhagen
Dmitriy Traytel
-
[TYPES/announce] Full professor of programming languages, U of Tartu
Tarmo Uustalu
-
[TYPES/announce] Job offer / Researcher-Engineer / Inria, Saclay, France
Claude Marche
-
[TYPES/announce] ETAPS Mentoring Workshop 2023 - Call for Scholarship Applications (deadline: February 13th, 2023)
Caterina Urban
-
[TYPES/announce] 29th WoLLIC 2023 - 2nd Call for Papers
Ruy Jose Guerra Barretto de Queiroz
-
[TYPES/announce] TbiLLC 2023: First Call for Papers
Hansen, H.H.
-
[TYPES/announce] ITP 2023: Second Call for Papers
Thiemann , René
-
[TYPES/announce] Call for papers: Mathematical Foundations of Programming Semantics 2023
Paul Levy
-
[TYPES/announce] Call for Participation: Logic Mentoring Workshop@CSL'23, Feb 17, Warsaw
Michaël Cadilhac