hol-info  

Messages by Thread

• [Hol-info] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024) Saverio Giallorenzo
• [Hol-info] [ECAI-2024] Deadline for Tutorial Proposals approaching Luis Magdalena
• [Hol-info] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS) Marmsoler, Diego via hol-info
• [Hol-info] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024) Josef Urban
  • Re: [Hol-info] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024) Josef Urban
• [Hol-info] ThEdu'24 - Open Call for Extended Abstracts Walther Neuper via hol-info
• [Hol-info] FMBC 2024 – Fourth Call for Papers (deadline extension) Marmsoler, Diego via hol-info
• [Hol-info] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• [Hol-info] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Marco Peressotti via hol-info
• [Hol-info] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun Luigia Petre
• [Hol-info] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024 Serge Autexier
• [Hol-info] FMBC 2024 - Third Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] IJCAR 2024: Final Call for Papers Peter Lammich via hol-info
• [Hol-info] SPIN 2024: second Call for Papers (deadline extension) Thomas Neele via hol-info
• [Hol-info] [ECAI-2024] Deadline for Workshop Proposals approaching (and more!) Luis Magdalena
• [Hol-info] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024 Andrei Popescu
  • Re: [Hol-info] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024 Andrei Popescu
• [Hol-info] ESSAI 2024 CALL FOR COURSE PROPOSALS Manolis Koubarakis
• [Hol-info] FMBC 2024 - Second Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] Interactions Between Proof Assistants and Mathematical Software at ICMS 2024 (call for abstracts) Alex J Best
• [Hol-info] ITP 2024: First Call for Papers Yves Bertot
• [Hol-info] Certified Programs and Proofs (CPP'24) - Call for Participation Brigitte Pientka
• [Hol-info] Second Call for Papers IEEE SMC-IT/SCC 2024 Simon Kolker
• [Hol-info] [Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing? Moshe Vardi
• [Hol-info] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24) Kristopher K Micinski via hol-info
• [Hol-info] IJCAR 2024: 2nd call for co-located events Peter Lammich via hol-info
• [Hol-info] 2024 Alonzo Church Award Call for Nominations geoff
• [Hol-info] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals Luis Magdalena
• [Hol-info] MARS 2024 - CALL FOR PAPERS - Luxembourg City (Luxembourg) - April 6th, 2024 mars2024
• [Hol-info] CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers geoff
• [Hol-info] FMBC 2024 - First Call for Papers Marmsoler, Diego via hol-info
• [Hol-info] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• [Hol-info] ICGT 2024: First Call for Papers Jens Kosiol via hol-info
• [Hol-info] Fwd: [isabelle] New in the AFP: Eudoxus Reals Ken Kubota
• [Hol-info] IJCAR 2024: call for co-located events Peter Lammich via hol-info
• [Hol-info] IJCAR 2024 - Call for Papers geoff
• [Hol-info] Post-doc job offering in SAT/SMT at Australian National University Michael Norrish via hol-info
• [Hol-info] Postdoc position in Formal Methods at University of Exeter Marmsoler, Diego via hol-info
  • [Hol-info] Postdoc position in Formal Methods at University of Exeter Marmsoler, Diego via hol-info
• [Hol-info] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications geoff
• [Hol-info] ACL2-2023 Second Call for Participation Matt Kaufmann
• [Hol-info] LOPSTR 2023 - Final Call for Participation Daniel Jurjo
• [Hol-info] 2nd Call for Papers Proceedings for ThEdu'23 - Theorem Proving Components for Educational Software walther.neuper via hol-info
• [Hol-info] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024) Martin Gebser
• [Hol-info] NFM 2024 Call for Papers Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC] via hol-info
• [Hol-info] SPIN 2024: first Call for Papers Thomas Neele via hol-info
• [Hol-info] Call for Participation: ANU Logic Summer School, Dec 4 – 15, 2023 Jim de Groot via hol-info
• [Hol-info] Research Associate at the University of Kent, Canterbury, UK Mark Batty
• [Hol-info] 2nd CFP - CPP 2024 - Certified Programs and Proofs Brigitte Pientka
• [Hol-info] CICM 2023 - Call for Participation Serge Autexier
• [Hol-info] KR 2023 - Extension of Early Registration Deadline Theofanis I. Aravanis
• [Hol-info] Final CfP: German Deduction Meeting (Deduktionstreffen), Sept 26, Berlin Florian Rabe
• [Hol-info] The Math Genome Project John Mercer
• [Hol-info] FROM 2023 – THIRD CALL FOR PAPERS Andrei Sipoș
• [Hol-info] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION Andrei Sipoș
• [Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2023) Alexander Romanovsky
  • [Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2023) Alexander Romanovsky
• [Hol-info] ThEdu'23 proceedings - cfp Walther Neuper via hol-info
• [Hol-info] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023 Serge Autexier
• [Hol-info] TPTP v8.2.0 released geoff
• [Hol-info] FMCAD 2023 Student Forum: Call for Contributions Rozier, Kristin-Yvonne [AER E]
• [Hol-info] RSSRail 2023: Reliability, safety and security of railway systems. Call for posters Alexander Romanovsky
• [Hol-info] PhD student in Computing Science on safe and efficient programming languages Tjark Weber
• [Hol-info] CfP High-Performance Computing and Formal Methods: Deadline July 10th 2023 Rosemary Monahan
• [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
• [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

• Earlier messages
• Later messages