776
Comment:
|
1412
|
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)'' | [[AbstractAlexCabuz|Make something people want]] |
Line 9: | Line 9: |
'''Madalina Erascu''', West University of Timisoara . March 12, 2014 |
''Alexandru Cabuz'', Peergate, Romania |
Line 12: | Line 11: |
--- ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)'' |
. April 13, 2016, 18:00, room 045C |
Line 15: | Line 13: |
'''Madalina Erascu''', West University of Timisoara . March 5, 2014 |
---- TBA Liviu Oana, West University of Timisoara, Romania . April 6, 2016, 18:00, room 045C ---- '''Big Data Analysis: Problems and Solutions''' ''Adriana Dinis'', West University of Timisoara, Romania . March 23, 2016, 18:00, room 045C ---- '''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 ---- [[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
Alexandru Cabuz, Peergate, Romania
- April 13, 2016, 18:00, room 045C
TBA
Liviu Oana, West University of Timisoara, Romania
- April 6, 2016, 18:00, room 045C
Big Data Analysis: Problems and Solutions
Adriana Dinis, West University of Timisoara, Romania
- March 23, 2016, 18:00, room 045C
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