Search this forum
Subscribe in a Reader
Find us on Facebook
Follow us on Twitter
Follow StudTravelForum on Twitter

Marktoberdorf Summer School 2009 - Logics and Languages for Reliability and Security

Go down

Expired Marktoberdorf Summer School 2009 - Logics and Languages for Reliability and Security

Post by Admin on Wed 25 Feb 2009, 09:23

Summer School Marktoberdorf 2009
Logics and Languages for Reliability and Security

August 4 to August 16, 2009

Advanced Study Institute of the NATO Science for Peace and Security Programme
Supported by Microsoft Research under the Inspire Programme and the town and the county of Marktoberdorf.

The "Marktoberdorf Summer School" is a two weeks' course for young computer scientists and mathematicians working in the field of formal software and systems development. The course is designed to give an in-depth presentation of state-of-the-art topics, to promote international contacts and collaboration and to team up leading researchers and young scientists.

Scientific foundations provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of programs. Within the last decade, program verifiers have been applied to critical applications, software model checking has made strides into industrial applications, and a number of research tools have been built using automatic program-verification technology. Formal methods for increasing the reliability and security of software follow two different approaches: the language-based and the logic-based. The objective of the Summer School 2009 is to present the state-of-the-art in these two approaches and their common semantic foundation. We have selected researchers with exceptional expertise and also well known for teaching and lively interaction with students on how to meet these challenges.

Previous training and experience in computer science as well as a solid background in mathematics are indispensable. The directors of the Summer School are allowed to award only a limited number of participants.

Every person who is admitted to attend the Summer School as participant has to pay Euro 670 for the living expenses (covering accommodation, breakfast, lunch, dinner, refreshments, and social events) and Euro 840 for the participation fee (including working material - to be distributed upon arrival - and a copy of the final proceedings).

Application Deadline: March 10, 2009

For more information on this Summer School, visit the website:

"Twenty years from now you will be more disappointed by the things that you didn't do, than by the ones you did do. So throw off the bowlines. Sail away from the safe harbor. Catch the trade winds in your sails. Explore. Dream. Discover." -- Mark Twain

Female Capricorn Number of posts : 393
Age : 30
Reputation : 0
Points : 461
Registration date : 2009-02-11

View user profile

Back to top Go down

Back to top

- Similar topics

Permissions in this forum:
You cannot reply to topics in this forum