Messages by Thread
-
[Hol-info] REWRITE_RULE
Michael Beeson
-
[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
-
[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
-
[Hol-info] SPEC and ISPEC
Michael Beeson
-
[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
-
[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
-
[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
-
[Hol-info] CFP: International Conference on Logic Programming 2018
Enrico Pontelli
-
[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
-
[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
-
[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] 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] CAV 2018 - Call for Papers
geoff
-
[Hol-info] Data61 Seeking Research Scientist
Ramana Kumar
-
[Hol-info] Data61 Seeking Proof Engineers
Ramana Kumar
-
[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
-
[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)
-
[Hol-info] CfP: Models for Formal Analysis of Real Systems (MARS 2018)
Rob van Glabbeek and Wendelin Serwe
-
[Hol-info] KR18 - Call for Tutorial and Workshop Proposals
Marcello Balduccini
-
[Hol-info] CiE 2018: Preliminary announcement
Florin Manea
-
[Hol-info] CAV 2018: Call for papers
no-reply
-
[Hol-info] On the order of "variable" substitutions in lists or recursive structures
Chun Tian
-
[Hol-info] Spurious parent theories
Mario Castelán Castro
-
[Hol-info] res_quanLib and res_quanTools are exact duplicates
Mario Castelán Castro
-
[Hol-info] Small question about sqrt
Liu Gengyang
-
[Hol-info] How to express the elements in a list are all identical?
Chun Tian
-
[Hol-info] LATA 2018: 2nd call for papers
GRLMC
-
[Hol-info] CFP: International Conference on Logic Programming 2018; First Call for Papers
NMSU COMPUTER SCIENCE
-
[Hol-info] line wrap length in hol-mode
Mario Castelán Castro
-
[Hol-info] Conflicted "inv" pp_elements in relationTheory and realaxTheory
Chun Tian (binghe)
-
[Hol-info] CFP: ITP 2018
Jeremy Avigad
-
[Hol-info] Converting ordinals from different type variables?
Chun Tian
-
[Hol-info] The 2018 Federated Logic Conference - Workshop Announcement
Andrzej Murawski
-
[Hol-info] Difficulties in formalizing an informal proof with cardinals (or ordinals)
Chun Tian
-
[Hol-info] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines
Munoz, Cesar (LARC-D320)
-
[Hol-info] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): first CfP
vlad
-
[Hol-info] IJCAR 2018 - Call for Papers
geoff
-
[Hol-info] Artificial Intelligence and Theorem Proving - Call for Papers
geoff
-
[Hol-info] FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
John Patrick Gallagher
-
Re: [Hol-info] [ExternalEmail] Re: Is ``:string ordinal`` uncountable or not?
Michael.Norrish
-
[Hol-info] Is ``:string ordinal`` uncountable or not?
Chun Tian
-
[Hol-info] The use of optionTheory for representing invisible actions in transition systems
Chun Tian (binghe)
-
[Hol-info] Definitions of partial functions (incl. predicates)
Mario Castelán Castro
-
[Hol-info] How to express the uniqueness of an (or a kind of) element(s) in a list?
Chun Tian (binghe)
-
[Hol-info] LRTC (Reflexive Transitive Closure with a List)
Chun Tian (binghe)