Cristian Prisacariu March 2012 - IfI
Cristian Prisacariu March 2012 - IfI
Cristian Prisacariu March 2012 - IfI
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Cristian</strong> <strong>Prisacariu</strong> <strong>March</strong> <strong>2012</strong><br />
Contact<br />
Information<br />
Personal<br />
Information<br />
Research<br />
Interests<br />
Education<br />
Precise modeling and analysis (PMA), Tel: (+47) 22 85 04 81<br />
Department of Informatics, Fax: (+47) 22 85 29 50<br />
University of Oslo,<br />
E-mail: cristi@ifi.uio.no<br />
PO Box 1080 Blindern, N-0316 Oslo Home page: http://www.ifi.uio.no/~cristi<br />
NORWAY<br />
Date of birth: 03 July 1982<br />
Address: Maakeveien 20, N-0139 Oslo, NORWAY<br />
Tel: (+47) 97 53 55 82<br />
E-mail: cprisacariu@gmail.com<br />
Civil status: married (with Ioana Sabina <strong>Prisacariu</strong>)<br />
Formal methods, modal logics (in particular: temporal, dynamic and deontic logics), model checking<br />
(in particular: automata- and BDD-based), run-time monitoring, universal algebra (in particular:<br />
Kleene algebras), concurrency models (in particular partial orders based models and logics),<br />
time, process algebras (in particular: CCS and π-calculi like), unification and matching, probabilistic<br />
modeling and verification;<br />
Coordination models (in particular: Reo and Linda), distributed systems, programminglanguages,<br />
machine learning, algorithms and complexity.<br />
(The most recent of these research interest are detailed in the attached “Research Statement”<br />
letter, in particular those research interest that are most relevant for the present position.)<br />
University of Oslo, Oslo, NORWAY<br />
Department of Informatics (IFI), Precise Modeling and Analysis group (PMA)<br />
Doctor of Philosophy (Ph.D) in Computer Science. (4 years)<br />
Title of thesis: “A Dynamic Deontic Logic over Synchronous Actions”<br />
(submitted April 2010 / defended December 2010)<br />
(reviewers: Prof. Marek Sergot – Imperial College London<br />
Assoc.Prof. Thomas Ågotnes – University of Bergen)<br />
Prof. Herman Ruge Jervell – University of Oslo)<br />
(supervisors: Prof. Olaf Owe – University of Oslo<br />
Assoc.Prof. Gerardo Schneider – IT University of Götenburg)<br />
Schools/Courses<br />
Attended<br />
MGS’10 - Midlands Graduate School in the Foundations of Computing Science. University of<br />
Sheffield, Sheffield, United Kingdom, 28 <strong>March</strong> - 01 April 2010.<br />
(among lectures: Separation Logic, Category theory, Typed lambda calculi, Denotational semantics and domain<br />
theory, Protocol verification)<br />
AVACS’10 - Spring School on Automatic Verification and Analysis of Complex Systems. University<br />
of Oldenburg, Oldenburg, Germany, 15-19 <strong>March</strong> 2010.<br />
(advanced topics on: Markov chains and related, satisfiability modulo theories for hybrid systems, (probabilistic)<br />
games and automatic components synthesis, UPPAAL and priced timed modeling and verification)<br />
QMC’10 - ARTIST & MT-LAB School on Quantitative Model Checking. IT UniversityCopenhagen,<br />
Copenhagen, Denmark, 02-05 <strong>March</strong> 2010.<br />
(among lectures: temporal logics and model checking; timed automata, logics and model checking; probabilistic<br />
models, logics and model checking; hybrid automata and hybrid model checking)
FIRST Autumn School on Modal Logic. Copenhagen, Denmark, 10-11 November 2009.<br />
(among lectures: modal, temporal, and hybrid logics; resolution based theorem proving)<br />
Logic Colloquium 2009 - The European Summer Meeting of the Association for Symbolic Logic<br />
(ASL). Sofia, Bulgaria, 31 July - 5 August 2009.<br />
ESSLLI’09 - 21 st European Summer School in Logic, Language and Information. Association for<br />
Logic, Language and Information (FoLLI), Bordeaux, France, 20-31 July 2009.<br />
(among lectures: logics for agents with knowledge and beliefs, first-order logic, natural language processing)<br />
ISR’08 - 3 rd International School on Rewriting. Institute of Computer Science, University of Innsbruck,<br />
Obergurgl, Austria, 21-26 July 2008.<br />
(among lectures: Term rewriting, Termination, Protocol verification using rewriting logic, Isabelle theorem prover,<br />
Resolution theorem proving)<br />
LASER Summer School on Software Engineering 2007. Applied Software Verification – Practical<br />
advances towards a Grand Challenge, Directors: Tony Hoare, Bertrand Meyer; Elba, Italy, 9-15<br />
September, 2007.<br />
(among lectures: spec# and program verification, PVS theorem prover, boxes for concurrent programming)<br />
Marktoberdorf International Summer School 2006, Software System Reliability and Security. NATO<br />
Security Through Science Committee and Institut fur Informatik, Technische Universitat Munchen,<br />
Germany, 1-13 August 2006.<br />
MOVEP’06 - School on MOdeling and VErifying parallel Processes. Laboratoire Bordelais de<br />
Recherche en Informatique, Bordeaux, France, 19-23 June 2006.<br />
Geometry of Computation 2006, Winter School on Logic and Computation. Marseilles - Luminy,<br />
France, 6-10 February 2006.<br />
ICCL Summer School 2005, Logic-based Knowledge Representation. TechnischeUniversitatDresden,<br />
Germany 2-17 July 2005.<br />
Honours and<br />
Awards<br />
Called for interview by Oxford University Computing Laboratory, 2010<br />
Third Price at the National Mathematics Olympics of 1998<br />
Certificate of Distinction at the Euclid Canadian Mathematics Competition of 1999<br />
Certificate of Distinction at the American Mathematics Competition of 1999<br />
participation with first or second price wining in Local Mathematics Olympics between 1997-2001<br />
Invited for Bachelor at Massachusetts Institute of Technology, 2001<br />
Scholarship for Fully Funded Student Participant in Marktoberdorf School, 2006<br />
Scholarship for Fully Funded Student Participant in ICCL School, 2005<br />
Publications See the Appendix A. starting at page 6.<br />
Presentations See the Appendix B. starting at page 9.
Ongoing Work<br />
Research<br />
Experience<br />
Teaching<br />
Experience<br />
“Higher Dimensional Modal Logic”<br />
(under review for IANDC – Information and Computation)<br />
“Unification and Matching in Equational Separable Theories” co-author Sergiu Bursuc<br />
(submitted to IJCAR - International Joint Conference on Automated Reasoning)<br />
“Expressiveness of Higher Dimensional Modal Logic with Backward Modalities”<br />
(in preparation for CONCUR - International Conference on Concurrency Theory)<br />
Department of Informatics, University of Oslo, NORWAY.<br />
Post-Doc researcher<br />
January, 2011 - present<br />
I am workingin the same group where I did my PhD, Precise Modeling and Analysis group (PMA),<br />
lead by Prof. Olaf Owe. I am working in a more independent manner, pursuing my own research<br />
problemsandideas. I constantlytryto interactwith themanypeople inthe PMAgroup, especially<br />
with the HATS European project. My position is for 3 years.<br />
Department of Informatics, University of Oslo, NORWAY.<br />
Research fellow / PhD student October, 2006 - December, 2010<br />
I worked in the Precise Modeling and Analysis group (PMA), lead by Prof. Olaf Owe. The main<br />
interests of the group are: open distributed systems, object-oriented and functional languages,<br />
languages for specification and modeling, specification, modeling, refinement and verification, security<br />
and vulnerability, logic and automated deduction. I was also enrolled in a four year PhD<br />
program. In the PhD program my research focused on formalising contracts using deontic and<br />
dynamic logics of actions. Outside the PhD topic I worked on Kleene algebras, unification theory,<br />
higher dimensional automata model of concurrency based on partial orders and logics for partial<br />
orders, and probabilistic systems and probabilistic verification.<br />
Institute of Computer Science, Romanian Academy of Science, Iaşi, ROMANIA.<br />
Researcher January, 2005 - September, 2006<br />
I have worked in the Formal Methods Laboratory group (FML). The main interests of the group<br />
were the design and application of formal methods to systems biology, membrane computing or<br />
distributed systems. As a young member of the group I have participated in theoretical research<br />
and in the writing of a few proposals for research grants.<br />
Research Visits Abroad:<br />
7/May–12/May 2011<br />
11/Jun.–16/Jun. 2010<br />
01/Dec.–05/Dec. 2008<br />
Visited LucaAcetoandAnnaIngolfsdottiratReykjavikUniversity,Iceland.<br />
Visited Sergiu Bursuc at Birmingham University, UK.<br />
Visited Martin Leucker at Stugart University, Germany.<br />
Department of Informatics, University of Oslo, Oslo, NORWAY.<br />
Lecturer (with Gerardo Schneider) Spring 2011<br />
INF5140/INF9140 - Specification and Verification of Parallel Systems<br />
Responsible (with Olaf Owe)<br />
INF5160 - Formal Methods Seminar<br />
Spring 2008 - present<br />
Lecturer (with Espen Lian and Gerardo Schneider) Spring 2009<br />
INF5140 - Specification and Verification of Parallel Systems<br />
Teaching Assistant (TA) Spring 2008<br />
INF3230 - Formal modeling and analysis of communicating systems
Reviewing<br />
Membership<br />
Organizational<br />
Skills<br />
References<br />
Conference/Workshop reviewer for: FLACOS’10, SEFM’10, FORTE’10, FACS’09, CONCUR’09,<br />
SEFM’09, RV’08, FORTE’08, FMOODS’08, CALCO-jnr’07, ICCP’07.<br />
Journal reviewer for:<br />
Journal of Logic and Algebraic Programming (JLAP) 2009(2), 2010(1);<br />
Formal Aspects of Computing (FAOC) <strong>2012</strong>.<br />
Information and Computation (IANDC) <strong>2012</strong>.<br />
Member of the Association for Symbolic Logic (ASL)<br />
Conference organization<br />
DEON’12 - 11 th International Conference on Deontic Logic in Computer Science,<br />
(PC member)<br />
FCT’11 - 18 th International Symposium on Fundamentals of Computing Theory,<br />
(Publicity Chair/Organizer)<br />
TABLEAUX’09-18 th International Conference on Automated Reasoning with Analytic Tableaux<br />
and Related Methods,<br />
(student volunteer)<br />
DisCoTec’08 - 3 rd Federated Event on Distributed Computing Techniquese,<br />
(student volunteer)<br />
NWPT’07 - 19 th Nordic Workshop on Programming Theory,<br />
(student volunteer)<br />
FLACOS’07 - 1 st Workshop on Formal Languages and Analysis of Contract-Oriented Software,<br />
(student volunteer)<br />
ECOOP’07 - 21 st European Conference on Object-Oriented Programming,<br />
(student volunteer)<br />
Prof. Olaf Owe,<br />
Head of the Precise Modeling and Analysis group in Institute for Informatics, University of Oslo.<br />
E-mail: olaf@ifi.uio.no<br />
Senior Lecturer Gerardo Schneider,<br />
Member of the Department of Applied IT at the IT University of Göteborg.<br />
E-mail: gersch@chalmers.se<br />
Prof. Einar Broch Johnsen,<br />
Member of Precise Modeling and Analysis group in Institute for Informatics, University of Oslo.<br />
E-mail: einar@ifi.uio.no<br />
Language Skills English (academic level),<br />
Norwegian (advanced level), France, Spanish, Italian (basic understanding).<br />
English<br />
proficiency<br />
GRE General<br />
(Graduate Record Examinations: The General Test)<br />
sustained on 17 August 2006.<br />
Scores: Verbal 450; Quantitative 750; Writing 4.<br />
TOEFL
(Test Of English as a Foreign Language)<br />
sustained on 18 August 2006.<br />
Scores: Reading 29/30; Listening 28/30; Speaking 19/30; Writing 28/30. Overall 104/120.<br />
Competence and<br />
Natural<br />
Dispositions<br />
Hobbies<br />
Team work and communicative character, initiative, creativity, enthusiasm, highly adaptable.<br />
Mountain trips with friends (mostly in Norwegian mountains nowadays; both winter and summer)<br />
Photography (see link to my photo gallery from my homepage)<br />
Art film (see the Science Film Club @ IFI which I coordinate :) )<br />
Biking (both winter and summer)<br />
Computer Skills Languages: Java, C/C++, Python, Common Lisp, Haskell, JavaScript, Bash,<br />
Operating Systems: Ubuntu/Linux,<br />
Applications: Gimp/Photshop, L A TEX and presentation software,<br />
Data bases: SQL, MySql,<br />
Web: HTML, CSS2.<br />
Model Checking Tools: NuSMV, SPIN.
A. Publications<br />
* Peer reviewed papers (journals; conferences)<br />
[1] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gerardo Schneider,<br />
A Dynamic Deontic Logic for Complex Contracts,<br />
The Journal of Logic and Algebraic Programming (JLAP), 2011. (to appear).<br />
[2] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Modal Logic over Higher Dimensional Automata (with proofs),<br />
in 21st International Conference on Concurrency Theory (CONCUR10) (Paul Gastin and FrancoisLaroussinie,<br />
eds.), vol.6269ofLecture Notes in Computer Science, (Paris, France), pp. 494–<br />
508, Springer, August 2010.<br />
[3] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Synchronous Kleene Algebra,<br />
The Journal of Logic and Algebraic Programming (JLAP), vol. 79, pp. 608–635, September<br />
2010.<br />
[4] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gerardo Schneider,<br />
CL: An Action-based Logic for Reasoning about Contracts,<br />
in 16th Workshop on Logic, Language, Information and Computation (WOLLIC09) (Makoto<br />
Kanazawa, Hiroakira Ono, and Ruy de Queiroz, eds.), vol. 5514 of Lecture Notes in Computer<br />
Science, (Tokyo, Japan), pp. 335–349, Springer, June 2009. (see extended journal version with<br />
proofs as [1]).<br />
[5] Marcel Kyas, <strong>Cristian</strong> <strong>Prisacariu</strong>, and Gerardo Schneider,<br />
Run-time Monitoring of Electronic Contracts,<br />
in 6th International Symposium on Automated Technology for Verification and Analysis<br />
(ATVA08) (Moonzoo Kim and Mahesh Viswanathan, eds.), vol. 5311 of Lecture Notes in Computer<br />
Science, (Seoul, South-Korea), pp. 397–407, Springer, October 2008.<br />
[6] Gordon Pace, <strong>Cristian</strong> <strong>Prisacariu</strong>, and Gerardo Schneider,<br />
Model Checking Contracts - a case study,<br />
in 5th International Symposium on Automated Technology for Verification and Analysis<br />
(ATVA07) (Kedar Namjoshi and Tomohiro Yoneda, eds.), vol. 4762 of Lecture Notes in Computer<br />
Science, (Tokyo, Japan), pp. 82–97, Springer, October 2007.<br />
[7] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gerardo Schneider,<br />
A formal language for electronic contracts,<br />
in 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed<br />
Systems (FMOODS07) (Marcello Bonsangue and Einar Broch Johnsen, eds.), vol. 4468 of Lecture<br />
Notes in Computer Science, (Paphos, Cyprus), pp. 174–189, Springer, June 2007.<br />
[8] Gabriel Ciobanu and <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Timers for distributed systems,<br />
in 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL06)<br />
(Alessandra Di Pierro and Herbert Wiklicky, eds.), vol. 164 of Electronic Notes In Theoretical<br />
Computer Science, pp. 81–99, Elsevier Science Publishers B. V., October 2006.<br />
[9] Gabriel Ciobanu and <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Barbed bisimulations for timed distributed pi-calculus,<br />
in 2nd International Conference On Intelligent Computer Communication and Processing<br />
(ICCP06), Static and Runtime Verification Track, pp. 145–154, U.T.Press, September 2006.<br />
[10] Gabriel Ciobanu and <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Coordination by timers for channel-based anonymous communications,<br />
in 5th International Workshop On the Foundations of Coordination Languages and Software<br />
Architectures (FOCLASA06), vol. 175 of Electronic Notes In Theoretical Computer Science,<br />
pp. 3–17, Elsevier Science Publishers B. V., June 2006.
[11] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Timed distributed pi-calculus,<br />
in MOdelling and VErifying of Parallel Processes (MOVEP06), pp. 348–354, June 2006.<br />
[12] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Timed distributed pi-calculus for biological processes,<br />
in Research Topics in Computer Science (I. Tofan E. Cortellini, F. Eugeni, ed.), pp. 65–75,<br />
2005.<br />
* Workshop contributions; extended abstracts; etc<br />
[13] <strong>Cristian</strong> <strong>Prisacariu</strong>, A Dynamic Deontic Logic over Synchronous Actions. PhD thesis, Department<br />
of Informatics, University of Oslo, September 2010.<br />
[14] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Modal Logic over Higher Dimensional Automata (extended abstract),<br />
in Young Researchers Forum at Mathematical Foundations of Computer Science<br />
(YRF@MFCS10) (Jan Strejcek, ed.), (Brno, Czech Republic), pp. 49–50, Faculty of Informatics<br />
- Masaryk University, August 2010.<br />
[15] Sergiu Bursuc and <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Unification and Matching in Separable Theories (extended abstract),<br />
in 24th International Workshop on Unification (UNIF10) (Maribel Fernandez, ed.), (Edimburg,<br />
UK), July 2010.<br />
[16] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
A Decidable Logic for Complex Contracts (extended abstract),<br />
in 21st Nordic Workshop on Programming Theory (NWPT09) (Michael R. Hansen and Aske<br />
Brekling, eds.), (Lyngby, Denmark), pp. 65–68, DTU Informatics, October 2009.<br />
[17] Joseph C. Okika, Olaf Owe, and <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Operational Semantics for BPEL Complex Features in Rewriting Logic (extended<br />
abstract),<br />
in 21st Nordic Workshop on Programming Theory (NWPT09) (Michael R. Hansen and Aske<br />
Brekling, eds.), (Lyngby, Denmark), pp. 95–98, DTU Informatics, October 2009.<br />
[18] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Synchronous Kleene Algebra vs. Concurrent Kleene Algebra,<br />
in Young Researchers Workshop on Concurrency Theory (YRCONCUR09) (Joost-Pieter Katoen,<br />
ed.), (Bologna, Italy), September 2009.<br />
[19] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gerardo Schneider,<br />
Abstract Specification of Legal Contracts,<br />
in 12th International Conference on Artificial Intelligence and Law (ICAIL09) (Carole Hafner,<br />
ed.), (Barcelona, Spain), pp. 218–219, ACM Press, June 2009.<br />
[20] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Extending Kleene Algebra with Synchrony: Completeness and Decidability (extended<br />
abstract),<br />
in 20th Nordic Workshop on Programming Theory (NWPT08) (Tarmo Uustalu and Juri Vain,<br />
eds.), (Tallinn, Estonia), November 2008.<br />
[21] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gerardo Schneider,<br />
Towards Model Checking Contracts,<br />
in 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLA-<br />
COS07), (Oslo, Norway), pp. 104–106, October 2007. Extended Abstract.<br />
[22] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
An Algebraic Structure for Concurrent Actions - abstract,
* Technical reports<br />
in 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO07) jounior (Magne<br />
Haveraaen, John Power, and Monika Seisenberger, eds.), (Bergen, Norway), August 2007.<br />
[23] Sergiu Bursuc and <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Unification and Matching in Separable Theories - technicalities,<br />
Tech. Rep. 398, Department of Informatics, University of Oslo, Norway, July 2010.<br />
[24] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Modal Logic over Higher Dimensional Automata - technicalities,<br />
Tech. Rep. 393, Department of Informatics, University of Oslo, Norway, January 2010.<br />
[25] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Deontic Modalities over Synchronous Actions - technicalities,<br />
Tech. Rep. 381, Department of Informatics, University of Oslo, Norway, December 2008.<br />
[26] Marcel Kyas, <strong>Cristian</strong> <strong>Prisacariu</strong>, and Gerardo Schneider,<br />
Run-time Monitoring of Electronic Contracts - theoretical results,<br />
Tech. Rep. 378, Department of Informatics, University of Oslo, Oslo, Norway, November 2008.<br />
[27] <strong>Cristian</strong> <strong>Prisacariu</strong>,<br />
Extending Kleene Algebra with Synchrony - technicalities,<br />
Tech. Rep. 376, Department of Informatics, University of Oslo, Oslo, Norway, October 2008.<br />
[28] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gerardo Schneider,<br />
Cl – a logic for reasoning about legal contracts: – semantics,<br />
Tech. Rep. 371, Department of Informatics, University of Oslo, Oslo, Norway, February 2008.<br />
[29] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gerardo Schneider,<br />
An Algebraic Structure for the Action-Based Contract Language CL - theoretical<br />
results,<br />
Tech. Rep. 361, Department of Informatics, University of Oslo, Oslo, Norway, July 2007.<br />
[30] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gerardo Schneider,<br />
Towards a Formal Definition of Electronic Contracts,<br />
Tech. Rep. 348, Department of Informatics, University of Oslo, Oslo, Norway, January 2007.<br />
[31] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gabriel Ciobanu,<br />
Theoretical aspects of timed distributed π-calculus,<br />
tech. rep., Institute of Computer Science, Romanian Academy, 2005.<br />
http://iit.iit.tuiasi.ro/TR/.<br />
[32] <strong>Cristian</strong> <strong>Prisacariu</strong> and Gabriel Ciobanu,<br />
Timed distributed π-calculus,<br />
tech. rep., Institute of Computer Science, Romanian Academy, 2005.
B. Presentations<br />
Modal Logic over Higher Dimensional Automata. Invited Talk (1h) at SINTEF, Oslo, Norway,<br />
January 2011.<br />
Modal Logic over Higher Dimensional Automata. 21 st International Conference on Concurrency<br />
Theory (CONCUR10), Paris, France, September 2010.<br />
Higher Dimensional Modal Logic. Young Researchers Forum at Mathematical Foundations of<br />
Computer Science (YRF@MFCS), Brno, Czech Republic, 21 August 2010.<br />
Synchronous Kleene Algebra. Invited Talk at University of Leicester, UK, 14 th June 2010.<br />
A Dynamic Deontic Logic for Reasoning about Electronic Contracts. Norwegian Research Center<br />
for Computers and Law, Oslo, Norway, November 2009.<br />
A Decidable Logic for Complex Contracts. 21 st NordicWorkshoponProgrammingTheory(NWPT’09),<br />
Lyngby, Denmark, October 2009.<br />
Synchronous Kleene Algebra vs. Concurrent Kleene Algebra. Young Researchers Workshop on<br />
Concurrency Theory (YRCONCUR’09), Bologna, Italy, September 2009.<br />
CL: An Action-based Logic for Reasoning about Contracts. 16 th Workshop on Logic, Language,<br />
Information and Computation (WOLLIC09), Tokyo, Japan, June 2009.<br />
Abstract Specification of Legal Contracts. 12 th International Conference on Artificial Intelligence<br />
and Law (ICAIL’09), Barcelona, Spain, June 2009.<br />
A Logic for Reasoning and Run-time Monitoring of Legal Contracts at University of Stuttgart,<br />
Germany, December 2008.<br />
Extending Kleene Algebra with Synchrony: Completeness and Decidability, at 20 th Nordic Workshop<br />
on Programming Theory (NWPT08), Tallinn, Estonia, November 2008.<br />
Run-time Monitoring of Electronic Contracts, at6 th InternationalSymposiumonAutomatedTechnology<br />
for Verification and Analysis (ATVA08), Seoul, South-Korea, October 2008.<br />
Towards Model Checking Contracts,at1 st WorkshoponFormalLanguagesandAnalysisofContract-<br />
Oriented Software (FLACOS’07), Oslo, Norway, 9 October, 2007.<br />
An Algebraic Structurefor Actions found in Contracts,at2 nd ConferenceonAlgebraandCoalgebra<br />
in Computer Science (CALCO’07), Young Researchers Workshop, Bergen, Norway, 20 August,<br />
2007.<br />
A Formal Language for Electronic Contracts, at 9 th IFIP International Conference on Formal<br />
Methods for Open Object-Based Distributed Systems (FMOODS’07), Paphos, Cyprus, 7 June,<br />
2007.<br />
Timed distributed pi-calculus, at Student sessions on MOdeling and VErifying parallel Processes<br />
(MOVEP’06), Bordeaux, France, 21 June 2006.<br />
Modeling MolNet Systems with Timed Distributed pi-calculus, atWorkshoponDynamicsandstructure<br />
of biological networks, in Geometry of Computation 2006 (Geocal06), Marseilles - Luminy, 14<br />
February 2006.<br />
Timed distributed pi-calculus for biological processes, at Anniversary Symposium SASM 2005, Iaşi,<br />
6 May 2005.