Messages by Date
-
2016/10/23
Re: [Hol-info] Error Loading Theory in HOL Light
Petros Papapanagiotou
-
2016/10/23
[Hol-info] Conditions under which model-theoretic conservativity entails proof-theoretic conservativity
Roger Bishop Jones
-
2016/10/23
Re: [Hol-info] [isabelle] definability of new types (HOL), overloaded constant definitions for axiomatic type classes (Isabelle) - Re: Who is ProofPower "by" (and STT)?
Andrei Popescu
-
2016/10/23
[Hol-info] Consercative extension in HOL, some pre-history
Roger Bishop Jones
-
2016/10/23
Re: [Hol-info] [isabelle] definability of new types (HOL), overloaded constant definitions for axiomatic type classes (Isabelle) - Re: Who is ProofPower "by" (and STT)?
Rob Arthan
-
2016/10/22
Re: [Hol-info] Error Loading Theory in HOL Light
John . Harrison
-
2016/10/22
Re: [Hol-info] Genesis of Church's simple theory of types, Wiedijk's criticism concerning the (current) HOL family
John . Harrison
-
2016/10/22
Re: [Hol-info] [isabelle] definability of new types (HOL), overloaded constant definitions for axiomatic type classes (Isabelle) - Re: Who is ProofPower "by" (and STT)?
Scott Owens
-
2016/10/22
Re: [Hol-info] [isabelle] definability of new types (HOL), overloaded constant definitions for axiomatic type classes (Isabelle) - Re: Who is ProofPower "by" (and STT)?
Ondřej Kunčar
-
2016/10/22
Re: [Hol-info] Genesis of Church's simple theory of types, Wiedijk's criticism concerning the (current) HOL family
Mark Adams
-
2016/10/22
Re: [Hol-info] [isabelle] definability of new types (HOL), overloaded constant definitions for axiomatic type classes (Isabelle) - Re: Who is ProofPower "by" (and STT)?
Rob Arthan
-
2016/10/21
[Hol-info] Genesis of Church's simple theory of types, Wiedijk's criticism concerning the (current) HOL family
Ken Kubota
-
2016/10/21
[Hol-info] ACM/SPEC ICPE 2017 - Call for Workshop Proposals
Andrea Rosa
-
2016/10/21
[Hol-info] LATA 2017: extended submission deadline October 28
GRLMC
-
2016/10/21
[Hol-info] Artificial Intelligence and Theorem Proving - Call for Papers
Geoff Sutcliffe
-
2016/10/19
[Hol-info] definability of new types (HOL), overloaded constant definitions for axiomatic type classes (Isabelle) - Re: Who is ProofPower "by" (and STT)?
Ken Kubota
-
2016/10/18
[Hol-info] Who is ProofPower "by" (and STT)?
Roger Bishop Jones
-
2016/10/18
[Hol-info] ITP 2017 - FIRST CALL FOR PAPERS
Cláudia Nalon
-
2016/10/18
[Hol-info] DL 2017, Call for Papers
Geoff Sutcliffe
-
2016/10/18
[Hol-info] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, July 3-5, 2017
Peter Schüller
-
2016/10/18
[Hol-info] NFM 2017 - Call For Workshops
Rody Kersten
-
2016/10/18
[Hol-info] TPNC 2016: call for posters
GRLMC
-
2016/10/18
[Hol-info] BigDat 2017: early registration October 21
GRLMC
-
2016/10/18
[Hol-info] AI Communications: Special Issue on Automated Reasoning
Geoff Sutcliffe
-
2016/10/17
Re: [Hol-info] Error Loading Theory in HOL Light
Adnan Rashid
-
2016/10/17
Re: [Hol-info] Foundations of Mathematics: Type Theory after Church's Simple Theory of Types (1940)
Ken Kubota
-
2016/10/17
Re: [Hol-info] Error Loading Theory in HOL Light
Cris Perdue
-
2016/10/17
Re: [Hol-info] Foundations of Mathematics: Type Theory after Church's Simple Theory of Types (1940)
Rob Arthan
-
2016/10/16
Re: [Hol-info] Evaluation in HOL-Light
John . Harrison
-
2016/10/16
Re: [Hol-info] Error Loading Theory in HOL Light
John . Harrison
-
2016/10/15
[Hol-info] Foundations of Mathematics: Type Theory after Church's Simple Theory of Types (1940)
Ken Kubota
-
2016/10/14
[Hol-info] ACM/SPEC ICPE 2017 - Call for Tutorial Proposals
Andrea Rosa
-
2016/10/06
[Hol-info] Evaluation in HOL-Light
Heiko Becker
-
2016/10/04
Re: [Hol-info] change of email address
Ramana Kumar
-
2016/10/04
[Hol-info] change of email address
Brian Graham
-
2016/10/04
[Hol-info] LATA 2017: 3rd call for papers
GRLMC
-
2016/09/30
[Hol-info] Helmut Veith Stipend
Georg Weissenbacher
-
2016/09/27
[Hol-info] Open Ph.D. position in Formal Methods for Information Security at ETH Zurich
Ralf Sasse
-
2016/09/26
[Hol-info] ACM/SPEC ICPE 2017 - Deadline Extension
Andrea Rosa
-
2016/09/23
[Hol-info] CFP, deadline Oct. 5: The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP'17)
Yves Bertot
-
2016/09/23
[Hol-info] TABLEAUX, FroCoS, ITP - Call for Workshops and Tutorials
Geoff Sutcliffe
-
2016/09/19
[Hol-info] Error Loading Theory in HOL Light
Adnan Rashid
-
2016/09/16
[Hol-info] TABLEAUX, FroCoS, ITP - Call for Workshops and Tutorials
Joao Marcos
-
2016/09/14
[Hol-info] Questions about Embedding VHDL
Dwi Teguh Priyantini
-
2016/09/14
[Hol-info] ACM/SPEC ICPE 2017 - 3rd Call for Papers
Andrea Rosa
-
2016/09/11
[Hol-info] Proof without the Axiom of Choice (was: Fwd: [Coq-Club] is the axiom of choice... ?)
Ken Kubota
-
2016/09/11
[Hol-info] LATA 2017: 2nd call for papers
GRLMC
-
2016/09/11
[Hol-info] GCAI 2016 - Call for Participation
Geoff Sutcliffe
-
2016/09/11
Re: [Hol-info] [Coq-Club] is the axiom of choice... ?
Ken Kubota
-
2016/09/05
[Hol-info] [CFP] RAMiCS 2017
Damien Pous
-
2016/09/04
[Hol-info] ICLP 2016 Call for Participation - Early Registration deadline Mon Sep 5, 2016
Peter Schüller
-
2016/09/04
[Hol-info] SETTA 2016 - Call for Participation - Symposium on Dependable Software Engineering Theories, Tools and Applications Beijing, China, Nov. 9-11, 2016
Nils Muellner
-
2016/09/02
[Hol-info] Practical considerations (automation) vs. "pure" logic (expressiveness/reducibility)
Ken Kubota
-
2016/08/26
[Hol-info] CFP NFM 2017: 9th NASA Formal Methods Symposium
Guy Katz
-
2016/08/19
[Hol-info] ACM/SPEC ICPE 2017 - 2nd Call for Papers
Andrea Rosa
-
2016/08/18
[Hol-info] Call for Participation: ICLP, New York City, Oct 16-21, 2016: International Conference on Logic Programming
Peter Schueller
-
2016/08/18
Re: [Hol-info] HOL documentation; epsilon vs. description operator (HOL vs. Q0)
Thomas Melham
-
2016/08/18
[Hol-info] HOL documentation; epsilon vs. description operator (HOL vs. Q0)
Ken Kubota
-
2016/08/17
[Hol-info] Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation
Pedro López García
-
2016/08/17
[Hol-info] CALL FOR PAPERS: Special Issue on Milestones in Interactive Theorem Proving
Lawrence Paulson
-
2016/08/15
[Hol-info] Literature on the type system of Isabelle/HOL; HOL documentation; non-logical axioms vs. definitions; epsilon vs. description operator (HOL vs. Q0); Rule R of Andrews' logic Q0
Ken Kubota
-
2016/08/11
Re: [Hol-info] Theory documentation outside of HOL
Michael.Norrish
-
2016/08/10
[Hol-info] Theory documentation outside of HOL
Corey Richardson
-
2016/08/09
Re: [Hol-info] [isabelle] Literature on the type system of Isabelle/HOL; text by Mike Gordon
Lawrence Paulson
-
2016/08/08
Re: [Hol-info] HOL4 on Mac OS X using the ML variant shipped with Isabelle
Michael.Norrish
-
2016/08/08
[Hol-info] HOL4 on Mac OS X using the ML variant shipped with Isabelle
Ken Kubota
-
2016/08/08
[Hol-info] Literature on the type system of Isabelle/HOL; text by Mike Gordon
Ken Kubota
-
2016/08/03
Re: [Hol-info] Emacs indentation for theory scripts
Michael.Norrish
-
2016/08/03
[Hol-info] Emacs indentation for theory scripts
Corey Richardson
-
2016/08/02
[Hol-info] ICLA 2017 Call for Papers
Geoff Sutcliffe
-
2016/07/29
[Hol-info] Call for Participation: ICLP, New York City: International Conference on Logic Programming, Oct 17-21, 2016
Peter Schueller
-
2016/07/29
[Hol-info] Postdoctoral position, concurrency reasoning, Imperial College London
Gardner, Philippa A
-
2016/07/27
Re: [Hol-info] Using pattern_matches's custom syntax
Michael.Norrish
-
2016/07/27
Re: [Hol-info] Using pattern_matches's custom syntax
Thomas Tuerk
-
2016/07/27
[Hol-info] Using pattern_matches's custom syntax
Armaël Guéneau
-
2016/07/27
[Hol-info] Managed Languages & Runtimes Week '16 - Call for Participation
Andrea Rosa
-
2016/07/24
Re: [Hol-info] EVAL(tac conv rule)
Michael.Norrish
-
2016/07/24
Re: [Hol-info] EVAL(tac conv rule)
hamed nemati
-
2016/07/23
Re: [Hol-info] EVAL(tac conv rule)
Michael.Norrish
-
2016/07/23
Re: [Hol-info] Questions about basic logic gates in HOL/HOL Light
Thomas Melham
-
2016/07/23
[Hol-info] FORMATS 2016 - Call for participation
Sebastian Gerwinn
-
2016/07/23
[Hol-info] EVAL(tac conv rule)
hamed nemati
-
2016/07/22
[Hol-info] Questions about basic logic gates in HOL/HOL Light
dwi.teguh51
-
2016/07/19
[Hol-info] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016
Peter Schueller
-
2016/07/15
[Hol-info] Call For Participation: WADT 2016
JAMES P. (366409)
-
2016/07/12
Re: [Hol-info] hol-info Digest, Vol 122, Issue 1
Abid Rauf
-
2016/07/07
[Hol-info] Corrections of and amendments to prior publications on Goedel's First Incompleteness Theorem; Russell O'Connor's definitions for its proof in Peter B. Andrews' logic Q0; Comparison of the proofs by O'Connor and Paulson
Ken Kubota
-
2016/07/07
[Hol-info] VTSA summer school
Stephan Merz
-
2016/07/06
Re: [Hol-info] Rewriting and Types in HOL-Light
Heiko Becker
-
2016/07/05
Re: [Hol-info] Rewriting and Types in HOL-Light
Marco Maggesi
-
2016/07/05
Re: [Hol-info] Rewriting and Types in HOL-Light
Petros Papapanagiotou
-
2016/07/05
[Hol-info] Rewriting and Types in HOL-Light
Heiko Becker
-
2016/07/04
Re: [Hol-info] Deriving Contradictions
Heiko Becker
-
2016/07/04
Re: [Hol-info] Deriving Contradictions
Petros Papapanagiotou
-
2016/07/04
Re: [Hol-info] Deriving Contradictions
Heiko Becker
-
2016/07/04
[Hol-info] Deriving Contradictions
Heiko Becker
-
2016/07/03
Re: [Hol-info] Type checking issue
Mark Adams
-
2016/07/02
Re: [Hol-info] Matrix Definition Query
John Harrison
-
2016/07/02
[Hol-info] Type checking issue
Abid Rauf
-
2016/06/30
[Hol-info] Matrix Definition Query
Abid Rauf
-
2016/06/30
Re: [Hol-info] A question about the definition of the function in HOL4
Ramana Kumar
-
2016/06/30
[Hol-info] A question about the definition of the function in HOL4
Ada
-
2016/06/29
[Hol-info] 3rd Call for Papers: Workshop on Trends and Applications of Answer Set Programming
Christoph Redl
-
2016/06/29
[Hol-info] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016
Peter Schueller
-
2016/06/29
Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions
Heiko Becker
-
2016/06/29
[Hol-info] 7th ITP Conference
Geoff Sutcliffe
-
2016/06/29
Re: [Hol-info] HOL-Light Beginner Questions
Heiko Becker
-
2016/06/29
[Hol-info] First Call for Papers: FSEN 2017
Marjan Sirjani
-
2016/06/28
Re: [Hol-info] Certificate issue
Ramana Kumar
-
2016/06/28
[Hol-info] Certificate issue
Peter Vincent Homeier
-
2016/06/27
[Hol-info] Postdoc positions at Nanyang Technological University
David Sanán
-
2016/06/26
Re: [Hol-info] TAKE_def and DROP_def should not be automatic rewrites
Michael Norrish
-
2016/06/26
[Hol-info] TAKE_def and DROP_def should not be automatic rewrites
Ramana Kumar
-
2016/06/25
Re: [Hol-info] About proof of a Theorem (Integrability of a Vector Function)
John Harrison
-
2016/06/22
[Hol-info] About proof of a Theorem (Integrability of a Vector Function)
Adnan Rashid
-
2016/06/22
Re: [Hol-info] A question about the theorem in HOL4?
Mark Adams
-
2016/06/22
Re: [Hol-info] A question about the theorem in HOL4?
Ramana Kumar
-
2016/06/22
[Hol-info] A question about the theorem in HOL4?
Ada
-
2016/06/21
Re: [Hol-info] How to show the function body in ML?
Konrad Slind
-
2016/06/21
[Hol-info] ITP 2016: Call for participation
Jasmin Blanchette
-
2016/06/21
Re: [Hol-info] How to show the function body in ML?
Thomas Tuerk
-
2016/06/21
[Hol-info] How to show the function body in ML?
Ada
-
2016/06/20
[Hol-info] Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lugano, Switzerland
Andrea Rosa
-
2016/06/17
Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions
Mark Adams
-
2016/06/17
Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions
Heiko Becker
-
2016/06/16
Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions
Mark Adams
-
2016/06/16
Re: [Hol-info] Fwd: Re: HOL-Light Beginner Questions
Petros Papapanagiotou
-
2016/06/16
[Hol-info] Fwd: Re: HOL-Light Beginner Questions
Heiko Becker
-
2016/06/15
Re: [Hol-info] HOL-Light Beginner Questions
Ramana Kumar
-
2016/06/15
[Hol-info] CFP extended deadline - 2nd Global Conference on Artificial Intelligence
Geoff Sutcliffe
-
2016/06/15
[Hol-info] Job offer: close-to-industry research position
Vincent Aravantinos
-
2016/06/15
[Hol-info] LOPSTR'16: Final Call for Papers and *Deadline Extension*
pedro.lopez
-
2016/06/15
[Hol-info] Call for Participation: CAV 2016, July 17-23, Toronto
Roopsha Samanta
-
2016/06/15
[Hol-info] PhD position at INRIA Grenoble on formal methods for testing
Wendelin Serwe
-
2016/06/15
[Hol-info] [Memocode] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'16)
Peter Csaba Ölveczky
-
2016/06/15
[Hol-info] HOL-Light Beginner Questions
Heiko Becker
-
2016/06/15
[Hol-info] ICPE 2017 - 1st Call for Papers
Andrea Rosa
-
2016/06/13
Re: [Hol-info] Is there a function that can produce random number in HOL4?
Thomas Tuerk
-
2016/06/13
[Hol-info] HOL Workshop 2016: Final call
Ramana Kumar
-
2016/06/13
[Hol-info] Is there a function that can produce random number in HOL4?
Ada
-
2016/06/09
Re: [Hol-info] Difficulty with higher order matching
Peter Vincent Homeier
-
2016/06/09
Re: [Hol-info] Difficulty with higher order matching
Michael Norrish
-
2016/06/09
Re: [Hol-info] Difficulty with higher order matching
Rob Arthan
-
2016/06/08
Re: [Hol-info] Difficulty with higher order matching
Ramana Kumar
-
2016/06/08
[Hol-info] Difficulty with higher order matching
Peter Vincent Homeier
-
2016/06/06
[Hol-info] WADT 2016 -- Extended Deadline
JAMES P. (366409)
-
2016/06/06
[Hol-info] CakeML postdoc opportunity
Scott Owens
-
2016/06/03
[Hol-info] MEMOCODE 2016: First Call for Papers
Elizabeth Leonard
-
2016/06/03
[Hol-info] LOPSTR 2016: 2nd Call for Papers
Pedro López García
-
2016/06/03
Re: [Hol-info] Process algebra CCS in HOL?
Michael Norrish
-
2016/06/03
[Hol-info] PPPJ 2016, Submission Deadline Extended to June 13 AoE
Andrea Rosa
-
2016/06/01
Re: [Hol-info] Opening theories without output
Magnus Myreen
-
2016/06/01
Re: [Hol-info] Opening theories without output
Michael Norrish
-
2016/06/01
Re: [Hol-info] Opening theories without output
Peter Vincent Homeier
-
2016/05/31
Re: [Hol-info] Opening theories without output
Michael Norrish
-
2016/05/31
Re: [Hol-info] Opening theories without output
Peter Vincent Homeier
-
2016/05/31
Re: [Hol-info] Opening theories without output
Anthony Fox
-
2016/05/31
[Hol-info] Opening theories without output
Peter Vincent Homeier
-
2016/05/31
[Hol-info] Query
Abid Rauf
-
2016/05/30
[Hol-info] [Springer JISA journal] CfP - Thematic Series on Verification and Composition for the Internet of Services and Things
alexander . perucci
-
2016/05/29
Re: [Hol-info] Google is not always your friend
Michael Norrish
-
2016/05/28
[Hol-info] Google is not always your friend
Rob Arthan
-
2016/05/28
[Hol-info] Overload Resolution
Abid Rauf
-
2016/05/27
Re: [Hol-info] Translating HOL4 function to SML
Waqar Ahmad
-
2016/05/27
Re: [Hol-info] Translating HOL4 function to SML
Anthony Fox
-
2016/05/26
Re: [Hol-info] Translating HOL4 function to SML
Michael Norrish
-
2016/05/26
[Hol-info] Translating HOL4 function to SML
Waqar Ahmad
-
2016/05/26
[Hol-info] (no subject)
Abid Rauf
-
2016/05/26
[Hol-info] help needed.
Abid Rauf
-
2016/05/26
[Hol-info] GraMSec'16 CALL FOR PARTICIPATION
Barbara Kordy
-
2016/05/25
[Hol-info] CFP Synasc 2016, Timisoara, Romania
Isabela Dramnesc
-
2016/05/25
[Hol-info] Call for papers: SERENE 2016, 5-6th September 2016, Gothenburg, Sweden
Alexander Romanovsky
-
2016/05/25
[Hol-info] CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems
Alexander Romanovsky
-
2016/05/24
[Hol-info] ThEdu at CICM'16 deadline approaching
Walther Neuper
-
2016/05/24
[Hol-info] Process algebra CCS in HOL?
Chun Tian (binghe)
-
2016/05/24
Re: [Hol-info] Problem installing HOL 4
Chun Tian (binghe)
-
2016/05/24
Re: [Hol-info] Problem installing HOL 4
Anthony Fox
-
2016/05/24
Re: [Hol-info] Problem installing HOL 4
Ramana Kumar
-
2016/05/24
Re: [Hol-info] Problem installing HOL 4
Chun Tian (binghe)
-
2016/05/23
Re: [Hol-info] Problem installing HOL 4
Thomas Tuerk
-
2016/05/23
Re: [Hol-info] Problem installing HOL 4
Michael Norrish
-
2016/05/23
[Hol-info] Problem installing HOL 4
Thomas Tuerk
-
2016/05/21
Re: [Hol-info] Need a Property in finding a proof
John Harrison
-
2016/05/21
[Hol-info] Need a Property in finding a proof
Ayesha Gauhar
-
2016/05/18
[Hol-info] HOL Workshop 2016: 2nd call for abstracts
Ramana Kumar
-
2016/05/16
Re: [Hol-info] types issue
mark
-
2016/05/16
[Hol-info] types issue
Asad Ahmed
-
2016/05/09
[Hol-info] ISABELLE WORKSHOP 2016: Call for Papers
Tobias Nipkow
-
2016/05/09
[Hol-info] Vampire Workshop CFP
Geoff Sutcliffe
-
2016/05/09
[Hol-info] Deadline extended for eduTPS at CADGME
Walther Neuper
-
2016/05/09
[Hol-info] Call to Vote on Bids to Host ITP 2017
Jasmin Blanchette
-
2016/05/09
[Hol-info] CFP: WADT 2016
JAMES P. (366409)
-
2016/05/06
[Hol-info] ThEdu CfP "Theorem Prover Components for Educational Software"
Walther Neuper
-
2016/05/05
[Hol-info] [fm-announcements] NFM 2016 - Call for participation
Havelund, Klaus (348B)
-
2016/05/05
[Hol-info] How to define the implementation of Counter by List
??????
-
2016/05/05
Re: [Hol-info] What is the advantage of HOL4?
Rob Arthan
-
2016/05/05
[Hol-info] Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016)
Serge Autexier
-
2016/05/03
Re: [Hol-info] What is the advantage of HOL4?
Ramana Kumar
-
2016/05/03
[Hol-info] What is the advantage of HOL4?
Ada
-
2016/05/01
[Hol-info] FMICS-AVoCS: 2 weeks deadline extension
Maurice ter Beek