2288
Comment:
|
2111
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
||Previous years: ||[[ScientificSeminar/2011|2011]] ||[[ScientificSeminar/2010|2010]] ||[[ScientificSeminar/2009|2009]] ||[[ScientificSeminar/2008|2008]] ||[[ScientificSeminar/2007|2007]] ||[[ScientificSeminar/2006|2006]] ||[[ScientificSeminar/2005|2005]] || | ||Previous years: ||[[ScientificSeminar/2019|2019]] ||[[ScientificSeminar/2018|2018]] ||[[ScientificSeminar/2017|2017]] ||[[ScientificSeminar/2016|2016]] ||[[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 5: |
'''2013''' | '''2021''' |
Line 7: | Line 9: |
''Syntactic Unification and Matching'' | Title to be announced |
Line 9: | Line 11: |
'''Aurelian Radoaca''', West University of Timisoara | Hans Ienasescu, Technical University of Denmark |
Line 11: | Line 13: |
. April 3, 2013 | . May 11, 2021, 6PM, online |
Line 14: | Line 16: |
''Empirical Software Engineering with Examples'' | [[AbstractLaneHemaspaandra|''The Complexity of Online Bribery in Sequential Elections'']] |
Line 16: | Line 18: |
'''Cristina Marinescu''', West University of Timisoara and Politehnica University of Timisoara | Lane A. Hemaspaandra, University of Rochester, USA |
Line 18: | Line 20: |
. March 20, 2013 | . April 7, 2021, 6PM, online |
Line 21: | Line 23: |
''Optimization and Parallelization of the Minimum Volume Simplex Analysis for the extraction of end-members in Hyperspectral Images'' | [[AbstractToniMitchell|''Outline of Data Science'']] |
Line 23: | Line 25: |
'''Alexander Agathos''', West University of Timisoara | Toni Mitchell, Head of Data & Analytics at Cmed Clinical Research, UK |
Line 25: | Line 27: |
. March 6, 2013 | . March 31, 2021, 6PM, online |
Line 28: | Line 30: |
'''2012''' | [[AbstractRodicaCondurache|''Rational Synthesis in the Commons with Careless and Careful Agents'']] Rodica Condurache, A.I. Cuza University, Iasi, Romania . March 24, 2021, 6PM, online |
Line 31: | Line 37: |
''Submodular optimization and fairness in cooperative games'' | [[AbstractFlorinRosu|''Parallel Numerical Algorithms for Fractional Order Systems'']] |
Line 33: | Line 39: |
'''Cosmin Bonchis''', West University of Timisoara | Florin Rosu, West University of Timisoara, Romania |
Line 35: | Line 41: |
. June 6, 2012 | . March 10, 2021, 6PM, online |
Line 38: | Line 44: |
''Numerical methods for nanoscale electrodynamics'' '''Claudiu Biris''', West University of Timisoara . May 23, 2012 |
'''2020''' |
Line 45: | Line 47: |
''Theory Exploration in Theorema: Case Study on Lists'' | ''The physics of statistical inference and community detection'' |
Line 47: | Line 49: |
'''Isabela Dramnesc''', West University of Timisoara | Cristopher Moore, Santa Fe Institute, USA |
Line 49: | Line 51: |
. May 9, 2012 | . May 20, 2020, online |
Line 52: | Line 54: |
''Automatic Inference of Bounds on Resource Consumption'' | ''Real-time destination prediction for mobile users'' |
Line 54: | Line 56: |
'''German Puebla''', Technical University of Madrid | Radu Mariescu, University of Eastern Finland, Finland |
Line 56: | Line 58: |
. May 8, 2012 | . May 6, 2020, online |
Line 59: | Line 61: |
''Multi-Agent Governance in Cloud'' | ''Formal Design, Implementation and Verification of Blockchain Languages'' |
Line 61: | Line 63: |
'''Victor Munteanu''', West University of Timisoara | Grigore Rosu, University of Illinois at Urbana Champaign, USA |
Line 63: | Line 65: |
. April 25, 2012 | . April 29, 2020, online |
Line 66: | Line 68: |
''Memory-Efficient Static Analysis of Binary Code for Antivirus Development'' | ''It's not Whom You Know, it's What You, or Your Friends, can Do: Coalitional Frameworks for Network Centralities'' |
Line 68: | Line 70: |
'''Ciprian Pungila''', West University of Timisoara | Gabriel Istrate, West University of Timisoara, Romania |
Line 70: | Line 72: |
. April 11, 2012 ---- ''Reflection of an electromagnetic wave by a curved boundary: us of the geometric rotational and laplacian'' '''Olivier Lafitte''', Universite Paris 13, France . April 4, 2012 ---- ''Membrane Computing, after (almost) 14 years'' '''Gheorghe Paun''', Academia Romana . April 3, 2012 ---- ''Towards Human Behavior Analysis in Pervasive Spaces based on Energy Consumption'' '''Ovidiu Aritoni''', West University of Timisoara . March 21, 2012 ---- ''Neuroevolutionary Multiagent Systems in Real Time Games'' '''Gabriel Juhasz''', West University of Timisoara . February 29, 2012 |
. March 25, 2020, online |
2021
Title to be announced
Hans Ienasescu, Technical University of Denmark
- May 11, 2021, 6PM, online
''The Complexity of Online Bribery in Sequential Elections''
Lane A. Hemaspaandra, University of Rochester, USA
- April 7, 2021, 6PM, online
Toni Mitchell, Head of Data & Analytics at Cmed Clinical Research, UK
- March 31, 2021, 6PM, online
''Rational Synthesis in the Commons with Careless and Careful Agents''
Rodica Condurache, A.I. Cuza University, Iasi, Romania
- March 24, 2021, 6PM, online
''Parallel Numerical Algorithms for Fractional Order Systems''
Florin Rosu, West University of Timisoara, Romania
- March 10, 2021, 6PM, online
2020
The physics of statistical inference and community detection
Cristopher Moore, Santa Fe Institute, USA
- May 20, 2020, online
Real-time destination prediction for mobile users
Radu Mariescu, University of Eastern Finland, Finland
- May 6, 2020, online
Formal Design, Implementation and Verification of Blockchain Languages
Grigore Rosu, University of Illinois at Urbana Champaign, USA
- April 29, 2020, online
It's not Whom You Know, it's What You, or Your Friends, can Do: Coalitional Frameworks for Network Centralities
Gabriel Istrate, West University of Timisoara, Romania
- March 25, 2020, online