hol-info  

Messages by Thread

• [Hol-info] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation) Christopher Michael POSKITT
• [Hol-info] Call for participation: VALU3S Summer School on Validation and Verification of Dependable CPS Rosemary Monahan
• [Hol-info] Deadline Extension: CfP SEFM’23, 16 June Carla Ferreira
• [Hol-info] KR 2023 - Extension of Workshops Paper Submission Deadlines up to 12 June, 2023! Theofanis I. Aravanis
• [Hol-info] ITP 2023 Call for Participation Thiemann , René
• [Hol-info] [EXTENDED DEADLINE] CAUSAL 2023 Workshop on Causal Reasoning and Explanation in Logic Programming -- Co-located with ICLP 2023 Emily LeBlanc
• [Hol-info] Extended submission deadline -- FTfJP 2023 Aaron Tomb
• [Hol-info] iFM 2023 - Second Call for Papers Laarman, A.W. (Alfons) via hol-info
• [Hol-info] CADE-29 CALL FOR PARTICIPATION geoff
• [Hol-info] LPAR-24 in 2023, Manizales Colombia, Registration is Open geoff
• [Hol-info] ASPOCP 2023 @ ICLP- EXTENDED DEADLINE cfp
• [Hol-info] CAUSAL 2023: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2023) Emily C LeBlanc via hol-info
• [Hol-info] FroCoS 2023 deadline extension geoff
• [Hol-info] 14th IWIL workshop, FINAL CALL FOR PAPERS: 2nd Round Deadline May 15th AoE 2023 geoff
• [Hol-info] GCM '23: Deadline Extension Jens Kosiol via hol-info
• [Hol-info] [fm-announcements] FMICS 2023 - Deadline extension Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
• [Hol-info] LPAR-24 (June 2023) - Call for Short Papers geoff
• [Hol-info] 7th Vampire workshop - Call for Papers geoff
• [Hol-info] LOPSTR 2023 (Lisbon) - Final Call for Papers - Paper Deadline: May 26, 2023. daniel . jurjo
• [Hol-info] TABLEAUX 2023 - FINAL CALL FOR PAPERS (DEADLINE EXTENDED 21 MAY 2023) Josef Urban
• [Hol-info] FMCAD 2023: Final Call for Papers with *** Deadlines Extension *** Rozier, Kristin-Yvonne [AER E]
• [Hol-info] SEFM 2023: Call for Papers Willemse, Tim via hol-info
• [Hol-info] CfP RSSRail 2023 - extended submission deadline Alexander Romanovsky
• [Hol-info] ASPOCP 2023 @ ICLP- First Call for Paper cfp
• [Hol-info] Special Issue on Dynamic Logics at JLAP - Deadline Extension Carlos Areces
• [Hol-info] AITP 2023 - Second Call for Contributions Josef Urban
• [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
• [Hol-info] Call for Papers -- Formal Techniques for Java-Like Programs 2023 Aaron Tomb
• [Hol-info] FSEN 2023 Call for Participation - free virtual registration Maurice ter Beek
• [Hol-info] GCM 2023: Final Call for Papers Jens Kosiol via hol-info
• [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
• [Hol-info] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023. daniel . jurjo
• [Hol-info] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation Christopher Michael POSKITT
• [Hol-info] SEFM 2023: First Call for Papers Willemse, Tim via hol-info
• [Hol-info] [fm-announcements] FMICS 2023 - Second call for papers Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
• [Hol-info] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper) Serge Autexier
• [Hol-info] CFP: 14th International Workshop on the Implementation of Logics geoff
• [Hol-info] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming Luigia Petre
• [Hol-info] VerifyThis 2023: Call for Participation Stephen Siegel
• [Hol-info] FMCAD 2023: First Call for Papers Rozier, Kristin-Yvonne [AER E]
• [Hol-info] TABLEAUX 2023 - FIRST CALL FOR PAPERS Josef Urban
• [Hol-info] ITP 2023: Call for Workshop and Tutorial Proposals Thiemann , René
• [Hol-info] LOPSTR 2023 - Call for Papers daniel . jurjo
• [Hol-info] ThEdu'23 2nd call for papers Walther Neuper
• [Hol-info] ITP 2024 - Call for Bids Thiemann , René
• [Hol-info] PhD or Postdoc Position at LMU Munich about Verified Modal Logics Andrei Popescu
• [Hol-info] 10th Rodin Workshop - Call for Abstracts Dana Dghaym via hol-info
  • [Hol-info] 10th Rodin Workshop - Call for Abstracts Dana Dghaym via hol-info
• [Hol-info] Announce: Summer School about the use of Proof Assistants for Teaching PAT2023 Julien Narboux
  • [Hol-info] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023 Julien Narboux
• [Hol-info] iFM 2023 - Call for Papers Laarman, A.W. (Alfons) via hol-info
  • [Hol-info] iFM 2023 - Call for Papers Laarman, A.W. (Alfons) via hol-info
• [Hol-info] AITP 2023 - Call for Contributions Josef Urban
• [Hol-info] KR 2023: Calls for Applications & Systems Track, Special Session on KR & ML, Doctoral Consortium Theofanis I. Aravanis
• [Hol-info] CfP Reliability, safety and security of railway systems (RSSRail 2023) Alexander Romanovsky
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR, Robotics & Planning Theofanis I. Aravanis
• [Hol-info] CADE-29 second Call for Papers geoff
• [Hol-info] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
• [Hol-info] TABLEAUX 2023 - PRELIMINARY CALL FOR PAPERS Josef Urban
• [Hol-info] The CADE-29 ATP System Competition CASC-29 geoff
• [Hol-info] FroCoS 2023 Call for Papers geoff
• [Hol-info] SMC-IT and SCC Deadline Extension (March 3rd 2023) Marie Farrell
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals Theofanis I. Aravanis
  • [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals Theofanis I. Aravanis
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium Theofanis I. Aravanis
• [Hol-info] RAMiCS 2023 - Call for participation Michael Winter
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Applications & Systems Track Theofanis I. Aravanis
• [Hol-info] [fm-announcements] FMICS 2023 - Call for Papers Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
• [Hol-info] Call for Papers: DaLí - Special Issue of the J. of Logical and Algebraic Methods in Programming Carlos Areces via hol-info
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers Theofanis I. Aravanis
  • [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers Theofanis I. Aravanis
• [Hol-info] LPAR-24, June 2023, Call for Papers geoff
• [Hol-info] ITP 2023: Second Call for Papers Thiemann , René
• [Hol-info] GCM 2023: First call for papers Jens Kosiol via hol-info
• [Hol-info] Another limitation of HOL: Binding the type variable in the Axiom of Choice Ken Kubota
• [Hol-info] SMC-IT 2023 Call for Papers Marie Farrell
• [Hol-info] CADE-29 Call for Papers geoff
• [Hol-info] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software Walther Neuper
• [Hol-info] RAMiCS 2023 - Call for short contributions / posters Michael Winter
• [Hol-info] Call for Papers: Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
• [Hol-info] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023) Serge Autexier
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML Theofanis I. Aravanis
  • [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML Theofanis I. Aravanis
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First CFP - Apps & Systems Track Theofanis I. Aravanis
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track Theofanis I. Aravanis
  • [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track Theofanis I. Aravanis
• [Hol-info] POPL '23 Early Bird Registration ending Friday, Dec 16 Kristopher K Micinski via hol-info
• [Hol-info] NFM 2023: Deadline extension & final CFP Rozier, Kristin-Yvonne [AER E]
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First Call for Tutorial and Workshop Proposals Theofanis I. Aravanis
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First Call for Papers Theofanis I. Aravanis
• [Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium - First Call for Applications Theofanis I. Aravanis
• [Hol-info] CfP ICGT 2023 :: 16th International Conference on Graph Transformation Christopher Michael POSKITT
• [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
• [Hol-info] Certified Programs and Proofs (CPP) 2023: Call for Participation Steve Zdancewic
• [Hol-info] Dov Gabbay Prize for Logic and Foundations geoff
• [Hol-info] Call for Participation: POPL'23 Kristopher K Micinski via hol-info
• [Hol-info] Proposals for Sites for IJCAR 2024 geoff
• [Hol-info] 2023 Alonzo Church Award: Call for Nominations Mariangiola Dezani
• [Hol-info] Call for Papers: NASA Formal Methods (NFM) 2023 Rozier, Kristin-Yvonne [AER E]
• [Hol-info] ITP 2023: First Call for Papers Thiemann , René
• [Hol-info] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC Andrei Popescu
• [Hol-info] STAF 2023 - Call for Workshop Proposals Boronat, Artur (Dr.)
• [Hol-info] Postdoc position in automata and concurrency theory, at the University of Warsaw Sławomir Lasota
• [Hol-info] VerifyThis 2023: Call for Problems Stephen Siegel
• [Hol-info] [Vardi-list] Job Opportunity: Postdoctoral Fellow in Tech-Culture-Society Moshe Y Vardi
• [Hol-info] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET Luigia Petre
• [Hol-info] 2nd Open Call for Papers - Proceedings for ThEdu'22 Walther Neuper
• [Hol-info] FSEN 2023 final CfP: deadline extension and hybrid format Maurice ter Beek
• [Hol-info] [Vardi-list] A Special Seminar in Honor's of Dana Scott's 90th Birthday Moshe Y Vardi
• [Hol-info] [CfP] PADL 2023: Final Call for Papers (with updated deadlines!) Inclezan, Daniela
• [Hol-info] POPL 2023 Call for Tutorials Kristopher K Micinski via hol-info
• [Hol-info] [FSEN 2023] Second Call for Papers FSEN 2023 Maurice ter Beek
• [Hol-info] RAMiCS 2023 - Deadline extension Michael Winter
• [Hol-info] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE) Favonia via hol-info
• [Hol-info] Second CFP: PADL 2023 Inclezan, Daniela
• [Hol-info] 1st Call for Papers: NASA Formal Methods (NFM) 2023 Rozier, Kristin-Yvonne [AER E]
• [Hol-info] 2nd CfP - Software Verification and Testing Track at SAC 2023 Georgiana Caltais
  • Re: [Hol-info] (PN) 2nd CfP - Software Verification and Testing Track at SAC 2023 Dmitry Zaitsev
• [Hol-info] CfP - 29th International Symposium on Model Checking of Software - SPIN 2023 Georgiana Caltais
• [Hol-info] ThEdu'22/EPTCS Proceedings - CFP Walther Neuper
• [Hol-info] RAMiCS 2023 - Third call for papers Michael Winter
• [Hol-info] CfP Software Verification and Testing Track at SAC 2023 Georgiana Caltais
• [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
• [Hol-info] CFP: PADL 2023 Inclezan, Daniela
• [Hol-info] PhD student in Computing Science on the topic of efficient and provably correct execution environments Tjark Weber
• [Hol-info] Call for Participation -- Mathematics of Program Construction 2022 Daggitt, Matthew via hol-info
• [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
• [Hol-info] RAMiCS 2023 - Second call for papers Michael Winter
• [Hol-info] [Vardi-list] How to be an ethical computer scientist Moshe Y Vardi
• [Hol-info] Call for participation DaLí 2022 Carlos Areces
• [Hol-info] CICM 2022, final call for applications to the doctoral programme, 15. July 2022 Serge Autexier
• [Hol-info] [Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien Moshe Y Vardi
• [Hol-info] EuroProofNet WG2 kickoff meeting geoff
• [Hol-info] LPNMR 2022: Call for participation (Early reg. By July 20th) cfp
• [Hol-info] Datalog 2.0 2022 - Third Call for Papers cfp
• [Hol-info] CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems, Submission due: Sunday 31 July 2022 Maurizio Palmieri
• [Hol-info] [FSEN 2023] First Call for Papers FSEN 2023 Maurice ter Beek
• [Hol-info] LPNMR 2022: First call for Doctoral Consortium cfp
• [Hol-info] 14th International Summer School on Verification Technology, Systems & Applications geoff
• [Hol-info] POPL 2023 Call for Papers -- deadline Thursday, July 7th, AoE Kristopher K Micinski via hol-info
• [Hol-info] Certified Programs and Proofs (CPP) 2023 Call for Papers Steve Zdancewic
  • [Hol-info] Certified Programs and Proofs (CPP) 2023 Call for Papers Steve Zdancewic
• [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
• [Hol-info] [Vardi-list] FW: FLOC 2022 -- Call For Participation Moshe Y Vardi
• [Hol-info] ICLP 2022: Call for Participation Víctor Pérez
• [Hol-info] IJCAR-11 - Call for participation geoff
• [Hol-info] RCRA 2022 - 1st call for papers cfp
• [Hol-info] RAMiCS 2023 - First call for papers Michael Winter
• [Hol-info] [Deadline Extension] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022) Emily LeBlanc
• [Hol-info] ACL2 Workshop 2022 Final Call For Participation Rob Sumners
• [Hol-info] [CfP] F-IDE 2022: The 7th Workshop on Formal Integrated Development Environment Son Hoang
• [Hol-info] [Vardi-list] FLoC 2022 Call for Student Volunteers Moshe Y Vardi
• [Hol-info] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations geoff
• [Hol-info] Final extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains Zaynah Dargaye
• [Hol-info] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION) Alexandre Madeira
• [Hol-info] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics Serge Autexier
• [Hol-info] DaLí 2022 - Call for Papers - ** Extended Deadline ** Carlos Areces
• [Hol-info] Deadline extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains External Zaynah Dargaye
• [Hol-info] NMR 2022: 20th International Workshop on Non-Monotonic Reasoning - Call for Extended Abstracts giovanni.casini
• [Hol-info] AITP 2022 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 10 Josef Urban
• [Hol-info] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford! Andrei Popescu
• [Hol-info] [fm-announcements] MOVEP: Early-bird rate ends April 30th Martin Zimmermann via fm-announcements via hol-info
• [Hol-info] WST 2022: final call for papers (submission deadline changed!) Cynthia Kop
• [Hol-info] Second CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains Zaynah Dargaye
• [Hol-info] Call for Presentations: VardiFest22 Kristin Yvonne Rozier
• [Hol-info] CALL FOR APPLICATIONS - KR 2022 DOCTORAL CONSORTIUM - EXTENDED DEADLINE Heyninck, Jesse
  • [Hol-info] CALL FOR APPLICATIONS - KR 2022 DOCTORAL CONSORTIUM - EXTENDED DEADLINE Heyninck, Jesse
• [Hol-info] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022 Serge Autexier
• [Hol-info] Call for Participation FUN 2020 & 2022 Mosteiro, Miguel A.
• [Hol-info] Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication) cfp
• [Hol-info] [fm-announcements] NFM 2022 - Call for participation Havelund, Klaus (US 348B) via fm-announcements via hol-info
• [Hol-info] Last CfP - NMR 2022: 20th International Workshop on Non- Monotonic Reasoning - Extended Deadlines giovanni.casini
• [Hol-info] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs Luigia Petre
• [Hol-info] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers Serge Autexier
• [Hol-info] ThEdu'22 2nd CfP Walther Neuper
• [Hol-info] LPNMR 2022 - Last Call for Papers cfp
• [Hol-info] Tenure-track assistant professor in Formal Aspects of Programming Languages Coen DE ROOVER
• [Hol-info] MPC 2022 - Deadline extension Daggitt, Matthew via hol-info
• [Hol-info] 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software Joao Marcos
• [Hol-info] CfP - NMR 2022: 20th International Workshop on Non-Monotonic Reasoning giovanni.casini
• [Hol-info] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd clã) Alexandre Madeira
• [Hol-info] Automated Reasoning in Quantified Non-Classical Logics - Call for Papers geoff
• [Hol-info] ICTCS'22: preliminary CfP Daniele Gorla via hol-info
• [Hol-info] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29) Achim D. Brucker
• [Hol-info] PLP 2022 - Call for Papers Víctor Pérez
• [Hol-info] Final Call for Papers -- Mathematics of Program Construction 2022 Daggitt, Matthew via hol-info
• [Hol-info] First CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains Zaynah Dargaye
• [Hol-info] Datalog 2.0 - 1st Call for Papers cfp
• [Hol-info] ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs - Call for papers Víctor Pérez
• [Hol-info] CAUSAL 2022 - Call for papers Víctor Pérez
• [Hol-info] ASPOCP 2022 - Call for papers Víctor Pérez
• [Hol-info] LPNMR 2022 - 2nd Call for Papers cfp
• [Hol-info] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022) Emily LeBlanc
  • [Hol-info] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022) Emily LeBlanc
• [Hol-info] e (qexists_tac `0`); won't parse Brian Milnes
  • Re: [Hol-info] e (qexists_tac `0`); won't parse Michael Norrish via hol-info
• [Hol-info] Derivative of real infinite summation in HOL Light Elif Deniz
• [Hol-info] Bill McCune PhD Award 2021 - Call for Nominations geoff
• [Hol-info] ICLP DC 2022 - 18th Doctoral Consortium (DC) on Logic Programming Víctor Pérez
• [Hol-info] Morello: Edinburgh research post on capability-based security technologies Ian Stark

• Earlier messages