10times
Conference

Dagstuhl Seminar on Principles of Contract Languages

06 - 11 Nov 2022 New Date Reminder
Dagstuhl, Wadern, GermanyGet Directions
AboutFollowersExhibitorsSpeakersReviewsTravel 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

Estimated Turnout

upto 100
Delegates
Based on previous editions

Category & Type

Conference
Education & Training
IT & Technology

Editions

Nov 2022
+1 more edition

Frequency Biennial
Next edition likely in Nov 2024

Official Links

WebsiteContacts


Report Error
Claim this event

Organizer

Logo

Queries about the event? Ask Organizer

Leibniz Association

Germany75 Total Events
Edition

How did you participate in this event?

Write a Review

Add Your Review
49.5306356.898719

Venue Map & Directions

map of Dagstuhl
Dagstuhl

Oktavie-Allee, 66687 Wadern, Germany
Germany

Get Directions

Featured Hotels in Wadern

More Hotels
10times_gold_banner