welcome: please sign in
location: Diff for "ScientificSeminar"
Differences between revisions 106 and 197 (spanning 91 versions)
Revision 106 as of 2016-01-15 10:09:01
Size: 2851
Comment:
Revision 197 as of 2021-03-22 06:03:17
Size: 1944
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||Previous years: ||[[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]] ||

----
'''2016'''

----
[[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 AM

----
'''2015'''

----
[[AbstractPaulaCraciun|Wide area aerial surveillance: A point process approach to multiple object tracking]]

'''Paula Craciun''', INRIA Sophia-Antipolis, France
 . December 9, 2015, 18:00, room 045C

----
[[AbstractMarcFrincu|Prediction and selection in smart grids. A practical approach]]

'''Marc Frincu''', West University of Timisoara

 . October 14, 2015, 18:00, room 045C
||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:
[[AbstractChinWeiNgan|Program Verification and Specification Inference]] '''2021'''
Line 33: Line 7:
[[BioChinWeiNgan|Chin Wei Ngan]], School of Computing, National University of Singapore

 . July 6, 2015, 11:00 AM
Line 38: Line 9:
[[AbstractDanMarinescu|Cloud Self-organization Based on Coalition Formation and Combinatorial Auctions]] Title to be announced
Line 40: Line 11:
[[BioDanMarinescu|Dan C. Marinescu]], University of Central Florida, Orlando, USA Hans Ienasescu, Technical University of Denmark
Line 42: Line 13:
 . June 9, 2015  . May 11, 2021, 6PM, online
Line 45: Line 16:
[[AbstractIsabelaDramnesc|Automated Synthesis of Some Algorithms on Finite Sets]] [[AbstractLaneHemaspaandra|''The Complexity of Online Bribery in Sequential Elections'']]
Line 47: Line 18:
'''Isabela Dramnesc''', West University of Timisoara Lane A. Hemaspaandra, University of Rochester, USA
Line 49: Line 20:
 . May 13, 2015  . April 7, 2021, 6PM, online
Line 52: Line 24:
''Stock Market Trading System – Profitable Days and Critical Events Detection'' [[AbstractRodicaCondurache|''Rational Synthesis in the Commons with Careless and Careful Agents'']]
Line 54: Line 26:
'''Monica Tirea''', West University of Timisoara Rodica Condurache, A.I. Cuza University, Iasi, Romania
Line 56: Line 28:
 . May 6, 2015  . March 24, 2021, 6PM, online
Line 59: Line 31:
[[AbstractIoanDragan|First-Order Theorem Proving for Program Analysis and Theory Reasoning]] [[AbstractFlorinRosu|''Parallel Numerical Algorithms for Fractional Order Systems'']]
Line 61: Line 33:
'''Ioan Dragan''', Institute e-Austria Florin Rosu, West University of Timisoara, Romania
Line 63: Line 35:
 . April 22, 2015  . March 10, 2021, 6PM, online
Line 66: Line 38:
'' A distributed system for monitoring services and security in the cloud ''

'''Bogdan Irimie''', West University of Timisoara

 . April 1, 2015
'''2020'''
Line 73: Line 41:
'' Transition between classical and semi-classical regime in an exactly solvable Schrodinger operator with a non C^1 potential '' ''The physics of statistical inference and community detection''
Line 75: Line 43:
(joint work with Hakim Boumaza) Cristopher Moore, Santa Fe Institute, USA
Line 77: Line 45:
'''Olivier Lafitte''', University Paris 13

 . March 25, 2015
 . May 20, 2020, online
Line 82: Line 48:
[[AbstractChrisHarding|Business Value from Open Systems]] ''Real-time destination prediction for mobile users''
Line 84: Line 50:
'''Chris Harding''', Forum Director at The Open Group, UK Radu Mariescu, University of Eastern Finland, Finland
Line 86: Line 52:
'' Can sophisticated computing ever help government? ''

'''Peter Winstanley''', Scottish Government, UK

 . March 18, 2015
 . May 6, 2020, online
Line 93: Line 55:
[[AbstractGabrielIstrate|Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process]] ''Formal Design, Implementation and Verification of Blockchain Languages''
Line 95: Line 57:
'''Gabriel Istrate''', Universitatea de Vest din Timisoara Grigore Rosu, University of Illinois at Urbana Champaign, USA
Line 97: Line 59:
 . March 4, 2015  . 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

Previous years:

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005


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

ScientificSeminar (last edited 2024-05-29 06:16:35 by DanielaZaharie)