Messages by Thread
-
[Hol-info] Interactive theorem proving: 3 Postdoctoral positions at Cambridge
Lawrence Paulson
-
Re: [Hol-info] [Metamath] Q0 Library in Metamath
Ken Kubota
-
[Hol-info] SYNASC 2017 - Final Call for Papers
SYNASC 2017
-
[Hol-info] SLSP 2017: 3rd call for papers
GRLMC
-
[Hol-info] Ideas for future LASER schools
se-events
-
[Hol-info] FAACS 2017 CFP - 1st Workshop on Formal Approaches for Advanced Computing Systems
Alberto Griggio
-
[Hol-info] MEMOCODE-2017 (Deadline Extension)
Klaus . Schneider
-
[Hol-info] Software Implementation of the Mathematical Logic R0 Available for Download
Ken Kubota
-
[Hol-info] AFM 2017 call for registration
Sam Owre
-
[Hol-info] AlCoB 2017: call for participation
GRLMC
-
[Hol-info] Changed order of qualified variables after SPEC_ALL and GEN_ALL
Chun Tian (binghe)
-
[Hol-info] Reverse operations of EQT_INTRO and EQF_INTRO?
Chun Tian (binghe)
-
[Hol-info] GCAI 2017 in Miami - Call for Papers
Geoff Sutcliffe
-
[Hol-info] CAV 2017: Call for participation
mikael . mayer
-
[Hol-info] EmitTeX.print_theories_as_tex_doc can't overwrite existing files
Chun Tian (binghe)
-
[Hol-info] REWRITE_CONV fails
binghe
-
[Hol-info] Documentation for Hol_coreln?
Chun Tian (binghe)
-
[Hol-info] PhD and Postdoc positions in Innsbruck
Cezary Kaliszyk
-
[Hol-info] FOCLASA 2017 - Second Call for Papers
foclasa2017
-
Re: [Hol-info] [ExternalEmail] Re: Issues in kananaskis-11 release source tarball
Michael.Norrish
-
[Hol-info] LOPSTR 2017: 1st Call for Papers
John Patrick Gallagher
-
[Hol-info] Formal Methods in Computer-Aided Design - Final Call for Papers
Geoff Sutcliffe
-
[Hol-info] CiE 2017: call for participation
CIE2017
-
[Hol-info] EXTENDED DEADLINE - FMCAD 2017
no-reply
-
[Hol-info] 4th Vampire Workshop - Call for Papers
Geoff Sutcliffe
-
[Hol-info] Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017
Peter Schüller
-
[Hol-info] Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis
Alberto Griggio
-
[Hol-info] Issues in kananaskis-11 release source tarball
Chun Tian (binghe)
-
[Hol-info] FMCAD 2017 Final Call for Papers - Extended Deadline
Georg Weissenbacher
-
[Hol-info] Problem of Installation the latest HOL 4
Liu Gengyang
-
[Hol-info] [EXTENDED DEADLINE] VECoS 2017 - LNCS || August 24-25, 2017 - Montreal, Canada
Osman Hasan
-
[Hol-info] [ICLP 2017] Final Call for Papers
Tommaso.Urli
-
[Hol-info] FroCoS 2017 DEADLINE EXTENSION
Cláudia Nalon
-
[Hol-info] SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May
Martin Nyx Brain
-
[Hol-info] CPP 2018 Call for papers
Amy Felty
-
[Hol-info] ARCADE Second Call for Papers
Giles Reger
-
[Hol-info] VSTTE 2017 - Deadline Extension
Andrei Paskevich
-
[Hol-info] What tactic I should use?
Dwi Teguh Priyantini
-
[Hol-info] "terms not alpha-equivalent" when outputing OpenTheory files
Chun Tian (binghe)
-
[Hol-info] Pretty printing of strings without double-quotes?
Chun Tian (binghe)
-
[Hol-info] DL 2017 - Last Call for Papers
Geoff Sutcliffe
-
[Hol-info] [fm-announcements] RV 2017 - Deadline Extension: full submissions May 8
Havelund, Klaus (348B)
-
[Hol-info] FTfJP CfP (deadline extended)
Radu Grigore
-
[Hol-info] VSTTE 2017 - Second Call for Papers
Andrei Paskevich
-
[Hol-info] DaLi 17 - second call for papers
Alexandre Madeira
-
[Hol-info] TABLEAUX 2017 DEADLINE EXTENSION
Cláudia Nalon
-
[Hol-info] [fm-announcements] RV and RV-CuBES 2017 - Call for papers and tutorials
Havelund, Klaus (348B)
-
[Hol-info] How to instantiate record datatype?
Liu Gengyang
-
[Hol-info] Update: LASER summer school 2017: Software for Robotics, Elba Island, September 9-17
se-events
-
[Hol-info] SMT 2017 CFP
Liana Hadarean
-
[Hol-info] SYNASC 2017 - Second Call for Papers
SYNASC 2017
-
[Hol-info] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers
Havelund, Klaus (348B)
-
[Hol-info] [LPNMR 2017 Workshops] Extended Deadline
Peter Schüller
-
[Hol-info] Formal Methods in Computer-Aided Design - Call for Papers
Geoff Sutcliffe
-
[Hol-info] CfP (-10days) FTfJP2017
Radu Grigore
-
[Hol-info] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming
Renato Neves
-
[Hol-info] TABLEAUX 2017 DEADLINE REMINDER
Cláudia Nalon
-
[Hol-info] Summer School on Verification Technology
Geoff Sutcliffe
-
[Hol-info] LFMTP 2017 - Call for papers
Marino Miculan
-
[Hol-info] MFCS 2017: Second Call for Papers
Giorgio Bacci
-
[Hol-info] [CFP] VECoS 2017 - LNCS || August 24-25, 2017 - Montreal, Canada
Osman Hasan
-
[Hol-info] How to eliminate existential quantifier in a goal about list?
Liu Gengyang
-
[Hol-info] Publication of the Mathematical Logic R0: Mathematical Formulae
Ken Kubota
-
[Hol-info] Questions about RTC (reflexive transitive closure)
Chun Tian (binghe)
-
[Hol-info] VECoS 2017 - Lecture Notes in Computer Science
Osman Hasan
-
[Hol-info] A question about EL in listTheory.
Liu Gengyang
-
[Hol-info] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017
Serge Autexier
-
[Hol-info] SLSP 2017: 1st call for papers
GRLMC
-
[Hol-info] Problems building HOL from source
Lars Hupel
-
[Hol-info] SEFM 2017 Final CFP (*DEADLINE EXTENSION*) - 15th International Conference on Software Engineering and Formal Methods
Alberto Griggio
-
Re: [Hol-info] How to sort in a set? (Liu Gengyang)
Liu Gengyang
-
[Hol-info] How to sort in a set?
Liu Gengyang
-
[Hol-info] Two PhD positions on CakeML and HOL at Chalmers, Sweden
Magnus Myreen
-
[Hol-info] CALCO 2017: Last Call for Papers | CALCO Tools & CALCO Early Ideas: Call for Contributions
Fabio Zanasi
-
[Hol-info] Final CFP LPNMR Doctoral Student Consortium, Espoo, Finland, 3-6 July, 2017
Peter Schüller
-
[Hol-info] FOCLASA 2017 - First Call for Papers
Foclasa Workshop
-
[Hol-info] How to prove ``R = R'`` (two relations are equal) given the corresponding universally qualified form?
Chun Tian (binghe)
-
[Hol-info] How to define PAT_X_ASSUM to PAT_ASSUM in K11 final release (and before) and do nothing in K12 (and later version)?
Chun Tian (binghe)
-
[Hol-info] [fm-announcements] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions
Havelund, Klaus (348B)
-
[Hol-info] 9 permanent academic positions at Swansea University
Markus Roggenbach
-
[Hol-info] IWIL workshop at LPAR-21 in Botswana
Geoff Sutcliffe
-
[Hol-info] AFM deadline extension: Automated Formal Methods 2017 Final Call for papers
Sam Owre
-
[Hol-info] Call for Participation: RAMiCS, May 15-18, Lyon, France
Damien Pous
-
[Hol-info] How to define a new datatype and use it?
刘耕阳
-
[Hol-info] [ICLP 2017] Deadline extended to May 2, 2017
Tommaso.Urli
-
[Hol-info] *Extended submission deadline* - 10th Conference on Intelligent Computer Mathematics - CICM 2017
Serge Autexier
-
[Hol-info] [ICLP 2017] Extended deadline
Tommaso.Urli
-
[Hol-info] ACM/SPEC ICPE'17 - Call for Participation
Andrea Rosa
-
[Hol-info] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday
CIE2017
-
[Hol-info] CfP: ICTAC'2027 Vietnam
Martin Leucker
-
[Hol-info] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton
Sam Owre
-
[Hol-info] MFPS 33: Deadline Extension
Alexandra Silva
-
[Hol-info] CiE 2017: call for informal presentations
CIE2017
-
[Hol-info] 2nd Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017
Serge Autexier
-
[Hol-info] Automated Formal Methods (AFM) 2017 Final Call for papers
Sam Owre
-
[Hol-info] [ICLP 2017] Second Call for Papers + Deadlines
Tommaso.Urli
-
[Hol-info] MEMOCODE-2017 (Call for Papers)
Klaus . Schneider
-
[Hol-info] [fm-announcements] ITP 2017 - Final Call for Papers
Munoz, Cesar (LARC-D320)
-
[Hol-info] LPAR-21 Short Presentation Papers - Call for Papers
Geoff Sutcliffe
-
[Hol-info] TABLEAUX 2017 - Final Call for Papers
Cláudia Nalon
-
[Hol-info] [fm-announcements] RERS: International Challenge on the Rigorous Examination of Reactive Systems 2017
Havelund, Klaus (348B)
-
[Hol-info] 3rd CFP: SEFM 2017 - 15th International Conference on Software Engineering and Formal Methods
Alberto Griggio
-
[Hol-info] Release of HOL4 Kananaskis-11
Michael.Norrish
-
[Hol-info] First CFP Synasc 2017, Timisoara, Romania
Isabela Dramnesc
-
[Hol-info] [ICLP 2017] Second Call for Papers
Tommaso.Urli
-
[Hol-info] Marktoberdorf Summer School: Call for Participation
Tobias Nipkow
-
[Hol-info] [fm-announcements] RV 2017 - 2nd Call for papers and tutorials
Havelund, Klaus (348B)
-
[Hol-info] CfP Software Engineering for Resilient Systems - SERENE 2017 workshop
Alexander Romanovsky
-
[Hol-info] MFCS 2017: First Call for Papers
Giorgio Bacci
-
[Hol-info] SAFECOMP17 Extended Deadline
Stefano Tonetta
-
[Hol-info] CfP: FACS 2017 - 14th International Conference on Formal Aspects of Component Software
Jose Proenca
-
[Hol-info] Deadline Extension: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment
Marco Bozzano
-
[Hol-info] NFM 2017 - Call For Participation
Rody Kersten
-
[Hol-info] AlCoB 2017: call for posters
GRLMC
-
[Hol-info] DICE-FOPARA 2017: Deadline Extended
Georg Moser
-
[Hol-info] CFP ThEdu'17 at CADE 26
Walther Neuper
-
[Hol-info] VSTTE 2017 - First Call for Papers
Andrei Paskevich