Messages by Date
-
2017/02/07
[Hol-info] Research officer in theoretical foundations of cyber security at Swansea University
Markus Roggenbach
-
2017/02/07
[Hol-info] LATA 2017: call for participation
GRLMC
-
2017/02/06
Re: [Hol-info] How to correctly define a binder (as pretty printer)?
Michael.Norrish
-
2017/02/06
[Hol-info] How to correctly define a binder (as pretty printer)?
Chun Tian (binghe)
-
2017/02/06
[Hol-info] WiL 2017: Women in Logic Workshop Second Call for Papers (new dates)
Amy Felty
-
2017/02/05
[Hol-info] On the natural language of formal logic and mathematics - Re: [Coq-Club] Henkin's paper "Completeness in the Theory of Types" (1950); Ramsey (and Chwistek)
Ken Kubota
-
2017/02/04
[Hol-info] CALCO 2017: Second Call for Papers
Fabio Zanasi
-
2017/02/03
[Hol-info] TbILLC 2017: 1st Call for Papers
Alexandra Silva
-
2017/02/02
[Hol-info] Open PhD position in Pesto team at Inria Nancy - Grand Est
Steve Kremer
-
2017/02/02
[Hol-info] IWIL 2017 with LPAR-21 in Botswana - Call for Papers
Geoff Sutcliffe
-
2017/02/02
[Hol-info] CfPart: FSEN 2017
Marjan Sirjani
-
2017/01/30
[Hol-info] Final CFP with Deadline Extension: LPNMR - International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017
Peter Schüller
-
2017/01/30
[Hol-info] Automated Formal Methods (AFM) 2017 Call for papers
Sam Owre
-
2017/01/29
[Hol-info] FroCoS 2017 - 2nd Call for Papers
Geoff Sutcliffe
-
2017/01/29
[Hol-info] CfP FMCAD 2017 - Formal Methods in Computer Aided Design
no-reply
-
2017/01/29
[Hol-info] ITP 2017 - 2nd Call for Papers
Geoff Sutcliffe
-
2017/01/29
[Hol-info] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017
Peter Schüller
-
2017/01/29
[Hol-info] ITP 2017 - Second Call for Papers
Cláudia Nalon
-
2017/01/29
[Hol-info] [fm-announcements] SPIN 2017 - final call for papers, deadline Feb 10
Havelund, Klaus (348B)
-
2017/01/29
[Hol-info] FroCoS 2017 - Second Call for Papers
Cláudia Nalon
-
2017/01/27
Re: [Hol-info] deactivate newline-and-indent for sml-mode
Heiko Becker
-
2017/01/27
Re: [Hol-info] deactivate newline-and-indent for sml-mode
Thomas Tuerk
-
2017/01/26
Re: [Hol-info] deactivate newline-and-indent for sml-mode
Chun Tian (binghe)
-
2017/01/26
Re: [Hol-info] deactivate newline-and-indent for sml-mode
Heiko Becker
-
2017/01/26
Re: [Hol-info] deactivate newline-and-indent for sml-mode
Thomas Tuerk
-
2017/01/26
[Hol-info] deactivate newline-and-indent for sml-mode
Heiko Becker
-
2017/01/24
[Hol-info] First Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017
Serge Autexier
-
2017/01/22
Re: [Hol-info] How to convert an EQ theorem to IMP theorem?
Chun Tian (binghe)
-
2017/01/22
Re: [Hol-info] Process algebra CCS in HOL?
Chun Tian (binghe)
-
2017/01/22
Re: [Hol-info] Process algebra CCS in HOL?
Michael.Norrish
-
2017/01/22
[Hol-info] How to convert an EQ theorem to IMP theorem?
Chun Tian (binghe)
-
2017/01/22
Re: [Hol-info] Process algebra CCS in HOL?
Chun Tian (binghe)
-
2017/01/22
Re: [Hol-info] Difficulties when migrating proof scripts from Coq
Chun Tian (binghe)
-
2017/01/21
Re: [Hol-info] Difficulties when migrating proof scripts from Coq
Jeremy Dawson
-
2017/01/20
Re: [Hol-info] How to prove this theorem about relations?
Michael.Norrish
-
2017/01/20
[Hol-info] ICLP 2017 - Call for Workshop Proposals
Enrico Pontelli
-
2017/01/20
[Hol-info] 2nd CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment
Marco Bozzano
-
2017/01/20
[Hol-info] CAV 2017 Award
mikael . mayer
-
2017/01/20
[Hol-info] CAV 2017: Call for Papers
mikael . mayer
-
2017/01/20
[Hol-info] JAR Special Issue on Automated Reasoning Systems
Geoff Sutcliffe
-
2017/01/20
[Hol-info] DL 2017, Call for Papers
Geoff Sutcliffe
-
2017/01/20
[Hol-info] FMCAD 2017 - Call for Papers
Geoff Sutcliffe
-
2017/01/20
Re: [Hol-info] How to transform an assumption without touching the goal?
Chun Tian (binghe)
-
2017/01/20
Re: [Hol-info] How to transform an assumption without touching the goal?
Ramana Kumar
-
2017/01/20
[Hol-info] How to transform an assumption without touching the goal?
Chun Tian (binghe)
-
2017/01/20
Re: [Hol-info] How to prove this theorem about relations?
Chun Tian (binghe)
-
2017/01/20
Re: [Hol-info] How to prove this theorem about relations?
Scott Owens
-
2017/01/20
Re: [Hol-info] How to prove this theorem about relations?
Chun Tian (binghe)
-
2017/01/20
Re: [Hol-info] How to prove this theorem about relations?
Jeremy Dawson
-
2017/01/20
Re: [Hol-info] How to prove this theorem about relations?
Chun Tian (binghe)
-
2017/01/20
Re: [Hol-info] How to prove this theorem about relations?
Chun Tian (binghe)
-
2017/01/18
Re: [Hol-info] How to prove this theorem about relations?
Michael.Norrish
-
2017/01/18
Re: [Hol-info] How to prove this theorem about relations?
Michael.Norrish
-
2017/01/18
Re: [Hol-info] How to prove this theorem about relations?
Chun Tian (binghe)
-
2017/01/18
[Hol-info] CfP: FMCAD 2017 - Formal Methods in Computer Aided Design
Georg Weissenbacher
-
2017/01/18
Re: [Hol-info] How to prove this theorem about relations?
Thomas Tuerk
-
2017/01/18
Re: [Hol-info] How to prove this theorem about relations?
Chun Tian (binghe)
-
2017/01/18
Re: [Hol-info] How to prove this theorem about relations?
Thomas Tuerk
-
2017/01/18
[Hol-info] Curry-Howard isomorphism - Re: [Coq-Club] Henkin's paper "Completeness in the Theory of Types" (1950); Ramsey (and Chwistek)
Ken Kubota
-
2017/01/18
Re: [Hol-info] How to prove this theorem about relations?
Chun Tian (binghe)
-
2017/01/18
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Chun Tian (binghe)
-
2017/01/18
Re: [Hol-info] How to prove this theorem about relations?
Thomas Tuerk
-
2017/01/18
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Makarius
-
2017/01/18
[Hol-info] How to prove this theorem about relations?
Chun Tian (binghe)
-
2017/01/17
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Michael.Norrish
-
2017/01/17
[Hol-info] DICE-FOPARA 2017: Call for Papers
Georg Moser
-
2017/01/17
[Hol-info] [fm-announcements] RV'17 - First call for papers and tutorials
Havelund, Klaus (348B)
-
2017/01/17
[Hol-info] SEFM 2017: Call for Workshops
Marco Roveri
-
2017/01/17
[Hol-info] CADE-26 Call for Papers
Geoff Sutcliffe
-
2017/01/17
[Hol-info] TABLEAUX 2017 - 2nd Call for Papers
Geoff Sutcliffe
-
2017/01/17
[Hol-info] TABLEAUX 2017 - Second Call for Papers
Cláudia Nalon
-
2017/01/17
[Hol-info] ACL2 2017 Submission Deadline Extension
Warren A. Hunt Jr.
-
2017/01/17
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Chun Tian (binghe)
-
2017/01/17
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Chun Tian (binghe)
-
2017/01/16
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Michael.Norrish
-
2017/01/16
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Konrad Slind
-
2017/01/16
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Michael.Norrish
-
2017/01/16
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Michael.Norrish
-
2017/01/16
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Konrad Slind
-
2017/01/16
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Thomas Tuerk
-
2017/01/16
Re: [Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Chun Tian (binghe)
-
2017/01/16
[Hol-info] PAT_ASSUM doesn't remove the assumption now? (and a theorem cannot be proved in K11 any more)
Chun Tian (binghe)
-
2017/01/12
Re: [Hol-info] Difficulties when migrating proof scripts from Coq
Chun Tian (binghe)
-
2017/01/12
[Hol-info] [fm-announcements] SPIN 2017 in Santa Barbara, CA, USA - 1 month from the paper submission deadline
Havelund, Klaus (348B)
-
2017/01/12
[Hol-info] LPAR-21 extended deadlines
Geoff Sutcliffe
-
2017/01/12
[Hol-info] MFPS 33: first call for papers
Alexandra Silva
-
2017/01/12
[Hol-info] First School on Foundations of Programming and Software systems -- Probabilistic programming
Renato Neves
-
2017/01/12
[Hol-info] CfP: MARS 2017 - Models for Formal Analysis of Real Systems [deadline extended]
Peter.Hoefner
-
2017/01/12
Re: [Hol-info] Difficulties when migrating proof scripts from Coq
Yong Kiam
-
2017/01/12
[Hol-info] Difficulties when migrating proof scripts from Coq
Chun Tian (binghe)
-
2017/01/12
[Hol-info] Postdoc in SDN verification and security at Edinburgh
David Aspinall
-
2017/01/11
[Hol-info] WOSP-C'17 @ ACM/SPEC ICPE'17 - Call for Papers - Deadline extended
Andrea Rosa
-
2017/01/03
[Hol-info] Special issue of AI Communications on Automated Reasoning
Geoff Sutcliffe
-
2017/01/03
[Hol-info] ACL2 2017 Call for Papers
Warren A. Hunt Jr.
-
2017/01/03
Re: [Hol-info] Recent inconsistency in HOL/Isabelle a matter of an (unresolved) dependency; the LCF approach in HOL/Isabelle and other HOL systems (Re: [isabelle] [isabelle-dev] Circular reasoning via multithreading seems too easy)
Thomas Melham
-
2017/01/02
[Hol-info] DeepLearn 2017: early registration January 27
GRLMC
-
2017/01/01
[Hol-info] Recent inconsistency in HOL/Isabelle a matter of an (unresolved) dependency; the LCF approach in HOL/Isabelle and other HOL systems (Re: [isabelle] [isabelle-dev] Circular reasoning via multithreading seems too easy)
Ken Kubota
-
2017/01/01
[Hol-info] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017
Peter Schüller
-
2016/12/23
[Hol-info] ACM/SPEC ICPE 2017 - Deadline Extension - Call for Posters and Demonstrations
Andrea Rosa
-
2016/12/21
[Hol-info] CfP: Models for Formal Analysis of Real Systems (MARS 2017)
Peter.Hoefner
-
2016/12/20
[Hol-info] Postdoc position in provably secure systems
Roberto Guanciale
-
2016/12/18
[Hol-info] Final Call for Workshop Proposals: International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, July 3-6, 2017
Peter Schüller
-
2016/12/14
[Hol-info] LPAR-21 in Botswana - CFP
Geoff Sutcliffe
-
2016/12/13
[Hol-info] QUse.use and exceptions
Ramana Kumar
-
2016/12/13
[Hol-info] ACM/SPEC ICPE 2017 - Call for Posters and Demonstrations
Andrea Rosa
-
2016/12/12
Re: [Hol-info] [Coq-Club] Henkin's paper "Completeness in the Theory of Types" (1950); Ramsey (and Chwistek)
Hugo Herbelin
-
2016/12/12
[Hol-info] CALCO 2017: First Call for Papers
Fabio Zanasi
-
2016/12/12
[Hol-info] [fm-announcements] SPIN 2017 - 2nd Call for Papers *Paper Submission: February 10, 2017*
Havelund, Klaus (348B)
-
2016/12/12
[Hol-info] ACSD 2017: Call-for-Papers
Klaus Schneider
-
2016/12/11
[Hol-info] PhD positions on the AI4REASON project in Prague
Josef Urban
-
2016/12/07
[Hol-info] SAFECOMP17 Call for Papers
Stefano Tonetta
-
2016/12/07
[Hol-info] Call for Participation: Practical Aspects of Declarative Languages (PADL) Paris, France, January 16/17, 2017
Peter Schüller
-
2016/12/07
[Hol-info] 2017 ACL2 Workshop Call for Paper
Warren A. Hunt Jr.
-
2016/12/06
[Hol-info] Similar trouble building HOL Light's pa_j.ml
Geoffrey Irving
-
2016/12/06
Re: [Hol-info] Similar trouble building HOL Light's pa_j.ml
Geoffrey Irving
-
2016/12/06
Re: [Hol-info] Similar trouble building HOL Light's pa_j.ml
Rob Arthan
-
2016/12/04
[Hol-info] Call for Workshop Proposals: International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, July 3-6, 2017
Peter Schüller
-
2016/12/04
[Hol-info] PostDoc Positions on Planning and Scheduling in the Embedded System Research Unit
Marco Roveri
-
2016/12/04
[Hol-info] 1st CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment
Marco Bozzano
-
2016/12/04
[Hol-info] WiL 2017: Women in Logic Workshop Call for Papers
Amy Felty
-
2016/12/04
[Hol-info] Henkin's paper "Completeness in the Theory of Types" (1950); Ramsey (and Chwistek)
Ken Kubota
-
2016/11/27
[Hol-info] Call for Participation - Hardware Design Contest Sponsored by ACM SIGDA
Bei Yu
-
2016/11/27
[Hol-info] CfP RAMICS 2017 deadline extension
Peter.Hoefner
-
2016/11/27
[Hol-info] LPAR-21 in Botswana - Call for Papeprs
Geoff Sutcliffe
-
2016/11/17
[Hol-info] CAV 2017 Call for Workshop proposals
Mikaël Mayer
-
2016/11/16
Re: [Hol-info] Proving a trivial goal
Ramana Kumar
-
2016/11/16
Re: [Hol-info] Proving a trivial goal
Johannes Åman Pohjola
-
2016/11/16
[Hol-info] Proving a trivial goal
Scott Owens
-
2016/11/11
[Hol-info] ACM/SPEC ICPE 2017 - Call for Work in Progress and Vision Papers
Andrea Rosa
-
2016/11/10
[Hol-info] 2nd CFP, NFM 2017: 9th NASA Formal Methods Symposium
Guy Katz
-
2016/11/04
[Hol-info] John's historical survey including Thomas Hales' proof, Dependent types in PVS
Ken Kubota
-
2016/11/03
[Hol-info] TABLEAUX/FroCoS/ITP Call for Papers
Geoff Sutcliffe
-
2016/11/03
[Hol-info] [CFP] RAMiCS 2017
Damien Pous
-
2016/11/03
[Hol-info] CADE-26 Call for Workshops, Tutorials, System Competition, and Papers
Geoff Sutcliffe
-
2016/11/03
[Hol-info] [fm-announcements] SPIN 2017 - Call for papers
Havelund, Klaus (348B)
-
2016/11/03
[Hol-info] CfP: MARS 2017 - Models for Formal Analysis of Real Systems
Peter.Hoefner
-
2016/11/01
Re: [Hol-info] Type quantifiers, definability of logical constants/quantifiers/connectives, equality, group theory (expressiveness with type abstraction)
Thomas Melham
-
2016/11/01
[Hol-info] Type quantifiers, definability of logical constants/quantifiers/connectives, equality, group theory (expressiveness with type abstraction)
Ken Kubota
-
2016/10/30
[Hol-info] Using HolyHammer
Ramana Kumar
-
2016/10/25
Re: [Hol-info] conservativity of HOL constant and type definitions
Andrei Popescu
-
2016/10/25
Re: [Hol-info] conservativity of HOL constant and type definitions
Ramana Kumar
-
2016/10/24
[Hol-info] The definitional principles of HOL and equivalent mechanisms in Q0/R0
Ken Kubota
-
2016/10/24
Re: [Hol-info] conservativity of HOL constant and type definitions
Andrei Popescu
-
2016/10/24
Re: [Hol-info] conservativity of HOL constant and type definitions
Ondřej Kunčar
-
2016/10/24
Re: [Hol-info] conservativity of HOL constant and type definitions
Ondřej Kunčar
-
2016/10/24
Re: [Hol-info] conservativity of HOL constant and type definitions
Ondřej Kunčar
-
2016/10/24
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/24
[Hol-info] TPTP and Automated Reasoning
Geoff Sutcliffe
-
2016/10/24
Re: [Hol-info] conservativity of HOL constant and type definitions
Rob Arthan
-
2016/10/24
Re: [Hol-info] conservativity of HOL constant and type definitions
Rob Arthan
-
2016/10/24
[Hol-info] conservativity of HOL constant and type definitions
Andrei Popescu
-
2016/10/23
[Hol-info] The HOL family, HOL Light, Q0, and type abstraction
Ken Kubota
-
2016/10/23
Re: [Hol-info] The HOL family, HOL Light, Q0, and type abstraction
John . Harrison
-
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/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