'''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

----