Search this forum
Latest topics
Find us on Facebook
Marktoberdorf Summer School 2009 - Logics and Languages for Reliability and Security
Page 1 of 1 • Share •
Marktoberdorf Summer School 2009 - Logics and Languages for Reliability and Security
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.
Objective
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.
Participation
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.
Fees
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: http://asimod.in.tum.de/
_________________
"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
Admin- Admin
-
Number of posts : 393
Age : 30
Reputation : 0
Points : 461
Registration date : 2009-02-11

» Amendments to the Revised IRR through GPPB Resolution No. 06-2009
» UPDATED[MediaFire]3 Idiots • 2009 • 550MB • X264 DVDRiP • English SubTitles •
» High School Reunion.. girl w/pimples
» I need to focus in school
» Exercise Summer Sales
» UPDATED[MediaFire]3 Idiots • 2009 • 550MB • X264 DVDRiP • English SubTitles •
» High School Reunion.. girl w/pimples
» I need to focus in school
» Exercise Summer Sales
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|
» Helloooo!
» SCMSA 17th Summer School on Tropical Medicine & Infectious Diseases, Egypt 2013
» ISWINT-2013
» Deadline 31 December - Summer School in Medical & Biosciences Research & Management, May 26 - June 4, 2013, Greece
» International Student Conference on Computer & Information Technology (ISCCIT) 2013, April 18 - 19, Shanghai, China
» Deadline 16 November 2012 - PAVE The Way, 3D Design Challenge for Students
» Deadline 30 November - Youth Platform for Disaster Risk Reduction 2012, 18 - 21 December, Republic of Moldova
» Leiden International Medical Student Conference (LIMSC) 2013, March 13 - 17, Netherlands
» 2013 International Students For Liberty Conference, February 15 - 17, Washington, DC