Skip Main Navigation
Eventbrite
Browse Events
Organise
Help
Log InSign Up
Menu
Page Content
This event has ended.
FMCAD - Formal Methods in Computer-Aided Design 2022

Actions Panel

Oct 17

FMCAD - Formal Methods in Computer-Aided Design 2022

FMCAD 2022 is the 22nd in a series of conferences on the theory and applications of formal methods in hardware and system verification.

By Fondazione Bruno Kessler

When and where

Date and time

Mon, 17 Oct 2022, 09:00 – Fri, 21 Oct 2022, 17:30 CEST

Location

Grand Hotel Trento Piazza Dante, 20 38122 Trento Italy

Map and directions

How to get there

About this event

FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

FMCAD was first held in 1996, and was a bi-annual conference until 2006, when the FMCAD and CHARME conferences merged into a single annual conference. Before merging, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years. Since 2006, the FMCAD conference has been held annually at various international venues.

Co-located event:

VSTTE 2022 – 14th Working Conference on Verified Software: Theories, Tools, and Experiments

The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.

The Verified Software Initiative (VSI), spearheaded by Tony Hoare and Jayadev Misra, is an ambitious research program for making large-scale verified software a practical reality. The International Conference on Verified Software: Theories, Tools and Experiments (VSTTE) is the main forum for advancing the initiative. VSTTE brings together experts spanning the spectrum of software verification in order to foster international collaboration on the critical research challenges. The theoretical work includes semantic foundations and logics for specification and verification, and verification algorithms and methodologies. The tools cover specification and annotation languages, program analyzers, model checkers, interactive verifiers and proof checkers, automated theorem provers and SAT/SMT solvers, and integrated verification environments. The experimental work drives the research agenda for theory and tools by taking on significant specification/verification exercises covering hardware, operating systems, compilers, computer security, parallel computing, and cyber-physical systems.

REGISTRATION:

The registration fee includes: participation in the event (According to the ticket purchased), coffee-breaks and lunches, social dinner (one for VSTTE, one for FMCAD), conference material.

CANCELLATION POLICY:

Cancellation requests received by 30th August: 50% refund

Cancellation requests received by 17th September: 30% refund

Cancellation requests received after 17th September: no refund

REGISTRATION DEADLINE: 13th October 2022

Tags

  • Italy Events
  • Trento Events
  • Things to do in Trent
  • Trent Seminars
  • Trent Science & Tech Seminars
Event ended

FMCAD - Formal Methods in Computer-Aided Design 2022


Follow this organiser to stay informed on future events

Fondazione Bruno Kessler

Event creator

Events you might like

  • Masterclass Hospitality (Riva del Garda)

    Masterclass Hospitality (Riva del Garda)
    Masterclass Hospitality (Riva del Garda)

    Thu, Feb 9, 14:30
    Grand Hotel Liberty • Riva del Garda
    €48
  • TREDI 2023

    TREDI 2023
    TREDI 2023

    Tue, Feb 28, 09:00
    Fondazione Bruno Kessler • Trento
    €60 - €300
  • CoderDojo - 11 febbraio @ Biblioteca di Trento

    CoderDojo - 11 febbraio @ Biblioteca di Trento
    CoderDojo - 11 febbraio @ Biblioteca di Trento

    Sat, Feb 11, 14:30
    Biblioteca Comunale di Trento • Trento
    Free
  • Cittadinanza digitale 7° "Fotografia digitale"

    Cittadinanza digitale 7° "Fotografia digitale"
    Cittadinanza digitale 7° "Fotografia digitale"

    Fri, May 26, 17:30
    Dipartimento di Psicologia e Scienze Cognitive • Rovereto
    Free
  • Cittadinanza digitale 5° incontro "Contenuti digitali e condivisione"

    Cittadinanza digitale 5° incontro "Contenuti digitali e condivisione"
    Cittadinanza digitale 5° incontro "Contenuti digitali e condivisione"

    Fri, Mar 10, 17:30
    Dipartimento di Psicologia e Scienze Cognitive • Rovereto
    Free
  • Deconstructing Ontology-based Visual Analytics for Apple Testing Program

    Deconstructing Ontology-based Visual Analytics for Apple Testing Program
    Deconstructing Ontology-based Visual Analytics for Apple Testing Program

    Thu, Oct 5, 18:30
    NOISE - NOI Techpark • Bolzano
    Free
  • Speck&Tech 50 Loading...

    Speck&Tech 50 Loading...
    Speck&Tech 50 Loading...

    Mon, Feb 27, 20:30
    Impact Hub Trentino • Trento
    Free
  • Cittadinanza digitale 6° incontro "Sicurezza e protezione dispositivi"

    Cittadinanza digitale 6° incontro "Sicurezza e protezione dispositivi"
    Cittadinanza digitale 6° incontro "Sicurezza e protezione dispositivi"

    Fri, Apr 14, 17:30
    Dipartimento di Psicologia e Scienze Cognitive • Rovereto
    Free
  • Cittadinanza digitale 4° incontro " Google: gmail , calendar ,classroom"

    Cittadinanza digitale 4° incontro " Google: gmail , calendar ,classroom"
    Cittadinanza digitale 4° incontro " Google: gmail , calendar ,classroom"

    Fri, Feb 10, 17:30
    Dipartimento di Psicologia e Scienze Cognitive • Rovereto
    Free
  • Bootcamp Business Agility Facilitation Design powered by Vorrei Sas

    Bootcamp Business Agility Facilitation Design powered by Vorrei Sas
    Bootcamp Business Agility Facilitation Design powered by Vorrei Sas

    Fri, Feb 24, 09:30
    Via A. Manzoni, 14 • Albiano
    €199.99 - €399.99

Site Navigation

Use Eventbrite

  • Create Events
  • Pricing
  • Eventbrite Boost
  • Eventbrite Mobile Ticket App
  • Eventbrite Check-In App
  • Eventbrite App Marketplace
  • Event Registration Software
  • Content Standards
  • FAQs
  • Sitemap

Plan events

  • Sell Tickets Online
  • Event Planning
  • Sell Concert Tickets Online
  • Event Payment System
  • Solutions for Professional Services
  • Event Management Software
  • Community Engagement
  • Virtual Events Platform
  • QR Codes for Event Check-In
  • Post your event online

Find events

  • Browse Trento Events
  • Get the Eventbrite App

Connect with us

  • Report This Event
  • Help Centre
  • Terms
  • Privacy
  • Accessibility
  • Community Guidelines
Eventbrite + Ticketfly

© 2023 Eventbrite