Messages by Thread
-
[Hol-info] WST 2020 - 2nd Call for Papers
Samir Genaim
-
[Hol-info] CFP: 17th Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Theofanis I. Aravanis
-
[Hol-info] PPDP 2020 Call For Papers
Andreas Abel
-
[Hol-info] PPDP 2020 Call For Papers (corrected link)
Andreas Abel
-
[Hol-info] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020
Serge Autexier
-
[Hol-info] VerifyThis @ ETAPS 2020: Call for Participation + Travel Grants
Siddharth Krishna
-
[Hol-info] CFP: SEFM - International Conference on Software Engineering and Formal Methods
Jacopo Mauro
-
[Hol-info] QBFEVAL'20 - Competitive Evaluation of QBF Solvers
Luca Pulina
-
[Hol-info] Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020)
Laura Pandolfo
-
[Hol-info] IWIL-14 at LPAR-23 - Call for Papers
geoff
-
[Hol-info] CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning
Claudio Sacerdoti Coen
-
[Hol-info] Metamath, Isabelle/HOL, Coq, Lean (General debate initiated by Kevin Buzzard on formalizing mathematics: Where is the fashionable mathematics?) – Re: [Metamath] Are we listening?
Ken Kubota
-
[Hol-info] LPAR-23 - Call for Workshops and Tutorials
geoff
-
[Hol-info] Using @ for multiple selections in HOL Light
jpe...@student.bham.ac.uk
-
[Hol-info] SMT 2020: Call for Papers
Tjark Weber
-
[Hol-info] CICM 2020 - Call for Papers
geoff
-
[Hol-info] CICM 2020, July 26-31: Invited Speakers & Second Call for Papers
Serge Autexier
-
[Hol-info] LPAR-23 - Extended deadlines
geoff
-
[Hol-info] Postdoc position: verified timing-channel security for seL4
Toby Murray
-
[Hol-info] Senior Postdoc / Project Coordinator position in Information Security and Program Verification at ETH Zurich
Christoph Sprenger
-
[Hol-info] ThEdu'20 at the Summer of LoVe - cfp
Walther Neuper
-
[Hol-info] 24th European Conference on Artificial Intelligence (ECAI 2020)
LUIS MAGDALENA
-
[Hol-info] 13th International Conference on Graph Transformation (ICGT2020): Call for Paper
Fabio Gadducci
-
[Hol-info] 2020 Alonzo Church Award - Call for Nominations
geoff
-
[Hol-info] [CfP] ICLP2020 - The 36th International Conference on Logic Programming
Laura Pandolfo
-
[Hol-info] TTCS 2020 - deadline extended to the 16th of February
Renato Neves
-
[Hol-info] RAMiCS CFSC
Michael Winter
-
[Hol-info] MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020 (Extended deadline 20 January 2020)
ansgar.fehn...@utwente.nl
-
[Hol-info] [CfP] SAT2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing
Luca Pulina
-
[Hol-info] WST 2020 Call for Papers
Samir Genaim
-
[Hol-info] LPAR-23 Call for Papers
geoff
-
[Hol-info] TTCS 2020 - 2nd Call for Papers
Renato Neves
-
[Hol-info] semantics/verification postdoc positions at Cambridge
Peter Sewell
-
[Hol-info] PADL 2020 Call for Participation
Yi Tong
-
[Hol-info] 6th International Conference on Advanced Computing (ADCOM-2020)/April 25~26, 2020, Copenhagen, Denmark
alfialeo via hol-info
-
[Hol-info] CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals
Serge Autexier
-
[Hol-info] [fm-announcements] NFM 2020 Paper Submission Extension
Mavridou, Anastasia (ARC-TI)[SGT, INC] via fm-announcements via hol-info
-
[Hol-info] Isabelle/HOL and Division by zero
Saburou Saitoh
-
[Hol-info] [CfP] SAT2020 - The 23rd International Conference on , , Theory and Applications of Satisfiability Testing
Luca Pulina
-
[Hol-info] Call for participation for CPP 2020
Catalin Hritcu
-
[Hol-info] Artificial Intelligence and Theorem Proving 2020 - Second Call for Papers
geoff
-
[Hol-info] 7th COSIT 2020-Call for proposals
alfialeo via hol-info
-
[Hol-info] ICGT 2020: Preliminary call for papers
Timo Kehrer
-
[Hol-info] ICALP-LICS 2020 Call for Workshops
Frédéric Blanqui
-
[Hol-info] TTCS 2020 - Call for papers
Renato Neves
-
[Hol-info] AAAI-20 Workshop on Privacy Preserving AI [Submission deadline approaching!]
Fioretto, Ferdinando
-
[Hol-info] LAST CALL for some events of the 24th European Conference on Artificial Intelligence (ECAI 2020).
LUIS MAGDALENA
-
[Hol-info] hol-online not working
Miranda, Brando
-
[Hol-info] [fm-announcements] NFM 2020 Call for papers
Mavridou, Anastasia (ARC-TI)[SGT, INC] via fm-announcements via hol-info
-
[Hol-info] grammar for HOL Light terms
Miranda, Brando
-
[Hol-info] GCAI 2020 Conference and Doctoral Symposium - Calls for Papers and Participation
geoff
-
[Hol-info] IJCAR 2020 - Call for Papers
geoff
-
[Hol-info] MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020
Hubert Garavel
-
[Hol-info] Artificial Intelligence and Theorem Proving 2020 - Call for Papers
geoff
-
[Hol-info] CFP: The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence
Fioretto, Ferdinando
-
[Hol-info] POPL2020 Student Research Competition Deadline -- two weeks!
Michael Greenberg
-
[Hol-info] [CFP]7th International Conference on Artificial Intelligence and Applications (AIAPP 2020) January 25 ~ 26, 2020, Zurich, Switzerland
alfialeo via hol-info
-
[Hol-info] Difference between sets formats
Yassmeen Derhalli
-
[Hol-info] Third CFP: 24th European Conference on Artificial Intelligence (ECAI 2020)
LUIS MAGDALENA
-
[Hol-info] Deadline extension and final CFP
Michael Winter
-
[Hol-info] [CFP] The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence
Fioretto, Ferdinando
-
[Hol-info] 3y postdoc position in Abductive Inference for Natural Language Interpretation, Amsterdam, Deadline: 12 Oct 2019
Reinhard Muskens
-
[Hol-info] Simplify/normalize propositional logic terms?
Chun Tian (binghe)
-
[Hol-info] FMCAD 2019, Second Call for Participation
barrett
-
[Hol-info] Practical Aspects of Declarative Languages PADL2020: 2nd CFP
Yi Tong
-
[Hol-info] Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich
Christoph Sprenger
-
[Hol-info] FMBC 2019 Call for Participation - Porto (Portugal), October 11
Bruno Bernardo
-
[Hol-info] cfp ThEdu'19 post-proceedings
Walther Neuper
-
[Hol-info] Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam
Sung-Shik Jongmans
-
[Hol-info] Two PhD Positions in Privacy-Preserving Distributed AI, Syracuse University
Fioretto, Ferdinando
-
[Hol-info] A possible bug in ext_suminf (extrealTheory)?
Chun Tian (binghe)
-
[Hol-info] PADL 2020 Call for Papers
Yi Tong
-
[Hol-info] Extendend Deadline Software Verification and Testing at ACM/SIGAPP SAC2020
Matthias Güdemann
-
[Hol-info] Deadlines approaching: 24th European Conference on Artificial Intelligence (ECAI 2020)
LUIS MAGDALENA
-
[Hol-info] FM'19 - 2nd Call for Participation
Renato Neves
-
[Hol-info] Third CFP - RAMiCS 2020
Michael Winter
-
[Hol-info] CFP for Certified Programs and Proofs (CPP 2020)
Catalin Hritcu
-
[Hol-info] AIIA 2019 Doctoral Consortium
Luca Pulina
-
[Hol-info] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal
Luigia Petre
-
[Hol-info] FMCAD 2019 Call for Participation
barrett
-
[Hol-info] TPTP v7.3.0 released
geoff
-
[Hol-info] GCAI 2020, Hangzhou, China - Call for Papers
geoff
-
[Hol-info] ICLP 2019 - Call for Participation (Early registration deadline is today)
Fioretto, Ferdinando
-
[Hol-info] Second call for papers Software Verfication and Testing (SVT) at SAC 2020
Matthias Güdemann
-
[Hol-info] FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21)
geoff
-
[Hol-info] ITP 2019: Final Call for Participation
O'Leary, John W
-
[Hol-info] Research Fellow in Verified Operating System Security
Toby Murray
-
[Hol-info] Kananaskis-13 release
Norrish, Michael (Data61, Acton)
-
[Hol-info] How to express a finite_map or alist using a key list and a value list?
Chun Tian (binghe)
-
[Hol-info] FMCAD Student Forum: DEADLINE EXTENDED
Grigory Fedyukovich
-
[Hol-info] ICLP 2019 - Call for Participation
Fioretto, Ferdinando
-
[Hol-info] [Vardi-list] The Mathematics of Quantum Computation - The 4th Advanced School in Computer Science and Engineering
Moshe Vardi
-
[Hol-info] ITP 2019: Second Call for Participation
O'Leary, John W
-
[Hol-info] Vote for location of ITP2021 (DEADLINE 2nd Aug)
O'Leary, John W
-
[Hol-info] Call for Papers: 24th European Conference on Artificial Intelligence (ECAI 2020)
LUIS MAGDALENA
-
[Hol-info] UNSW postdoc position for Verified Time Protection
Klein, Gerwin (Data61, Kensington NSW)
-
[Hol-info] FroCoS-12 and TABLEAUX-28
geoff
-
[Hol-info] CFP: DATE 2020 - Topic E3 - Model-Based Design, Verification and Security for Embedded Systems
Yliès Falcone
-
[Hol-info] Second CfP: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event)
Osman Hasan via hol-info
-
[Hol-info] Assistant Professor Position at Uppsala University
Tjark Weber
-
[Hol-info] KTH announces 8 PhD student positions in cyber security
Roberto Guanciale
-
[Hol-info] WORDS 2019 - call for participation
Words 2019
-
[Hol-info] SEFM 2019 - Call for Participation
Lina Marsso
-
[Hol-info] Is there any good web inteface for formally proven mathematical theorems that anyone can contribute to without manual proof review?
Ciro Santilli
-
[Hol-info] iFM 2019: Deadline Extension
Kristin Yvonne Rozier
-
[Hol-info] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension
Achim D. Brucker
-
[Hol-info] post-doc opportunity at UNSW Sydney
Norrish, Michael (Data61, Acton)
-
[Hol-info] Vote for location of ITP2021
O'Leary, John W
-
[Hol-info] ICLP DC 2019 - 15th Doctoral Consortium (DC) on Logic Programming
Fioretto, Ferdinando
-
[Hol-info] LOPSTR 2019: Third Call for Papers
Tommaso Liu
-
[Hol-info] FMICS 2019: Call for participation
Tim Willemse
-
[Hol-info] (Extended deadline) Formal Methods 2019 - 1st Workshop on Formal Methods for Blockchains, CFP
Bruno Bernardo
-
[Hol-info] ITP 2019: Call for Participation
O'Leary, John W
-
(PN) CfP (deadline extension) - Formal Aspects of Component Software (FACS 2019, 23-25 October, Amsterdam)
Sung-Shik Jongmans
-
[Hol-info] [CfP] ASYDE workshop @SEFM'19 - Extended abstract and paper submission deadline
alexander . perucci
-
[Hol-info] LFMTP 2019 - Call for participation
Ivan Scagnetto
-
[Hol-info] CONCUR 2019 call for participation
Fokkink, W.J. via hol-info
-
[Hol-info] ARCADE 2019 - submission deadline extension
geoff
-
[Hol-info] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event)
Osman Hasan via hol-info
-
[Hol-info] Postdoc in System Security and Formal Methods
Roberto Guanciale
-
[Hol-info] Student Forum
FMCAD 2019
-
[Hol-info] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019)
Dennis Müller
-
[Hol-info] The 6th Vampire Workshop - CFP
geoff
-
[Hol-info] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial
Luigia Petre
-
[Hol-info] Fwd: [CICM] Call for Participation - 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019)
Umair Siddique
-
[Hol-info] [CfP] ASYDE workshop @SEFM'19 - Springer Special Issue and Keynote ready
alexander . perucci
-
[Hol-info] Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems
Luca Pulina
-
[Hol-info] Call for Participation - CPS Summer School 2019
Luca Pulina
-
[Hol-info] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
Achim D. Brucker
-
[Hol-info] Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers)
nevrenato
-
[Hol-info] LOPSTR 2019: Fist Call for Papers
Tong Liu
-
[Hol-info] Second Dali Workshop: Second Call for Papers
nevrenato
-
[Hol-info] [CFP] ICLP 2019 - Research Challenges in Logic Programming Track
Fioretto, Ferdinando
-
[Hol-info] [3rd Call for Papers] ASYDE 2019 @ SEFM 2019
alexander . perucci
-
[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
Luca Pulina
-
[Hol-info] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France
Frédéric Blanqui
-
[Hol-info] RAMiCS2020 - CFP
Michael Winter
-
[Hol-info] ETAPS 2020: Call for Satellite Events
Hoefner, Peter (Data61, Kensington NSW)
-
[Hol-info] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation
Serge Autexier
-
[Hol-info] SEFM 2019 - Final CfP with Extended Deadlines
Lina Marsso
-
[Hol-info] ICLP - Doctoral Consortium (DC) on Logic Programming
Fioretto, Ferdinando
-
[Hol-info] CFP - ICLP 2019 (Special Session: Women in Logic Programming ) - updated deadlines
Fioretto, Ferdinando
-
[Hol-info] FMCAD 2019 Deadline Extension
barrett
-
[Hol-info] 6th International Workshop on Proof eXchange for Theorem Proving (PxTP)
geoff
-
[Hol-info] FTfJP 2019: CFP for Second Round
Toby Murray
-
[Hol-info] [Deadline Extension] Formal Verification of Physical Systems (FVPS 2019)
Umair Siddique
-
[Hol-info] SEFM 2019 - abstract sub. deadline: May 3, 2019
Lina Marsso
-
[Hol-info] hardware verification and dependent types
Lawrence Paulson
-
[Hol-info] CFP: ICLP 2019 Special Session: Women in Logic Programming
Fioretto, Ferdinando
-
[Hol-info] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE
Martin Leucker
-
[Hol-info] LPNMR 2019 CALL FOR PARTICIPATION
Gregory Gelfond
-
[Hol-info] CFP: 1st Workshop on Formal Methods for Blockchains (FMBC) 2019
Bruno Bernardo
-
[Hol-info] Verification Mentoring Workshop 2019: Scholarships
geoff
-
[Hol-info] POPL 2020 Call for Workshops and Co-located Events
Michael Greenberg
-
[Hol-info] Last CfP: ThEdu'19 at CADE
Walther Neuper
-
[Hol-info] FMCAD 2019 Second CFP
barrett
-
[Hol-info] CakeML Developers Meeting 13-14 May 2019
Magnus Myreen