hol-info

Messages by Date

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
2017/12/09 Re: [Hol-info] Representation of functions with explicit domain Mario Castelán Castro
2017/12/08 [Hol-info] 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
2017/12/08 [Hol-info] CFP: International Conference on Logic Programming 2018 Enrico Pontelli
2017/12/05 [Hol-info] Interactive Theorem Proving (ITP) 2018: Second CFP Jeremy Avigad
2017/12/05 Re: [Hol-info] Representation of functions with explicit domain Mario Castelán Castro
2017/12/05 [Hol-info] Call for bids to host ITP 2019 Jeremy Avigad
2017/12/05 [Hol-info] FLoC 2018 - Second Joint Call for Papers Andrzej Murawski
2017/12/05 [Hol-info] IJCAR 2018 - Call for Papers geoff
2017/12/05 Re: [Hol-info] Representation of functions with explicit domain Michael.Norrish
2017/12/05 [Hol-info] Representation of functions with explicit domain Mario Castelán Castro
2017/12/04 [Hol-info] CPP 2018 Call for participation: early registration deadline December 10 Amy Felty
2017/12/04 [Hol-info] WiL 2018: 2nd Women in Logic Workshop Call for Papers Amy Felty
2017/12/04 [Hol-info] STAF 2018: Call for Workshop Manuel Mazzara via hol-info
2017/12/04 Re: [Hol-info] Proof about sorting Liu Gengyang
2017/12/03 Re: [Hol-info] Proof about sorting Michael.Norrish
2017/12/03 Re: [Hol-info] Proof about sorting Liu Gengyang
2017/12/03 Re: [Hol-info] Proof about sorting Jeremy Dawson
2017/12/03 Re: [Hol-info] Proof about sorting Michael.Norrish
2017/12/03 [Hol-info] Proof about sorting Liu Gengyang
2017/12/01 [Hol-info] KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
2017/12/01 [Hol-info] CFP TAP 2018 Burkhart Wolff
2017/11/25 [Hol-info] Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation John Patrick Gallagher
2017/11/24 [Hol-info] Artificial Intelligence and Theorem Proving 2018 - Call for Papers geoff
2017/11/22 [Hol-info] NFM 2018 - Call for Papers Jasmin Blanchette
2017/11/21 [Hol-info] [fm-announcements] NFM 2018 - Final Call for Papers Munoz, Cesar (LARC-D320)
2017/11/19 [Hol-info] Conference in honor of Thomas C. Hales: "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", June 18-22, 2018 at the University of Pittsburgh Jeremy Avigad
2017/11/15 [Hol-info] LATA 2018: extended submission deadline November 24 GRLMC
2017/11/15 [Hol-info] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science Walter Guttmann
2017/11/15 [Hol-info] Logical Frameworks and Meta-Languages 2018 - Call for Papers geoff
2017/11/14 [Hol-info] FINAL Call For Papers and DEADLINE EXTENSION: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
2017/11/14 [Hol-info] KR 2018 Call for Papers Marcello Balduccini
2017/11/08 Re: [Hol-info] A problem of derivation Liu Gengyang
2017/11/08 Re: [Hol-info] A problem of derivation Liu Gengyang