Messages by Date
-
2023/03/29
[Hol-info] CICM 2023, Extended deadlines 3.4.2023 (abstracts) / 10.4.2023 (full paper)
Serge Autexier
-
2023/03/28
[Hol-info] CFP: 14th International Workshop on the Implementation of Logics
geoff
-
2023/03/28
[Hol-info] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming
Luigia Petre
-
2023/03/23
[Hol-info] VerifyThis 2023: Call for Participation
Stephen Siegel
-
2023/03/18
[Hol-info] FMCAD 2023: First Call for Papers
Rozier, Kristin-Yvonne [AER E]
-
2023/03/18
[Hol-info] TABLEAUX 2023 - FIRST CALL FOR PAPERS
Josef Urban
-
2023/03/18
[Hol-info] ITP 2023: Call for Workshop and Tutorial Proposals
Thiemann , René
-
2023/03/12
[Hol-info] LOPSTR 2023 - Call for Papers
daniel . jurjo
-
2023/03/12
[Hol-info] ThEdu'23 2nd call for papers
Walther Neuper
-
2023/03/12
[Hol-info] ITP 2024 - Call for Bids
Thiemann , René
-
2023/03/09
[Hol-info] PhD or Postdoc Position at LMU Munich about Verified Modal Logics
Andrei Popescu
-
2023/03/08
[Hol-info] 10th Rodin Workshop - Call for Abstracts
Dana Dghaym via hol-info
-
2023/03/08
[Hol-info] Announce: Summer School about the use of Proof Assistants for Teaching PAT2023
Julien Narboux
-
2023/03/07
[Hol-info] iFM 2023 - Call for Papers
Laarman, A.W. (Alfons) via hol-info
-
2023/03/07
[Hol-info] iFM 2023 - Call for Papers
Laarman, A.W. (Alfons) via hol-info
-
2023/03/02
[Hol-info] AITP 2023 - Call for Contributions
Josef Urban
-
2023/03/01
[Hol-info] KR 2023: Calls for Applications & Systems Track, Special Session on KR & ML, Doctoral Consortium
Theofanis I. Aravanis
-
2023/02/27
[Hol-info] CfP Reliability, safety and security of railway systems (RSSRail 2023)
Alexander Romanovsky
-
2023/02/24
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals
Theofanis I. Aravanis
-
2023/02/24
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track
Theofanis I. Aravanis
-
2023/02/24
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR, Robotics & Planning
Theofanis I. Aravanis
-
2023/02/24
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers
Theofanis I. Aravanis
-
2023/02/22
[Hol-info] CADE-29 second Call for Papers
geoff
-
2023/02/19
[Hol-info] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023)
Serge Autexier
-
2023/02/15
[Hol-info] TABLEAUX 2023 - PRELIMINARY CALL FOR PAPERS
Josef Urban
-
2023/02/09
[Hol-info] The CADE-29 ATP System Competition CASC-29
geoff
-
2023/02/06
[Hol-info] FroCoS 2023 Call for Papers
geoff
-
2023/02/02
[Hol-info] SMC-IT and SCC Deadline Extension (March 3rd 2023)
Marie Farrell
-
2023/02/02
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Tutorial and Workshop Proposals
Theofanis I. Aravanis
-
2023/02/02
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium
Theofanis I. Aravanis
-
2023/02/02
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML
Theofanis I. Aravanis
-
2023/02/02
[Hol-info] RAMiCS 2023 - Call for participation
Michael Winter
-
2023/02/02
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Applications & Systems Track
Theofanis I. Aravanis
-
2023/01/30
[Hol-info] [fm-announcements] FMICS 2023 - Call for Papers
Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements via hol-info
-
2023/01/30
[Hol-info] Call for Papers: DaLí - Special Issue of the J. of Logical and Algebraic Methods in Programming
Carlos Areces via hol-info
-
2023/01/30
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers
Theofanis I. Aravanis
-
2023/01/23
[Hol-info] LPAR-24, June 2023, Call for Papers
geoff
-
2023/01/22
[Hol-info] ITP 2023: Second Call for Papers
Thiemann , René
-
2023/01/18
[Hol-info] GCM 2023: First call for papers
Jens Kosiol via hol-info
-
2023/01/18
[Hol-info] Another limitation of HOL: Binding the type variable in the Axiom of Choice
Ken Kubota
-
2023/01/12
[Hol-info] SMC-IT 2023 Call for Papers
Marie Farrell
-
2023/01/12
[Hol-info] CADE-29 Call for Papers
geoff
-
2023/01/08
[Hol-info] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software
Walther Neuper
-
2022/12/22
[Hol-info] RAMiCS 2023 - Call for short contributions / posters
Michael Winter
-
2022/12/17
[Hol-info] Call for Papers: Conference on Intelligent Computer Mathematics (CICM 2023)
Serge Autexier
-
2022/12/17
[Hol-info] Call for Workshops: Conference on Intelligent Computer Mathematics (CICM 2023)
Serge Autexier
-
2022/12/14
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Special Session on KR & ML
Theofanis I. Aravanis
-
2022/12/14
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First CFP - Apps & Systems Track
Theofanis I. Aravanis
-
2022/12/14
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Recently Published Research Track
Theofanis I. Aravanis
-
2022/12/11
[Hol-info] POPL '23 Early Bird Registration ending Friday, Dec 16
Kristopher K Micinski via hol-info
-
2022/12/11
[Hol-info] NFM 2023: Deadline extension & final CFP
Rozier, Kristin-Yvonne [AER E]
-
2022/12/09
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First Call for Tutorial and Workshop Proposals
Theofanis I. Aravanis
-
2022/12/09
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First Call for Papers
Theofanis I. Aravanis
-
2022/12/09
[Hol-info] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Doctoral Consortium - First Call for Applications
Theofanis I. Aravanis
-
2022/12/09
[Hol-info] CfP ICGT 2023 :: 16th International Conference on Graph Transformation
Christopher Michael POSKITT
-
2022/12/06
[Hol-info] FMTea Tutorial on Teaching TLA+ in Industry: Principal Research Engineer Markus Kuppe, RiSE group at Microsoft Research, US, on Friday, December 9, 2022 at 3 pm CET
Luigia Petre
-
2022/12/06
[Hol-info] Certified Programs and Proofs (CPP) 2023: Call for Participation
Steve Zdancewic
-
2022/12/01
[Hol-info] Dov Gabbay Prize for Logic and Foundations
geoff
-
2022/11/29
[Hol-info] Call for Participation: POPL'23
Kristopher K Micinski via hol-info
-
2022/11/27
[Hol-info] Proposals for Sites for IJCAR 2024
geoff
-
2022/11/27
[Hol-info] 2023 Alonzo Church Award: Call for Nominations
Mariangiola Dezani
-
2022/11/18
[Hol-info] Call for Papers: NASA Formal Methods (NFM) 2023
Rozier, Kristin-Yvonne [AER E]
-
2022/11/17
[Hol-info] ITP 2023: First Call for Papers
Thiemann , René
-
2022/11/14
[Hol-info] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
Andrei Popescu
-
2022/11/05
[Hol-info] STAF 2023 - Call for Workshop Proposals
Boronat, Artur (Dr.)
-
2022/11/05
[Hol-info] Postdoc position in automata and concurrency theory, at the University of Warsaw
Sławomir Lasota
-
2022/11/01
[Hol-info] VerifyThis 2023: Call for Problems
Stephen Siegel
-
2022/11/01
[Hol-info] [Vardi-list] Job Opportunity: Postdoctoral Fellow in Tech-Culture-Society
Moshe Y Vardi
-
2022/10/22
[Hol-info] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET
Luigia Petre
-
2022/10/18
[Hol-info] 2nd Open Call for Papers - Proceedings for ThEdu'22
Walther Neuper
-
2022/10/17
[Hol-info] FSEN 2023 final CfP: deadline extension and hybrid format
Maurice ter Beek
-
2022/10/09
[Hol-info] [Vardi-list] A Special Seminar in Honor's of Dana Scott's 90th Birthday
Moshe Y Vardi
-
2022/10/06
[Hol-info] [CfP] PADL 2023: Final Call for Papers (with updated deadlines!)
Inclezan, Daniela
-
2022/10/03
Re: [Hol-info] (PN) 2nd CfP - Software Verification and Testing Track at SAC 2023
Dmitry Zaitsev
-
2022/09/30
[Hol-info] POPL 2023 Call for Tutorials
Kristopher K Micinski via hol-info
-
2022/09/30
[Hol-info] [FSEN 2023] Second Call for Papers FSEN 2023
Maurice ter Beek
-
2022/09/24
[Hol-info] RAMiCS 2023 - Deadline extension
Michael Winter
-
2022/09/24
[Hol-info] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
Favonia via hol-info
-
2022/09/21
[Hol-info] Second CFP: PADL 2023
Inclezan, Daniela
-
2022/09/21
[Hol-info] 1st Call for Papers: NASA Formal Methods (NFM) 2023
Rozier, Kristin-Yvonne [AER E]
-
2022/09/16
[Hol-info] 2nd CfP - Software Verification and Testing Track at SAC 2023
Georgiana Caltais
-
2022/09/13
[Hol-info] CfP - 29th International Symposium on Model Checking of Software - SPIN 2023
Georgiana Caltais
-
2022/09/10
[Hol-info] ThEdu'22/EPTCS Proceedings - CFP
Walther Neuper
-
2022/09/10
[Hol-info] RAMiCS 2023 - Third call for papers
Michael Winter
-
2022/09/05
[Hol-info] CfP Software Verification and Testing Track at SAC 2023
Georgiana Caltais
-
2022/08/24
[Hol-info] FME Teaching Tutorials series continues on August 26, at 3 pm CEST: Dr. Robert Lewis (Brown University, US) on "Teaching the theory and practice of proof assistants with Lean"
Luigia Petre
-
2022/08/16
[Hol-info] Certified Programs and Proofs (CPP) 2023 Call for Papers
Steve Zdancewic
-
2022/08/11
[Hol-info] CFP: PADL 2023
Inclezan, Daniela
-
2022/08/05
[Hol-info] PhD student in Computing Science on the topic of efficient and provably correct execution environments
Tjark Weber
-
2022/07/26
[Hol-info] Call for Participation -- Mathematics of Program Construction 2022
Daggitt, Matthew via hol-info
-
2022/07/21
[Hol-info] New lecture in FME Teaching Tutorials series on July 29, at 3 pm CEST: Prof. Erika Abraham (RWTH Aachen University, Germany) on "Automatic exercise generation for satisfiability checking"
Luigia Petre
-
2022/07/20
[Hol-info] RAMiCS 2023 - Second call for papers
Michael Winter
-
2022/07/18
[Hol-info] [Vardi-list] How to be an ethical computer scientist
Moshe Y Vardi
-
2022/07/13
[Hol-info] Call for participation DaLí 2022
Carlos Areces
-
2022/07/06
[Hol-info] CICM 2022, final call for applications to the doctoral programme, 15. July 2022
Serge Autexier
-
2022/07/05
[Hol-info] [Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien
Moshe Y Vardi
-
2022/07/05
[Hol-info] EuroProofNet WG2 kickoff meeting
geoff
-
2022/06/28
[Hol-info] LPNMR 2022: Call for participation (Early reg. By July 20th)
cfp
-
2022/06/27
[Hol-info] Datalog 2.0 2022 - Third Call for Papers
cfp
-
2022/06/24
[Hol-info] CoSim-CPS, 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems, Submission due: Sunday 31 July 2022
Maurizio Palmieri
-
2022/06/22
[Hol-info] [FSEN 2023] First Call for Papers FSEN 2023
Maurice ter Beek
-
2022/06/22
[Hol-info] LPNMR 2022: First call for Doctoral Consortium
cfp
-
2022/06/18
[Hol-info] 14th International Summer School on Verification Technology, Systems & Applications
geoff
-
2022/06/15
[Hol-info] POPL 2023 Call for Papers -- deadline Thursday, July 7th, AoE
Kristopher K Micinski via hol-info
-
2022/06/14
[Hol-info] Certified Programs and Proofs (CPP) 2023 Call for Papers
Steve Zdancewic
-
2022/06/13
[Hol-info] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody"
Luigia Petre
-
2022/06/13
[Hol-info] [Vardi-list] FW: FLOC 2022 -- Call For Participation
Moshe Y Vardi
-
2022/06/11
[Hol-info] ICLP 2022: Call for Participation
Víctor Pérez
-
2022/06/01
[Hol-info] IJCAR-11 - Call for participation
geoff
-
2022/05/25
[Hol-info] RCRA 2022 - 1st call for papers
cfp
-
2022/05/24
[Hol-info] ITP 2022: Call for Participation
Leonardo de Moura via hol-info
-
2022/05/24
[Hol-info] RAMiCS 2023 - First call for papers
Michael Winter
-
2022/05/22
[Hol-info] [Deadline Extension] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022)
Emily LeBlanc
-
2022/05/22
[Hol-info] ACL2 Workshop 2022 Final Call For Participation
Rob Sumners
-
2022/05/18
[Hol-info] [CfP] F-IDE 2022: The 7th Workshop on Formal Integrated Development Environment
Son Hoang
-
2022/05/16
[Hol-info] [Vardi-list] FLoC 2022 Call for Student Volunteers
Moshe Y Vardi
-
2022/05/16
[Hol-info] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations
geoff
-
2022/05/14
[Hol-info] Final extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains
Zaynah Dargaye
-
2022/05/14
[Hol-info] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION)
Alexandre Madeira
-
2022/05/12
[Hol-info] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics
Serge Autexier
-
2022/05/09
[Hol-info] CALL FOR APPLICATIONS - KR 2022 DOCTORAL CONSORTIUM - EXTENDED DEADLINE
Heyninck, Jesse
-
2022/05/05
[Hol-info] DaLí 2022 - Call for Papers - ** Extended Deadline **
Carlos Areces
-
2022/05/04
[Hol-info] Deadline extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains External
Zaynah Dargaye
-
2022/05/03
[Hol-info] NMR 2022: 20th International Workshop on Non-Monotonic Reasoning - Call for Extended Abstracts
giovanni.casini
-
2022/05/02
[Hol-info] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022)
Emily LeBlanc
-
2022/05/01
[Hol-info] AITP 2022 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 10
Josef Urban
-
2022/05/01
[Hol-info] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!
Andrei Popescu
-
2022/04/27
[Hol-info] [fm-announcements] MOVEP: Early-bird rate ends April 30th
Martin Zimmermann via fm-announcements via hol-info
-
2022/04/27
[Hol-info] WST 2022: final call for papers (submission deadline changed!)
Cynthia Kop
-
2022/04/27
[Hol-info] Second CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains
Zaynah Dargaye
-
2022/04/27
[Hol-info] Call for Presentations: VardiFest22
Kristin Yvonne Rozier
-
2022/04/27
[Hol-info] CALL FOR APPLICATIONS - KR 2022 DOCTORAL CONSORTIUM - EXTENDED DEADLINE
Heyninck, Jesse
-
2022/04/26
[Hol-info] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
Andrei Popescu
-
2022/04/25
[Hol-info] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Call for Workshop & Tutorial Proposals until July 8, 2022
Serge Autexier
-
2022/04/22
[Hol-info] Call for Participation FUN 2020 & 2022
Mosteiro, Miguel A.
-
2022/04/22
[Hol-info] Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)
cfp
-
2022/04/22
[Hol-info] [fm-announcements] NFM 2022 - Call for participation
Havelund, Klaus (US 348B) via fm-announcements via hol-info
-
2022/04/22
[Hol-info] Last CfP - NMR 2022: 20th International Workshop on Non- Monotonic Reasoning - Extended Deadlines
giovanni.casini
-
2022/04/22
[Hol-info] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs
Luigia Petre
-
2022/04/22
[Hol-info] CICM 2022, 15th Conf. Intelligent Computer Mathematics, Hybrid Event, Invited Speakers update & Second Call for Papers
Serge Autexier
-
2022/04/16
[Hol-info] ThEdu'22 2nd CfP
Walther Neuper
-
2022/04/13
[Hol-info] LPNMR 2022 - Last Call for Papers
cfp
-
2022/04/13
[Hol-info] Tenure-track assistant professor in Formal Aspects of Programming Languages
Coen DE ROOVER
-
2022/04/13
[Hol-info] MPC 2022 - Deadline extension
Daggitt, Matthew via hol-info
-
2022/04/12
[Hol-info] 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software
Joao Marcos
-
2022/04/06
[Hol-info] CfP - NMR 2022: 20th International Workshop on Non-Monotonic Reasoning
giovanni.casini
-
2022/04/06
[Hol-info] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (2nd clã)
Alexandre Madeira
-
2022/04/04
[Hol-info] Automated Reasoning in Quantified Non-Classical Logics - Call for Papers
geoff
-
2022/04/04
[Hol-info] ICTCS'22: preliminary CfP
Daniele Gorla via hol-info
-
2022/04/03
[Hol-info] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)
Achim D. Brucker
-
2022/03/29
[Hol-info] PLP 2022 - Call for Papers
Víctor Pérez
-
2022/03/29
[Hol-info] Final Call for Papers -- Mathematics of Program Construction 2022
Daggitt, Matthew via hol-info
-
2022/03/28
[Hol-info] First CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains
Zaynah Dargaye
-
2022/03/28
[Hol-info] Datalog 2.0 - 1st Call for Papers
cfp
-
2022/03/24
[Hol-info] ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs - Call for papers
Víctor Pérez
-
2022/03/24
[Hol-info] CAUSAL 2022 - Call for papers
Víctor Pérez
-
2022/03/24
[Hol-info] ASPOCP 2022 - Call for papers
Víctor Pérez
-
2022/03/23
[Hol-info] LPNMR 2022 - 2nd Call for Papers
cfp
-
2022/03/22
[Hol-info] CAUSAL 2022: Workshop on Causal Reasoning and Explanation (co-located with ICLP 2022)
Emily LeBlanc
-
2022/03/22
[Hol-info] Recently Published Research Track of KR2022
Heyninck, Jesse
-
2022/03/20
Re: [Hol-info] e (qexists_tac `0`); won't parse
Michael Norrish via hol-info
-
2022/03/20
[Hol-info] e (qexists_tac `0`); won't parse
Brian Milnes
-
2022/03/20
[Hol-info] Derivative of real infinite summation in HOL Light
Elif Deniz
-
2022/03/20
[Hol-info] Bill McCune PhD Award 2021 - Call for Nominations
geoff
-
2022/03/14
[Hol-info] ICLP DC 2022 - 18th Doctoral Consortium (DC) on Logic Programming
Víctor Pérez
-
2022/03/11
[Hol-info] Morello: Edinburgh research post on capability-based security technologies
Ian Stark
-
2022/03/09
[Hol-info] Recently Published Research Track of KR2022
Heyninck, Jesse
-
2022/03/09
[Hol-info] AITP 2022 - Call for Contributions
Josef Urban
-
2022/03/07
[Hol-info] 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING - Call for Papers
geoff
-
2022/03/07
[Hol-info] TAP22: Tests and Proofs 2022 - Call for Papers
geoff
-
2022/03/06
[Hol-info] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
Andrei Popescu
-
2022/03/03
Re: [Hol-info] Call for bids to host ITP 2023
Leonardo de Moura via hol-info
-
2022/03/03
[Hol-info] iPRA 2022 - 4th Workshop on Interpolation: from Proofs to Applications
geoff
-
2022/03/03
[Hol-info] PhD Position in Number Theory and Formalization
Andrei Popescu
-
2022/03/02
[Hol-info] Call for Applications - KR 2022 Doctoral Consortium
giovanni.casini
-
2022/02/27
Re: [Hol-info] Solving LENGTH Problems
Michael Norrish via hol-info
-
2022/02/27
[Hol-info] Solving LENGTH Problems
Kyle Darling via hol-info
-
2022/02/25
[Hol-info] CFP: Recently Published Research Track of KR2022
Heyninck, Jesse
-
2022/02/25
[Hol-info] [fm-announcements] 1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022)
Martin Zimmermann via fm-announcements via hol-info
-
2022/02/22
[Hol-info] DaLí 2022 - Call for Papers
Carlos Areces
-
2022/02/22
[Hol-info] LPNMR 2022 - last call for workshops - 3 days to deadline
cfp
-
2022/02/21
[Hol-info] ICGT 2022: Second Call for Papers
Daniel Strüber
-
2022/02/18
[Hol-info] VerifyThis 2022 --- Call for Participation
Lammich, Peter (UT-EEMCS) via hol-info
-
2022/02/18
[Hol-info] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US
Luigia Petre
-
2022/02/16
[Hol-info] LPNMR 2022 - second call for workshops
cfp
-
2022/02/13
[Hol-info] CfP GCM 2022 - 13th International Workshop on Graph Computation Models
Christopher Michael POSKITT
-
2022/02/13
[Hol-info] 17th Workshop on Logical and Semantic Frameworks with Applications - LSFA 2022 - Call for Papers
geoff
-
2022/02/13
[Hol-info] LPNMR 2022 - second call for workshops
cfp
-
2022/02/13
[Hol-info] IJCAR 2022 - Extended Deadline
geoff
-
2022/02/09
[Hol-info] ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms
Víctor Pérez
-
2022/02/09
[Hol-info] EELP 2022: The Third Workshop on Epistemic Extensions of Logic Programming
Víctor Pérez
-
2022/02/09
[Hol-info] [CfP] ICLP 2022 - Call for Recently Published Research Papers
Víctor Pérez
-
2022/02/08
[Hol-info] PhD Student Position at Uppsala University
Tjark Weber
-
2022/02/06
[Hol-info] FUN 2022: 2nd call for papers
Mosteiro, Miguel A.
-
2022/02/02
[Hol-info] 2nd Call for papers -- Mathematics of Program Construction 2022
Daggitt, Matthew via hol-info
-
2022/02/01
[Hol-info] [Vardi-list] Webinar & Call for Model-Checking Community Feedback
Moshe Y Vardi
-
2022/02/01
[Hol-info] Call for Model-Checking Community Feedback
Kristin Yvonne Rozier
-
2022/01/31
[Hol-info] CICM 2022, 15th Conference on Intelligent Comouter Matehmatics 2022, First Call for Papers, May 9th, 2022, abstract submissions Deadline
Serge Autexier
-
2022/01/31
[Hol-info] ITP 2022: Last Call for Papers
Leonardo de Moura via hol-info
-
2022/01/31
[Hol-info] IJCAR 2022 - Call for Papers
geoff