hol-info

Messages by Date

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
2017/11/08 Re: [Hol-info] A problem of derivation Thomas Tuerk
2017/11/08 [Hol-info] FW: A problem of derivation Michael.Norrish
2017/11/08 [Hol-info] A problem of derivation Liu Gengyang
2017/11/08 [Hol-info] TPNC 2017: call for posters GRLMC
2017/11/08 [Hol-info] IJCAR 2018 - Call for Papers geoff
2017/11/04 [Hol-info] CiE 2018: First Call for Papers Florin Manea
2017/11/02 [Hol-info] Installation of HOL Light on mac David Mao
2017/11/02 [Hol-info] LATA 2018: 3rd call for papers GRLMC
2017/10/31 [Hol-info] CfP: NETYS 2018, Int. Conf. on Net. Sys., May 2018, Essaouira, Morocco, Deadline: January 21, 2018 yahya benkaouz
2017/10/31 [Hol-info] FLoC 2018 - Joint Call for Papers Andrzej Murawski
2017/10/31 Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Mario Castelán Castro
2017/10/30 Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Michael.Norrish
2017/10/30 Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Mario Castelán Castro
2017/10/30 [Hol-info] TPNC 2017: call for posters GRLMC
2017/10/30 [Hol-info] CAV 2018 - Call for Papers geoff
2017/10/30 Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian
2017/10/30 [Hol-info] Data61 Seeking Research Scientist Ramana Kumar
2017/10/30 [Hol-info] Data61 Seeking Proof Engineers Ramana Kumar
2017/10/29 Re: [Hol-info] build failed with latest HOL Waqar Ahmad via hol-info
2017/10/29 Re: [Hol-info] build failed with latest HOL Michael.Norrish
2017/10/29 Re: [Hol-info] How to define term-like multi-recursive structures? Michael.Norrish
2017/10/29 Re: [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Michael.Norrish
2017/10/28 [Hol-info] Can the simplifier from simpLib normalize symmetric relations? Mario Castelán Castro
2017/10/28 [Hol-info] build failed with latest HOL Waqar Ahmad via hol-info
2017/10/27 Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian
2017/10/27 Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian
2017/10/26 Re: [Hol-info] How to define term-like multi-recursive structures? Michael.Norrish
2017/10/26 Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian (binghe)
2017/10/26 Re: [Hol-info] How to define term-like multi-recursive structures? Chun Tian (binghe)
2017/10/25 Re: [Hol-info] How to define term-like multi-recursive structures? Michael.Norrish
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Michael.Norrish
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Michael.Norrish
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Chun Tian
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 Re: [Hol-info] About building time and using HOL4 development version Chun Tian
2017/10/25 [Hol-info] About building time and using HOL4 development version Mario Castelán Castro
2017/10/25 [Hol-info] How to define term-like multi-recursive structures? Chun Tian (binghe)
2017/10/23 [Hol-info] CfP: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
2017/10/23 [Hol-info] KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
2017/10/23 [Hol-info] CiE 2018: Preliminary announcement Florin Manea
2017/10/23 [Hol-info] CAV 2018: Call for papers no-reply
2017/10/23 Re: [Hol-info] Small question about sqrt Liu Gengyang
2017/10/23 Re: [Hol-info] Small question about sqrt Liu Gengyang
2017/10/23 Re: [Hol-info] On the order of "variable" substitutions in lists or recursive structures Chun Tian
2017/10/23 Re: [Hol-info] On the order of "variable" substitutions in lists or recursive structures Konrad Slind
2017/10/23 [Hol-info] On the order of "variable" substitutions in lists or recursive structures Chun Tian
2017/10/23 Re: [Hol-info] LRTC (Reflexive Transitive Closure with a List) Chun Tian
2017/10/22 Re: [Hol-info] LRTC (Reflexive Transitive Closure with a List) Michael.Norrish
2017/10/22 Re: [Hol-info] res_quanLib and res_quanTools are exact duplicates Mario Castelán Castro
2017/10/22 Re: [Hol-info] res_quanLib and res_quanTools are exact duplicates Michael.Norrish
2017/10/22 Re: [Hol-info] Small question about sqrt Michael.Norrish
2017/10/22 Re: [Hol-info] Spurious parent theories Mario Castelán Castro
2017/10/22 Re: [Hol-info] Spurious parent theories Michael.Norrish
2017/10/22 Re: [Hol-info] Spurious parent theories Mario Castelán Castro
2017/10/22 Re: [Hol-info] Small question about sqrt Ramana Kumar
2017/10/22 Re: [Hol-info] Spurious parent theories Konrad Slind
2017/10/22 [Hol-info] Spurious parent theories Mario Castelán Castro
2017/10/20 [Hol-info] res_quanLib and res_quanTools are exact duplicates Mario Castelán Castro
2017/10/20 Re: [Hol-info] How to express the elements in a list are all identical? Mario Castelán Castro
2017/10/20 [Hol-info] Small question about sqrt Liu Gengyang
2017/10/19 Re: [Hol-info] How to express the elements in a list are all identical? Chun Tian
2017/10/19 Re: [Hol-info] How to express the elements in a list are all identical? Mario Castelán Castro
2017/10/19 Re: [Hol-info] How to express the elements in a list are all identical? Mario Castelán Castro
2017/10/19 Re: [Hol-info] How to express the elements in a list are all identical? Mario Castelán Castro
2017/10/19 [Hol-info] How to express the elements in a list are all identical? Chun Tian
2017/10/17 [Hol-info] LATA 2018: 2nd call for papers GRLMC
2017/10/17 [Hol-info] CFP: International Conference on Logic Programming 2018; First Call for Papers NMSU COMPUTER SCIENCE
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Michael.Norrish
2017/10/16 Re: [Hol-info] line wrap length in hol-mode Mario Castelán Castro
2017/10/16 Re: [Hol-info] line wrap length in hol-mode Michael.Norrish
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Mario Castelán Castro
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Chun Tian
2017/10/16 [Hol-info] line wrap length in hol-mode Mario Castelán Castro
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Mario Castelán Castro
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Chun Tian (binghe)
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Mario Castelán Castro
2017/10/16 Re: [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Mario Castelán Castro
2017/10/16 [Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory Chun Tian (binghe)
2017/10/16 Re: [Hol-info] Converting ordinals from different type variables? Chun Tian (binghe)
2017/10/15 [Hol-info] CFP: ITP 2018 Jeremy Avigad
2017/10/15 Re: [Hol-info] Converting ordinals from different type variables? Michael.Norrish
2017/10/15 Re: [Hol-info] What is the purpose of labels? Mario Castelán Castro
2017/10/15 Re: [Hol-info] What is the purpose of labels? Michael.Norrish
2017/10/15 [Hol-info] Converting ordinals from different type variables? Chun Tian
2017/10/14 Re: [Hol-info] What is the purpose of labels? Mario Castelán Castro
2017/10/14 [Hol-info] What is the purpose of labels? Mario Castelán Castro
2017/10/13 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Mario Castelán Castro
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Michael.Norrish
2017/10/12 [Hol-info] The 2018 Federated Logic Conference - Workshop Announcement Andrzej Murawski
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Chun Tian
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Mario Castelán Castro
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Chun Tian
2017/10/12 Re: [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Chun Tian
2017/10/12 [Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals) Chun Tian
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Chun Tian (binghe)
2017/10/11 [Hol-info] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines Munoz, Cesar (LARC-D320)
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Chun Tian (binghe)
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Ramana Kumar
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Ramana Kumar
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Michael.Norrish
2017/10/11 Re: [Hol-info] What's the recommended way to delete elements from list? Chun Tian
2017/10/10 [Hol-info] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): first CfP vlad
2017/10/10 [Hol-info] SECOND Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
2017/10/10 [Hol-info] IJCAR 2018 - Call for Papers geoff
2017/10/10 [Hol-info] Artificial Intelligence and Theorem Proving - Call for Papers geoff
2017/10/10 [Hol-info] FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation John Patrick Gallagher
2017/10/10 Re: [Hol-info] Is ``:string ordinal`` uncountable or not? Chun Tian (binghe)
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Chun Tian
2017/10/09 Re: [Hol-info] [ExternalEmail] Re: Is ``:string ordinal`` uncountable or not? Michael.Norrish
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Michael.Norrish
2017/10/09 Re: [Hol-info] Is ``:string ordinal`` uncountable or not? Michael.Norrish
2017/10/09 [Hol-info] Is ``:string ordinal`` uncountable or not? Chun Tian
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Chun Tian
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Konrad Slind
2017/10/09 Re: [Hol-info] The use of optionTheory for representing invisible actions in transition systems Chun Tian (binghe)
2017/10/09 [Hol-info] The use of optionTheory for representing invisible actions in transition systems Chun Tian (binghe)
2017/10/06 Re: [Hol-info] Definitions of partial functions (incl. predicates) Mario Castelán Castro
2017/10/06 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Mario Castelán Castro
2017/10/05 Re: [Hol-info] Definitions of partial functions (incl. predicates) Ramana Kumar
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Ramana Kumar
2017/10/05 [Hol-info] Definitions of partial functions (incl. predicates) Mario Castelán Castro
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Freek Wiedijk
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Mario Castelán Castro
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Jeremy Dawson
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Mario Castelán Castro
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Chun Tian (binghe)
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Jeremy Dawson
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Jeremy Dawson
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Scott Owens
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 Re: [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Konrad Slind
2017/10/05 [Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list? Chun Tian (binghe)
2017/10/05 [Hol-info] LRTC (Reflexive Transitive Closure with a List) Chun Tian (binghe)
2017/10/05 Re: [Hol-info] Changing thms used by computeLib Ramana Kumar
2017/10/05 Re: [Hol-info] Changing thms used by computeLib Heiko Becker
2017/10/05 Re: [Hol-info] Changing thms used by computeLib Ramana Kumar
2017/10/05 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Freek Wiedijk
2017/10/05 [Hol-info] Changing thms used by computeLib Heiko Becker
2017/10/04 Re: [Hol-info] Experience and opinions on proof assistants with “rich” type systems Ramana Kumar
2017/09/29 Re: [Hol-info] Is it possible to make Holmake print timing information? Mario Castelán Castro
2017/09/29 Re: [Hol-info] Is it possible to make Holmake print timing information? Mario Castelán Castro
2017/09/29 Re: [Hol-info] Is it possible to make Holmake print timing information? Ramana Kumar
2017/09/28 Re: [Hol-info] Question on rewriting with assumptions Mario Castelán Castro
2017/09/28 Re: [Hol-info] Is it possible to make Holmake print timing information? Mario Castelán Castro
2017/09/27 [Hol-info] Commonsense-2017 - Call for Participation geoff
2017/09/27 Re: [Hol-info] Is it possible to make Holmake print timing information? Chun Tian (binghe)
2017/09/27 [Hol-info] Is it possible to make Holmake print timing information? Mario Castelán Castro
2017/09/26 Re: [Hol-info] Is it possible to make Holmake print timing information? Ramana Kumar
2017/09/26 Re: [Hol-info] Question on rewriting with assumptions Ramana Kumar
2017/09/26 Re: [Hol-info] Is it possible to make Holmake print timing information? Michael.Norrish
2017/09/25 Re: [Hol-info] Question on rewriting with assumptions Mario Castelán Castro
2017/09/25 Re: [Hol-info] Question on rewriting with assumptions Mario Castelán Castro
2017/09/25 Re: [Hol-info] Question on rewriting with assumptions Chun Tian (binghe)
2017/09/25 [Hol-info] Question on rewriting with assumptions Mario Castelán Castro
2017/09/25 Re: [Hol-info] Question on rewriting with assumptions Thomas Tuerk
2017/09/22 [Hol-info] LATA 2018: 1st call for papers GRLMC
2017/09/19 [Hol-info] [Vardi-list] Advanced Winter School on Formal Verification Moshe Vardi
2017/09/18 [Hol-info] KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
2017/09/18 [Hol-info] KR18 - Preliminary Call for Tutorial and Workshop Proposals Marcello Balduccini
2017/09/18 [Hol-info] KR 2018 Call for Papers Marcello Balduccini
2017/09/16 [Hol-info] FINAL call for papers: CPP 2018 Amy Felty
2017/09/14 [Hol-info] Experience and opinions on proof assistants with “rich” type systems Mario Castelán Castro
2017/09/14 Re: [Hol-info] A small question about Datatype. Michael.Norrish