|
Size: 2288
Comment:
|
Size: 1944
Comment:
|
| 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 24: |
| ''Optimization and Parallelization of the Minimum Volume Simplex Analysis for the extraction of end-members in Hyperspectral Images'' | [[AbstractRodicaCondurache|''Rational Synthesis in the Commons with Careless and Careful Agents'']] |
| Line 23: | Line 26: |
| '''Alexander Agathos''', West University of Timisoara | Rodica Condurache, A.I. Cuza University, Iasi, Romania |
| Line 25: | Line 28: |
| . March 6, 2013 | . March 24, 2021, 6PM, online |
| Line 28: | Line 31: |
| '''2012''' | [[AbstractFlorinRosu|''Parallel Numerical Algorithms for Fractional Order Systems'']] Florin Rosu, West University of Timisoara, Romania . March 10, 2021, 6PM, online |
| Line 31: | Line 38: |
| ''Submodular optimization and fairness in cooperative games'' '''Cosmin Bonchis''', West University of Timisoara . June 6, 2012 |
'''2020''' |
| Line 38: | Line 41: |
| ''Numerical methods for nanoscale electrodynamics'' | ''The physics of statistical inference and community detection'' |
| Line 40: | Line 43: |
| '''Claudiu Biris''', West University of Timisoara | Cristopher Moore, Santa Fe Institute, USA |
| Line 42: | Line 45: |
| . May 23, 2012 | . May 20, 2020, online |
| Line 45: | Line 48: |
| ''Theory Exploration in Theorema: Case Study on Lists'' | ''Real-time destination prediction for mobile users'' |
| Line 47: | Line 50: |
| '''Isabela Dramnesc''', West University of Timisoara | Radu Mariescu, University of Eastern Finland, Finland |
| Line 49: | Line 52: |
| . May 9, 2012 | . May 6, 2020, online |
| Line 52: | Line 55: |
| ''Automatic Inference of Bounds on Resource Consumption'' | ''Formal Design, Implementation and Verification of Blockchain Languages'' |
| Line 54: | Line 57: |
| '''German Puebla''', Technical University of Madrid | Grigore Rosu, University of Illinois at Urbana Champaign, USA |
| Line 56: | Line 59: |
| . May 8, 2012 | . April 29, 2020, online |
| Line 59: | Line 62: |
| ''Multi-Agent Governance in Cloud'' | ''It's not Whom You Know, it's What You, or Your Friends, can Do: Coalitional Frameworks for Network Centralities'' |
| Line 61: | Line 64: |
| '''Victor Munteanu''', West University of Timisoara | Gabriel Istrate, West University of Timisoara, Romania |
| Line 63: | Line 66: |
| . April 25, 2012 ---- ''Memory-Efficient Static Analysis of Binary Code for Antivirus Development'' '''Ciprian Pungila''', West University of Timisoara . 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
''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