Search this forum
Latest topics
Find us on Facebook
Marktoberdorf Summer School 2009-Logics and Languages for Reliability and Security
Page 1 of 1
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/
Admin- Admin
- Number of posts : 393
Age : 35
Reputation : 0
Points : 461
Registration date : 2009-02-11
Similar topics
» 2009 AIT Summer School on Future Internet and Sensor Web, Greece, 29 June - 10 July, 2009)
» 6th Leiden Summer School in Languages and Linguistics, 18 - 29 July 2011
» 2nd Euro-Mediterranean Summer School 2009 (EMUNI Summer 2009)
» European Summer School 2009 (ESS 2009) "TransAtlantic Relations from the Perspective of Central Europe", July 11 - July 21 2009, Prague, Czech Republic
» NASA Heliophysics Summer School 2009 July 22-29, 2009 Boulder, CO
» 6th Leiden Summer School in Languages and Linguistics, 18 - 29 July 2011
» 2nd Euro-Mediterranean Summer School 2009 (EMUNI Summer 2009)
» European Summer School 2009 (ESS 2009) "TransAtlantic Relations from the Perspective of Central Europe", July 11 - July 21 2009, Prague, Czech Republic
» NASA Heliophysics Summer School 2009 July 22-29, 2009 Boulder, CO
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|
Tue 11 Mar 2014, 11:21 by Maay123
» Helloooo!
Tue 11 Mar 2014, 11:11 by Maay123
» SCMSA 17th Summer School on Tropical Medicine & Infectious Diseases, Egypt 2013
Fri 19 Apr 2013, 01:44 by SCMSA Summerschool
» ISWINT-2013
Thu 04 Apr 2013, 04:01 by iswint2013
» Deadline 31 December - Summer School in Medical & Biosciences Research & Management, May 26 - June 4, 2013, Greece
Sat 10 Nov 2012, 00:37 by bloggie
» International Student Conference on Computer & Information Technology (ISCCIT) 2013, April 18 - 19, Shanghai, China
Wed 07 Nov 2012, 05:09 by Admin
» Deadline 16 November 2012 - PAVE The Way, 3D Design Challenge for Students
Wed 07 Nov 2012, 04:40 by Admin
» Deadline 30 November - Youth Platform for Disaster Risk Reduction 2012, 18 - 21 December, Republic of Moldova
Wed 07 Nov 2012, 04:04 by Admin
» Leiden International Medical Student Conference (LIMSC) 2013, March 13 - 17, Netherlands
Wed 07 Nov 2012, 03:22 by Admin
» 2013 International Students For Liberty Conference, February 15 - 17, Washington, DC
Wed 07 Nov 2012, 03:02 by Admin