Messages by Thread
-
-
[Hol-info] How to (automatically) change the names of quantified variables in a theorem?
Chun Tian (binghe)
-
[Hol-info] Term Concatenation
Dylan Melville
-
[Hol-info] Call for Papers Software Verification and Testing Track @ ACM SAC 2019
Matthias Güdemann
-
[Hol-info] ACTIONS@KR: LAST CALL FOR CONTRIBUTIONS
Fabio Patrizi
-
[Hol-info] Undefined references building “description.pdf”
Mario Xerxes Castelán Castro
-
[Hol-info] PhD Position on the formalization of automated reasoning in Isabelle/HOL
Jasmin Blanchette
-
[Hol-info] CPP 2019: Call for Papers
Magnus Myreen
-
[Hol-info] INST on a theorem
Dylan Melville
-
[Hol-info] PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving"
roberto . sebastiani
-
[Hol-info] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED **
ggelfond
-
[Hol-info] MESON
Dylan Melville
-
[Hol-info] Deadline Extension: Workshop in OCL and Textual Modeling (OCL 2018)
Achim D. Brucker
-
[Hol-info] ACTIONS@KR18: DEADLINE EXTENSION
Fabio Patrizi
-
[Hol-info] KR 2018 ** WORKSHOP DEADLINES EXTENDED **
Marcello Balduccini
-
[Hol-info] LPAR-22 Ethiopia - Call for Papers
geoff
-
[Hol-info] 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019
Matthias Güdemann
-
[Hol-info] Second Call for Papers: FSEN 2019
Maurice ter Beek
-
[Hol-info] PPDP 2018: Call for Participation
David Sabel
-
[Hol-info] Keyboard layout with symbols used in HOL4
Mario Xerxes Castelán Castro
-
[Hol-info] Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018)
Achim D. Brucker
-
[Hol-info] Mike Gordon bio
Lawrence Paulson
-
[Hol-info] Adding abstraction to terms
Dylan Melville
-
[Hol-info] Taking universal quantification off an assumption
Dylan Melville
-
[Hol-info] Strange tactic behavior HOL-k10 vs HOL-k12
Waqar Ahmad via hol-info
-
[Hol-info] The Principle of Mathematical Induction – Re: [Coq-Club] I don't believe Coinduction; Please help me grok it :)
Ken Kubota
-
[Hol-info] String of term with type information?
Yaqing Jiang
-
[Hol-info] Tactic
Dylan Melville
-
[Hol-info] Deadline Extension for ACL2 2018
Matt Kaufmann
-
[Hol-info] tacticoe
Chun Tian (binghe)
-
[Hol-info] Formalizing logical puzzles
Dylan Melville
-
[Hol-info] FLoC 2018 - Last Joint Call for Workshop Participation
Andrzej Murawski
-
[Hol-info] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial
Serge Autexier
-
[Hol-info] FLoC 2018 - Last Call for Participation
Andrzej Murawski
-
[Hol-info] Kananaskis-12 release of HOL4
Michael.Norrish
-
[Hol-info] CFP: One Month Until Left For Submitting to The Workshop in OCL and Textual Modeling (OCL 2018)
Achim D. Brucker
-
[Hol-info] [DEADLINE EXTENSION] Formal Verification of Physical Systems (FVPS 2018)
Umair Siddique
-
[Hol-info] WST 2018 - Call for Participation (July 18-19, 2018)
Salvador Lucas
-
[Hol-info] LPAR-22 in Ethiopia - Call for Papers and Workshops
geoff
-
[Hol-info] LOPSTR 2018: Second Round Final Call for Papers
Fred Mesnard
-
[Hol-info] ACL2 2018: Second Call for Papers
Matt Kaufmann
-
[Hol-info] 23rd International Conference on Engineering Complex Systems - Call for Papers
geoff
-
[Hol-info] Final CfP: FACS'18 (15th Int'l Conference on Formal Aspects of Component Software)
Peter Csaba Ölveczky
-
[Hol-info] VTSA 2018: call for applications
Stephan Merz
-
[Hol-info] The two characteristics of an antinomy: self-reference and negation
Ken Kubota
-
[Hol-info] big records
Ramana Kumar
-
[Hol-info] Loops in HOL4
尚亚龙
-
[Hol-info] Type Theory vs. Set Theory (HOL, Isabelle/HOL, Q0, and R0 vs. ZFC) – Re: [Metamath] [Coq-Club] A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument)
Ken Kubota
-
[Hol-info] POPL 2019 - Call for Workshops and Co-located Events
Michael Greenberg
-
[Hol-info] POPL 2019 Call for Papers
Michael Greenberg
-
[Hol-info] On equivalence of two definitions of PERMUTES
Chun Tian
-
[Hol-info] [2nd Call for Papers] Formal Verification of Physical Systems (FVPS 2018)
Umair Siddique
-
[Hol-info] INVERSE of function?
Chun Tian
-
[Hol-info] First Call for Papers: FSEN 2019
Maurice ter Beek
-
[Hol-info] CASC-J9 - the ATP System Competition
geoff
-
[Hol-info] LOPSTR 2018: Second Round Call for Papers
Fred Mesnard
-
[Hol-info] Reverse Function on LazyLists
Waqar Ahmad via hol-info
-
[Hol-info] HOL 4 Kananaskis 11 Installation Problem
Ashish Darbari
-
[Hol-info] FLoC 2018: Programme now live and accommodation booking fast
Andrzej Murawski
-
[Hol-info] Memorial scientific session for Mike Gordon at FLoC.
Thomas Melham
-
[Hol-info] Comparing two Linear Temporal Logic (LTL) formalizations in HOL4
Chun Tian
-
[Hol-info] Generated machine code of Poly/ML
Mario Xerxes Castelán Castro
-
[Hol-info] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018)
Umair Siddique
-
[Hol-info] WADT 2018 & Leverhulme School - New extension to abstract submission deadline!
WADT 2018
-
[Hol-info] Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018)
Achim D. Brucker
-
[Hol-info] Failure "new_definition: Type variables not reflected in constant".
Ayesha Gauhar via hol-info
-
[Hol-info] Final CfP CME-EI at CICM
Walther Neuper
-
[Hol-info] Extension of Co-algebraic Datatype
Waqar Ahmad via hol-info
-
[Hol-info] CfP: Formal Aspects of Component Software (FACS'18)
Peter Csaba Ölveczky
-
[Hol-info] [Vardi-list] FLoC 2018 - Call for Participation
Moshe Vardi
-
[Hol-info] Second round call for papers: LOPSTR 2018
Peter James Stuckey
-
[Hol-info] FMICS Call for Papers
HaoWu
-
[Hol-info] CFP: 9th International Summer School on Information Security and Protection
Michael.Norrish
-
[Hol-info] PhD studentship on the CakeML project (University of Kent)
Scott Owens
-
[Hol-info] WADT 2018 - Extension to abstract submission deadline!
WADT 2018
-
[Hol-info] 2nd CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam
Summers Alexander John
-
[Hol-info] PPDP 2018: Deadline Extension!
David Sabel
-
[Hol-info] WST 2018 - Last Call for Papers (deadline: April 30, 2018)
Salvador Lucas
-
[Hol-info] ATVA 2018 Call for Paper
Meng Wu
-
[Hol-info] modelling sequential devices in higher-order logic
Lawrence Paulson
-
[Hol-info] CASC-J9 - the ATP System Competition - Call for Systems
geoff
-
[Hol-info] IJCAR 2018: Woody Bledsoe Student Travel Awards - Call for Applications
geoff
-
[Hol-info] CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: April 30, 2018
Giuseppe Nicosia
-
[Hol-info] FLoC 2018 - Call for Participation
Andrzej Murawski
-
[Hol-info] 2 MONTHS LEFT: KR 2018 Doctoral Consortium Call for Papers
Marcello Balduccini
-
[Hol-info] WADT 2018 - 3rd Call for Papers & Leverhulme School
WADT 2018
-
[Hol-info] KR 2018 Call for Papers ** WORKSHOPS AND TUTORIALS ANNOUNCED **
Marcello Balduccini
-
[Hol-info] Fwd: FOCLASA 2018 - last CFP, deadlines extended
Jacopo
-
[Hol-info] Poly/ML debugging facility does not work in HOL4
Mario Xerxes Castelán Castro
-
[Hol-info] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers)
Serge Autexier
-
[Hol-info] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis
German Vidal