hol-info  

Messages by Thread

• [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
• [Hol-info] Recently Published Research Track of KR2022 Heyninck, Jesse
  • [Hol-info] Recently Published Research Track of KR2022 Heyninck, Jesse
• [Hol-info] AITP 2022 - Call for Contributions Josef Urban
• [Hol-info] 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING - Call for Papers geoff
• [Hol-info] TAP22: Tests and Proofs 2022 - Call for Papers geoff
• [Hol-info] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation Andrei Popescu
• [Hol-info] iPRA 2022 - 4th Workshop on Interpolation: from Proofs to Applications geoff
• [Hol-info] PhD Position in Number Theory and Formalization Andrei Popescu
• [Hol-info] Call for Applications - KR 2022 Doctoral Consortium giovanni.casini
• [Hol-info] Solving LENGTH Problems Kyle Darling via hol-info
  • Re: [Hol-info] Solving LENGTH Problems Michael Norrish via hol-info
• [Hol-info] CFP: Recently Published Research Track of KR2022 Heyninck, Jesse
• [Hol-info] [fm-announcements] 1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022) Martin Zimmermann via fm-announcements via hol-info
• [Hol-info] DaLí 2022 - Call for Papers Carlos Areces
• [Hol-info] LPNMR 2022 - last call for workshops - 3 days to deadline cfp
• [Hol-info] ICGT 2022: Second Call for Papers Daniel Strüber
• [Hol-info] VerifyThis 2022 --- Call for Participation Lammich, Peter (UT-EEMCS) via hol-info
• [Hol-info] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US Luigia Petre
• [Hol-info] CfP GCM 2022 - 13th International Workshop on Graph Computation Models Christopher Michael POSKITT
• [Hol-info] 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 - Call for Papers geoff
• [Hol-info] IJCAR 2022 - Extended Deadline geoff
• [Hol-info] ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms Víctor Pérez
• [Hol-info] EELP 2022: The Third Workshop on Epistemic Extensions of Logic Programming Víctor Pérez
• [Hol-info] [CfP] ICLP 2022 - Call for Recently Published Research Papers Víctor Pérez
• [Hol-info] PhD Student Position at Uppsala University Tjark Weber
• [Hol-info] FUN 2022: 2nd call for papers Mosteiro, Miguel A.
• [Hol-info] 2nd Call for papers -- Mathematics of Program Construction 2022 Daggitt, Matthew via hol-info
• [Hol-info] [Vardi-list] Webinar & Call for Model-Checking Community Feedback Moshe Y Vardi
• [Hol-info] Call for Model-Checking Community Feedback Kristin Yvonne Rozier
• [Hol-info] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline Serge Autexier
• [Hol-info] LPNMR 2022 - Call for Workshops cfp
  • [Hol-info] LPNMR 2022 - second call for workshops cfp
  • [Hol-info] LPNMR 2022 - second call for workshops cfp
• [Hol-info] [fm-announcements] First Call for Papers SOAP 2022 Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
• [Hol-info] [CfP] ICLP 2022 - Deadline Extension (28th Jauary) Víctor Pérez
• [Hol-info] 2022 Alonzo Church Award: Call for Nominations geoff
• [Hol-info] Multiple Research Fellow positions at the Australian National University Alwen Tiu
• [Hol-info] LPNMR 2022 - Call for Papers cfp
• [Hol-info] [Final CfP] ICLP 2022 - The 38th International Conference on Logic Programming Víctor Pérez
• [Hol-info] CAUSAL 2022: Fourth Workshop on Causal Reasoning and Explanation in Logic Programming Víctor Pérez
• [Hol-info] MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming Víctor Pérez
• [Hol-info] PLP 2022: The 9th Workshop on Probabilistic Logic Programming Víctor Pérez
• [Hol-info] GDE 2022: Workshop on Goal-directed Execution of Answer Set Programs Víctor Pérez
• [Hol-info] WST 2022 - Call for Papers Cynthia Kop
• [Hol-info] Call for Nominations: Church Award 2022 Jagadeesan, Radha
• [Hol-info] WADT'22 1st cfp Alexandre Madeira
• [Hol-info] KR2022: Session on KR and Robotics Heyninck, Jesse
• [Hol-info] KR2022: Session on KR and Machine Learning Heyninck, Jesse
• [Hol-info] [Vardi-list] World Logic Day -- From Greek Paradoxes to Political Paradoxes Moshe Y Vardi
• [Hol-info] 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) Heyninck, Jesse
  • [Hol-info] 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) Heyninck, Jesse
• [Hol-info] CFP: Applications and Systems Track of KR2022 Heyninck, Jesse
• [Hol-info] CFP: ThEdu'22 Joao Marcos
• [Hol-info] [fm-announcements] NFM 2022 - FINAL CALL FOR PAPERS Havelund, Klaus (US 348B) via fm-announcements via hol-info
• [Hol-info] [2nd CfP] ICLP 2022 - The 38th International Conference on Logic Programming Víctor Pérez
• [Hol-info] Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24) Achim D. Brucker
• [Hol-info] ICGT 2022: Call for Papers Daniel Strüber
• [Hol-info] [fm-announcements] Certified Programs and Proofs (CPP) 2022: Call for Participation Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
• [Hol-info] Call for Papers FUN 2022 Mosteiro, Miguel A.
• [Hol-info] Certified Programs and Proofs (CPP) 2022: Call for Participation Andrei Popescu
• [Hol-info] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce Luigia Petre
• [Hol-info] IJCAR 2022 - Call for Papers geoff
  • [Hol-info] IJCAR 2022 - Call for Papers Andrei Popescu
  • [Hol-info] IJCAR 2022 - Call for Papers geoff
• [Hol-info] Proposed StackExchange site Proof Assistants EricGT
• [Hol-info] [fm-announcements] NFM 2022 - call for papers - DEADLINE EXTENSION! Havelund, Klaus (US 348B) via fm-announcements via hol-info
• [Hol-info] iFM 2022 (Integrated Formal Methods): Call for Papers iFM 2022
• [Hol-info] * CONFEST 2022 * -- Call for Workshop Proposals Lorenzo Clemente
• [Hol-info] MARS@ETAPS'22: Call for Papers Clemens Dubslaff
• [Hol-info] CONCUR 2022: first call for papers Javier Esparza
• [Hol-info] CFP: 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) Heyninck, Jesse
• [Hol-info] [fm-announcements] NFM 2022 - THIRD CALL FOR PAPERS Havelund, Klaus (US 348B) via fm-announcements via hol-info
• [Hol-info] First Call for Papers - MPC 2022 Daggitt, Matthew via hol-info
• [Hol-info] VerifyThis 2022 --- Call for Problems Lammich, Peter (UT-EEMCS) via hol-info
• [Hol-info] Ran Ettinger's tutorial on using Dafny to teach: FME Teaching Committee's Tutorial Series, October edition Luigia Petre
• [Hol-info] [fm-announcements] NFM 2022 - SECOND CALL FOR PAPERS Havelund, Klaus (US 348B) via fm-announcements via hol-info
• [Hol-info] ICLP 2022 Call For Papers Víctor Pérez
• [Hol-info] CfP Reliability, safety and security of railway systems (RSSRail 2022) Alexander Romanovsky
• [Hol-info] KR 2021: Final Call for Participation (Online event, free registration until Friday, October 15) Thanh Dinh
• [Hol-info] ITP 2022: First Call for Papers Leonardo de Moura via hol-info
  • [Hol-info] ITP 2022: Second Call for Papers Leonardo de Moura via hol-info
  • [Hol-info] ITP 2022: Third Call for Papers Leonardo de Moura via hol-info
  • [Hol-info] Call for bids to host ITP 2023 Leonardo de Moura via hol-info
  • Re: [Hol-info] Call for bids to host ITP 2023 Leonardo de Moura via hol-info
  • [Hol-info] ITP 2022: Last Call for Papers Leonardo de Moura via hol-info
  • [Hol-info] ITP 2022: Call for Participation Leonardo de Moura via hol-info
• [Hol-info] KR 2021: Call for Participation (Deadline to register: October 15) Thanh Dinh
• [Hol-info] CfP Software Verification and Testing Track at SAC 2022 Erika Abraham
• [Hol-info] [fm-announcements] NFM 2022 - First Call for Papers Havelund, Klaus (US 348B) via fm-announcements via hol-info
• [Hol-info] Final Call for Workshops affiliated to ITP - FLoC 2022: Deadline September 27, 2021 Cyril Cohen
• [Hol-info] FACS 2021 - Call for Participation FACS 2021
  • [Hol-info] FACS 2021 - Call for Participation FACS 2021
• [Hol-info] 2nd Call for Participation - LP/CP Programming Contest 2021 Miguel Areias via hol-info
• [Hol-info] 2nd CfP - ThEdu'21 post-proceedings at EPTCS Walther Neuper
• [Hol-info] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021 Andrei Popescu
• [Hol-info] KR 2022 - Second Call for Tutorial and Workshop Proposals - September 27 Stefan Borgwardt
• [Hol-info] Call for Participation - LP/CP Programming Contest 2021 Miguel Areias via hol-info
• [Hol-info] Call for Participation: HotSpot 2021 Toby Murray
• [Hol-info] Call for KR 2021 Student Scholarship Applications Đinh Văn Thành
• [Hol-info] FMTea (Formal Methods Teaching) Tutorial series starting soon! Luigia Petre
• [Hol-info] [fm-announcements] Certified Programs and Proofs (CPP) 2022: Final Call for Papers Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
• [Hol-info] Certified Programs and Proofs (CPP) 2022: Final Call for Papers Andrei Popescu
• [Hol-info] [fm-announcements] [FMICS 2021] Call for Participation Perez Dominguez, Ivan (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
• [Hol-info] Call for Participation: CALCO & MFPS 2021 Thorsten Wissmann
• [Hol-info] IJCAR 2022 - Call for Workshops geoff
• [Hol-info] Call for Workshops - FLoC 2022 Víctor Pérez
• [Hol-info] IEEE ICSA 2022: Early Career Researchers Forum (ECRF 2022) Dalila Tamzalit
• [Hol-info] IEEE ICSA 2022: Call for Tutorial Proposals Dalila Tamzalit
• [Hol-info] IEEE ICSA 2022: Artifact Evaluation Track Dalila Tamzalit
• [Hol-info] IEEE ICSA 2022: New and Emerging Ideas (NEMI) track Dalila Tamzalit
• [Hol-info] Call for papers - ThEdu'21 post-proceedings at EPTCS Walther Neuper
• [Hol-info] IEEE ICSA 2022: Call for Workshop Proposals Dalila Tamzalit
• [Hol-info] RAMiCS 2021 - Call for short contributions/posters luigi . santocanale
• [Hol-info] CICM 2021, July 26-31, Call for online participation Serge Autexier
• [Hol-info] Deadline Extension CAUSAL 2021: Workshop on Causal Reasoning and Explanation (co-located with LPNMR 2019) Emily LeBlanc
• [Hol-info] FACS 2021 - Final CFP: Extended Deadline (July 16) FACS 2021
  • [Hol-info] FACS 2021 - Final CFP: Extended Deadline (July 16) FACS 2021
• [Hol-info] Full-time faculty position in Brussels Coen DE ROOVER
• [Hol-info] Call for Applications: Doctoral Consortium of KR 2021 -- Extended Deadline: July 23 Jens Classen
• [Hol-info] FMBC 2021 - Call for Participation Bruno Bernardo via hol-info
• [Hol-info] Second Call for Papers (Deadline Extension): Formal Methods Teaching Workshop and Tutorial (FMTea 2021) João F . Ferreira
• [Hol-info] Call for Workshops - FLoC 2022 — The 2022 Federated Logic Conference Cyril Cohen
• [Hol-info] KR 2022 - First Call for Tutorial and Workshop Proposals - September 27 Stefan Borgwardt
• [Hol-info] 2nd CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021) Miguel Areias
• [Hol-info] Call for Participation - SPIN 2021 Laarman, A.W.
  • [Hol-info] Call for Participation - SPIN 2021 Laarman, A.W.
• [Hol-info] FACS 2021 - Final CfP with Extended Deadlines FACS 2021
• [Hol-info] HOL Proofs shymathguy99--- via hol-info
• [Hol-info] CLAR 2021 - Deadline Extension geoff
• [Hol-info] CfP: FMTea21 --> Formal Methods Teaching Workshop and Tutorial, Nov 21, 2021, ONLINE Luigia Petre
• [Hol-info] Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free ADRIAN RIESCO RODRIGUEZ
• [Hol-info] ASPOCP 2021: Call for Papers markus hecher
• [Hol-info] FACS 2021 - Final Call for Papers FACS 2021
• [Hol-info] CFP - Workshop on Goal-directed Execution of Answer Set Programs (GDE 2021) Miguel Areias
• [Hol-info] CAUSAL 2021 Call for Papers (workshop of ICLP-21) Leblanc, Emily C CIV USN NRL (5512) Washington DC (USA) via hol-info

• Earlier messages
• Later messages