Messages by Thread
-
[Hol-info] DaLí 2022 - Call for Papers
Carlos Areces
-
[Hol-info] LPNMR 2022 - last call for workshops - 3 days to deadline
cfp
-
[Hol-info] ICGT 2022: Second Call for Papers
Daniel Strüber
-
[Hol-info] VerifyThis 2022 --- Call for Participation
Lammich, Peter (UT-EEMCS) via hol-info
-
[Hol-info] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US
Luigia Petre
-
[Hol-info] CfP GCM 2022 - 13th International Workshop on Graph Computation Models
Christopher Michael POSKITT
-
[Hol-info] 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 - Call for Papers
geoff
-
[Hol-info] IJCAR 2022 - Extended Deadline
geoff
-
[Hol-info] ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms
Víctor Pérez
-
[Hol-info] EELP 2022: The Third Workshop on Epistemic Extensions of Logic Programming
Víctor Pérez
-
[Hol-info] [CfP] ICLP 2022 - Call for Recently Published Research Papers
Víctor Pérez
-
[Hol-info] PhD Student Position at Uppsala University
Tjark Weber
-
[Hol-info] FUN 2022: 2nd call for papers
Mosteiro, Miguel A.
-
[Hol-info] 2nd Call for papers -- Mathematics of Program Construction 2022
Daggitt, Matthew via hol-info
-
[Hol-info] [Vardi-list] Webinar & Call for Model-Checking Community Feedback
Moshe Y Vardi
-
[Hol-info] Call for Model-Checking Community Feedback
Kristin Yvonne Rozier
-
[Hol-info] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline
Serge Autexier
-
[Hol-info] LPNMR 2022 - Call for Workshops
cfp
-
[Hol-info] [fm-announcements] First Call for Papers SOAP 2022
Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
-
[Hol-info] [CfP] ICLP 2022 - Deadline Extension (28th Jauary)
Víctor Pérez
-
[Hol-info] 2022 Alonzo Church Award: Call for Nominations
geoff
-
[Hol-info] Multiple Research Fellow positions at the Australian National University
Alwen Tiu
-
[Hol-info] LPNMR 2022 - Call for Papers
cfp
-
[Hol-info] [Final CfP] ICLP 2022 - The 38th International Conference on Logic Programming
Víctor Pérez
-
[Hol-info] CAUSAL 2022: Fourth Workshop on Causal Reasoning and Explanation in Logic Programming
Víctor Pérez
-
[Hol-info] MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming
Víctor Pérez
-
[Hol-info] PLP 2022: The 9th Workshop on Probabilistic Logic Programming
Víctor Pérez
-
[Hol-info] GDE 2022: Workshop on Goal-directed Execution of Answer Set Programs
Víctor Pérez
-
[Hol-info] WST 2022 - Call for Papers
Cynthia Kop
-
[Hol-info] Call for Nominations: Church Award 2022
Jagadeesan, Radha
-
[Hol-info] WADT'22 1st cfp
Alexandre Madeira
-
[Hol-info] KR2022: Session on KR and Robotics
Heyninck, Jesse
-
[Hol-info] KR2022: Session on KR and Machine Learning
Heyninck, Jesse
-
[Hol-info] [Vardi-list] World Logic Day -- From Greek Paradoxes to Political Paradoxes
Moshe Y Vardi
-
[Hol-info] 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022)
Heyninck, Jesse
-
[Hol-info] CFP: Applications and Systems Track of KR2022
Heyninck, Jesse
-
[Hol-info] CFP: ThEdu'22
Joao Marcos
-
[Hol-info] [fm-announcements] NFM 2022 - FINAL CALL FOR PAPERS
Havelund, Klaus (US 348B) via fm-announcements via hol-info
-
[Hol-info] [2nd CfP] ICLP 2022 - The 38th International Conference on Logic Programming
Víctor Pérez
-
[Hol-info] Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24)
Achim D. Brucker
-
[Hol-info] ICGT 2022: Call for Papers
Daniel Strüber
-
[Hol-info] [fm-announcements] Certified Programs and Proofs (CPP) 2022: Call for Participation
Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
-
[Hol-info] Call for Papers FUN 2022
Mosteiro, Miguel A.
-
[Hol-info] Certified Programs and Proofs (CPP) 2022: Call for Participation
Andrei Popescu
-
[Hol-info] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce
Luigia Petre
-
[Hol-info] IJCAR 2022 - Call for Papers
geoff
-
[Hol-info] Proposed StackExchange site Proof Assistants
EricGT
-
[Hol-info] [fm-announcements] NFM 2022 - call for papers - DEADLINE EXTENSION!
Havelund, Klaus (US 348B) via fm-announcements via hol-info
-
[Hol-info] iFM 2022 (Integrated Formal Methods): Call for Papers
iFM 2022
-
[Hol-info] * CONFEST 2022 * -- Call for Workshop Proposals
Lorenzo Clemente
-
[Hol-info] MARS@ETAPS'22: Call for Papers
Clemens Dubslaff
-
[Hol-info] CONCUR 2022: first call for papers
Javier Esparza
-
[Hol-info] CFP: 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022)
Heyninck, Jesse
-
[Hol-info] [fm-announcements] NFM 2022 - THIRD CALL FOR PAPERS
Havelund, Klaus (US 348B) via fm-announcements via hol-info
-
[Hol-info] First Call for Papers - MPC 2022
Daggitt, Matthew via hol-info
-
[Hol-info] VerifyThis 2022 --- Call for Problems
Lammich, Peter (UT-EEMCS) via hol-info
-
[Hol-info] Ran Ettinger's tutorial on using Dafny to teach: FME Teaching Committee's Tutorial Series, October edition
Luigia Petre
-
[Hol-info] [fm-announcements] NFM 2022 - SECOND CALL FOR PAPERS
Havelund, Klaus (US 348B) via fm-announcements via hol-info
-
[Hol-info] ICLP 2022 Call For Papers
Víctor Pérez
-
[Hol-info] CfP Reliability, safety and security of railway systems (RSSRail 2022)
Alexander Romanovsky
-
[Hol-info] KR 2021: Final Call for Participation (Online event, free registration until Friday, October 15)
Thanh Dinh
-
[Hol-info] ITP 2022: First Call for Papers
Leonardo de Moura via hol-info
-
[Hol-info] KR 2021: Call for Participation (Deadline to register: October 15)
Thanh Dinh
-
[Hol-info] CfP Software Verification and Testing Track at SAC 2022
Erika Abraham
-
[Hol-info] [fm-announcements] NFM 2022 - First Call for Papers
Havelund, Klaus (US 348B) via fm-announcements via hol-info
-
[Hol-info] Final Call for Workshops affiliated to ITP - FLoC 2022: Deadline September 27, 2021
Cyril Cohen
-
[Hol-info] FACS 2021 - Call for Participation
FACS 2021
-
[Hol-info] 2nd Call for Participation - LP/CP Programming Contest 2021
Miguel Areias via hol-info
-
[Hol-info] 2nd CfP - ThEdu'21 post-proceedings at EPTCS
Walther Neuper
-
[Hol-info] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021
Andrei Popescu
-
[Hol-info] KR 2022 - Second Call for Tutorial and Workshop Proposals - September 27
Stefan Borgwardt
-
[Hol-info] Call for Participation - LP/CP Programming Contest 2021
Miguel Areias via hol-info
-
[Hol-info] Call for Participation: HotSpot 2021
Toby Murray
-
[Hol-info] Call for KR 2021 Student Scholarship Applications
Đinh Văn Thành
-
[Hol-info] FMTea (Formal Methods Teaching) Tutorial series starting soon!
Luigia Petre
-
[Hol-info] [fm-announcements] Certified Programs and Proofs (CPP) 2022: Final Call for Papers
Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
-
[Hol-info] Certified Programs and Proofs (CPP) 2022: Final Call for Papers
Andrei Popescu
-
[Hol-info] [fm-announcements] [FMICS 2021] Call for Participation
Perez Dominguez, Ivan (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
-
[Hol-info] Call for Participation: CALCO & MFPS 2021
Thorsten Wissmann
-
[Hol-info] IJCAR 2022 - Call for Workshops
geoff
-
[Hol-info] Call for Workshops - FLoC 2022
Víctor Pérez
-
[Hol-info] IEEE ICSA 2022: Early Career Researchers Forum (ECRF 2022)
Dalila Tamzalit
-
[Hol-info] IEEE ICSA 2022: Call for Tutorial Proposals
Dalila Tamzalit
-
[Hol-info] IEEE ICSA 2022: Artifact Evaluation Track
Dalila Tamzalit
-
[Hol-info] IEEE ICSA 2022: New and Emerging Ideas (NEMI) track
Dalila Tamzalit
-
[Hol-info] Call for papers - ThEdu'21 post-proceedings at EPTCS
Walther Neuper
-
[Hol-info] IEEE ICSA 2022: Call for Workshop Proposals
Dalila Tamzalit
-
[Hol-info] RAMiCS 2021 - Call for short contributions/posters
luigi . santocanale
-
[Hol-info] CICM 2021, July 26-31, Call for online participation
Serge Autexier
-
[Hol-info] Deadline Extension CAUSAL 2021: Workshop on Causal Reasoning and Explanation (co-located with LPNMR 2019)
Emily LeBlanc
-
[Hol-info] FACS 2021 - Final CFP: Extended Deadline (July 16)
FACS 2021
-
[Hol-info] Full-time faculty position in Brussels
Coen DE ROOVER
-
[Hol-info] Call for Applications: Doctoral Consortium of KR 2021 -- Extended Deadline: July 23
Jens Classen
-
[Hol-info] FMBC 2021 - Call for Participation
Bruno Bernardo via hol-info
-
[Hol-info] Second Call for Papers (Deadline Extension): Formal Methods Teaching Workshop and Tutorial (FMTea 2021)
João F . Ferreira
-
[Hol-info] Call for Workshops - FLoC 2022 — The 2022 Federated Logic Conference
Cyril Cohen
-
[Hol-info] KR 2022 - First Call for Tutorial and Workshop Proposals - September 27
Stefan Borgwardt
-
[Hol-info] 2nd CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021)
Miguel Areias
-
[Hol-info] Call for Participation - SPIN 2021
Laarman, A.W.
-
[Hol-info] FACS 2021 - Final CfP with Extended Deadlines
FACS 2021
-
[Hol-info] HOL Proofs
shymathguy99--- via hol-info
-
[Hol-info] CLAR 2021 - Deadline Extension
geoff
-
[Hol-info] CfP: FMTea21 --> Formal Methods Teaching Workshop and Tutorial, Nov 21, 2021, ONLINE
Luigia Petre
-
[Hol-info] Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free
ADRIAN RIESCO RODRIGUEZ
-
[Hol-info] ASPOCP 2021: Call for Papers
markus hecher
-
[Hol-info] FACS 2021 - Final Call for Papers
FACS 2021
-
[Hol-info] CFP - Workshop on Goal-directed Execution of Answer Set Programs (GDE 2021)
Miguel Areias
-
[Hol-info] CAUSAL 2021 Call for Papers (workshop of ICLP-21)
Leblanc, Emily C CIV USN NRL (5512) Washington DC (USA) via hol-info
-
[Hol-info] Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)
Andrei Popescu
-
[Hol-info] Certified Programs and Proofs (CPP) 2022: Call for Papers
Andrei Popescu
-
[Hol-info] FVPS 2021: Deadline Extension (June 25, 2021)
Adnan Rashid via hol-info
-
[Hol-info] Call for Papers: Recently Published Research Track at KR 2021 (deadline: June 27)
Thanh Dinh
-
[Hol-info] Call for Applications: Doctoral Consortium of KR 2021 (deadline: June 30)
Thanh Dinh
-
[Hol-info] CFP - Workshop on Machine Ethics and Explainability - The Role of Logic Programming (MEandE-LP 2021)
Miguel Areias
-
[Hol-info] CFP - Workshop on Probabilistic Logic Programming (PLP 2021)
Miguel Areias
-
[Hol-info] [Second Call for Papers] Formal Verification of Physical Systems (FVPS 2021)
Adnan Rashid via hol-info
-
[Hol-info] [Call for Participation] 12th International School on Rewriting
ADRIAN RIESCO RODRIGUEZ
-
[Hol-info] CFP - Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021)
Miguel Areias
-
[Hol-info] CFP - 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2021)
Miguel Areias
-
[Hol-info] CALCO 2021: Deadline extension and invited speakers
Thorsten Wissmann
-
[Hol-info] PhD position on program verification in Coq
David Nowak
-
[Hol-info] 12th International School on Rewriting (ISR 2021), online and free
ADRIAN RIESCO RODRIGUEZ
-
[Hol-info] CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021)
Miguel Areias
-
[Hol-info] Call For Short Papers - 37th International Conference on Logic Programming (ICLP 2021)
Miguel Areias
-
[Hol-info] PhD position on the formalization of logical calculi in Saarbrücken
Andrei Popescu
-
[Hol-info] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
Andrei Popescu
-
[Hol-info] Call for Participation - Workshop on Natural Formal Mathematics (NatFoM 2021)
Dennis Müller
-
[Hol-info] [Call for Papers] Formal Verification of Physical Systems (FVPS 2021)
Adnan Rashid via hol-info
-
[Hol-info] RAMiCS 2021 - Deadline Extension
luigi . santocanale
-
[Hol-info] LOPSTR 2021 - Call for Papers: Extended Deadline
Emanuele De Angelis
-
[Hol-info] SETTA 2021: 2nd CFP updated with a special issue for STTT
songfu1...@shanghaitech.edu.cn
-
[Hol-info] CALCO 2021: Second call for papers
Thorsten Wissmann
-
[Hol-info] FMBC 2021 - Final Call for Papers (Deadline extension)
Bruno Bernardo via hol-info
-
[Hol-info] Postdoc in Computing Science with a Specialisation in IT for a Sustainable and Secure Society
Tjark Weber
-
[Hol-info] CFP - 37th International Conference on Logic Programming (extended deadlines)
Miguel Areias
-
[Hol-info] FACS 2021 - Second Call for Papers
FACS 2021
-
[Hol-info] [fm-announcements] CFP: Workshop on Formal Methods for Autonomous Systems
Graydon, Mallory (LARC-D320) via fm-announcements via hol-info
-
[Hol-info] Sources for "Formal verification of floating point trigonometric functions"
Heiko Becker
-
[Hol-info] FMBC 2021 - 3rd Call for Papers (Deadline extensions)
Bruno Bernardo via hol-info
-
[Hol-info] [fm-announcements] Call for (Virtual) Participation - NFM 2021
Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
-
[Hol-info] WST 2021: deadline extension (9 May, 2021)
Samir Genaim
-
[Hol-info] LOPSTR 2021 - 2nd Call For Papers
Emanuele De Angelis
-
[Hol-info] FroCoS 2021 - Final Call for Papers
geoff
-
[Hol-info] RAMiCS 2021 - Third CFP
luigi . santocanale
-
[Hol-info] CfP: Logical Frameworks and Meta-Languages: Theory and Practice
Tjark Weber
-
[Hol-info] SPIN 2021 - Final Call for Papers
Laarman, A.W.
-
[Hol-info] 2021 Conference on Intelligent Computer Mathematics - Doctoral Programme - Call for Abstracts
Serge Autexier
-
[Hol-info] 2nd Call For Papers - 37th International Conference on Logic Programming (ICLP 2021)
Miguel Areias
-
[Hol-info] 2nd Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021)
Miguel Areias
-
[Hol-info] FMBC 2021 - 2nd Call for Papers
Bruno Bernardo via hol-info
-
[Hol-info] Unique on-demand course in applied formal methods
Ashish Darbari
-
[Hol-info] Deadline Extension: April 5th, 20201, 14th Conference on Intelligent Computer Mathematics (CICM 2021)
Serge Autexier
-
[Hol-info] Morello: Edinburgh research posts on capability-based security technologies
Ian Stark
-
[Hol-info] CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science
Claudio Sacerdoti Coen
-
[Hol-info] WST 2021 - Call for Papers
Samir Genaim
-
[Hol-info] Final Call for Workshop and Tutorial Proposals for KR 2021 (Deadline extended until April 2nd)
Thanh Dinh
-
[Hol-info] FMBC 2021 - Call for Papers
Bruno Bernardo via hol-info
-
[Hol-info] Call for Papers: HotSpot 2021
Toby Murray
-
[Hol-info] FACS 2021 - First Call for Papers
FACS 2021
-
[Hol-info] AITP 2021 - Call for Contributions
geoff
-
[Hol-info] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation
Andrei Popescu
-
[Hol-info] HOL4-Emacs Problem
Elif Deniz
-
[Hol-info] 14th Conference on Intelligent Computer Mathematics (CICM 2021) Final call for papers, Conference Date: July 26-31, 2021
Serge Autexier
-
[Hol-info] ARCADE 2021 - Call for Papers
geoff
-
[Hol-info] Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021)
Miguel Areias
-
[Hol-info] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021
Andrei Popescu
-
[Hol-info] Sample code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
Cris Perdue
-
[Hol-info] Call For Papers - 37th International Conference on Logic Programming (ICLP 2021)
Miguel Areias
-
[Hol-info] John Harrison's Book HOL Light
William Mitchell Jr
-
[Hol-info] 2021 Alonzo Church Award
Javier Esparza
-
[Hol-info] SPIN 2021 - Deadline extension to April 20
Laarman, A.W.
-
[Hol-info] KR 2021: Call for Workshop and Tutorial Proposals (Applications due March 17th)
Thanh Dinh
-
[Hol-info] [CFP] 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021)
Thanh Dinh
-
[Hol-info] LOPSTR 2021 - Preliminary Call For Papers
Emanuele De Angelis
-
[Hol-info] Call for Papers: 23rd Workshop on Formal Techniques for J(ust-about-any) Program 2021
David Cok
-
[Hol-info] CFP: Special Track on AI for Tackling Dis/Misinformation during Pandemics @ ACM GoodIT2021
Chilean Scholar
-
[Hol-info] Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark
Jacopo Mauro