hol-info

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

Earlier messages