[Hol-info] [LPNMR 2024] Call For Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** LPNMR 2024 - Call for Papers 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) Dallas, Texas, USA | October 11-14, 2024

[Hol-info] CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024

IEEE SMC-IT / SCC 2024 10th International Conference on Space Mission Challenges for Information Technology 15th International Conference on Space Computing Computer History Museum, Mountain View, CA, USA July 15-19, 2024 CALL FOR PARTICIPATION REGISTRATION IS NOW OPEN:

[Hol-info] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024

=== Call for Submissions to the Doctoral Programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August

[Hol-info] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024

== First Call for Papers Third Workshop on Formal Verification of Physical Systems (FVPS-2024)

[Hol-info] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024

= First Call for Papers Workshop on Women in Formal Methods (WiFM-2024) August 9, 2024

[Hol-info] FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different

Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, May 24! Prof Prof Tiziana Margaria, University of Limerick, Ireland will reflect on her experiences in teaching Formal Methods in two countries: Germany and Ireland. Tiziana is a computer scientist

[Hol-info] FSEN 2025 - Call for Papers

FIRST CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 Västerås, Sweden 7,8 April 2025 ## -- About

[Hol-info] 2nd cfp sefm'24

= SECOND CALL FOR PAPERS 22nd International Conference on Software Engineering and Formal Methods 4-8 November 2024 University of Aveiro, Portugal https://sefm-conference.github.io/2024/ The 21st edition of the

[Hol-info] International Workshop on Quantification (QUANTIFY 2024)

Call for Contributions International Workshop on Quantification (QUANTIFY 2024) (co-located with the International Joint Conference on Automated Reasoning, IJCAR 2024) https://qbf24.pages.sai.jku.at/quantify/

[Hol-info] AITP 2024 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 12

FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE Artificial Intelligence and Theorem Proving, AITP 2024 September 1-6, 2024, Aussois, France http://aitp-conference.org/2024 Deadline: Extended to May 12, 2024 https://easychair.org/conferences/?conf=aitp2024 BACKGROUND Large-scale semantic

[Hol-info] FACS 2024 - Third Call for Papers

[ Please distribute, apologies for multiple postings. ] = 20th International Conference on Formal Aspects of Component Software (FACS) - Third Call https://facs-conference.github.io/2024/ September 09-10, 2024, Milan, Italy

[Hol-info] Final CFP with New Deadlines: Formal Methods Teaching Workshop

FMTea 2024: Formal Methods Teaching Workshop Politecnico di Milano Milan, Italy, September 10, 2024 NEW DEADLINES Conference website https://fmtea.github.io/ Invited Speaker Leslie Lamport, Microsoft Research, USA – Turing Award Winner Formal methods originated as a means for the rigorous

[Hol-info] Call for Papers: Scheme '24

CALL FOR PAPERS The 2024 Workshop on Scheme and Functional Programming Co-located with ICFP 2024 (Milan, Italy) https://icfp24.sigplan.org/home/scheme-2024

[Hol-info] ETAPS 2025 – Call for Satellite Events

ETAPS 2025 – Call for Satellite Events 28th ETAPS International Joint Conferences on Theory and Practice of Software McMaster University, Canada. Hamilton, Canada, May 03-08, 2025 # About ETAPS The ETAPS International Joint Conferences on Theory and Practice of Software is the primary forum

[Hol-info] HOL4 users' workshop - call for participation

Dear all, Arm is hosting a HOL4 users’ workshop in Cambridge, UK. We aim to: bring together those interested in HOL4; showcase current work which uses HOL4; and share tips, tricks, and best practices. Michael Norrish, the primary developer of HOL4, will be giving a keynote presentation. When:

[Hol-info] Second round of abstract submissions - WADT 2024

[Apologies for cross-posting] == WADT 2024 - Second round of abstract submissions 27th International Workshop on Algebraic Development Techniques https://conf.researchr.org/home/wadt-2024 Part of the STAF 2024 multi-conference

[Hol-info] 11th Rodin Workshop - Call for Abstracts

The 11th Rodin User and Developer Workshop, 25th June, 2024, Bergamo, Italy Rodin Workshop 2024 Website The 11th Rodin workshop will be collocated with the ABZ 2024 Conference. The purpose of this

[Hol-info] The 18th International Conference on Reachability Problems - RP 2024

Call for Papers The 18th International Conference on Reachability Problems - RP 2024 September 25-27, 2024, TU Wien, Vienna, Austria https://easychair.org/smart-program/RP24/index.html **Overview** The 18th International Conference on Reachability Problems (RP'24) is being organised as a

[Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024)

FINAL CALL FOR PAPERS KR 2024 (Deadline: April 24, 2024) 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Deadline for submissions (final call) : 24 April 2024 Conference web site: www.kr.org/KR2024 --

[Hol-info] IJCAR 2024: Call for Participation

[Apologies for multiple copies of this announcement] --- IJCAR 2024 - The 12th International Joint Conference on Automated Reasoning Nancy, France, July 1-6, 2024

[Hol-info] Formal Methods Teaching Workshop (FMTea 2024) Call for Papers

FMTea 2024: Formal Methods Teaching Workshop Politecnico di Milano Milan, Italy, September 10, 2024 Conference website https://fmtea.github.io/ Invited Speaker Leslie Lamport, Microsoft Research, USA – Turing Award Winner Formal methods originated as a means for the

[Hol-info] [Approaching Deadline] LPNMR 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** LPNMR 2024 - Call for Workshops 17th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2024

[Hol-info] FACS 24 - Second Call for Papers

[ Please distribute, apologies for multiple postings. ] = 20th International Conference on Formal Aspects of Component Software (FACS) - Second Call https://facs-conference.github.io/2024/ September 09-10, 2024, Milan, Italy

[Hol-info] IJCAR: Woody Bledsoe Award: Call for Nominations

[[Apologies if you receive this email multiple times]] The Woody Bledsoe Award honors the memory of Woody Bledsoe [1], for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected

[Hol-info] 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation

[ Please distribute, apologies for multiple postings. ] 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation https://fmbc.gitlab.io/2024 April 07, 2024, Luxembourg City,

[Hol-info] PAAR 2024 - Call for Papers - Extended Deadlines

** PAAR-2024: 9TH WORKSHOP ON PRACTICAL ASPECTS OF

[Hol-info] [ECAI-2024] Submission deadline approaching

Submissions for the main track of ECAI-2024, the 27th European Conference on Artificial Intelligence, are now open. You need to register your paper by 19 April 2024 and then upload the PDF (and any supplementary materials) by 25 April 2024. The deadlines for the demo track, for our sister

[Hol-info] iFM 2024 Call for Papers

iFM 2024 Call for Papers - 19th International Conference on Integrated Formal Methods https://ifm2024.cs.manchester.ac.uk/ ***Objectives and scope*** In the last decades, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques,

[Hol-info] LPAR 2024 short presentation papers - CFP

** The 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-25 Mauritius, 26-31st May 2024 https://lpar-25.info CALL FOR SHORT PRESENTATION PAPERS In keeping with the

[Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - TUTORIAL AND WORKSHOP PROPOSALS EXTENDED DEADLINE

Call for Tutorial and Workshop Proposals 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Deadline for submissions EXTENDED : 11 April, 2024 Conference web site: www.kr.org/KR2024 -- Call for Tutorial

[Hol-info] CICM 2024 - Extended deadline - Call for Papers

Call for Papers - formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024 Montréal, Canada

[Hol-info] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19!

For the first time ever, the FM symposium hosts a tutorial papers track: https://www.fm24.polimi.it/?page_id=310. We invite you to submit your tutorial contributions here! Important Dates (Tutorial Papers Only) Tutorial Paper Submission April 19th, 2024 (Fri) 23:59 AoE Preliminary

[Hol-info] PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18)

Dear all, As part of a US funded project, we have an exciting opportunity for a PostDoc in the Security and Trust of Advanced Systems Group at the University of Exeter (UK) to work applying formal methods to enterprise systems: We will use formal methods (e.g., model checking, SMT solving,

[Hol-info] FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck

Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Thursday (!!), March 28! Prof Wolfram Kahl, McMaster University, Canada will lecture on his experiences in teaching with a tool called CalcCheck: a proof checker for teaching calculational Logics and Discrete

[Hol-info] [ECAI-2024] Call for Nominations for the EurAI Dissertation Award

Nominations are now invited for the 2023 Artificial Intelligence Dissertation Award sponsored by EurAI, the European Association of Artificial Intelligence. Eligible are all doctoral theses in AI that were defended between December 2022 and December 2023 at a European university. Full

[Hol-info] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024

[Hol-info] ThEdu'24 - 2nd Call for Extended Abstracts

2nd Call for Extended Abstracts & Demonstrations ** ThEdu'24 Theorem proving components for Educational software 2 July 2024

[Hol-info] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)

We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff form the Université Paris-Saclay on developing a formal semantics for Go(lang) in Isabelle/HOL. This is part of a new 'double PhD' programme leading to a PhD award from the University of Exeter and the

[Hol-info] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent

Apologies for cross posting. Dear colleagues, We seek a talented and motivated postdoc/Research associate to join the School of Computing at the University of Kent, Canterbury, UK. The Research Associate will participate in cutting edge research on type-based enforcement and compilation

[Hol-info] 1st cfp of SEFM'24

= FIRST CALL FOR PAPERS 22nd International Conference on Software Engineering and Formal Methods 4-8 November 2024 University of Aveiro, Portugal https://sefm-conference.github.io/2024/ The 21st edition of the

[Hol-info] LPNMR 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** LPNMR 2024 - Call for Workshops 17th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2024

[Hol-info] EKAPI 2024 - Call for Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** LPNMR 2024 - Preliminary Call for Papers 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) Dallas, Texas, USA | October

[Hol-info] LPNMR 2024 - Preliminary Call for Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** LPNMR 2024 - Preliminary Call for Papers 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) Dallas, Texas, USA | October

[Hol-info] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024

[Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - KR in the Wild (Special Track)

21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Conference web site: www.kr.org/KR2024 -- Call for Papers: KR in the Wild (Special Track) -- As a complement to the traditional KR Main track focusing

[Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Reasoning, Learning, and Decision Making (Special Track)

21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Conference web site: www.kr.org/KR2024 -- Call for Papers: Reasoning, Learning, and Decision Making -- The special track on Reasoning, Learning, and

[Hol-info] GandALF 2024, Reykjavik, Iceland: Call for papers

The Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 24, https://scool24.github.io/GandALF/) will be held in Reykjavik (Iceland) on June 19-21, 2024. The call for papers is below. This year, GandALF is part of the Reykjavik Summer of Cool Logic 2024

[Hol-info] 2nd Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024

Choreographic Programming: Call for Contributions = First International Workshop on Choreographic Programming co-located with PLDI 2024 One-day event, TBD within 24–28th of June 2024, Copenhagen, Denmark https://pldi24.sigplan.org/home/cp-2024

[Hol-info] AITP 2024 - Call for Contributions

CALL FOR CONTRIBUTIONS Artificial Intelligence and Theorem Proving, AITP 2024 September 1-6, 2024, Aussois, France http://aitp-conference.org/2024 Deadline: May 5, 2024 https://easychair.org/conferences/?conf=aitp2024 BACKGROUND Large-scale semantic processing and strong computer assistance of

[Hol-info] IJCAR 2024 Workshops

IJCAR 2024 --- Co-Located workshops. More information below. PAAR-2024: 9TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING https://paar2024.github.io/ QUANTIFY 2024: International Workshop on Quantification https://qbf24.pages.sai.jku.at/quantify/ SC-Square 2024: 9th International

[Hol-info] International Logic Olympiad

INTERNATIONAL LOGIC OLYMPIAD We are pleased to announce the International Logic Olympiad 2024 (ILO2024) – a world-wide contest on Logic for high school students. Register & learn more at

[Hol-info] ITP 2024, Interactive Theorem Proving: Last Call For Papers

https://www.viam.science.tsu.ge/itp2024/ The international conference on Interactive Theorem Proving (ITP 2024) will take place on September 9-14, 2024 in Tbilisi, Georgia. It is planned as a hybrid meeting.  It will mostly be a face-to-face (physical) meeting but facilities will be provided for

[Hol-info] LPAR-25, Call for Short Presentation Papers

** The 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-25 Mauritius, 26-31st May 2024 https://lpar-25.info CALL FOR SHORT PRESENTATION PAPERS In keeping with the

[Hol-info] [RFC] EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages

EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages EvoGPT-f on arXiv Abstract Formal mathematics is the discipline of translating mathematics into a programming language in which any statement can be unequivocally checked by a

[Hol-info] ITP 2024: Call for Workshop and Tutorial Proposals

--- Fifteenth Conference on Interactive Theorem Proving ITP 2024 September 9-14, 2024, Tbilisi, Georgia https://www.viam.science.tsu.ge/itp2024/

[Hol-info] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line

Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, March 1, 2024 at 10 am CET. Please note the unusual time, due to our speaker's location (Sydney, Australia). Prof Carroll Morgan, University of New South Wales (UNSW), Australia will lecture on his

[Hol-info] Bill McCune PhD Award in Automated Reasoning 2024 Call for Nominations

The Bill McCune PhD Award in Automated Reasoning 2024 Call for Nominations http://cadeinc.org/McCune-Award *** Automated Reasoning is the area of Computer Science dedicated to applying reasoning in the form of logic to computing systems.

[Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR TUTORIAL AND WORKSHOP PROPOSALS

FIRST CALL FOR TUTORIAL AND WORKSHOP PROPOSALS 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Deadline for submissions (1st call) : 25 March 2024 Conference web site: www.kr.org/KR2024 -- First Call

[Hol-info] [ECAI-2024] Call for PC Members for ECAI-2024

We are reaching out to the research community to ask for volunteers to join the programme committee of ECAI-2024, the 27th European Conference on Artificial Intelligence. We are looking for volunteers who have completed their PhD, who have published at good AI conferences in the past, and

[Hol-info] ITP 2024 : Second call for papers

https://www.viam.science.tsu.ge/itp2024/ The international conference on Interactive Theorem Proving (ITP 2024) will take place on September 9-14, 2024 in Tbilisi, Georgia. It is planned as a hybrid meeting.  It will mostly be a face-to-face (physical) meeting but facilities will be provided for

[Hol-info] Call for Bids to Host FroCoS-ITP-TABLEAUX 2025

We are pleased to announce the call for proposals for hosting and organising FroCoS-ITP-TABLEAUX 2025, on their 15th, 16th and 33rd editions, respectively. - FroCoS (http://frocos.cs.uiowa.edu/) is the main international event for research on the development of techniques and methods for the

[Hol-info] ICGT '24 Final Call for Papers

[apologies for cross-posting] * FINAL CALL FOR PAPERS * = 17th International Conference on Graph Transformation (ICGT 2024)   web: https://conf.researchr.org/home/icgt-2024 Part of STAF 2024, 8th-12th July in Twente, NL  

[Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR PAPERS

FIRST CALL FOR PAPERS KR 2024 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Deadline for submissions (1st call) : 24 April 2024 Conference web site: www.kr.org/KR2024 -- First Call for Papers --

[Hol-info] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)

Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24) https://lfmtp.github.io/lfmtp-page/workshops/2024/ Logical frameworks and meta-languages form a common substrate for

[Hol-info] Final Call for ESSAI 2024 Course Proposals: Deadline 7 February

(Apologies for multiple postings) FINAL CALL FOR ESSAI 2024 COURSE PROPOSALS The 2nd European Summer School in Artificial Intelligence - ESSAI 2024 July 15-26, 2024 Athens, Greece https://essai2024.di.uoa.gr/ IMPORTANT DATES 07 Feb 2024: Course Title submission deadline (mandatory) 14 Feb

[Hol-info] 2024 Alonzo Church Award, Call for Nominations

CALL FOR NOMINATIONS *Deadline in less than one month* The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM

[Hol-info] CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques

[Apologies for multiple copies, please forward it to interested parties] === JOINT CALL FOR PAPERS DisCoTec 2024 19th International Federated Conference on Distributed Computing Techniques June 17-21, 2024 Groningen, The Netherlands

[Hol-info] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024)

Deadline Extension Call For Papers COORDINATION 2024 26th International Conference on Coordination Models and Languages Part of 19th International Federated Conference on Distributed Computing Techniques (DisCoTec 2024), together with FORTE and DAIS conferences. Dates: June 18-20, 2024 Location:

[Hol-info] [ECAI-2024] Deadline for Tutorial Proposals approaching

The 27th European Conference on Artificial Intelligence will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. We invite proposals for tutorials to be held during the first two days of the conference, alongside workshops and the doctoral consortium. We

[Hol-info] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS)

[ Please distribute, apologies for multiple postings. ] = 20th International Conference on Formal Aspects of Component Software (FACS) - First Call https://facs-conference.github.io/2024/ September 09-10, 2024, Milan, Italy

Re: [Hol-info] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)

The deadline for applications has been extended until Sunday (February 4) midnight CET. More information about the trimester is at https://www.mathematics.uni-bonn.de/him/programs/future/tp_2024_05 and the school at https://www.mathematics.uni-bonn.de/him/programs/future/tp_2024_05#wks4 . On

[Hol-info] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)

[This is a very late call and we are hoping for at least an informal deadline extension; please advertise/send it to people who might be interested.] == The Hausdorff Trimester "Prospects of Formalized Mathematics" will organize a "School of Formalized Mathematics" (May 13 - 17, 2024).

[Hol-info] ThEdu'24 - Open Call for Extended Abstracts

Call for Extended Abstracts & Demonstrations * ThEdu'24 Theorem proving components for Educational software 2 July 2024

[Hol-info] FMBC 2024 – Fourth Call for Papers (deadline extension)

[ Please distribute, apologies for multiple postings. ] = 5th International Workshop on Formal Methods for Blockchains - Fourth Call (deadline extension) https://fmbc.gitlab.io/2024 April 07, 2024, Luxembourg City,

[Hol-info] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Second Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024

[Hol-info] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024

Choreographic Programming: Call for Contributions = First International Workshop on Choreographic Programming co-located with PLDI 2024 One-day event, TBD within 24–28th of June 2024, Copenhagen, Denmark https://pldi24.sigplan.org/home/cp-2024

[Hol-info] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun

Dear all, The Formal Methods Teaching tutorials series starts in 2024 with a lecture on Friday, January 26! Prof Alcino Cunha, University of Minho, Portugal will lecture on his experiences in teaching Alloy with Alloy4Fun on Friday, January 26, 2024 at 3 pm CEST. Alcino uses Alloy4Fun in

[Hol-info] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024

Call for Workshop and Tutorial Proposals 17th Conference on Intelligent Computer Mathematics - CICM 2024 -

[Hol-info] FMBC 2024 - Third Call for Papers

FMBC 2024 - Third Call for Papers [ Please distribute, apologies for multiple postings. ] = 5th International Workshop on Formal Methods for Blockchains - Third Call https://fmbc.gitlab.io/2024 April 07, 2024, Luxembourg

[Hol-info] IJCAR 2024: Final Call for Papers

IJCAR 2024: Final Call for Papers IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA in Nancy, France, from July 1-6, 2024. IJCAR 2024 is the merger

[Hol-info] SPIN 2024: second Call for Papers (deadline extension)

***  CALL FOR PAPERS SPIN 2024 - 30th International Symposium on Model Checking of Software Luxembourg City, Luxembourg, 10–11 April, 2024 co-located with ETAPS 2024 (6-11 April) *extended

[Hol-info] [ECAI-2024] Deadline for Workshop Proposals approaching (and more!)

Would you like to organise a workshop at ECAI-2024? The 27th European Conference on Artificial Intelligence will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024, with workshops taking place during the first two days. Proposals from all subfields of AI and

Re: [Hol-info] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024

Dear colleagues, Another note: This talk will be recorded and made available on youtube (I will come back with the link). I would like to apologise to those of you attending CPP -- when scheduling this (which happened a while ago) I lost sight of the overlap with CPP. :-( Best wishes, Andrei

[Hol-info] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024

Dear all, Next week there will be an online talk (via zoom) by Lawrence Paulson on a topic that is likely to be of interest to quite a few people on these lists. Please note the information about registration below. Best wishes, Andrei Information:

[Hol-info] ESSAI 2024 CALL FOR COURSE PROPOSALS

(Apologies for multiple postings) The 2nd European Summer School in Artificial Intelligence - ESSAI 2024 July 15-26, 2024 Athens, Greece https://essai2024.di.uoa.gr/ IMPORTANT DATES 07 Feb 2024: Course Title submission deadline (mandatory) 14 Feb 2024: Final submission 06 Mar 2024: Notification

[Hol-info] FMBC 2024 - Second Call for Papers

[ Please distribute, apologies for multiple postings. ] = 5th International Workshop on Formal Methods for Blockchains - Second Call https://fmbc.gitlab.io/2024 April 07, 2024, Luxembourg City, Luxembourg

[Hol-info] Interactions Between Proof Assistants and Mathematical Software at ICMS 2024 (call for abstracts)

We are happy to announce that we will run a session on Interactions Between Proof Assistants and Mathematical Software at the biannual International Conference on Mathematical Software in Durham, UK 22-25 July 2024. As part of this we are calling for abstracts for talks to be presented at the

[Hol-info] ITP 2024: First Call for Papers

ITP 2023: First Call for Papers https://www.viam.science.tsu.ge/itp2024/ The international conference on Interactive Theorem Proving (ITP 2024) will take place on September 9-14, 2024 in Tbilisi, Georgia. It is planned as a face-to-face (physical) meeting. The ITP conference series is

[Hol-info] Certified Programs and Proofs (CPP'24) - Call for Participation

*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2024 *** - Early registration deadline: 14 December 2023 - Registration:

[Hol-info] Second Call for Papers IEEE SMC-IT/SCC 2024

CALL FOR IEEE SMC-IT/SCC 2024 SUBMISSIONS 10th IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) 15th IEEE International Conference on Space Computing (SCC) Computer History Museum, Mountain View, California Important Dates: Deadline for full

[Hol-info] [Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing?

World Logic Day Event: What Came First, Math or Computing? Moshe Y. Vardi, University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University Talk with reception to follow. Remote participation will be available via Zoom. The link will be sent

[Hol-info] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24)

Call for Participation (/Talks/Tutorials) Automated Program and Proof Synthesis February 20, 2024, Vancouver, BC (a bridge workshop of AAAI 2024) Automated Program and Proof Synthesis (AP2S) are two long-standing, closely-related challenges in AI, recently advanced through the incorporation of

[Hol-info] IJCAR 2024: 2nd call for co-located events

/Apologies if you receive multiple copies/ *IJCAR 2024: 2nd call for co-located events* 12th International Joint Conference on Automated Reasoning – IJCAR 2024 July 1–6, 2024, Nancy, France https://ijcar2024.loria.fr DEADLINE EXTENSION: submissions open till December 8th, 2023 The

[Hol-info] 2024 Alonzo Church Award Call for Nominations

CALL FOR NOMINATIONS The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and

[Hol-info] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals

The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974. We invite all members of the

[Hol-info] MARS 2024 - CALL FOR PAPERS - Luxembourg City (Luxembourg) - April 6th, 2024

  Models for Formal Analysis of Real Systems (MARS 2024)    April 6th, 2024 Affiliated with ETAPS 2024 Luxembourg City, Luxembourg http://mars-workshop.org/mars2024/ The

[Hol-info] CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers

Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5-9, 2024 Montreal, Canada https://cicm-conference.org/2024/

[Hol-info] FMBC 2024 - First Call for Papers

[ Please distribute, apologies for multiple postings. ] = 5th International Workshop on Formal Methods for Blockchains - First Call https://fmbc.gitlab.io/2024 April 07, 2024, Luxembourg City, Luxembourg Co-located with

[Hol-info] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)

Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024

[Hol-info] ICGT 2024: First Call for Papers

[apologies for cross-posting] * 1st CALL FOR PAPERS * = 17th International Conference on Graph Transformation (ICGT 2024)   web: https://conf.researchr.org/home/icgt-2024 Part of STAF 2024, 8th-12th July in Twente, NL  

  1   2   3   4   5   6   7   8   9   10   >