Home / Conference Listings / Mathematics / Automated Theorem Proving / United Kingdom

Conferences  >  Mathematics  >  Automated Theorem Proving  >  United Kingdom

Select a location
Any Location (virtual event) (1)  France (1)  Germany (8)  Japan (1)  United Kingdom (3)  United States (1)
United Kingdom
1
VMCAI 2024 — 25th International Conference on Verification, Model Checking, and Abstract Interpretation
15 Jan 2024 - 16 Jan 2024 • London, United Kingdom
Abstract:
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2024 will be the 25th edition in the series.
Event listing ID:
1583572
Related subject(s):
Software Engineering
Event website:
https://popl24.sigplan.org/home/VMCAI-2024
2
New perspectives in Computational Group Theory
24 Jun 2024 - 26 Jun 2026 • University of Warwick, United Kingdom
Event listing ID:
1580236
Related subject(s):
Group Theory
Event website:
https://sites.google.com/view/newperspectivescgt/home
3
Workshop — Foundations and Applications of Zero-Knowledge Proofs
02 Sep 2024 - 06 Sep 2024 • Edinburgh , United Kingdom
Organizer:
ICMS - International Centre for Mathematical Sciences
Abstract:
This workshop will unite zero-knowledge researchers in the UK and Europe and facilitate community building, especially among PhD students and early career researchers. The content that is presented will be published online as a lasting resource. The ultimate objective of the workshop is to have a significant long-term effect on research in zero-knowledge proofs and privacy-enhancing techniques by encouraging connections and creating resources for researchers.
Topics:
The workshop will cover several topics within this field, including classical results, interactive oracle proofs, proof from symmetric primitives, group and pairing-based proof systems such as ZK-SNARKs, lattice-based proof systems, and real-world applications.
Event listing ID:
1593137
Event website:
https://www.icms.org.uk/ZeroKnowledgeProofs


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 30 November 2023