Messages by Date
-
2023/11/26
[Hol-info] MARS 2024 - CALL FOR PAPERS - Luxembourg City (Luxembourg) - April 6th, 2024
mars2024
-
2023/11/26
[Hol-info] CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers
geoff
-
2023/11/26
[Hol-info] FMBC 2024 - First Call for Papers
Marmsoler, Diego via hol-info
-
2023/11/24
[Hol-info] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)
Serge Autexier
-
2023/11/14
[Hol-info] ICGT 2024: First Call for Papers
Jens Kosiol via hol-info
-
2023/11/12
[Hol-info] Postdoc position in Formal Methods at University of Exeter
Marmsoler, Diego via hol-info
-
2023/11/03
[Hol-info] Fwd: [isabelle] New in the AFP: Eudoxus Reals
Ken Kubota
-
2023/10/25
[Hol-info] IJCAR 2024: call for co-located events
Peter Lammich via hol-info
-
2023/10/25
[Hol-info] IJCAR 2024 - Call for Papers
geoff
-
2023/10/24
[Hol-info] Post-doc job offering in SAT/SMT at Australian National University
Michael Norrish via hol-info
-
2023/10/18
[Hol-info] Postdoc position in Formal Methods at University of Exeter
Marmsoler, Diego via hol-info
-
2023/10/18
[Hol-info] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications
geoff
-
2023/10/15
[Hol-info] ACL2-2023 Second Call for Participation
Matt Kaufmann
-
2023/10/15
[Hol-info] LOPSTR 2023 - Final Call for Participation
Daniel Jurjo
-
2023/09/25
[Hol-info] 2nd Call for Papers Proceedings for ThEdu'23 - Theorem Proving Components for Educational Software
walther.neuper via hol-info
-
2023/09/25
[Hol-info] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024)
Martin Gebser
-
2023/09/20
[Hol-info] NFM 2024 Call for Papers
Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC] via hol-info
-
2023/09/08
[Hol-info] SPIN 2024: first Call for Papers
Thomas Neele via hol-info
-
2023/08/31
[Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2023)
Alexander Romanovsky
-
2023/08/31
[Hol-info] Call for Participation: ANU Logic Summer School, Dec 4 – 15, 2023
Jim de Groot via hol-info
-
2023/08/21
[Hol-info] Research Associate at the University of Kent, Canterbury, UK
Mark Batty
-
2023/08/08
[Hol-info] 2nd CFP - CPP 2024 - Certified Programs and Proofs
Brigitte Pientka
-
2023/08/04
[Hol-info] CICM 2023 - Call for Participation
Serge Autexier
-
2023/07/30
[Hol-info] KR 2023 - Extension of Early Registration Deadline
Theofanis I. Aravanis
-
2023/07/25
[Hol-info] Final CfP: German Deduction Meeting (Deduktionstreffen), Sept 26, Berlin
Florian Rabe
-
2023/07/23
[Hol-info] The Math Genome Project
John Mercer
-
2023/07/16
[Hol-info] FROM 2023 – THIRD CALL FOR PAPERS
Andrei Sipoș
-
2023/07/16
[Hol-info] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION
Andrei Sipoș
-
2023/07/16
[Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2023)
Alexander Romanovsky
-
2023/07/16
[Hol-info] ThEdu'23 proceedings - cfp
Walther Neuper via hol-info
-
2023/07/06
[Hol-info] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023
Serge Autexier
-
2023/07/03
[Hol-info] TPTP v8.2.0 released
geoff
-
2023/07/02
[Hol-info] FMCAD 2023 Student Forum: Call for Contributions
Rozier, Kristin-Yvonne [AER E]
-
2023/06/29
[Hol-info] RSSRail 2023: Reliability, safety and security of railway systems. Call for posters
Alexander Romanovsky
-
2023/06/27
[Hol-info] PhD student in Computing Science on safe and efficient programming languages
Tjark Weber
-
2023/06/23
[Hol-info] CfP High-Performance Computing and Formal Methods: Deadline July 10th 2023
Rosemary Monahan
-
2023/06/11
[Hol-info] FM Teaching Tutorial on June 16, 3 pm CEST: Prof. Laura Kovács, Vienna University of Technology, Austria: Teaching Formal Reasoning at TU Wien
Luigia Petre
-
2023/06/06
[Hol-info] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation)
Christopher Michael POSKITT
-
2023/06/06
[Hol-info] Call for participation: VALU3S Summer School on Validation and Verification of Dependable CPS
Rosemary Monahan
-
2023/06/04
[Hol-info] Deadline Extension: CfP SEFM’23, 16 June
Carla Ferreira
-
2023/06/04
[Hol-info] KR 2023 - Extension of Workshops Paper Submission Deadlines up to 12 June, 2023!
Theofanis I. Aravanis
-
2023/06/01
[Hol-info] ITP 2023 Call for Participation
Thiemann , René
-
2023/05/22
[Hol-info] [EXTENDED DEADLINE] CAUSAL 2023 Workshop on Causal Reasoning and Explanation in Logic Programming -- Co-located with ICLP 2023
Emily LeBlanc
-
2023/05/22
[Hol-info] Extended submission deadline -- FTfJP 2023
Aaron Tomb
-
2023/05/22
[Hol-info] iFM 2023 - Second Call for Papers
Laarman, A.W. (Alfons) via hol-info
-
2023/05/20
[Hol-info] CADE-29 CALL FOR PARTICIPATION
geoff
-
2023/05/20
[Hol-info] LPAR-24 in 2023, Manizales Colombia, Registration is Open
geoff
-
2023/05/13
[Hol-info] ASPOCP 2023 @ ICLP- EXTENDED DEADLINE
cfp
-
2023/05/13
[Hol-info] CAUSAL 2023: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2023)
Emily C LeBlanc via hol-info
-
2023/05/13
[Hol-info] FroCoS 2023 deadline extension
geoff
-
2023/05/13
[Hol-info] 14th IWIL workshop, FINAL CALL FOR PAPERS: 2nd Round Deadline May 15th AoE 2023
geoff
-
2023/05/10
[Hol-info] GCM '23: Deadline Extension
Jens Kosiol via hol-info
-
2023/05/10
[Hol-info] [fm-announcements] FMICS 2023 - Deadline extension
Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
-
2023/05/10
[Hol-info] LPAR-24 (June 2023) - Call for Short Papers
geoff
-
2023/05/09
[Hol-info] 7th Vampire workshop - Call for Papers
geoff
-
2023/05/09
[Hol-info] LOPSTR 2023 (Lisbon) - Final Call for Papers - Paper Deadline: May 26, 2023.
daniel . jurjo
-
2023/05/09
[Hol-info] TABLEAUX 2023 - FINAL CALL FOR PAPERS (DEADLINE EXTENDED 21 MAY 2023)
Josef Urban
-
2023/05/07
[Hol-info] FMCAD 2023: Final Call for Papers with *** Deadlines Extension ***
Rozier, Kristin-Yvonne [AER E]
-
2023/05/07
[Hol-info] SEFM 2023: Call for Papers
Willemse, Tim via hol-info
-
2023/05/02
[Hol-info] CfP RSSRail 2023 - extended submission deadline
Alexander Romanovsky
-
2023/05/02
[Hol-info] ASPOCP 2023 @ ICLP- First Call for Paper
cfp
-
2023/05/02
[Hol-info] Special Issue on Dynamic Logics at JLAP - Deadline Extension
Carlos Areces
-
2023/04/30
[Hol-info] AITP 2023 - Second Call for Contributions
Josef Urban
-
2023/04/27
[Hol-info] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods
Luigia Petre
-
2023/04/27
[Hol-info] Call for Papers -- Formal Techniques for Java-Like Programs 2023
Aaron Tomb
-
2023/04/24
[Hol-info] FSEN 2023 Call for Participation - free virtual registration
Maurice ter Beek
-
2023/04/24
[Hol-info] GCM 2023: Final Call for Papers
Jens Kosiol via hol-info
-
2023/04/20
[Hol-info] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
Andrei Popescu
-
2023/04/18
[Hol-info] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023
Julien Narboux
-
2023/04/18
[Hol-info] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023.
daniel . jurjo
-
2023/04/17
[Hol-info] 10th Rodin Workshop - Call for Abstracts
Dana Dghaym via hol-info
-
2023/04/06
[Hol-info] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation
Christopher Michael POSKITT
-
2023/04/06
[Hol-info] SEFM 2023: First Call for Papers
Willemse, Tim via hol-info
-
2023/04/06
[Hol-info] [fm-announcements] FMICS 2023 - Second call for papers
Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
-
2023/03/29
[Hol-info] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper)
Serge Autexier
-
2023/03/28
[Hol-info] CFP: 14th International Workshop on the Implementation of Logics
geoff
-
2023/03/28
[Hol-info] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming
Luigia Petre
-
2023/03/23
[Hol-info] VerifyThis 2023: Call for Participation
Stephen Siegel
-
2023/03/18
[Hol-info] FMCAD 2023: First Call for Papers
Rozier, Kristin-Yvonne [AER E]
-
2023/03/18
[Hol-info] TABLEAUX 2023 - FIRST CALL FOR PAPERS
Josef Urban
-
2023/03/18
[Hol-info] ITP 2023: Call for Workshop and Tutorial Proposals
Thiemann , René
-
2023/03/12
[Hol-info] LOPSTR 2023 - Call for Papers
daniel . jurjo
-
2023/03/12
[Hol-info] ThEdu'23 2nd call for papers
Walther Neuper
-
2023/03/12
[Hol-info] ITP 2024 - Call for Bids
Thiemann , René
-
2023/03/09
[Hol-info] PhD or Postdoc Position at LMU Munich about Verified Modal Logics
Andrei Popescu
-
2023/03/08
[Hol-info] 10th Rodin Workshop - Call for Abstracts
Dana Dghaym via hol-info
-
2023/03/08
[Hol-info] Announce: Summer School about the use of Proof Assistants for Teaching PAT2023
Julien Narboux
-
2023/03/07
[Hol-info] iFM 2023 - Call for Papers
Laarman, A.W. (Alfons) via hol-info
-
2023/03/07
[Hol-info] iFM 2023 - Call for Papers
Laarman, A.W. (Alfons) via hol-info
-
2023/03/02
[Hol-info] AITP 2023 - Call for Contributions
Josef Urban
-
2023/03/01
[Hol-info] KR 2023: Calls for Applications & Systems Track, Special Session on KR & ML, Doctoral Consortium
Theofanis I. Aravanis
-
2023/02/27
[Hol-info] CfP Reliability, safety and security of railway systems (RSSRail 2023)
Alexander Romanovsky
-
2023/02/24
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals
Theofanis I. Aravanis
-
2023/02/24
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track
Theofanis I. Aravanis
-
2023/02/24
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR, Robotics & Planning
Theofanis I. Aravanis
-
2023/02/24
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers
Theofanis I. Aravanis
-
2023/02/22
[Hol-info] CADE-29 second Call for Papers
geoff
-
2023/02/19
[Hol-info] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)
Serge Autexier
-
2023/02/15
[Hol-info] TABLEAUX 2023 - PRELIMINARY CALL FOR PAPERS
Josef Urban
-
2023/02/09
[Hol-info] The CADE-29 ATP System Competition CASC-29
geoff
-
2023/02/06
[Hol-info] FroCoS 2023 Call for Papers
geoff
-
2023/02/02
[Hol-info] SMC-IT and SCC Deadline Extension (March 3rd 2023)
Marie Farrell
-
2023/02/02
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals
Theofanis I. Aravanis
-
2023/02/02
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium
Theofanis I. Aravanis
-
2023/02/02
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML
Theofanis I. Aravanis
-
2023/02/02
[Hol-info] RAMiCS 2023 - Call for participation
Michael Winter
-
2023/02/02
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Applications & Systems Track
Theofanis I. Aravanis
-
2023/01/30
[Hol-info] [fm-announcements] FMICS 2023 - Call for Papers
Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
-
2023/01/30
[Hol-info] Call for Papers: DaLí - Special Issue of the J. of Logical and Algebraic Methods in Programming
Carlos Areces via hol-info
-
2023/01/30
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers
Theofanis I. Aravanis
-
2023/01/23
[Hol-info] LPAR-24, June 2023, Call for Papers
geoff
-
2023/01/22
[Hol-info] ITP 2023: Second Call for Papers
Thiemann , René
-
2023/01/18
[Hol-info] GCM 2023: First call for papers
Jens Kosiol via hol-info
-
2023/01/18
[Hol-info] Another limitation of HOL: Binding the type variable in the Axiom of Choice
Ken Kubota
-
2023/01/12
[Hol-info] SMC-IT 2023 Call for Papers
Marie Farrell
-
2023/01/12
[Hol-info] CADE-29 Call for Papers
geoff
-
2023/01/08
[Hol-info] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software
Walther Neuper
-
2022/12/22
[Hol-info] RAMiCS 2023 - Call for short contributions / posters
Michael Winter
-
2022/12/17
[Hol-info] Call for Papers: Conference on Intelligent Computer Mathematics (CICM 2023)
Serge Autexier
-
2022/12/17
[Hol-info] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023)
Serge Autexier
-
2022/12/14
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML
Theofanis I. Aravanis
-
2022/12/14
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First CFP - Apps & Systems Track
Theofanis I. Aravanis
-
2022/12/14
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track
Theofanis I. Aravanis
-
2022/12/11
[Hol-info] POPL '23 Early Bird Registration ending Friday, Dec 16
Kristopher K Micinski via hol-info
-
2022/12/11
[Hol-info] NFM 2023: Deadline extension & final CFP
Rozier, Kristin-Yvonne [AER E]
-
2022/12/09
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First Call for Tutorial and Workshop Proposals
Theofanis I. Aravanis
-
2022/12/09
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First Call for Papers
Theofanis I. Aravanis
-
2022/12/09
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium - First Call for Applications
Theofanis I. Aravanis
-
2022/12/09
[Hol-info] CfP ICGT 2023 :: 16th International Conference on Graph Transformation
Christopher Michael POSKITT
-
2022/12/06
[Hol-info] FMTea Tutorial on Teaching TLA+ in Industry: Principal Research Engineer Markus Kuppe, RiSE group at Microsoft Research, US, on Friday, December 9, 2022 at 3 pm CET
Luigia Petre
-
2022/12/06
[Hol-info] Certified Programs and Proofs (CPP) 2023: Call for Participation
Steve Zdancewic
-
2022/12/01
[Hol-info] Dov Gabbay Prize for Logic and Foundations
geoff
-
2022/11/29
[Hol-info] Call for Participation: POPL'23
Kristopher K Micinski via hol-info
-
2022/11/27
[Hol-info] Proposals for Sites for IJCAR 2024
geoff
-
2022/11/27
[Hol-info] 2023 Alonzo Church Award: Call for Nominations
Mariangiola Dezani
-
2022/11/18
[Hol-info] Call for Papers: NASA Formal Methods (NFM) 2023
Rozier, Kristin-Yvonne [AER E]
-
2022/11/17
[Hol-info] ITP 2023: First Call for Papers
Thiemann , René
-
2022/11/14
[Hol-info] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
Andrei Popescu
-
2022/11/05
[Hol-info] STAF 2023 - Call for Workshop Proposals
Boronat, Artur (Dr.)
-
2022/11/05
[Hol-info] Postdoc position in automata and concurrency theory, at the University of Warsaw
Sławomir Lasota
-
2022/11/01
[Hol-info] VerifyThis 2023: Call for Problems
Stephen Siegel
-
2022/11/01
[Hol-info] [Vardi-list] Job Opportunity: Postdoctoral Fellow in Tech-Culture-Society
Moshe Y Vardi
-
2022/10/22
[Hol-info] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET
Luigia Petre
-
2022/10/18
[Hol-info] 2nd Open Call for Papers - Proceedings for ThEdu'22
Walther Neuper
-
2022/10/17
[Hol-info] FSEN 2023 final CfP: deadline extension and hybrid format
Maurice ter Beek
-
2022/10/09
[Hol-info] [Vardi-list] A Special Seminar in Honor's of Dana Scott's 90th Birthday
Moshe Y Vardi
-
2022/10/06
[Hol-info] [CfP] PADL 2023: Final Call for Papers (with updated deadlines!)
Inclezan, Daniela
-
2022/10/03
Re: [Hol-info] (PN) 2nd CfP - Software Verification and Testing Track at SAC 2023
Dmitry Zaitsev
-
2022/09/30
[Hol-info] POPL 2023 Call for Tutorials
Kristopher K Micinski via hol-info
-
2022/09/30
[Hol-info] [FSEN 2023] Second Call for Papers FSEN 2023
Maurice ter Beek
-
2022/09/24
[Hol-info] RAMiCS 2023 - Deadline extension
Michael Winter
-
2022/09/24
[Hol-info] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
Favonia via hol-info
-
2022/09/21
[Hol-info] Second CFP: PADL 2023
Inclezan, Daniela
-
2022/09/21
[Hol-info] 1st Call for Papers: NASA Formal Methods (NFM) 2023
Rozier, Kristin-Yvonne [AER E]
-
2022/09/16
[Hol-info] 2nd CfP - Software Verification and Testing Track at SAC 2023
Georgiana Caltais
-
2022/09/13
[Hol-info] CfP - 29th International Symposium on Model Checking of Software - SPIN 2023
Georgiana Caltais
-
2022/09/10
[Hol-info] ThEdu'22/EPTCS Proceedings - CFP
Walther Neuper
-
2022/09/10
[Hol-info] RAMiCS 2023 - Third call for papers
Michael Winter
-
2022/09/05
[Hol-info] CfP Software Verification and Testing Track at SAC 2023
Georgiana Caltais
-
2022/08/24
[Hol-info] FME Teaching Tutorials series continues on August 26, at 3 pm CEST: Dr. Robert Lewis (Brown University, US) on "Teaching the theory and practice of proof assistants with Lean"
Luigia Petre
-
2022/08/16
[Hol-info] Certified Programs and Proofs (CPP) 2023 Call for Papers
Steve Zdancewic
-
2022/08/11
[Hol-info] CFP: PADL 2023
Inclezan, Daniela
-
2022/08/05
[Hol-info] PhD student in Computing Science on the topic of efficient and provably correct execution environments
Tjark Weber
-
2022/07/26
[Hol-info] Call for Participation -- Mathematics of Program Construction 2022
Daggitt, Matthew via hol-info
-
2022/07/21
[Hol-info] New lecture in FME Teaching Tutorials series on July 29, at 3 pm CEST: Prof. Erika Abraham (RWTH Aachen University, Germany) on "Automatic exercise generation for satisfiability checking"
Luigia Petre
-
2022/07/20
[Hol-info] RAMiCS 2023 - Second call for papers
Michael Winter
-
2022/07/18
[Hol-info] [Vardi-list] How to be an ethical computer scientist
Moshe Y Vardi
-
2022/07/13
[Hol-info] Call for participation DaLí 2022
Carlos Areces
-
2022/07/06
[Hol-info] CICM 2022, final call for applications to the doctoral programme, 15. July 2022
Serge Autexier
-
2022/07/05
[Hol-info] [Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien
Moshe Y Vardi
-
2022/07/05
[Hol-info] EuroProofNet WG2 kickoff meeting
geoff
-
2022/06/28
[Hol-info] LPNMR 2022: Call for participation (Early reg. By July 20th)
cfp
-
2022/06/27
[Hol-info] Datalog 2.0 2022 - Third Call for Papers
cfp
-
2022/06/24
[Hol-info] CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems, Submission due: Sunday 31 July 2022
Maurizio Palmieri
-
2022/06/22
[Hol-info] [FSEN 2023] First Call for Papers FSEN 2023
Maurice ter Beek
-
2022/06/22
[Hol-info] LPNMR 2022: First call for Doctoral Consortium
cfp
-
2022/06/18
[Hol-info] 14th International Summer School on Verification Technology, Systems & Applications
geoff
-
2022/06/15
[Hol-info] POPL 2023 Call for Papers -- deadline Thursday, July 7th, AoE
Kristopher K Micinski via hol-info
-
2022/06/14
[Hol-info] Certified Programs and Proofs (CPP) 2023 Call for Papers
Steve Zdancewic
-
2022/06/13
[Hol-info] 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
-
2022/06/13
[Hol-info] [Vardi-list] FW: FLOC 2022 -- Call For Participation
Moshe Y Vardi
-
2022/06/11
[Hol-info] ICLP 2022: Call for Participation
Víctor Pérez
-
2022/06/01
[Hol-info] IJCAR-11 - Call for participation
geoff
-
2022/05/25
[Hol-info] RCRA 2022 - 1st call for papers
cfp
-
2022/05/24
[Hol-info] ITP 2022: Call for Participation
Leonardo de Moura via hol-info
-
2022/05/24
[Hol-info] RAMiCS 2023 - First call for papers
Michael Winter
-
2022/05/22
[Hol-info] [Deadline Extension] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022)
Emily LeBlanc
-
2022/05/22
[Hol-info] ACL2 Workshop 2022 Final Call For Participation
Rob Sumners
-
2022/05/18
[Hol-info] [CfP] F-IDE 2022: The 7th Workshop on Formal Integrated Development Environment
Son Hoang
-
2022/05/16
[Hol-info] [Vardi-list] FLoC 2022 Call for Student Volunteers
Moshe Y Vardi
-
2022/05/16
[Hol-info] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations
geoff
-
2022/05/14
[Hol-info] Final extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains
Zaynah Dargaye
-
2022/05/14
[Hol-info] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION)
Alexandre Madeira
-
2022/05/12
[Hol-info] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics
Serge Autexier
-
2022/05/09
[Hol-info] CALL FOR APPLICATIONS - KR 2022 DOCTORAL CONSORTIUM - EXTENDED DEADLINE
Heyninck, Jesse
-
2022/05/05
[Hol-info] DaLí 2022 - Call for Papers - ** Extended Deadline **
Carlos Areces
-
2022/05/04
[Hol-info] Deadline extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains External
Zaynah Dargaye
-
2022/05/03
[Hol-info] NMR 2022: 20th International Workshop on Non-Monotonic Reasoning - Call for Extended Abstracts
giovanni.casini
-
2022/05/02
[Hol-info] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022)
Emily LeBlanc
-
2022/05/01
[Hol-info] AITP 2022 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 10
Josef Urban