Filter
Mon 5 Nov
08:30 - 09:15 Day opening | Tucker TaftAdaCore | |||||||||||||||||||||||||||||||||||||||||
09:15 - 10:00 Talk | Robert A. MartinThe MITRE Corporation |
10:30 - 11:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:15 - 12:00 Talk | Deborah BodeauThe MITRE Corporation |
13:30 - 14:15 Talk | Tobias RungeTU Braunschweig, Ina SchaeferTechnische Universität Braunschweig, Alexander KnüppelTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University, Derrick KourieStellenbosch University, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR | |||||||||||||||||||||||||||||||||||||||||
14:15 - 15:00 Other | Stephen ChongHarvard University, Ina SchaeferTechnische Universität Braunschweig, Tobias RungeTU Braunschweig, Lucas WagnerRockwell Collins, Sam ProcterCarnegie Mellon Software Engineering Institute, Tucker TaftAdaCore |
15:30 - 16:00 Short-paper | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 16:30 Short-paper | Dara LyCEA LIST, Nikolai KosmatovCEA List, Frederic LoulergueNorthern Arizona University, Julien SignolesCEA LIST | |||||||||||||||||||||||||||||||||||||||||
16:30 - 16:55 Short-paper | Andrew BernsUniversity of Northern Iowa, James CurbowUniversity of Northern Iowa, Joshua HilliardUniversity of Northern Iowa, Sheriff JorkehUniversity of Northern Iowa, Miho SandersUniversity of Northern Iowa | |||||||||||||||||||||||||||||||||||||||||
16:55 - 17:00 Social Event |
Tue 6 Nov
08:30 - 08:45 Awards | Tucker TaftAdaCore | |||||||||||||||||||||||||||||||||||||||||
08:45 - 09:05 Talk | Eric BaizeSAFECode / Dell | |||||||||||||||||||||||||||||||||||||||||
09:05 - 10:00 Talk | Raymond RichardsDARPA |
10:30 - 11:15 Talk | Lucas WagnerRockwell Collins | |||||||||||||||||||||||||||||||||||||||||
11:15 - 12:00 Talk | Sam ProcterCarnegie Mellon Software Engineering Institute, Peter FeilerCarnegie Mellon Software Engineering Institute |
13:30 - 14:15 Talk | Jeffrey S. FosterTufts University | |||||||||||||||||||||||||||||||||||||||||
14:15 - 15:00 Talk | Chris CasinghinoDraper Laboratory |
15:30 - 15:55 Industry talk | Paul AndersonGrammaTech, Inc | |||||||||||||||||||||||||||||||||||||||||
15:55 - 16:20 Industry talk | Mario TroianiVirtual Software Systems | |||||||||||||||||||||||||||||||||||||||||
16:20 - 16:45 Industry talk | Tucker TaftAdaCore | |||||||||||||||||||||||||||||||||||||||||
16:45 - 17:00 Day closing | Tucker TaftAdaCore |
Mon 5 Nov 2018
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Franklin | 08:30 - 10:00 | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 |
Tue 6 Nov 2018
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Franklin | 08:30 - 10:00 | 10:30 - 12:00 | 13:30 - 15:00 | 15:30 - 17:00 |
Mon 5 Nov 2018
Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Franklin | 08:30 - 09:15 | 13:30 - 14:15 | 14:15 - 15:00 |
Tue 6 Nov 2018
Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Franklin | 08:30 - 08:45 | 14:15 - 15:00 | 16:45 - 17:00 |
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format