|
Size: 2691
Comment:
|
Size: 1944
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ||Previous years:||[[ScientificSeminar/2009|2009]]||[[ScientificSeminar/2008|2008]]||[[ScientificSeminar/2007|2007]]||[[ScientificSeminar/2006|2006]]|| [[ScientificSeminar/2005|2005]]|| '''2011''' ---- ''RiSE: Rigorous System Engineering'' '''Laura Kovacs''', Vienna Technical University, Austria May 26, 2011 ---- ''EasyChair: extensions and open problems'' '''Andrei Voronkov''', University of Manchester, UK May 26, 2011 ---- ''Recovering band-limited signals from noisy and jittered information'' '''Marek Kowalski''', Warsaw Management Academy, Poland May 25, 2011 |
||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 31: | Line 5: |
''Data Stream : Sequential Pattern and Outlier Mining'' '''Alice Marascu''', Universita degli Studi di Trento, Italy May 11, 2011 |
'''2021''' |
| Line 40: | Line 9: |
| Title to be announced | |
| Line 41: | Line 11: |
| ''Unification Algorithms in Common Logic'' | Hans Ienasescu, Technical University of Denmark |
| Line 43: | Line 13: |
| '''Mircea Marin''', Universitatea de Vest din Timisoara, Romania May 4, 2011 |
. May 11, 2021, 6PM, online ---- [[AbstractLaneHemaspaandra|''The Complexity of Online Bribery in Sequential Elections'']] Lane A. Hemaspaandra, University of Rochester, USA . April 7, 2021, 6PM, online |
| Line 49: | Line 24: |
| [[AbstractRodicaCondurache|''Rational Synthesis in the Commons with Careless and Careful Agents'']] | |
| Line 50: | Line 26: |
| ''Vectorial Partitions and Applications'' | Rodica Condurache, A.I. Cuza University, Iasi, Romania |
| Line 52: | Line 28: |
| '''Flavius Turcu''', Universite de Bordeaux, France March 23, 2011 |
. March 24, 2021, 6PM, online |
| Line 57: | Line 31: |
| [[AbstractFlorinRosu|''Parallel Numerical Algorithms for Fractional Order Systems'']] | |
| Line 58: | Line 33: |
| ''Geometrical Optics for Linearized Hyperbolic Systems'' | Florin Rosu, West University of Timisoara, Romania |
| Line 60: | Line 35: |
| '''Olivier Lafitte''', Universite Paris 13, France March 9, 2011 |
. March 10, 2021, 6PM, online |
| Line 66: | Line 38: |
''Optimizing complex-structure XML queries'' '''Alexandra Roatis''', Universitatea de Vest din Timisoara, Romania January 17, 2011 |
'''2020''' |
| Line 74: | Line 41: |
| ''The physics of statistical inference and community detection'' | |
| Line 75: | Line 43: |
| ''SOS Cloud: Self-Organizing Services in the Cloud'' | Cristopher Moore, Santa Fe Institute, USA |
| Line 77: | Line 45: |
| '''Bogdan Alexandru Caprarescu''', Universitatea de Vest din Timisoara, Romania January 5, 2011 |
. May 20, 2020, online |
| Line 82: | Line 48: |
| ''Real-time destination prediction for mobile users'' | |
| Line 83: | Line 50: |
| Radu Mariescu, University of Eastern Finland, Finland | |
| Line 84: | Line 52: |
| '''2010''' | . May 6, 2020, online |
| Line 87: | Line 55: |
| ''Formal Design, Implementation and Verification of Blockchain Languages'' | |
| Line 88: | Line 57: |
| ''Ontologies in an Agent-based Grid Resource Management System'' | Grigore Rosu, University of Illinois at Urbana Champaign, USA |
| Line 90: | Line 59: |
| '''Salvatore Venticinque''', Second University of Napoli, Italy October 20, 2010 |
. April 29, 2020, online |
| Line 95: | Line 62: |
| ''It's not Whom You Know, it's What You, or Your Friends, can Do: Coalitional Frameworks for Network Centralities'' | |
| Line 96: | Line 64: |
| ''Boundary Layer - Acoustic Liner Instabilities'' | Gabriel Istrate, West University of Timisoara, Romania |
| Line 98: | Line 66: |
| '''Mirela Darau''', Technical University of Eindhoven July 21, 2010 ---- ''Artificial Intelligence and Ontologies'' '''Antonio Martin''', University of Sevilla, Spain May 26, 2010 ---- ''Ontologies in an Agent-based Grid Resource Management System'' '''Maria Ganzha''', Polish Academy of Science May 19, 2010 ---- ''Rule Based System for Executing Scheduling Heuristics'' '''Marc Frincu''', West University of Timisoara May 12, 2010 ---- ''Ambient Intelligence'' '''Ovidiu Aritoni''', West University of Timisoara May 12, 2010 ---- ''Recent Trends in Teaching Computing in UK Universities'' '''Andrei Petrovski''', The Robert Gordon University, Aberdeen, UK March 23, 2010 ---- ''Armonic and stochastic analysis in image and signal processing'' '''Flavius Turcu''', University of Bordeaux, France February 24, 2010 ---- |
. 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