Conferences  >  Mathematics  >  Automated Theorem Proving  >  United Kingdom

Select a location
VMCAI 2024 — 25th International Conference on Verification, Model Checking, and Abstract Interpretation
15 Jan 2024 - 16 Jan 2024 • London, United Kingdom
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:
Related subject(s):
New perspectives in Computational Group Theory
24 Jun 2024 - 26 Jun 2026 • University of Warwick, United Kingdom
Event listing ID:
Related subject(s):
Workshop — Foundations and Applications of Zero-Knowledge Proofs
02 Sep 2024 - 06 Sep 2024 • Edinburgh , United Kingdom
ICMS - International Centre for Mathematical Sciences
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.
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 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