hol-info  

Messages by Thread

• [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
• [Hol-info] SR 2016 - Extended Deadline and Last Call for Contributions aniello murano
• [Hol-info] GCAI 2016 - CFP Geoff Sutcliffe
• [Hol-info] "Justifying (in) Math" at CADGME 2016 Walther Neuper
• [Hol-info] FORMATS 2016 - Last Call for Papers Sebastian Gerwinn
• [Hol-info] Verification Mentoring Workshop 2016: CALL for Applications for Student Travel Scholarships Roopsha Samanta
• [Hol-info] Verification Meetings in London, Apr 4th-7th Petar Maksimovic
• [Hol-info] [VeryComp 2016] - 2nd CfP and Dedicated Thematic Series on Springer JISA Journal alexander . perucci
• [Hol-info] Second Call For Workshop Proposals: 32nd International Conference on Logic Programming (ICLP 2016) Peter Schueller
• [Hol-info] Deadline Extended: HCCV 2016 - Workshop on High-Consequence Control Verification Mayo, Jackson
• [Hol-info] xSAP 1.1.0 has been released Marco Bozzano
• [Hol-info] ADG 2016 2nd CFP - Automated Deduction in Geometry, Strasbourg, June, 27-29 Julien Narboux
• [Hol-info] A question about specialization in HOL4 Ada
  • Re: [Hol-info] A question about specialization in HOL4 Thomas Tuerk
• [Hol-info] IJCAR 2016 Workshop - Call for Position Statements Leo Freitas
• [Hol-info] [cfp] 14th IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2016) Umair Siddique
• [Hol-info] Instantiating existentials under existentials Magnus Myreen
  • Re: [Hol-info] Instantiating existentials under existentials Ramana Kumar
  • Re: [Hol-info] Instantiating existentials under existentials Ramana Kumar
  • Re: [Hol-info] Instantiating existentials under existentials Yong Kiam
  • Re: [Hol-info] Instantiating existentials under existentials Thomas Tuerk
• [Hol-info] Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th Serge Autexier
• [Hol-info] CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics Geoff Sutcliffe
• [Hol-info] Final CFP: 4th International Workshop on Strategic Reasoning (SR 2016) Nello Murano
• [Hol-info] A question about adding an assumption with "by" Ada
• [Hol-info] PhD and Post-Doc positions at Chalmers Magnus Myreen
• [Hol-info] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
  • [Hol-info] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
• [Hol-info] A question about a proof with TAKE and DROP? Ada
  • Re: [Hol-info] A question about a proof with TAKE and DROP? Ramana Kumar
  • Re: [Hol-info] A question about a proof with TAKE and DROP? Ramana Kumar
• [Hol-info] Call For Workshop Proposals: 32nd International Conference on Logic Programming (ICLP 2016) Peter Schueller
• [Hol-info] CMCS 2016: Last Call for Participation (with Programme) fabio . zanasi
• [Hol-info] [fm-announcements] [RV 2016] Second Call for Papers -- 2 months to the deadline Havelund, Klaus (349F)
• [Hol-info] Singletons belong to Borel sets Muhammad Qasim
  • Re: [Hol-info] Singletons belong to Borel sets Ramana Kumar
  • Re: [Hol-info] Singletons belong to Borel sets Muhammad Qasim
• [Hol-info] Call for Bids to Host ITP 2017 Jasmin Blanchette
• [Hol-info] CFP - 5th Workshop on Practical Aspects of Automated Reasoning Geoff Sutcliffe
• [Hol-info] FORMATS 2016 - Second Call for Papers Sebastian Gerwinn
• [Hol-info] CfP ThEdu'16 at CICM Walther Neuper
• [Hol-info] 2nd CFP ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21 Peter Schueller
• [Hol-info] Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016 Serge Autexier
• [Hol-info] The question about latest version of HOL4 had been resolved ????
• [Hol-info] CFP: Graphical Models for Security (GraMSec'16) Barbara Kordy
• [Hol-info] a question about rewrite in HOL4 Ada
  • Re: [Hol-info] a question about rewrite in HOL4 Ramana Kumar
  • Re: [Hol-info] a question about rewrite in HOL4 Michael Norrish
  • Re: [Hol-info] a question about rewrite in HOL4 Piotr Trojanek
  • Re: [Hol-info] a question about rewrite in HOL4 Ramana Kumar
  • [Hol-info] A question about rewrite in HOL4 Ada
  • Re: [Hol-info] A question about rewrite in HOL4 Michael Norrish
  • [Hol-info] A question about rewrite in HOL4 Ada
• [Hol-info] [VeryComp 2016] - 1st Call for Paper alexander . perucci
• [Hol-info] HOL breakthrough in American politics Konrad Slind
  • Re: [Hol-info] HOL breakthrough in American politics Ramana Kumar
• [Hol-info] CFP: Logical Frameworks and Meta-Languages: Theory and Practice Makarius
• [Hol-info] ​ Summer School on Real-World Crypto and Privacy, June 5-10, Croatia Veelasha
• [Hol-info] Call for papers - WADT'16 Markus Roggenbach
• [Hol-info] Existential quantifier length Sumayya Shiraz
  • Re: [Hol-info] Existential quantifier length Michael Norrish
• [Hol-info] CFP ICLP 2016: 32nd International Conference on Logic Programming, New York City, Oct 17-21 Peter Schueller
• [Hol-info] Events on Verified Trustworthy Software Systems, London, April 4-7 Petar Maksimovic
• [Hol-info] Two postdoc positions - Reasoning about concurrency and distribution - Imperial College London Petar Maksimovic
• [Hol-info] How to transform list format from "(cx l q p)" to "l" Ada
  • Re: [Hol-info] How to transform list format from "(cx l q p)" to "l" Jeremy Dawson
  • Re: [Hol-info] How to transform list format from "(cx l q p)" to "l" ????
  • Re: [Hol-info] How to transform list format from "(cx l q p)" to "l" Anthony Fox
  • Re: [Hol-info] How to transform list format from "(cx l q p)" to "l" ????
  • Re: [Hol-info] How to transform list format from "(cx l q p)" to "l" Michael Norrish
  • Re: [Hol-info] How to transform list format from "(cx l q p)" to "l" Ramana Kumar
• [Hol-info] Postdoc position @ UAE University, Al-Ain, UAE Osman Hasan
• [Hol-info] CFP: HCCV 2016 - Workshop on High-Consequence Control Verification Mayo, Jackson
• Re: [Hol-info] [Hol-developers] dep_rewrite Michael Norrish
  • Re: [Hol-info] [Hol-developers] dep_rewrite Ramana Kumar
• [Hol-info] RESTRICT left over in definition Ramana Kumar
  • Re: [Hol-info] RESTRICT left over in definition Konrad Slind
  • Re: [Hol-info] RESTRICT left over in definition Ramana Kumar
  • Re: [Hol-info] RESTRICT left over in definition Konrad Slind
  • Re: [Hol-info] RESTRICT left over in definition Ramana Kumar
• [Hol-info] HOL Workshop 2016: call for abstracts Ramana Kumar
• [Hol-info] CL&C 2015 - Extended Deadline and Final Call for Papers Berardi Stefano
• [Hol-info] CFP Dependable Software Engineering Nils Muellner
• [Hol-info] LATA 2016: call for participation GRLMC
• [Hol-info] CMCS 2016: Call for Short Contributions and Participation fabio . zanasi
• [Hol-info] 2nd Workshop on Bridging the Gap between Human and Automated Reasoning - Call for Papers Geoff Sutcliffe
• [Hol-info] Workshop on Verification and Validation of Cyber-Physical Systems -- deadline extension Sadegh Soudjani
• [Hol-info] HaTT 2016: First Call for Papers Cezary Kaliszyk
• [Hol-info] 2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016 Serge Autexier
• [Hol-info] word problem Ramana Kumar
  • Re: [Hol-info] word problem Ramana Kumar
  • Re: [Hol-info] word problem Mario Carneiro
  • Re: [Hol-info] word problem Anthony Fox
• [Hol-info] About Binary Relations Nadeem Iqbal
  • Re: [Hol-info] About Binary Relations Ramana Kumar
  • Re: [Hol-info] About Binary Relations Nadeem Iqbal
  • Re: [Hol-info] About Binary Relations Ramana Kumar
  • Re: [Hol-info] About Binary Relations Anthony Fox
  • Re: [Hol-info] About Binary Relations Nadeem Iqbal
• [Hol-info] About proof of an integral theorem Adnan Rashid
  • Re: [Hol-info] About proof of an integral theorem John Harrison
• [Hol-info] [fm-announcements] NFM 2016 - third call for papers Havelund, Klaus (349F)
• [Hol-info] Goedel's paradox, canonical definitions vs. instances/models (dependent type theory and the language of species), expressiveness vs. automation, re-evaluating natural deduction Ken Kubota
  • [Hol-info] Goedel's paradox, canonical definitions vs. instances/models (dependent type theory and the language of species), expressiveness vs. automation, re-evaluating natural deduction Ken Kubota
• [Hol-info] CfP: ICTAC 2016 Martin Leucker
• [Hol-info] UNIF 2016 - Call for Papers Geoff Sutcliffe
• [Hol-info] CFP: CAV 2016, July 17-23, Toronto [Abstract Submission: Jan 24] Roopsha Samanta
• [Hol-info] TAP 2016 (Tests & Proofs): Final CfP Carlo A. Furia
• [Hol-info] Postdoc position on hardware verification at NTU Singapore Alwen Tiu
• [Hol-info] Postdoc position on security protocol verification at NTU Singapore Alwen Tiu
  • Re: [Hol-info] Postdoc position on security protocol verification at NTU Singapore Alwen Tiu
• [Hol-info] TAP (Tests and Proofs) 2016, final call for papers Jasmin Blanchette
• [Hol-info] AiML-2016: 1ST CALL FOR PAPERS Geoff Sutcliffe
• [Hol-info] FMICS-AVoCS 2016: call for papers Maurice ter Beek
• [Hol-info] [fm-announcements] NFM 2016 - second call for papers Havelund, Klaus (349F)
• [Hol-info] V2CPS: Workshop on Verification and Validation of Cyber-Physical Systems Sadegh Soudjani
• [Hol-info] Multiple PhD positions in Information Security at ETH Zurich Christoph Sprenger
• [Hol-info] [SPAM] some questions about the use of THEN and THENL in HOL4 Ada
  • Re: [Hol-info] [SPAM] some questions about the use of THEN and THENL in HOL4 Ramana Kumar
• [Hol-info] CMCS 2016 : Last Call for Papers fabio . zanasi
• Re: [Hol-info] some questions about the proving process in HOL4 ????
  • Re: [Hol-info] some questions about the proving process in HOL4 Ramana Kumar
• [Hol-info] [SPAM] Re: some questions about the proving process in HOL4 ????
  • Re: [Hol-info] [SPAM] Re: some questions about the proving process in HOL4 Thomas Tuerk
• [Hol-info] [SPAM] some questions about the proving process in HOL4 Ada
  • Re: [Hol-info] [SPAM] some questions about the proving process in HOL4 Ramana Kumar
  • Re: [Hol-info] [SPAM] some questions about the proving process in HOL4 Jeremy Dawson
• [Hol-info] Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016 Serge Autexier
• [Hol-info] ITP 2016: Call for Papers Jasmin Blanchette
• [Hol-info] Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Deadline 28. February 2016 Serge Autexier
• [Hol-info] NFM 2016 - Call for Papers Konrad Slind
• [Hol-info] How to specify the data type in a recursive definition in HOL4 Ada
  • Re: [Hol-info] How to specify the data type in a recursive definition in HOL4 Waqar Ahmad
• [Hol-info] Tags: oracles, axioms Andrea Condoluci
  • Re: [Hol-info] Tags: oracles, axioms Anthony Fox
  • Re: [Hol-info] Tags: oracles, axioms Andrea Condoluci
  • Re: [Hol-info] Tags: oracles, axioms Anthony Fox
  • Re: [Hol-info] Tags: oracles, axioms Andrea Condoluci
• [Hol-info] Holmake Problem Ali Abbassi
  • Re: [Hol-info] Holmake Problem Michael Norrish
  • Re: [Hol-info] Holmake Problem Anthony Fox
  • Re: [Hol-info] Holmake Problem Ali Abbassi
  • Re: [Hol-info] Holmake Problem Ian Zimmerman
  • Re: [Hol-info] Holmake Problem Ramana Kumar
  • [Hol-info] New positions in formal verification at Imagination Technologies Ashish Darbari
• [Hol-info] Call for Papers for: International Workshop on Classical Logic and Computation (CL&C'16) - satellite workshop of FSCD 2016 (former TLCA + RTA) Berardi Stefano
  • [Hol-info] Call for Papers for: International Workshop on Classical Logic and Computation (CL&C'18) in Oxford - satellite workshop of FSCD 2018 (former TLCA + RTA) Berardi Stefano
  • [Hol-info] Last Call for Papers for: International Workshop on Classical Logic and Computation (CL&C'18) in Oxford - satellite workshop of FSCD 2018 (former TLCA + RTA) Berardi Stefano
• [Hol-info] First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
• [Hol-info] some questions about the use of HD and TL in listTheory Ada
  • Re: [Hol-info] some questions about the use of HD and TL in listTheory Ramana Kumar
  • Re: [Hol-info] some questions about the use of HD and TL in listTheory Waqar Ahmad
  • Re: [Hol-info] some questions about the use of HD and TL in listTheory Yong Kiam
  • Re: [Hol-info] some questions about the use of HD and TL in listTheory Jeremy Dawson
• [Hol-info] ?????? About the use of symbol | in HOL4 Ada
  • Re: [Hol-info] ?????? About the use of symbol | in HOL4 Jeremy Dawson
• [Hol-info] About the use of symbol | in HOL4 Ada
  • Re: [Hol-info] About the use of symbol | in HOL4 Jeremy Dawson
• [Hol-info] How to transform the proof form Ada
  • Re: [Hol-info] How to transform the proof form Mark Adams
• [Hol-info] [fm-announcements] NFM 2016 - first call for papers Havelund, Klaus (349F)
• [Hol-info] request for One Paper Ada
  • Re: [Hol-info] request for One Paper Laurent Thery
• Re: [Hol-info] irule vs MP_CANON Ramana Kumar
• [Hol-info] what is the application of manual theorem proving today in hardware verification shengyu shen
  • Re: [Hol-info] what is the application of manual theorem proving today in hardware verification shengyu shen
  • Re: [Hol-info] what is the application of manual theorem proving today in hardware verification Black, Paul E.
• [Hol-info] where is the higher order logic in HOL? shengyu shen
  • Re: [Hol-info] where is the higher order logic in HOL? Michael Norrish
  • Re: [Hol-info] where is the higher order logic in HOL? Konrad Slind
• [Hol-info] Definition of Binary Relation in HOL Muhammad Nadeem Iqbal
  • Re: [Hol-info] Definition of Binary Relation in HOL Ramana Kumar
  • Re: [Hol-info] Definition of Binary Relation in HOL Muhammad Nadeem Iqbal
  • Re: [Hol-info] Definition of Binary Relation in HOL Ramana Kumar
  • Re: [Hol-info] Definition of Binary Relation in HOL Yong Kiam
  • Re: [Hol-info] Definition of Binary Relation in HOL Muhammad Nadeem Iqbal
  • Re: [Hol-info] Definition of Binary Relation in HOL Ramana Kumar
  • Re: [Hol-info] Definition of Binary Relation in HOL Michael Norrish

• Later messages