10times
Conference

Formal Methods in Computer-Aided Design


  • About
  • Reviews

The Formal Methods in Computer-Aided Design, organized by the TU Wien will take place from 2nd October to 6th October 2017 at the Vienna University of Technology in Vienna, Austria. The conference will cover areas like model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods and decision procedures at the bit.

Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Participants

upto 100 DelegatesEstimated Count

Category & Type

Conference
IT & Technology

Editions

02-06 Oct 2017


Frequency Not Available

Official Links

Website Contacts


Report Error
Claim this event

Organizer

Logo Send Stall Book Request

TU Wien Austria

20 events listed

User Community [Users who have shown interest for this Event]

CHAIB ABDELBASSIT

CHAIB ABDELBASSIT

Student at UNIVERSITY HASSIBA BEN BOUALI CHLEF Chlef, Algeria
chesi chenwi afanwi

chesi chenwi afanwi

Managing Director at Family Farm CIG Bamenda, Cameroon
yankuba fatty

yankuba fatty

it maneger at tendaba camp Banjul, The Gambia
jess

jess

general manger at ethiohabesha.com Addis Ababa, Ethiopia

Write a Review

Add Your Review
48.198655 16.368463

Venue Map & Directions

map of Vienna University of Technology

Vienna University of Technology

Karlsplatz 13, 1040 Wien
Vienna, Austria

Get Directions

Featured Hotels in Vienna

More Hotels