hol-info

Messages by Date

2018/04/01 [Hol-info] verifying the Gordon computer Lawrence Paulson
2018/03/30 [Hol-info] WADT 2018 - 2nd Call for Papers WADT 2018
2018/03/30 [Hol-info] QBFEVAL'18 -- Registration closes in 1 week Luca Pulina
2018/03/30 [Hol-info] Bridging the Gap between Human and Automated Reasoning geoff
2018/03/30 [Hol-info] LOPSTR 2018: Second Final Call for Papers Fred Mesnard
2018/03/28 [Hol-info] PhD Scholarships at the Australian National University Michael.Norrish
2018/03/28 Re: [Hol-info] Unexpected failure to considerate equality of lambda terms in Metis and MESON Mario Xerxes Castelán Castro
2018/03/28 [Hol-info] PhD position Gwen Salaün
2018/03/28 [Hol-info] CALL FOR ABSTRACTS: ICMS Session on Composable Mathematical Software Florian Rabe
2018/03/28 Re: [Hol-info] Unexpected failure to considerate equality of lambda terms in Metis and MESON Michael.Norrish
2018/03/26 [Hol-info] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018 Marco Roveri
2018/03/26 [Hol-info] Unexpected failure to considerate equality of lambda terms in Metis and MESON Mario Xerxes Castelán Castro
2018/03/26 [Hol-info] ABZ 2018, registration is open now Salehi Fathabadi A .
2018/03/25 [Hol-info] CfP - RV 2018 - Cyprus - Call for Papers Martin Leucker
2018/03/24 [Hol-info] Call for papers - FOCLASA 2018 Jacopo Soldani
2018/03/24 [Hol-info] Multiple Positions at FAU Erlangen/Nürnberg Michael Kohlhase
2018/03/24 [Hol-info] Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France Olivier Zendra
2018/03/21 [Hol-info] CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE Josef Urban
2018/03/20 [Hol-info] Verification and Deduction Mentoring Workshop 2018 geoff
2018/03/20 [Hol-info] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA Michael Kohlhase
2018/03/20 [Hol-info] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA Michael Kohlhase
2018/03/19 [Hol-info] LOPSTR 2018 Final CFP Fred Mesnard
2018/03/17 [Hol-info] Data61 seeking proof engineers Michael.Norrish
2018/03/17 [Hol-info] FoPPS Logic and Learning School (Oxford, July 1-6) Andrzej Murawski
2018/03/16 Re: [Hol-info] Question about Type (:M+N) in HOL Light Marco Maggesi
2018/03/16 [Hol-info] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP Serge Autexier
2018/03/15 [Hol-info] Question about Type (:M+N) in HOL Light liliminga
2018/03/15 [Hol-info] SAT/SMT/AR Summer School 2018 Giles Reger
2018/03/15 [Hol-info] Federated Logic Conference student travel support Jeremy Avigad
2018/03/14 [Hol-info] Binding the type variable in the Axiom of Choice – Re: [isabelle] Axiom of Choice – Re: Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Ken Kubota
2018/03/13 Re: [Hol-info] HOL Help for Axiom. Mario Xerxes Castelán Castro
2018/03/13 [Hol-info] Call for Papers F-IDE 2018 Rosemary Monahan
2018/03/12 Re: [Hol-info] [isabelle] Axiom of Choice – Re: Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Rob Arthan
2018/03/12 Re: [Hol-info] [isabelle] Mathematical Logics and Logical Frameworks R. Pollack
2018/03/12 Re: [Hol-info] HOL Help for Axiom. Michael.Norrish
2018/03/12 Re: [Hol-info] HOL Help for Axiom. Thomas Tuerk
2018/03/12 [Hol-info] Mathematical Logics and Logical Frameworks Ken Kubota
2018/03/12 [Hol-info] Axiom of Choice – Re: [isabelle] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Ken Kubota
2018/03/12 Re: [Hol-info] HOL Help for Axiom. Mario Xerxes Castelán Castro
2018/03/12 Re: [Hol-info] HOL Help for Axiom. Thomas Tuerk
2018/03/12 Re: [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Lawrence Paulson
2018/03/12 [Hol-info] [Vardi-list] FLoC’18 Travel Support Moshe Vardi
2018/03/12 [Hol-info] HOL Help for Axiom. Sana Imtiaz via hol-info
2018/03/12 [Hol-info] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
2018/03/12 [Hol-info] SAS 2018: Call for Papers Urban Caterina
2018/03/11 Re: [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Mario Xerxes Castelán Castro
2018/03/11 Re: [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Mario Xerxes Castelán Castro
2018/03/11 Re: [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Mario Xerxes Castelán Castro
2018/03/10 [Hol-info] Hilbert's epsilon operator in Church's Type Theory and Gordon's HOL logic Ken Kubota
2018/03/09 [Hol-info] LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Call for Papers Frédéric Blanqui
2018/03/08 [Hol-info] PAAR 2018 - Call for Papers geoff
2018/03/08 [Hol-info] Reminder: From the Fundamental Lemma to Discrete Geometry, to Formal Verification Jeremy Avigad
2018/03/07 [Hol-info] Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018) Christoph Lüth
2018/03/06 [Hol-info] QBFEVAL'18 - Call for Contributions Luca Pulina
2018/03/06 [Hol-info] VerifyThis 2018: Call for Participation and Travel Grants Andrei Paskevich
2018/03/04 [Hol-info] 25th AUTOMATED REASONING WORKSHOP 2018 geoff
2018/03/04 [Hol-info] Special Issue on Commonsense Reasoning - Call for Papers geoff
2018/03/04 [Hol-info] RuleML+RR 2018 SECOND CALL FOR PAPERS geoff
2018/03/04 [Hol-info] iFM 2018 Call for Papers Hao Wu
2018/03/04 [Hol-info] SYNASC 2018 - First Call for Papers SYNASC 2018
2018/03/04 [Hol-info] SYNASC 2018 - First Call for Papers SYNASC 2018
2018/03/04 [Hol-info] KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED ** Marcello Balduccini
2018/03/04 [Hol-info] iFM 2018 Call for Papers Hao Wu
2018/03/04 [Hol-info] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018 Natarajan Shankar
2018/03/04 [Hol-info] VerifyThis 2018: Call for Problems and First Announcement Andrei Paskevich
2018/02/23 Re: [Hol-info] Simplifying expressions like «P ∧ P ∧ Q» Mario Xerxes Castelán Castro
2018/02/22 [Hol-info] ThEdu'18 call for extended abstracts Walther Neuper
2018/02/21 Re: [Hol-info] Simplifying expressions like «P ∧ P ∧ Q» Mario Xerxes Castelán Castro
2018/02/21 Re: [Hol-info] Simplifying expressions like «P ∧ P ∧ Q» Thomas Tuerk
2018/02/21 [Hol-info] Simplifying expressions like «P ∧ P ∧ Q» Mario Xerxes Castelán Castro
2018/02/21 [Hol-info] WiL 2018: Women in Logic Workshop 2nd Call for Papers Amy Felty
2018/02/20 [Hol-info] FLoC 2018 - Joint Call for Workshop Papers Andrzej Murawski
2018/02/20 [Hol-info] [fm-announcements] NFM 2018 - Call for Participation Munoz, Cesar (LARC-D320)
2018/02/20 [Hol-info] LOPSTR 2018 2nd CFP Fred Mesnard
2018/02/19 Re: [Hol-info] [ExternalEmail] Re: Using polyscripter with user-written theories Michael.Norrish
2018/02/18 Re: [Hol-info] Using polyscripter with user-written theories Michael.Norrish
2018/02/18 [Hol-info] Last Call for Papers for: International Workshop on Classical Logic and Computation (CL&C'18) in Oxford - satellite workshop of FSCD 2018 (former TLCA + RTA) Berardi Stefano
2018/02/18 [Hol-info] SAT/SMT/AR Summer School 2018 geoff
2018/02/18 [Hol-info] EXTENDED DEADLINE: International Conference on Logic Programming 2018 Enrico Pontelli
2018/02/16 Re: [Hol-info] Using polyscripter with user-written theories Thomas Tuerk
2018/02/15 [Hol-info] Using polyscripter with user-written theories Heiko Becker
2018/02/12 [Hol-info] CfP: AISC 2018 - 13th Intl. Conference on Artificial Intelligence and Symbolic Computation Petros Papapanagiotou
2018/02/08 [Hol-info] CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam Summers Alexander John
2018/02/07 [Hol-info] REMINDER: KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
2018/02/06 Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
2018/02/06 [Hol-info] WST 2018 - 1st Call for Papers (submission: April 15, 2018) Salvador Lucas
2018/02/06 [Hol-info] IfCoLog JLA - Reasoning on Legal Texts geoff
2018/02/06 Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
2018/02/04 Re: [Hol-info] Dependency on absolute paths remaining the same Michael.Norrish
2018/02/04 Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
2018/02/04 Re: [Hol-info] Dependency on absolute paths remaining the same Thomas Tuerk
2018/02/04 Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
2018/02/04 Re: [Hol-info] Dependency on absolute paths remaining the same Thomas Tuerk
2018/02/04 Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
2018/02/04 Re: [Hol-info] Dependency on absolute paths remaining the same Ramana Kumar
2018/02/04 [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
2018/01/31 Re: [Hol-info] Uninstall HOL Jing Guo
2018/01/31 [Hol-info] DEADLINE APPROACHING: KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
2018/01/31 Re: [Hol-info] Fwd: Re: Tracking lemmas used by REWRITE_CONV Mark Adams
2018/01/31 Re: [Hol-info] Tracking lemmas used by REWRITE_CONV Mario Xerxes Castelán Castro
2018/01/31 [Hol-info] Fwd: Re: Tracking lemmas used by REWRITE_CONV Yaqing Jiang
2018/01/31 Re: [Hol-info] Tracking lemmas used by REWRITE_CONV Mario Xerxes Castelán Castro
2018/01/31 Re: [Hol-info] Tracking lemmas used by REWRITE_CONV Mark Adams
2018/01/31 [Hol-info] Tracking lemmas used by REWRITE_CONV Yaqing Jiang
2018/01/31 Re: [Hol-info] Uninstall HOL Ramana Kumar
2018/01/30 [Hol-info] Uninstall HOL Jing Guo
2018/01/30 Re: [Hol-info] Gender-neutral pronouns Thomas Tuerk
2018/01/30 Re: [Hol-info] Gender-neutral pronouns Bram Geron
2018/01/30 Re: [Hol-info] Gender-neutral pronouns Konrad Slind
2018/01/30 Re: [Hol-info] Gender-neutral pronouns Mario Xerxes Castelán Castro
2018/01/30 Re: [Hol-info] Gender-neutral pronouns Bram Geron
2018/01/29 Re: [Hol-info] Inquiry: Introducing new types as predicates Mario Xerxes Castelán Castro
2018/01/27 Re: [Hol-info] Inquiry: Introducing new types as predicates Cris Perdue
2018/01/26 [Hol-info] FOPSS Logic and Learning School advertisement Andrzej Murawski
2018/01/26 Re: [Hol-info] Inquiry: Introducing new types as predicates Mario Xerxes Castelán Castro
2018/01/24 Re: [Hol-info] Inquiry: Introducing new types as predicates Cris Perdue
2018/01/24 [Hol-info] Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
2018/01/24 [Hol-info] DEADLINE EXTENSION - VPT-2018: 6th International Workshop on Verification and Program Transformation John Patrick Gallagher
2018/01/23 [Hol-info] PPDP 2018: First Call for Papers David Sabel
2018/01/23 [Hol-info] Introduction of new types in PVS, HOL, and R0 – Re: Inquiry: Introducing new types as predicates Ken Kubota
2018/01/23 Re: [Hol-info] Inquiry: Introducing new types as predicates Mario Castelán Castro
2018/01/23 Re: [Hol-info] Inquiry: Introducing new types as predicates Mario Castelán Castro
2018/01/23 [Hol-info] ABZ 2018, extended deadline: 5th February Asieh Salehi
2018/01/22 Re: [Hol-info] Inquiry: Introducing new types as predicates Cris Perdue
2018/01/22 Re: [Hol-info] Inquiry: Introducing new types as predicates Michael.Norrish
2018/01/22 [Hol-info] Inquiry: Introducing new types as predicates Cris Perdue
2018/01/21 Re: [Hol-info] 2-vector zero Marco Maggesi
2018/01/19 [Hol-info] zero two-vector Michael Beeson
2018/01/19 [Hol-info] 2-vector zero Michael Beeson
2018/01/18 [Hol-info] Second call for bids to host ITP 2019 Jeremy Avigad
2018/01/18 [Hol-info] CiE 2018 - deadline extension Florin Manea
2018/01/17 [Hol-info] WADT 2018 – 1st Call for Papers Ionut Tutu
2018/01/17 [Hol-info] 25th Static Analysis Symposium (SAS 2018) - First Call for Papers Urban Caterina
2018/01/17 Re: [Hol-info] Share list of terms with later theories Ramana Kumar
2018/01/16 Re: [Hol-info] Share list of terms with later theories Jeremy Dawson
2018/01/16 Re: [Hol-info] Share list of terms with later theories Michael.Norrish
2018/01/15 Re: [Hol-info] Share list of terms with later theories Magnus Myreen
2018/01/14 Re: [Hol-info] matrices Marco Maggesi
2018/01/14 [Hol-info] Deadline extension: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
2018/01/14 [Hol-info] [LASER] LASER 2018 school: blockchains, bitcoin and distributed trust, Elba, 2-10 June Chair of Software Engineering Events Participants
2018/01/13 [Hol-info] matrices Michael Beeson
2018/01/12 Re: [Hol-info] vectors Adnan Rashid via hol-info
2018/01/12 [Hol-info] vectors Michael Beeson
2018/01/11 Re: [Hol-info] Share list of terms with later theories Michael.Norrish
2018/01/11 Re: [Hol-info] Share list of terms with later theories Konrad Slind
2018/01/10 Re: [Hol-info] Share list of terms with later theories Magnus Myreen
2018/01/10 Re: [Hol-info] Share list of terms with later theories Michael.Norrish
2018/01/10 [Hol-info] Share list of terms with later theories Magnus Myreen
2018/01/10 Re: [Hol-info] Share list of terms with later theories Michael.Norrish
2018/01/10 [Hol-info] Share list of terms with later theories Heiko Becker
2018/01/10 [Hol-info] CiE 2018: Final Call for Papers Florin Manea
2018/01/10 [Hol-info] IJCAR 2018 - Call for Papers geoff
2018/01/10 [Hol-info] CAV 2018 - Call for Papers geoff
2018/01/10 [Hol-info] Call for sessions, ICMS 2018 James Davenport
2018/01/09 [Hol-info] CICM 2018: Call for Papers, Workshops & Tutorials Serge Autexier
2018/01/08 Re: [Hol-info] SPEC and ISPEC Marco Maggesi
2018/01/08 [Hol-info] FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018) John Patrick Gallagher
2018/01/08 Re: [Hol-info] REWRITE_RULE Marco Maggesi
2018/01/08 Re: [Hol-info] REWRITE_RULE Michael Beeson
2018/01/08 [Hol-info] REWRITE_RULE Michael Beeson
2018/01/08 [Hol-info] ABZ 2018, Call for Contributions Asieh Salehi
2018/01/07 Re: [Hol-info] INST Mark Adams
2018/01/07 Re: [Hol-info] INST Konrad Slind
2018/01/07 [Hol-info] The Alonzo Church Award: Call for Nominations Catuscia Palamidessi
2018/01/07 [Hol-info] KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
2018/01/07 [Hol-info] POPL tutorial on Isabelle/HOL's codatatypes and corecursion Andrei Popescu
2018/01/07 [Hol-info] INST Michael Beeson
2018/01/07 [Hol-info] CFP: International Conference on Logic Programming 2018 epontell
2018/01/07 [Hol-info] FLoC 2018 - Final Joint Call for Papers Andrzej Murawski
2018/01/05 Re: [Hol-info] working proof that shouldn't need to be so complicated Jeremy Dawson
2018/01/05 Re: [Hol-info] working proof that shouldn't need to be so complicated Petros Papapanagiotou
2018/01/05 [Hol-info] working proof that shouldn't need to be so complicated Michael Beeson
2018/01/05 Re: [Hol-info] SPEC and ISPEC Heiko Becker
2018/01/04 [Hol-info] SPEC and ISPEC Michael Beeson
2017/12/27 [Hol-info] LOPSTR 2018: First Call for Papers Fred Mesnard
2017/12/27 [Hol-info] 2nd CfP: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
2017/12/27 [Hol-info] RuleML+RR 2018 - Call for Papers geoff
2017/12/27 [Hol-info] CAV 2018 - 2nd Call for Papers no-reply
2017/12/23 Re: [Hol-info] How to build only hol.bare? Mario Castelán Castro
2017/12/23 Re: [Hol-info] How to build only hol.bare? Michael.Norrish
2017/12/21 [Hol-info] How to build only hol.bare? Mario Castelán Castro
2017/12/20 Re: [Hol-info] The origin of the HOL4 logo Michael.Norrish
2017/12/19 Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Liu Gengyang
2017/12/19 Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Liu Gengyang
2017/12/19 Re: [Hol-info] Can not build documentation because building polyscripter fails Mario Castelán Castro
2017/12/19 [Hol-info] Can not build documentation because building polyscripter fails Mario Castelán Castro
2017/12/19 Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Mario Castelán Castro
2017/12/19 Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Thomas Tuerk
2017/12/19 Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Mario Castelán Castro
2017/12/19 Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Mario Castelán Castro
2017/12/19 Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Mario Castelán Castro
2017/12/19 [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Liu Gengyang
2017/12/18 Re: [Hol-info] The origin of the HOL4 logo Mario Castelán Castro
2017/12/17 Re: [Hol-info] The origin of the HOL4 logo Michael.Norrish
2017/12/15 [Hol-info] Postdoc in Logic and Formal Methods at Carnegie Mellon Jeremy Avigad
2017/12/14 Re: [Hol-info] The origin of the HOL4 logo Mario Castelán Castro
2017/12/14 Re: [Hol-info] The origin of the HOL4 logo Konrad Slind
2017/12/14 [Hol-info] The origin of the HOL4 logo Mario Castelán Castro
2017/12/14 Re: [Hol-info] Representation of functions with explicit domain Mario Castelán Castro
2017/12/12 Re: [Hol-info] Representation of functions with explicit domain John Harrison