|
Size: 1475
Comment:
|
Size: 1984
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/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 5: | Line 5: |
| '''2014''' | '''2021''' |
| Line 8: | Line 8: |
| ''Study of the directional solidification process of multicrystalline silicon by numerical methods'' | |
| Line 10: | Line 9: |
| '''Alexandra Popescu''', West University of Timisoara | [[AbstractLaneHemaspaandra|''Computational Social Choice and Computational Complexity: BFFs (Best Friends Forever)?'']] |
| Line 12: | Line 11: |
| . April 3, 2014 | Lane A. Hemaspaandra, University of Rochester, USA |
| Line 14: | Line 13: |
| . April 21, 2021, online | |
| Line 16: | Line 16: |
| [[AbstractDarianOnchis|Computational challenges in frames-based signal and image processing]] | |
| Line 18: | Line 17: |
| '''Darian Onchis''', West University of Timisoara | Title to be announced |
| Line 20: | Line 19: |
| . March 26, 2014 | Hans Ienasescu, Technical University of Denmark . April 14, 2021, 6PM, online |
| Line 23: | Line 24: |
| ''Problems with analytic profiles: analysis of the profile and linear perturbation theory: the detonation, the ignition, the heating of plasma by a magnetic field. Relation with the nerve influx'' | |
| Line 25: | Line 25: |
| '''Olivier Lafitte''', University Paris 13 | [[AbstractRodicaCondurache|''Rational Synthesis in the Commons with Careless and Careful Agents'']] |
| Line 27: | Line 27: |
| . March 19, 2014 | Rodica Condurache, A.I. Cuza University, Iasi, Romania . March 24, 2021, 6PM, online |
| Line 30: | Line 32: |
| [[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)]] | |
| Line 32: | Line 33: |
| '''Madalina Erascu''', West University of Timisoara | [[AbstractFlorinRosu|''Parallel Numerical Algorithms for Fractional Order Systems'']] |
| Line 34: | Line 35: |
| . March 12, 2014 | Florin Rosu, West University of Timisoara, Romania . March 10, 2021, 6PM, online |
| Line 37: | Line 40: |
| [[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)]] '''Madalina Erascu''', West University of Timisoara . March 5, 2014 |
'''2020''' |
| Line 44: | Line 43: |
''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 |
2021
''Computational Social Choice and Computational Complexity: BFFs (Best Friends Forever)?''
Lane A. Hemaspaandra, University of Rochester, USA
- April 21, 2021, online
Title to be announced
Hans Ienasescu, Technical University of Denmark
- April 14, 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