Differences

This shows you the differences between two versions of the page.

program:doctoral [31.08.2010 11:07]
Dirk Deridder
program:doctoral [01.09.2010 12:01] (current)
Dirk Deridder
Line 11: Line 11:
^  **Doctoral Symposium** \\ tuesday 21 September 2010  ^^ ^  **Doctoral Symposium** \\ tuesday 21 September 2010  ^^
-| ..h.. | Welcome +| 08:30 | Registration
-| ..h.. | Keynote by **Rupak Majumdar** \\ //(MPI-SWS, Kaiserslautern and UC Los Angeles)// \\ \\ **Through the Looking Glass: Ph.D., Research, and Advising** \\ \\ //Getting a doctoral degree, and preparing for a career in research, is not easy.+| 09:00 | SESSION 1 - Keynote by **Rupak Majumdar** \\ //(MPI-SWS, Kaiserslautern and UC Los Angeles)// \\ \\ **Through the Looking Glass: Ph.D., Research, and Advising** \\ \\ //Getting a doctoral degree, and preparing for a career in research, is not easy.
Being an advisor is perhaps harder. I will recount some personal lessons I have Being an advisor is perhaps harder. I will recount some personal lessons I have
-learnt, and advice from others I have found helpful. // \\ \\ //(Joint work with many others, whose advice has shaped my views)//| +learnt, and advice from others I have found helpful. // \\ \\ //(Joint work with many others, whose advice has shaped my views)// | 
-| ..h.. | Talks of 3/4 hour \\ \\ **Error-Avoiding Adaptors for Black-Box Software Components** \\ Casandra Holotescu \\ //Politehnica University of Timisoara, Romania// \\ \\ **Automated Model Grouping** \\ Michael Becker \\ //University of Leipzig, Germany// \\ \\ **Automatic inference of abstract type behavior** \\ Mihai Balint \\ //Politehnica University of Timisoara, Romania// \\ \\ **Extraction and Visualization of Traceability Relationships between Documents and Source Code** \\ Xiaofan Chen \\ //University of Auckland, New Zealand// \\ \\ **Model Checking Graph Representation of Precise Boolean Inter-procedural Flow Analysis** \\ Domnic Letarte \\ //École Polytechnique de Montréal, Canada// \\ \\ **The Influence of Multiple Artifacts on the Effectiveness of Software Testing** \\ Matt Staats \\ //University of Minnesota, USA// |+| 10:30 | Coffee break | 
 +| 11:00 | SESSION 2 \\ \\ **Error-Avoiding Adaptors for Black-Box Software Components** \\ Casandra Holotescu \\ //Politehnica University of Timisoara, Romania// \\ \\ **Automated Model Grouping** \\ Michael Becker \\ //University of Leipzig, Germany//
 +| 12:30 | Lunch break | 
 +| 14:00 | SESSION 3 \\ \\ **Automatic inference of abstract type behavior** \\ Mihai Balint \\ //Politehnica University of Timisoara, Romania// \\ \\ **Extraction and Visualization of Traceability Relationships between Documents and Source Code** \\ Xiaofan Chen \\ //University of Auckland, New Zealand//
 +| 15:30 | Lunch break | 
 +| 16:00 | SESSION 4 \\ \\ **Model Checking Graph Representation of Precise Boolean Inter-procedural Flow Analysis** \\ Domnic Letarte \\ //École Polytechnique de Montréal, Canada// \\ \\ **The Influence of Multiple Artifacts on the Effectiveness of Software Testing** \\ Matt Staats \\ //University of Minnesota, USA//
 +| 17:30 | Closing discussion |
===== Doctoral Symposium Chairs ===== ===== Doctoral Symposium Chairs =====
Driven by DokuWiki