I'm interested in Semantics, Concurrency, Dynamic (timed) systems, Categorical methods in Computer Science, Logic, Multi-agent systems, Type theory, Programming Language design, and Graph Transformation.
Currently the focus of my research is on dynamic systems whose structure changes over time. I am exploring techniques for modelling, simulating and analizing such systems with an emphasis on a solid foundation. I'm interested in the semantics of formalisms for such variable-structure systems, specially with respect to congruence properties in order to support modularity, reusability and incremental development.
Here are a few links to some of my work:
(This is just a reminder to myself)
|Conference||Abstracts deadline||Full paper deadline||Max pages||Place||Date||Full name||Website|
|ESOP'08||Oct 5, 2007||Oct 12, 2007||15||Budapest, Hungary||Mar 29 - Apr 6, 2008||17th European Symposium on Programming (part of ETAPS)||http://esop2008.doc.ic.ac.uk/|
|ANSS'08||Oct 15, 2007||Oct 21, 2007||8||Ottawa, Canada||Apr 13 - 16, 2008||41st Annual Simulation Symposium (part of SpringSim)||http://agent.csd.auth.gr/ karatza/ANSS41/|
|WODES'08||N/A||Jan 18, 2008||6||Göteborg, Sweden||May 28 - May 30, 2008||9th International workshop on Discrete Event Systems||http://www.wodes2008.org/|