Messages by Thread
-
[Hol-info] Helmut Veith Stipend
Georg Weissenbacher
-
[Hol-info] Open Ph.D. position in Formal Methods for Information Security at ETH Zurich
Ralf Sasse
-
[Hol-info] ACM/SPEC ICPE 2017 - Deadline Extension
Andrea Rosa
-
[Hol-info] CFP, deadline Oct. 5: The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP'17)
Yves Bertot
-
[Hol-info] Error Loading Theory in HOL Light
Adnan Rashid
-
[Hol-info] TABLEAUX, FroCoS, ITP - Call for Workshops and Tutorials
Joao Marcos
-
[Hol-info] Questions about Embedding VHDL
Dwi Teguh Priyantini
-
[Hol-info] ACM/SPEC ICPE 2017 - 3rd Call for Papers
Andrea Rosa
-
[Hol-info] LATA 2017: 2nd call for papers
GRLMC
-
[Hol-info] GCAI 2016 - Call for Participation
Geoff Sutcliffe
-
Re: [Hol-info] [Coq-Club] is the axiom of choice... ?
Ken Kubota
-
[Hol-info] [CFP] RAMiCS 2017
Damien Pous
-
[Hol-info] ICLP 2016 Call for Participation - Early Registration deadline Mon Sep 5, 2016
Peter Schüller
-
[Hol-info] SETTA 2016 - Call for Participation - Symposium on Dependable Software Engineering Theories, Tools and Applications Beijing, China, Nov. 9-11, 2016
Nils Muellner
-
[Hol-info] Practical considerations (automation) vs. "pure" logic (expressiveness/reducibility)
Ken Kubota
-
[Hol-info] CFP NFM 2017: 9th NASA Formal Methods Symposium
Guy Katz
-
[Hol-info] ACM/SPEC ICPE 2017 - 2nd Call for Papers
Andrea Rosa
-
[Hol-info] Call for Participation: ICLP, New York City, Oct 16-21, 2016: International Conference on Logic Programming
Peter Schueller
-
[Hol-info] Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation
Pedro López García
-
[Hol-info] CALL FOR PAPERS: Special Issue on Milestones in Interactive Theorem Proving
Lawrence Paulson
-
[Hol-info] Theory documentation outside of HOL
Corey Richardson
-
[Hol-info] HOL4 on Mac OS X using the ML variant shipped with Isabelle
Ken Kubota
-
[Hol-info] Literature on the type system of Isabelle/HOL; text by Mike Gordon
Ken Kubota
-
[Hol-info] Emacs indentation for theory scripts
Corey Richardson
-
[Hol-info] ICLA 2017 Call for Papers
Geoff Sutcliffe
-
[Hol-info] Call for Participation: ICLP, New York City: International Conference on Logic Programming, Oct 17-21, 2016
Peter Schueller
-
[Hol-info] Postdoctoral position, concurrency reasoning, Imperial College London
Gardner, Philippa A
-
[Hol-info] Using pattern_matches's custom syntax
Armaël Guéneau
-
[Hol-info] Managed Languages & Runtimes Week '16 - Call for Participation
Andrea Rosa
-
[Hol-info] FORMATS 2016 - Call for participation
Sebastian Gerwinn
-
[Hol-info] EVAL(tac conv rule)
hamed nemati
-
[Hol-info] Questions about basic logic gates in HOL/HOL Light
dwi.teguh51
-
[Hol-info] Call For Participation: WADT 2016
JAMES P. (366409)
-
Re: [Hol-info] hol-info Digest, Vol 122, Issue 1
Abid Rauf
-
[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
-
[Hol-info] VTSA summer school
Stephan Merz
-
[Hol-info] Rewriting and Types in HOL-Light
Heiko Becker
-
[Hol-info] Deriving Contradictions
Heiko Becker
-
[Hol-info] Type checking issue
Abid Rauf
-
[Hol-info] Matrix Definition Query
Abid Rauf
-
[Hol-info] A question about the definition of the function in HOL4
Ada
-
[Hol-info] 3rd Call for Papers: Workshop on Trends and Applications of Answer Set Programming
Christoph Redl
-
[Hol-info] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016
Peter Schueller
-
[Hol-info] 7th ITP Conference
Geoff Sutcliffe
-
[Hol-info] First Call for Papers: FSEN 2017
Marjan Sirjani
-
[Hol-info] Certificate issue
Peter Vincent Homeier
-
[Hol-info] Postdoc positions at Nanyang Technological University
David Sanán
-
[Hol-info] TAKE_def and DROP_def should not be automatic rewrites
Ramana Kumar
-
[Hol-info] About proof of a Theorem (Integrability of a Vector Function)
Adnan Rashid
-
[Hol-info] A question about the theorem in HOL4?
Ada
-
[Hol-info] ITP 2016: Call for participation
Jasmin Blanchette
-
[Hol-info] How to show the function body in ML?
Ada
-
[Hol-info] Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lugano, Switzerland
Andrea Rosa
-
[Hol-info] CFP extended deadline - 2nd Global Conference on Artificial Intelligence
Geoff Sutcliffe
-
[Hol-info] Job offer: close-to-industry research position
Vincent Aravantinos
-
[Hol-info] LOPSTR'16: Final Call for Papers and *Deadline Extension*
pedro.lopez
-
[Hol-info] Call for Participation: CAV 2016, July 17-23, Toronto
Roopsha Samanta
-
[Hol-info] PhD position at INRIA Grenoble on formal methods for testing
Wendelin Serwe
-
[Hol-info] [Memocode] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'16)
Peter Csaba Ölveczky
-
[Hol-info] HOL-Light Beginner Questions
Heiko Becker
-
[Hol-info] ICPE 2017 - 1st Call for Papers
Andrea Rosa
-
[Hol-info] HOL Workshop 2016: Final call
Ramana Kumar
-
[Hol-info] Is there a function that can produce random number in HOL4?
Ada
-
[Hol-info] Difficulty with higher order matching
Peter Vincent Homeier
-
[Hol-info] WADT 2016 -- Extended Deadline
JAMES P. (366409)
-
[Hol-info] CakeML postdoc opportunity
Scott Owens
-
[Hol-info] MEMOCODE 2016: First Call for Papers
Elizabeth Leonard
-
[Hol-info] LOPSTR 2016: 2nd Call for Papers
Pedro López García
-
[Hol-info] PPPJ 2016, Submission Deadline Extended to June 13 AoE
Andrea Rosa
-
[Hol-info] Opening theories without output
Peter Vincent Homeier
-
[Hol-info] Query
Abid Rauf
-
[Hol-info] [Springer JISA journal] CfP - Thematic Series on Verification and Composition for the Internet of Services and Things
alexander . perucci
-
[Hol-info] Google is not always your friend
Rob Arthan
-
[Hol-info] Overload Resolution
Abid Rauf
-
[Hol-info] Translating HOL4 function to SML
Waqar Ahmad
-
[Hol-info] (no subject)
Abid Rauf
-
[Hol-info] help needed.
Abid Rauf
-
[Hol-info] GraMSec'16 CALL FOR PARTICIPATION
Barbara Kordy
-
[Hol-info] CFP Synasc 2016, Timisoara, Romania
Isabela Dramnesc
-
[Hol-info] Call for papers: SERENE 2016, 5-6th September 2016, Gothenburg, Sweden
Alexander Romanovsky
-
[Hol-info] CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems
Alexander Romanovsky
-
[Hol-info] ThEdu at CICM'16 deadline approaching
Walther Neuper
-
[Hol-info] Process algebra CCS in HOL?
Chun Tian (binghe)
-
[Hol-info] Problem installing HOL 4
Thomas Tuerk
-
[Hol-info] Need a Property in finding a proof
Ayesha Gauhar
-
[Hol-info] HOL Workshop 2016: 2nd call for abstracts
Ramana Kumar
-
[Hol-info] types issue
Asad Ahmed
-
[Hol-info] ISABELLE WORKSHOP 2016: Call for Papers
Tobias Nipkow
-
[Hol-info] Vampire Workshop CFP
Geoff Sutcliffe
-
[Hol-info] Deadline extended for eduTPS at CADGME
Walther Neuper
-
[Hol-info] Call to Vote on Bids to Host ITP 2017
Jasmin Blanchette
-
[Hol-info] CFP: WADT 2016
JAMES P. (366409)
-
[Hol-info] ThEdu CfP "Theorem Prover Components for Educational Software"
Walther Neuper
-
[Hol-info] [fm-announcements] NFM 2016 - Call for participation
Havelund, Klaus (348B)
-
[Hol-info] How to define the implementation of Counter by List
??????
-
[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
-
[Hol-info] What is the advantage of HOL4?
Ada
-
[Hol-info] FMICS-AVoCS: 2 weeks deadline extension
Maurice ter Beek
-
[Hol-info] LOPSTR 2016 Call for Papers
Manuel Hermenegildo
-
[Hol-info] CFP Dependable Software Engineering (SETTA)
Nils Muellner
-
[Hol-info] ICTAC 2016 - Paper submission closes on 9th of May 2016!
Martin Leucker
-
[Hol-info] CFA: HCCV 2016 - Workshop on High-Consequence Control Verification
Mayo, Jackson
-
[Hol-info] ISSRE 2016 - Call for Submissions
Alexander Romanovsky
-
[Hol-info] PAAR 2016 - Extended Deadline
Geoff Sutcliffe
-
[Hol-info] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Lin, Yuhui
-
[Hol-info] SUBMISSION DEADLINE EXTENSION - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal
alexander . perucci
-
[Hol-info] CFP FTSCS 2016: FTSCS 2016 5th International Workshop on Formal Techniques for Safety-Critical Systems, Tokyo, November 14/15, 2016
Osman Hasan
-
[Hol-info] PhD position in Formal Modelling and Verification for High Assurance
Roberto Guanciale
-
[Hol-info] Final CFP and Deadline Extension ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21
Peter Schueller
-
[Hol-info] Ph.D. Position in Security Modeling at IRISA in Rennes, France
Barbara Kordy
-
[Hol-info] Last CfP "Justifying (in) Math" at CADGME 2016
Walther Neuper
-
[Hol-info] ADG 2016 : deadline extended until Mai 2
Julien Narboux
-
[Hol-info] DEADLINE APPROACHING - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal
alexander . perucci
-
[Hol-info] FORMATS 2016 - Deadline extension
Sebastian Gerwinn
-
[Hol-info] CFP: The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP'17)
Yves Bertot
-
[Hol-info] JTRES 2016 Call for Papers
Andrea Rosa
-
[Hol-info] Verification Mentoring Workshop - Travel Scholarships
Geoff Sutcliffe
-
[Hol-info] Managed Languages Conference: PPPJ 2016 Call for Papers
Andrea Rosa
-
[Hol-info] Graphical Models for Security (GraMSec'16) - deadline extended until April 24
Barbara Kordy
-
[Hol-info] VSTTE 2016 -- Call for papers
Temesghen Kahsai
-
[Hol-info] CfP: ICTAC 2016 - NEWS: Special Issue, Award, Deadline
Martin Leucker