hol-info  

Messages by Thread

• • [Hol-info] Tenth Summer School on Formal Techniques, May 16-22, 2020; First FMiTF Bootcamp, May 23-28, 2020, Atherton, California Natarajan Shankar via hol-info
  • [Hol-info] Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021 Natarajan Shankar via hol-info
  • [Hol-info] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice", 10th May 2021 to 14th May 2021 (Register by April 17) Natarajan Shankar via hol-info
• [Hol-info] VerifyThis 2018: Call for Problems and First Announcement Andrei Paskevich
• [Hol-info] ThEdu'18 call for extended abstracts Walther Neuper
• [Hol-info] Simplifying expressions like «P ∧ P ∧ Q» Mario Xerxes Castelán Castro
  • Re: [Hol-info] Simplifying expressions like «P ∧ P ∧ Q» Thomas Tuerk
  • Re: [Hol-info] Simplifying expressions like «P ∧ P ∧ Q» Mario Xerxes Castelán Castro
  • Re: [Hol-info] Simplifying expressions like «P ∧ P ∧ Q» Mario Xerxes Castelán Castro
• [Hol-info] WiL 2018: Women in Logic Workshop 2nd Call for Papers Amy Felty
• [Hol-info] FLoC 2018 - Joint Call for Workshop Papers Andrzej Murawski
• [Hol-info] [fm-announcements] NFM 2018 - Call for Participation Munoz, Cesar (LARC-D320)
• [Hol-info] LOPSTR 2018 2nd CFP Fred Mesnard
• Re: [Hol-info] [ExternalEmail] Re: Using polyscripter with user-written theories Michael.Norrish
• [Hol-info] SAT/SMT/AR Summer School 2018 geoff
  • [Hol-info] SAT/SMT/AR Summer School 2018 Giles Reger
• [Hol-info] EXTENDED DEADLINE: International Conference on Logic Programming 2018 Enrico Pontelli
• [Hol-info] Using polyscripter with user-written theories Heiko Becker
  • Re: [Hol-info] Using polyscripter with user-written theories Thomas Tuerk
  • Re: [Hol-info] Using polyscripter with user-written theories Michael.Norrish
• [Hol-info] CfP: AISC 2018 - 13th Intl. Conference on Artificial Intelligence and Symbolic Computation Petros Papapanagiotou
• [Hol-info] CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam Summers Alexander John
• [Hol-info] REMINDER: KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
• [Hol-info] WST 2018 - 1st Call for Papers (submission: April 15, 2018) Salvador Lucas
• [Hol-info] IfCoLog JLA - Reasoning on Legal Texts geoff
• [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
  • Re: [Hol-info] Dependency on absolute paths remaining the same Ramana Kumar
  • Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
  • Re: [Hol-info] Dependency on absolute paths remaining the same Thomas Tuerk
  • Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
  • Re: [Hol-info] Dependency on absolute paths remaining the same Thomas Tuerk
  • Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
  • Re: [Hol-info] Dependency on absolute paths remaining the same Michael.Norrish
  • Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
  • Re: [Hol-info] Dependency on absolute paths remaining the same Mario Xerxes Castelán Castro
• [Hol-info] DEADLINE APPROACHING: KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
• [Hol-info] Fwd: Re: Tracking lemmas used by REWRITE_CONV Yaqing Jiang
  • Re: [Hol-info] Fwd: Re: Tracking lemmas used by REWRITE_CONV Mark Adams
• [Hol-info] Tracking lemmas used by REWRITE_CONV Yaqing Jiang
  • Re: [Hol-info] Tracking lemmas used by REWRITE_CONV Mark Adams
  • Re: [Hol-info] Tracking lemmas used by REWRITE_CONV Mario Xerxes Castelán Castro
  • Re: [Hol-info] Tracking lemmas used by REWRITE_CONV Mario Xerxes Castelán Castro
• [Hol-info] Uninstall HOL Jing Guo
  • Re: [Hol-info] Uninstall HOL Ramana Kumar
  • Re: [Hol-info] Uninstall HOL Jing Guo
• [Hol-info] FOPSS Logic and Learning School advertisement Andrzej Murawski
• [Hol-info] Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
• [Hol-info] DEADLINE EXTENSION - VPT-2018: 6th International Workshop on Verification and Program Transformation John Patrick Gallagher
• [Hol-info] PPDP 2018: First Call for Papers David Sabel
• [Hol-info] ABZ 2018, extended deadline: 5th February Asieh Salehi
• [Hol-info] Inquiry: Introducing new types as predicates Cris Perdue
  • Re: [Hol-info] Inquiry: Introducing new types as predicates Michael.Norrish
  • Re: [Hol-info] Inquiry: Introducing new types as predicates Cris Perdue
  • [Hol-info] Introduction of new types in PVS, HOL, and R0 – Re: Inquiry: Introducing new types as predicates Ken Kubota
  • Re: [Hol-info] Inquiry: Introducing new types as predicates Mario Castelán Castro
  • Re: [Hol-info] Inquiry: Introducing new types as predicates Mario Castelán Castro
  • Re: [Hol-info] Inquiry: Introducing new types as predicates Cris Perdue
  • Re: [Hol-info] Inquiry: Introducing new types as predicates Mario Xerxes Castelán Castro
  • Re: [Hol-info] Inquiry: Introducing new types as predicates Cris Perdue
  • Re: [Hol-info] Inquiry: Introducing new types as predicates Mario Xerxes Castelán Castro
  • Re: [Hol-info] Gender-neutral pronouns Bram Geron
  • Re: [Hol-info] Gender-neutral pronouns Mario Xerxes Castelán Castro
  • Re: [Hol-info] Gender-neutral pronouns Konrad Slind
  • Re: [Hol-info] Gender-neutral pronouns Thomas Tuerk
  • Re: [Hol-info] Gender-neutral pronouns Bram Geron
• [Hol-info] zero two-vector Michael Beeson
• [Hol-info] 2-vector zero Michael Beeson
  • Re: [Hol-info] 2-vector zero Marco Maggesi
• [Hol-info] Second call for bids to host ITP 2019 Jeremy Avigad
• [Hol-info] CiE 2018 - deadline extension Florin Manea
• [Hol-info] WADT 2018 – 1st Call for Papers Ionut Tutu
• [Hol-info] 25th Static Analysis Symposium (SAS 2018) - First Call for Papers Urban Caterina
• [Hol-info] Deadline extension: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
• [Hol-info] [LASER] LASER 2018 school: blockchains, bitcoin and distributed trust, Elba, 2-10 June Chair of Software Engineering Events Participants
• [Hol-info] matrices Michael Beeson
  • Re: [Hol-info] matrices Marco Maggesi
• [Hol-info] vectors Michael Beeson
  • Re: [Hol-info] vectors Adnan Rashid via hol-info
• [Hol-info] Share list of terms with later theories Magnus Myreen
  • Re: [Hol-info] Share list of terms with later theories Michael.Norrish
  • Re: [Hol-info] Share list of terms with later theories Magnus Myreen
  • Re: [Hol-info] Share list of terms with later theories Konrad Slind
  • Re: [Hol-info] Share list of terms with later theories Michael.Norrish
  • Re: [Hol-info] Share list of terms with later theories Magnus Myreen
  • Re: [Hol-info] Share list of terms with later theories Michael.Norrish
  • Re: [Hol-info] Share list of terms with later theories Jeremy Dawson
  • Re: [Hol-info] Share list of terms with later theories Ramana Kumar
• [Hol-info] Share list of terms with later theories Heiko Becker
  • Re: [Hol-info] Share list of terms with later theories Michael.Norrish
• [Hol-info] CiE 2018: Final Call for Papers Florin Manea
• [Hol-info] Call for sessions, ICMS 2018 James Davenport
• [Hol-info] CICM 2018: Call for Papers, Workshops & Tutorials Serge Autexier
• [Hol-info] FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018) John Patrick Gallagher
• [Hol-info] REWRITE_RULE Michael Beeson
  • Re: [Hol-info] REWRITE_RULE Michael Beeson
  • Re: [Hol-info] REWRITE_RULE Marco Maggesi
• [Hol-info] The Alonzo Church Award: Call for Nominations Catuscia Palamidessi
• [Hol-info] POPL tutorial on Isabelle/HOL's codatatypes and corecursion Andrei Popescu
• [Hol-info] INST Michael Beeson
  • Re: [Hol-info] INST Konrad Slind
  • Re: [Hol-info] INST Mark Adams
• [Hol-info] FLoC 2018 - Final Joint Call for Papers Andrzej Murawski
• [Hol-info] working proof that shouldn't need to be so complicated Michael Beeson
  • Re: [Hol-info] working proof that shouldn't need to be so complicated Petros Papapanagiotou
  • Re: [Hol-info] working proof that shouldn't need to be so complicated Jeremy Dawson
• [Hol-info] SPEC and ISPEC Michael Beeson
  • Re: [Hol-info] SPEC and ISPEC Heiko Becker
  • Re: [Hol-info] SPEC and ISPEC Marco Maggesi
• [Hol-info] LOPSTR 2018: First Call for Papers Fred Mesnard
• [Hol-info] 2nd CfP: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
• [Hol-info] RuleML+RR 2018 - Call for Papers geoff
• [Hol-info] CAV 2018 - 2nd Call for Papers no-reply
• [Hol-info] How to build only hol.bare? Mario Castelán Castro
  • Re: [Hol-info] How to build only hol.bare? Michael.Norrish
  • Re: [Hol-info] How to build only hol.bare? Mario Castelán Castro
• [Hol-info] Can not build documentation because building polyscripter fails Mario Castelán Castro
  • Re: [Hol-info] Can not build documentation because building polyscripter fails Mario Castelán Castro
• [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Liu Gengyang
  • Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Mario Castelán Castro
  • Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Mario Castelán Castro
  • Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Mario Castelán Castro
  • Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Mario Castelán Castro
  • Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Liu Gengyang
  • Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Thomas Tuerk
  • Re: [Hol-info] How can I instantiate the variable which constrained by the existential quantifier in the parentheses？ Liu Gengyang
• [Hol-info] Postdoc in Logic and Formal Methods at Carnegie Mellon Jeremy Avigad
• [Hol-info] The origin of the HOL4 logo Mario Castelán Castro
  • Re: [Hol-info] The origin of the HOL4 logo Konrad Slind
  • Re: [Hol-info] The origin of the HOL4 logo Mario Castelán Castro
  • Re: [Hol-info] The origin of the HOL4 logo Michael.Norrish
  • Re: [Hol-info] The origin of the HOL4 logo Mario Castelán Castro
  • Re: [Hol-info] The origin of the HOL4 logo Michael.Norrish
• [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
  • [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
• [Hol-info] CFP: International Conference on Logic Programming 2018 Enrico Pontelli
  • [Hol-info] CFP: International Conference on Logic Programming 2018 epontell
• [Hol-info] Interactive Theorem Proving (ITP) 2018: Second CFP Jeremy Avigad
• [Hol-info] Call for bids to host ITP 2019 Jeremy Avigad
• [Hol-info] FLoC 2018 - Second Joint Call for Papers Andrzej Murawski
• [Hol-info] Representation of functions with explicit domain Mario Castelán Castro
  • Re: [Hol-info] Representation of functions with explicit domain Michael.Norrish
  • Re: [Hol-info] Representation of functions with explicit domain Mario Castelán Castro
  • Re: [Hol-info] Representation of functions with explicit domain Mario Castelán Castro
  • Re: [Hol-info] Representation of functions with explicit domain John Harrison
  • Re: [Hol-info] Representation of functions with explicit domain Mario Castelán Castro
• [Hol-info] CPP 2018 Call for participation: early registration deadline December 10 Amy Felty
• [Hol-info] WiL 2018: 2nd Women in Logic Workshop Call for Papers Amy Felty
• [Hol-info] STAF 2018: Call for Workshop Manuel Mazzara via hol-info
• [Hol-info] Proof about sorting Liu Gengyang
  • Re: [Hol-info] Proof about sorting Michael.Norrish
  • Re: [Hol-info] Proof about sorting Liu Gengyang
  • Re: [Hol-info] Proof about sorting Jeremy Dawson
  • Re: [Hol-info] Proof about sorting Michael.Norrish
  • Re: [Hol-info] Proof about sorting Liu Gengyang
• [Hol-info] CFP TAP 2018 Burkhart Wolff
• [Hol-info] Artificial Intelligence and Theorem Proving 2018 - Call for Papers geoff
• [Hol-info] NFM 2018 - Call for Papers Jasmin Blanchette
• [Hol-info] [fm-announcements] NFM 2018 - Final Call for Papers Munoz, Cesar (LARC-D320)
• [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
• [Hol-info] LATA 2018: extended submission deadline November 24 GRLMC
• [Hol-info] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science Walter Guttmann
• [Hol-info] Logical Frameworks and Meta-Languages 2018 - Call for Papers geoff
• [Hol-info] FINAL Call For Papers and DEADLINE EXTENSION: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
• [Hol-info] A problem of derivation Liu Gengyang
  • [Hol-info] FW: A problem of derivation Michael.Norrish
  • Re: [Hol-info] A problem of derivation Thomas Tuerk
  • Re: [Hol-info] A problem of derivation Liu Gengyang
  • Re: [Hol-info] A problem of derivation Liu Gengyang
• [Hol-info] CiE 2018: First Call for Papers Florin Manea
• [Hol-info] Installation of HOL Light on mac David Mao
• [Hol-info] LATA 2018: 3rd call for papers GRLMC
• [Hol-info] CfP: NETYS 2018, Int. Conf. on Net. Sys., May 2018, Essaouira, Morocco, Deadline: January 21, 2018 yahya benkaouz
• [Hol-info] FLoC 2018 - Joint Call for Papers Andrzej Murawski
• [Hol-info] TPNC 2017: call for posters GRLMC
  • [Hol-info] TPNC 2017: call for posters GRLMC
• [Hol-info] CAV 2018 - Call for Papers geoff
  • [Hol-info] CAV 2018 - Call for Papers geoff
• [Hol-info] Data61 Seeking Research Scientist Ramana Kumar
• [Hol-info] Data61 Seeking Proof Engineers Ramana Kumar
  • [Hol-info] Data61 seeking proof engineers Michael.Norrish
• [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Mario Castelán Castro
  • Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Michael.Norrish
  • Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Mario Castelán Castro
  • Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Michael.Norrish
  • Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Mario Castelán Castro
• [Hol-info] build failed with latest HOL Waqar Ahmad via hol-info
  • Re: [Hol-info] build failed with latest HOL Michael.Norrish
  • Re: [Hol-info] build failed with latest HOL Waqar Ahmad via hol-info
• [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
  • Re: [Hol-info] About building time and using HOL4 development version Chun Tian
  • Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
  • Re: [Hol-info] About building time and using HOL4 development version Chun Tian
  • Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
  • Re: [Hol-info] About building time and using HOL4 development version Michael.Norrish
  • Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
  • Re: [Hol-info] About building time and using HOL4 development version Michael.Norrish
  • Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
• [Hol-info] How to define term-like multi-recursive structures? Chun Tian (binghe)
  • Re: [Hol-info] How to define term-like multi-recursive structures? Michael.Norrish
  • Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian (binghe)

• Earlier messages
• Later messages