Messages by Thread
-
[TYPES/announce] ICFP 2024: Call for Participation
ICFP Publicity
-
[TYPES/announce] POPL 2025: Final Call for Workshops and Co-located Events (July 26 AOE)
Ningning Xie
-
[TYPES/announce] 2nd CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK.
Anupam das
-
[TYPES/announce] Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland
Guido Salvaneschi
-
[TYPES/announce] Call for Papers: Scheme ‘24 (extended deadline: July 25th)
Kristopher K Micinski
-
[TYPES/announce] CCC 2024: Continuity, Computability, Constructivity – From Logic to Algorithms (extended deadline)
Olivier Bournez
-
[TYPES/announce] SREPLS / CW -- Last Call for Registration
Marco Paviotti
-
[TYPES/announce] Final CFP (extended deadline): HATRA '24: Human Aspects of Types and Reasoning Assistants
Cyrus Omar
-
[TYPES/announce] Oxford call for Royal Society Faraday Discovery Fellowships
Sam Staton
-
[TYPES/announce] RP 2024 - call for presentation-only abstracts, deadline August 2, 2024
Ana Sokolova
-
[TYPES/announce] ICFP 2024: Call for Volunteers
Gabriele Vanoni
-
[TYPES/announce] TLLA 2024, July 8-9: free online participation
Paolo Pistone
-
[TYPES/announce] ECCL 24 - a celebration of Pino Rosolini's 70th birthday
Jacopo Emmenegger
-
[TYPES/announce] 3rd Call for Papers: Mathematical User Interaction (MathUI'24)
Serge Autexier
-
[TYPES/announce] PhD position on automated verification at ETH Zurich
Michalis Kokologiannakis
-
[TYPES/announce] ITRS'24 - Free online participation, 9th July 2024
Riccardo Treglia
-
[TYPES/announce] FSCD 2024: Free online participation, 10 - 13 July 2024
Carsten Fuhs
-
[TYPES/announce] SREPLS 15 / Concurrency Workshop -- Call for Participation
Marco Paviotti
-
[TYPES/announce] CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden)
Bahareh Afshari
-
[TYPES/announce] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024
Serge Autexier
-
[TYPES/announce] Free online participation in MSFP, 8th July 2024
Jeremy Gibbons
-
[TYPES/announce] Second CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
ESSLLI Publicity
-
[TYPES/announce] QPL 2024 - Last Call for Participation - Late registration deadline: July 1st
Alejandro Díaz-Caro
-
[TYPES/announce] 2nd CALL FOR PAPERS EXPRESS/SOS@CONFEST2024
Cinzia Di Giusto
-
[TYPES/announce] Postdoctoral position in Birmigham, UK
Dan Ghica
-
[TYPES/announce] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada
Serge Autexier
-
[TYPES/announce] [VORTEX 2024] extended submission deadline: July 8
Davide Ancona
-
[TYPES/announce] PLAS'24 - Deadline extended
Vineet Rajani
-
[TYPES/announce] UNIF 2024 - Call for Participation
Oliver Fernandez Gil
-
[TYPES/announce] Positions in Eindhoven: Assistant Professor and PhD student
Serebrenik, Alexander
-
[TYPES/announce] SEFM'24 -- Last Call for papers
Alexandre Madeira
-
[TYPES/announce] CCC 2024: Call For Contributions
Olivier Bournez
-
[TYPES/announce] SREPLS15 + CW - Deadline for Talks Extended
Marco Paviotti
-
[TYPES/announce] FTfJP 2024 - Last CfP (extended deadline)
Luca Di Stefano
-
[TYPES/announce] Last CfA: Fully-funded Ph.D. Positions in Computer Science at IMT School for Advanced Studies Lucca
Cosimo P. Brogi
-
[TYPES/announce] PLMW@ICFP'24: Final call for Participation (travel funding application by June 21)
Ningning Xie
-
[TYPES/announce] CAV 2024 - Call for Participation (Early Registration Ends June 23)
Norine Coenen
-
[TYPES/announce] CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK.
Anupam das
-
[TYPES/announce] SPLASH 2024 Doctoral Symposium + John Vlissides award
Summers, Alexander
-
[TYPES/announce] PLAS 2024 - Deadline Approaching, Call For Papers
Vineet Rajani
-
[TYPES/announce] Special Volume of MSCS In Honor Of Phil Scott
Thomas Ehrhard
-
[TYPES/announce] POPL 2025: Call for Workshops and Co-located Events
Ningning Xie
-
[TYPES/announce] FTfJP 2024 - Second CfP (deadline approaching)
Luca Di Stefano
-
[TYPES/announce] Fully-funded Ph.D. positions in combating technical debt in Machine Learning systems in New York City
Raffi Khatchadourian
-
[TYPES/announce] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia)
Yves Bertot
-
[TYPES/announce] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024
Serge Autexier
-
[TYPES/announce] SBMF 2024: Call for papers
Haniel Barbosa
-
[TYPES/announce] Postdoc/PhD on compiler optimisations/meta-programming for DSLs @ Inria Lyon, France
Gabriel Radanne
-
[TYPES/announce] DisCoTec 2024 Final Call for Participation
Bas van den Heuvel
-
[TYPES/announce] Working Formal Methods Symposium (FROM) 2024, Timisoara, Romania
Madalina Erascu
-
[TYPES/announce] BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts
Paul Levy
-
[TYPES/announce] joint PhD position between Grenoble and Genova
Radu Iosif
-
[TYPES/announce] Call for Papers: SPLASH 2024 Student Research Competition
Umar Farooq
-
[TYPES/announce] SEFM'24 -- Deadline extended!
Alexandre Madeira
-
[TYPES/announce] VORTEX 2024: 2nd Call for Papers
Davide Ancona
-
[TYPES/announce] CFP (extended deadline): HATRA '24: Human Aspects of Types and Reasoning Assistants
Cyrus Omar
-
[TYPES/announce] CfP ICTCS24 - Extended deadline
Riccardo Treglia
-
[TYPES/announce] University Professorship (W3) Programming Languages and Program Analysis at KIT
André Platzer
-
[TYPES/announce] Call for Participation: Scottish PL & Verification Summer School
Guillaume Allais
-
[TYPES/announce] CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
ESSLLI Publicity
-
[TYPES/announce] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
Frédéric Blanqui
-
[TYPES/announce] Postdoctoral Position, VERIFAI, closing June 9th 2024
Rosemary Monahan
-
[TYPES/announce] Call for Participation: 3rd Summer School on Security Testing and Verification (ST&V 2024)
Dominique Devriese
-
[TYPES/announce] Two Senior Research Fellows on Concurrent and Distributed Programming, and Quantum Computing
Nobuko Yoshida
-
[TYPES/announce] Reachability Problems (RP'24) EXTENDED deadline: Abstracts 24 June, Full papers 26 June 2024
Ana Sokolova
-
[TYPES/announce] deadline extended: LSFA 2024
Cynthia Kop
-
[TYPES/announce] Postdoctoral Research Fellow at the University of Surrey
Brijesh Dongol
-
[TYPES/announce] IEEE CSF 2024 - Program is online
Ralf Kuesters
-
[TYPES/announce] FSTTCS 2024 - Call for papers
Shibashis Guha
-
[TYPES/announce] Call for TYPES 2026 location
Paige Randall North
-
[TYPES/announce] Deadline extension--Sixth miniKanren and Relational Programming Workshop
Ekaterina Verbitskaia
-
[TYPES/announce] PhD Positions Available at the University of Lille – Starting September 2024
David Nowak
-
[TYPES/announce] Looking for PostDoc in the Formally Verified Security group at MPI-SP
Catalin Hritcu
-
[TYPES/announce] SREPLS 15 / Concurrency Workshop -- Second Call for Talks
Marco Paviotti
-
[TYPES/announce] Final Joint Call for Participation for NLS 2024, SLSS 2024, GandALF 2024
Antonios Achilleos
-
[TYPES/announce] TyDe 2024: (EXTENDED DEADLINE: Monday 3 Jun 2024 (AoE))
Sandra Alves
-
[TYPES/announce] PhD position in program verification at Radboud University Nijmegen
Robbert Krebbers
-
[TYPES/announce] PhD/PostDoc position in Formal Methods at the University of Konstanz
Emanuele D'Osualdo
-
[TYPES/announce] Category Theory / Type Theory / Machine Learning research posts at Symbolica
Dominic Verity
-
[TYPES/announce] PLMW@ICFP'24: Call for Participation (travel funding application by June 21)
Ningning Xie
-
[TYPES/announce] IEEE CSF 2024 - Student Volunteers and Travel Scholarships: deadline extended to June 2, 2024
Ralf Kuesters
-
[TYPES/announce] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024
Carsten Fuhs
-
[TYPES/announce] ACT and MFPS 2024 Call for Participation
Sam Staton
-
[TYPES/announce] APLAS 2024: Final Call for Papers [Deadline extended till May 31]
Mirai Ikebuchi
-
[TYPES/announce] Deadline extension TAP 2024 (Tests and Proofs 2024), Milan, Italy: new submission deadline June 14
Huisman, Marieke (UT-EEMCS)
-
[TYPES/announce] HOPE '24: Second CFP
Max New
-
[TYPES/announce] Final CfP: ACM Workshop on Functional Software Architecture [Deadline June 3]
Michael Sperber
-
[TYPES/announce] Final Call: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
Michael Sperber
-
[TYPES/announce] ICFP Programming Contest 2024
ICFP Contest 2024
-
[TYPES/announce] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024
Serge Autexier
-
[TYPES/announce] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024
Serge Autexier
-
[TYPES/announce] SPLV 2024 --- Call for Participation (first call)
Jan de Muijnck-Hughes
-
[TYPES/announce] PhD Positions at Chalmers University in Language-based Security
Alejandro Russo
-
[TYPES/announce] 1st CALL FOR PAPERS EXPRESS/SOS@CONFEST2024
Cinzia Di Giusto
-
[TYPES/announce] LAP 2024 - Logic and Applications: CFP
Simona Prokić
-
[TYPES/announce] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024
Serge Autexier
-
[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
-
[TYPES/announce] POPL 2025: First Call for Papers (deadline: July 11 AOE)
Ningning Xie
-
[TYPES/announce] VORTEX 2024: Call for Papers
Davide Ancona
-
[TYPES/announce] PLMW@PLDI'24: Call for lightning talks on research group openings
Gollamudi, Anitha
-
[TYPES/announce] Final CfA: Proof Society School and Workshop [PS24] (extended deadline). 9-13 September, Birmingham, UK
Anupam das
-
[TYPES/announce] 1-year researcher position at Gothenburg university
Ana Bove
-
[TYPES/announce] ICTCS24 - Second CfP
Riccardo Treglia
-
[TYPES/announce] LearnAut 2024 First Call for Participation (In-Person ICALP/LiCS/FSCD workshop) – Early registration deadline May 17
Sammartino, Matteo
-
[TYPES/announce] Extended deadline: 8th International Workshop on Trends in Linear Logic and Applications
Paolo Pistone
-
[TYPES/announce] FSEN 2025 - Call for Papers
Bos, Petra van den (UT-EEMCS)
-
[TYPES/announce] LSFA 2024: Second Call For Papers
Cynthia Kop
-
[TYPES/announce] Call for papers: Workshop on Programming Languages and Analysis for Security (PLAS 2024)
Vineet Rajani
-
[TYPES/announce] FSCD 2024: Call for Participation (early registration deadline: *May 17, 2024*)
Carsten Fuhs
-
[TYPES/announce] IEEE CSF 2025 - Call for Papers
Ralf Kuesters
-
[TYPES/announce] Call for papers: FCS @ CSF'24 (Extended deadline: May 16 AoE)
Vassena, M. (Marco)
-
[TYPES/announce] PhD Positions Available in Formal Methods for Reversible Concurrent Calculi
Clément Aubert
-
[TYPES/announce] ICALP 2024 - Call for Participation
Pawel Sobocinski
-
[TYPES/announce] Postdoctoral Research Fellow in Formal Methods in Bergen, Norway
Violet Ka I Pun
-
[TYPES/announce] IEEE CSF 2024 - Second Call for Participation and Update
Ralf Kuesters
-
[TYPES/announce] MSFP 2024 deadline extension: Tuesday 28th May
Favonia
-
[TYPES/announce] ISR 2024: second call for participation + financial support
Thiemann , René
-
[TYPES/announce] QPL 2024 - Call for participation
Alejandro Díaz-Caro
-
[TYPES/announce] 2nd cfp of SEFM'24
Alexandre Madeira
-
[TYPES/announce] ESOP 2025 2nd CfP - New: Two Submission Rounds
jan . kofron
-
[TYPES/announce] 2nd CfP, 8th International Workshop on Trends in Linear Logic and Applications (TLLA'24)
Paolo Pistone
-
[TYPES/announce] CfP: The Art, Science, and Engineering of Programming Journal volume 9
Jonathan Edwards
-
[TYPES/announce] Types 2024, second call for participation
Patrick Bahr
-
[TYPES/announce] FACS 2024 - Third Call for Papers
Marmsoler, Diego
-
[TYPES/announce] Deadline extension: Graph Computation Models (GCM 2024)
Joerg Endrullis
-
[TYPES/announce] Position: Full Professor in Programming Languages and Compilers at TU Wien, Austria
Georg Weissenbacher
-
[TYPES/announce] Last CFP and deadline extension: PPDP 2024
Alessandro Bruni
-
[TYPES/announce] Call for Papers: the 5th International Workshop on Automated (Co)inductive Theorem Proving, a satellite workshop of IJCAR 2024
sorin stratulat
-
[TYPES/announce] WoLLIC 2024 call for participation
Ruy Jose Guerra Barretto de Queiroz
-
[TYPES/announce] VTSA 2024: 2nd call for applications
Jun PANG
-
[TYPES/announce] Call for papers: FCS workshop @ CSF’24
Vassena, M. (Marco)
-
[TYPES/announce] Joint Call for Workshop Submissions - Software Technologies: Applications and Foundations (STAF 2024)
Vadim Zaytsev
-
[TYPES/announce] Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM)
Yao Li
-
[TYPES/announce] WiL2024 -- deadline extended to May 7!!
Elaine Pimentel
-
[TYPES/announce] 2nd Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.
Anupam das
-
[TYPES/announce] PhD Studentships in Computer Science at Queen Mary University of London
Raymond Hu
-
[TYPES/announce] Call for Papers: Scheme '24
Kristopher K Micinski
-
[TYPES/announce] ICTCS 2024: Call for Papers (deadline June 9, 2024)
emilio . tuosto
-
[TYPES/announce] IEEE CSF 2024 - Student Volunteers and Travel Scholarships
Ralf Kuesters
-
[TYPES/announce] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)
Claudio Sacerdoti Coen
-
[TYPES/announce] PPDP 2024 - Final CFP
Alessandro Bruni
-
[TYPES/announce] Coq Workshop 2024 call for presentations
Théo Winterhalter
-
[TYPES/announce] Postdoc positions in Automated Reasoning at Universidade Federal de Minas Gerais
Haniel Barbosa
-
[TYPES/announce] Postdoc position in Theoretical CS @ King's College London
Riccardo Treglia
-
[TYPES/announce] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
Favonia
-
[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
-
[TYPES/announce] SMT 2024 -- Deadline Extended to May 6
Yoni
-
[TYPES/announce] 2nd Call for Papers: ACM Workshop on Functional Software Architecture [Deadline June 3]
Michael Sperber
-
[TYPES/announce] New postdoc position on Frama-C at CEA List, Saclay, France
Julien Signoles
-
[TYPES/announce] Call for Papers--Sixth miniKanren and Relational Programming Workshop
Ekaterina Verbitskaia
-
[TYPES/announce] Multiple PhD and postdoc positions in PL/FM at Nanyang Technological University, Singapore
Dr Conrad Watt (Asst Prof)
-
[TYPES/announce] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
Favonia
-
[TYPES/announce] IEEE CSF 2024 - Call for Participation
Ralf Kuesters
-
[TYPES/announce] APLAS 2024 SRC & Posters
Koko Akazaki Muroya
-
[TYPES/announce] Student Research Competition (SRC) at ICFP 2024
Favonia
-
[TYPES/announce] Tenure-track position in Systems-Level Security at University of Copenhagen
Andrzej Filinski
-
[TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 workshop, last CFP and deadline extension
Sammartino, Matteo
-
[TYPES/announce] PhD position in neuro-symbolic AI for Mathematical Discovery at Chalmers
Ana Bove
-
[TYPES/announce] CSL 2025 --- call for papers
Sylvain Schmitz
-
[TYPES/announce] CfP: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS 2024)
FMAS Workshop
-
[TYPES/announce] IEEE CSF 2024 Workshop on Security, Privacy and Information Theory, Protect-IT'24 - Call for Papers (deadline May 4, 2024)
Ralf Kuesters
-
[TYPES/announce] TYPES 2024: Call for Participation
Patrick Bahr
-
[TYPES/announce] WiL 2024: 8th Women in Logic Workshop
Elaine Pimentel
-
[TYPES/announce] APLAS 2024: 2nd Call for Papers
Mirai Ikebuchi
-
[TYPES/announce] IJCAR 2024: Call for Participation
Peter Lammich
-
[TYPES/announce] VMW at CAV 2024: Call for Scholarship Applications
Jingbo Wang
-
[TYPES/announce] 1st cfp: 8th International Workshop on Trends in Linear Logic and Applications
Paolo Pistone
-
[TYPES/announce] Second CFP: Haskell Symposium 2024 (New this year: talk proposals!)
J. Garrett Morris
-
[TYPES/announce] GandALF 2024: Last Call for Papers
Antonios Achilleos
-
[TYPES/announce] Functional programming jobs at Conexus
Wisnesky, Ryan
-
[TYPES/announce] Two PhD positions in Computing science at Chalmers
Ana Bove
-
[TYPES/announce] CfP - ICTCS24
Riccardo Treglia
-
[TYPES/announce] SMT 2024 Third Call For Papers
Yoni
-
[TYPES/announce] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris)
Alexis Saurin
-
[TYPES/announce] Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, second CFP
Sammartino, Matteo
-
[TYPES/announce] DisCoTec 2024 Joint Call for Participation
Bas van den Heuvel
-
[TYPES/announce] TUM professorship in "Fundamentals of programming"
Alexander Pretschner
-
[TYPES/announce] FACS 24 - Second Call for Papers
Marmsoler, Diego
-
[TYPES/announce] ECOOP 2024 R2: Call for Papers and AEC Nominations
Pascal Weisenburger
-
[TYPES/announce] ESOP 25: NEWS in CFP and ROUND 1 deadline approaching *** May 30, 2024 ***
Luís Caires
-
[TYPES/announce] (Submissions can be updated till April 25 AoE) ATVA 2024 2nd CfP
Ichiro Hasuo
-
[TYPES/announce] UNIF 2024 - 2nd Call for Papers (Extended Deadline)
Oliver Fernandez Gil
-
[TYPES/announce] PhD Studentship at VU Amsterdam
Kristina Sojakova
-
[TYPES/announce] DEADLINE EXTENSION (26 April 2024) - CILC 2024: 39th Italian Conference on Computational Logic
Maurizio Proietti
-
[TYPES/announce] Call for papers: Graph Computation Models (GCM 2024)
Joerg Endrullis
-
[TYPES/announce] HOPE 2024: Call for Papers
Guilhem Jaber
-
[TYPES/announce] MARKTOBERDORF SUMMER SCHOOL 2024: CALL FOR PARTICIPATION
Alexander Pretschner
-
[TYPES/announce] E.W. Beth Dissertation Prize
Herman Geuvers
-
[TYPES/announce] Postdoc in proof theory - University of Birmingham, 2 years - deadline 30 April
Anupam das
-
[TYPES/announce] GandALF 2024: 2nd Call for Papers and deadline extension
Antonios Achilleos
-
[TYPES/announce] Ackermann Award: First call for nominations - Deadline 1st July
Maribel Fernandez
-
[TYPES/announce] Second Joint CFP NLS and SLSS 2024 and extension
Antonios Achilleos
-
[TYPES/announce] A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection
Tayssir TOUILI
-
[TYPES/announce] FroCoS-ITP-TABLEAUX 2025
Elaine Pimentel