UP | HOME
a_software.gif
tercer_nivel_software.gif

UPM / IMDEA Track in Software Development through Rigorous Methods

Weekly schedule (tentative)

Students willing to enroll in practical projects, personal work with adviser, or Master Thesis are required to get in touch with program instructors (either from IMDEA or UPM) before signing up for the course to check for the availability of slots / projects and to set up a feasible schedule for the meetings student / instructor.

Fall semester

MondayTuesdayWednesdayThursdayFriday
9:00-11:00
11:00-13:00AbstractReading Group on Analysis
Interpretationof non-Functional
Properties I / Reading Group
on Computer Security I (see
the course web page)
13:00-15:00Theory Seminar I
15:00-17:00
17:00-19:00
19:00-21:00Seminar onRigorous
ScientificSoftware
ResearchDevelopment

Spring semester

MondayTuesdayWednesdayThursdayFriday
9:00-11:00
11:00-13:00Analysis ofReading Group on AnalysisComputerFormal methods forTypes for
Concurrentof non-FunctionalSecurityconcurrent andProgramming
SystemsProperties II / Readingreactive systemsLanguages
Group on Computer Security II
13:00-15:00Theory Seminar II
15:00-17:00
17:00-19:00
19:00-21:00Techniques andTechniques and
Tools forTools for
Program Analysis,Program Analysis,
Verification, andVerification, and
TransformationTransformation



Back to the initial page
Go to the IMDEA Software Institute page

Fractals are used with permission from their author Cory Ench | © 2006-2007. IMDEA Software.
All rights reserved | Legal Notice | Privacy Policy