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