|
Size: 1033
Comment:
|
Size: 785
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ||Previous years:||[[ScientificSeminar/2009|2009]]|| | ||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]] || |
| Line 3: | Line 3: |
| '''Salvatore Venticinque''', Second University of Napoli, Italy | ---- '''2014''' |
| Line 5: | Line 6: |
| ''Ontologies in an Agent-based Grid Resource Management System'' | ---- ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)'' |
| Line 7: | Line 9: |
| October 20, 2010 | '''Madalina Erascu''', West University of Timisoara . March 12, 2014 |
| Line 9: | Line 12: |
| ---- ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)'' |
|
| Line 10: | Line 15: |
| Mirela Darau, Technical University of Eindhoven Boundary Layer - Acoustic Liner Instabilities July 21, 2010 |
'''Madalina Erascu''', West University of Timisoara . March 5, 2014 |
| Line 14: | Line 18: |
| Antonio Martin, University of Sevilla, Spain Artificial Intelligence and Ontologies May 26, 2010 Maria Ganzha, Polish Academy of Science Ontologies in an Agent-based Grid Resource Management System May 19, 2010 Marc Frincu, West University of Timisoara Rule Based System for Executing Scheduling Heuristics May 12, 2010 Ovidiu Aritoni, West University of Timisoara Ambient Intelligence May 12, 2010 Andrei Petrovski, The Robert Gordon University, Aberdeen, UK Recent Trends in Teaching Computing in UK Universities March 23, 2010 Flavius Turcu, University of Bordeaux, France Tehnici de analiza armonica si stohastica in procesarea semnalelor si imaginilor February 24, 2010 |
---- |
2014
Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)
Madalina Erascu, West University of Timisoara
- March 12, 2014
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