Scientific Seminar 2008
Translator from BPEL4WS to Event Calculus for verification purposes
Victor Munteanu, West University of Timisoara
- 10 December 2008
On "continuous" set-theoretic models for the theory lambda
Alexandre Lyaletsky, Kiev National Taras Shevchenko University
- 19 November, 2008
Lazy Thinking Synthesis in Grobner Basis Theory
Adrian Craciun, West University of Timisoara
- April 23, 2008
Agents as Resource Brokers and Managers in the Grid
Maria Ganzha, Polish Academy of Science, Poland
- March 12, 2008
Matching with Membership Constraints for Hedge and Context Variables
Mircea Marin, University of Tsukuba, Japan
- March 5, 2008
Algorithms for dynamic graphs
Mihai Patrascu, AT&T Labs—Research, USA
- February 15, 2008
Duplicate code detection using anti-unification
Peter Bulychev, Lomonosov Moscow State University, Russia
- January 30, 2008
Mann iteration. History, results and applications
Stefan Maruster, West University of Timisoara
- January 16, 2008