10times
Conference

Dagstuhl Seminar on Principles of Contract Languages

22 - 27 Nov 2020 Add To Calendar
Dagstuhl, Wadern, Germany
About Followers Reviews Exhibitors Photos Speakers Travel Deals

Dagstuhl Seminar on Principles of Contract Languages, contracts continue to be a central element in run-time analysis. In the last two decades they also became the dominant decomposition approach in deductive verification and are realized in all major software verification systems. More recently, software contracts are increasingly used in test case generation and model checking.


Timings

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

Entry Fees

Check Official Website

Participants

upto 100
Delegates
Estimated Count

Category & Type

Conference
Education & Training
IT & Technology

Editions

22 - 27 Nov 2020 Interested


Frequency Newly Listed

Official Links

WebsiteContacts


Report Error
Claim this event

Organizer

LogoSend Stall Book Request

Leibniz-Institute for New Materials

Germany 43 Total Events / 8 Upcoming Events
49.530635 6.898719

Venue Map & Directions

map of Dagstuhl

Dagstuhl

Oktavie-Allee, 66687 Wadern, Germany
Germany

Get Directions

Featured Hotels in Wadern

More Hotels