|
Size: 785
Comment:
|
Size: 989
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ||Previous years: ||[[ScientificSeminar/2013|2013]] || [[ScientificSeminar/2012|2012]] ||[[ScientificSeminar/2011|2011]] ||[[ScientificSeminar/2010|2010]] ||[[ScientificSeminar/2009|2009]] ||[[ScientificSeminar/2008|2008]] ||[[ScientificSeminar/2007|2007]] ||[[ScientificSeminar/2006|2006]] ||[[ScientificSeminar/2005|2005]] || | ||Previous years: ||[[ScientificSeminar/2015|2015]] ||[[ScientificSeminar/2014|2014]] ||[[ScientificSeminar/2013|2013]] ||[[ScientificSeminar/2012|2012]] ||[[ScientificSeminar/2011|2011]] ||[[ScientificSeminar/2010|2010]] ||[[ScientificSeminar/2009|2009]] ||[[ScientificSeminar/2008|2008]] ||[[ScientificSeminar/2007|2007]] ||[[ScientificSeminar/2006|2006]] ||[[ScientificSeminar/2005|2005]] || |
| Line 4: | Line 4: |
| '''2014''' | '''2016''' |
| Line 7: | Line 7: |
| ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)'' | Projection algorithms for convex feasibility problems |
| Line 9: | Line 9: |
| '''Madalina Erascu''', West University of Timisoara . March 12, 2014 |
Irina Artinescu, West University of Timisoara, Romania |
| Line 12: | Line 11: |
| --- | . March 16, 2016, 18:00, room 045C |
| Line 14: | Line 13: |
| ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)'' | ---- Anderson Localisation for matrix-valued operators |
| Line 16: | Line 16: |
| '''Madalina Erascu''', West University of Timisoara . March 5, 2014 |
Hakim Boumaza, University Paris 13, France |
| Line 19: | Line 18: |
| --- | . March 4, 2016, 11:00, room 045C ---- [[AbstractRochelleTractenberg|Appreciating the role of measurement -and its difficulties- in the validity of scientific research claims.]] [[BioRochelleTractenberg|Rochelle Tractenberg]], Georgetown University, USA . January 27, 2016, 12:00, room A01 |
2016
Projection algorithms for convex feasibility problems
Irina Artinescu, West University of Timisoara, Romania
- March 16, 2016, 18:00, room 045C
Anderson Localisation for matrix-valued operators
Hakim Boumaza, University Paris 13, France
- March 4, 2016, 11:00, room 045C
Rochelle Tractenberg, Georgetown University, USA
- January 27, 2016, 12:00, room A01