|
⇤ ← Revision 1 as of 2010-12-04 21:02:45
Size: 1226
Comment:
|
← Revision 2 as of 2010-12-04 21:02:58 ⇥
Size: 1228
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 9: | Line 9: |
| 10 December 2008 | 10 December 2008 |
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