Professional activities 2023
- PC-member of TiCSA 2023,
1st workshop on Trends in Configurable Systems Analysis,
April 23, 2023, Paris,
co-located with ETAPS 2023.
- Editor of the Formal Aspects of Computing
- Editor of the Journal of Logical and Algebraic Methods in Programming
- Member of the Advisory Board
of the Springer LNCS subline on Formal Methods
- Member of the committee for the mid-term educational assessment of Bachelor and Master Computer Science Education at Leiden University
Professional activities 2022
- PC-member of QAVS 2022,
3rd workshop on Quantitative Aspects of Variant-rich Systems,
held on-line, April 3, 2022,
co-located with ETAPS 2022.
- PC-member of FSEN 2023
10th IPM International Concerence on
Fundamentals of Software Engineering,
3-5 May, 2023.
- Editor of the Formal Aspects of Computing
- Editor of the Journal of Logical and Algebraic Methods in Programming
- Member of the Advisory Board
of the Springer LNCS subline on Formal Methods
- Talk entitled
"On Spatial Logics and Spatial Bisimulation"
at the FSA Colloquium, TU/e, February 24, 2022
- Talk entitled
"Automated Feedback in Computer Science Education and (Likely) Beyond"
at the 4TU.CEE TU/e Innovation Fund Conference Contributions,
TU/e, December 8, 2022
- Talk entitled
"Zielonka's Algorithm for Variability Parity Games"
at the FSA Colloquium, TU/e, December 15, 2022
- Reviewer for Frontiers Robotics and AI.
Professional activities 2021
- PC-member of QAVS 2021,
2nd workshop on Quantitative Aspects of Variant-rich Systems,
held on-line, March 28, 2021,
co-located with ETAPS 2021.
- Editor of the Journal of Logical and Algebraic Methods in Programming
- Member of the Advisory Board
of the Springer LNCS subline on Formal Methods
- Talk entitled
"In search of stability: cancelativity of probabilistic bisimulation"
at the FSA Colloquium, TU/e, October 28, 2021
Professional activities 2020
- Co-organizer of ICAB 2020, the annual symposium of the national
Innovation Centers Academic Beta education in the Netherlands.
- PC-member of QAVS 2020,
1st workshop on Quantitative Aspects of Variant-rich Systems,
Vienna, August 31, 2020,
co-located with QONFEST 2020
- Editor of the Journal of Logical and Algebraic Methods in Programming
- Member of the Advisory Board
of the Springer LNCS subline on Formal Methods
- Talk entitled "Baby-steps into Automata Theory with Jupyter Notebooks",
ICAB 2020, Eindhoven, November 5, 2020
Professional activities 2019
- Treasurer of
Formal Methods Europe
- PC-member of FOCLASA 2019,
17th international workshop on
Foundations of Coordination Languages and Self-Adaptive Systems,
Oslo, September 17, 2019
- PC-member of SOS/Express 2019,
combined
26th international workshop on Expressiveness in Concurrency
and
16th workshop on Structural Operational Semantics,
Amsterdam, August 26, 2019
- PC-member of FSEN 2019,
8th IPM international conference on
Fundamentals of Software Engineering,
Tehran, May 1-3, 2019
- Member of the Advisory Board
of the Springer LNCS subline on Formal Methods
- Co-promotor of Keyvan Azadbakht,
Asynchronous Programming in the Abstract Behavioural
Specification Language,
Leiden University, defense December 11, 2019
- Talk entitled "An Axiomatization of Strong Distribution Bisimulation
for a Language with a Parallel Operator and Probabilistic Choice",
at SG65, colloquium in honour of Stefania Gnesi,
Porto, October 8, 2019
- Talk entitled "A Complete Axiomatization of Branching Bisimilarity
for a Simple Process Language with Probabilistic Choice",
FC'19,
Paris-Palaiseau, November 4, 2019
Professional activities 2018
- Treasurer of
Formal Methods Europe
- Chair Organizing Committee FM 2018,
22nd international symposium on Formal Methods, Oxford, July 15-17, 2018
- PC-member of FOCLASA 2018,
16th international workshop on
Foundations of Coordination Languages and Self-Adaptive Systems,
Toulouse, June 26th, 2018
- PC-member of SOS/Express 2018,
combined
25th international workshop on Expressiveness in Concurrency
and
15th workshop on Structural Operational Semantics,
Beijing, September 3, 2018
- Talk entitled
"On the BEM-algorithm for probabilistic bisimulation"
at the FSA Colloquium, TU/e, April 26, 2018
- Talk entitled
"Extending Paradigm with Data"
at the FSA Colloquium, TU/e, October 11, 2018
- Talk entitled
"Process Algebraic Modelling Considered Helpful"
at an informal workshop on EGOV and Formal Methods,
United Nations University, Guimaraes, November 11, 2018
- Talk entitled
"Model Checking of Variability with mCRL2"
IPA Falldays 2018,
Garderen, October 30, 2018
- Member of the PhD committee of Julian Salamanca,
Radboud Universiteit, April 24, 2018
- Member of the PhD committee of Guillermina Cledou,
Universidade do Minho, Braga, November 12, 2018
- Member of the Advisory Board
of the Springer LNCS subline on Formal Methods
- Reviewer for
Science of Computer Programming,
FASE 2018 (Thessaloniki),
TACAS 2018 (Thessaloniki)
Professional activities 2017
- Treasurer of
Formal Methods Europe
- Co-organizer of QAPL 2017,
15th international workshop on
Quantitative Aspects of Programming Languages and Systems,
Uppsala, April 23, 2017
together with Herbert Wiklicky (Imperial College)
- Co-organizer of the IPA Fall Days 2017 on
System and Software Analysis,
Villa Vennendal, Nunspeet, November 6-10, 2017
together with Jurriaan Hage, Alfons Laarman and Tim Willemse
- PC-member of FSEN 2017,
7th IPM international conference on
Fundamentals of Software Engineering,
Tehran, April 26-28, 2017
- PC-member of Coordination 2017,
19th international conference on Coordination Models and Languages,
Neuchatel, June 19-22, 2017
- PC-member of SOS/Express 2017,
combined
24th international workshop on Expressiveness in Concurrency
and
14th workshop on Structural Operational Semantics,
Berlin, September 4, 2017
- Talk entitled
"Family-based Model Checking with mCRL2" at
FASE 2017, Uppsala, April 22-29, 2017
- Talk entitled
"Family-based Model Checking of SPL based on mCRL2" at
SPLC 2017, Sevilla, September 25-29, 2017
- Member of the Advisory Board
of the Springer LNCS subline on Formal Methods
- Reviewer for
Information and Software Technology,
FormaliSE 2017 (Buenos Aires), MARS 2017 (Uppsala), CiE 2017 (Turku)
Professional activities 2016
- Treasurer of
Formal Methods Europe
- Workshop co-chair of ETAPS 2016,
European Joint Conferences on Theory and Practice of Software,
2-8 April 2016, Eindhoven
together with Julien Schmaltz (TU/e)
- PC-member of FMSPLE 2016, 7th international workshop on
Formal Methods and Analysis in SPL Engineering,
3 April 2016, Eindhoven
- PC-member of FORECAST 2016,
international workshop on
FORmal methods for quantitative Evaluation of Collective Adaptive SysTems,
July 8, 2016, Vienna
- PC-member of WWV 2016, 12th international workshop on
Automated Specification and Verification of Web Systems,
26 June 2016, Porto
- Talk entitled "Modelling and Analysis of SPL with mCRL2" in
the seminar series on "Modelling and Analysing of Variability in
Product Families", Universitàl di Pisa, 18 March, 2016
- Talk entitled "Supervisory Controller Synthesis for Product
Lines using CIF3" at
ISoLA 2016,
7th International Symposium on Leveraging Applications of Formal
Methods, Verification and Validation,
Corfu, 13 October, 2016
- Member of the Advisory Board
of the Springer LNCS subline on Formal Methods
- Reviewer for iFM 2016 (Reykjavik)
Professional activities 2015
- Treasurer of
Formal Methods Europe
- Workshop co-chair of ETAPS 2016,
European Joint Conferences on Theory and Practice of Software,
2-8 April 2016, Eindhoven
in cooperation with Julian Schmaltz
- PC-member of SPLat 2015, Software Product Line Analysis Tools,
21 July 2015, Nashville
- PC-member of WWV '15, 11th International Workshop on Automated
Specification and Verification of Web Systems, 23 June 2015, Oslo
- PC-member of FSEN 2015, 6th IPM International Conference on
Fundamentals of Software Engineering,
22-24 April 2015, Tehran
- PC-member of FMSPLE 2015, 6th Workshop on
Formal Methods and Analysis in SPL Engineering,
11 April 2015, London
- Project leader 3TU Education Innovation Project BASIC, Boosting
Activity of Students inbetween Contacts, 2015
- Member PhD committee of Daniel Gebler, Vrije Universiteit Amsterdam,
13 November 2015
- External evaluator MIUR/ANVUR, Italy
- Referee for
(journals)
Theoretical Computer Science
Professional activities 2014
- Treasurer of
Formal Methods Europe
- Workshop organizer of SPLat 2014,
Software Product Line Analysis Tools, 16 September 2014, Florence
in cooperation with Axel Legay (INRIA Rennes)
- PC-member of VEMDP 2014, Verification of Engineered Molecular Devices
and Programs, 17 July 2014, Vienna
- PC-member of WWV '14, 10th International Workshop on Automated
Specification and Verification of Web Systems, 18 July 2014, Vienna
- PC-member of WS-FM '14, 11th International Workshop on Web Services
and Formal Methods: Formal Aspects of Service-Oriented and Cloud
Computing September 11-12, 2014, Eindhoven, the Netherlands
- Presentation entitled
Software Product Line Analysis with mCRL2,
at SPLat 2014, Florence, September 16, 2014
- Presentation entitled
Towards Modular Verification of Software Product Lines with mCRL2,
at ISoLA 2014, Corfu, October 8-11, 2014
- Member PhD committee Michiel Helvensteijn, Universiteit Leiden, November 12, 2014
- Referee for
(workshops and conferences)
PSI 2014, Sint Petersburg,
SPLC 2014, Florence,
(journals)
Theoretical Computer Science
Professional activities 2013
- Treasurer of
Formal Methods Europe
- Co-organizer of the
13th International School on Formal Methods for the Design of
Computer, Communication and Software Systems devoted to
Dynamical Systems,
Bertinoro, 17-22 June 2013.
- PC-member of FSEN 2013,
5th International Conference on Fundamentals of Software Engineering,
Tehran, April 24-26, 2013.
- PC-member of CS2Bio'13,
4th International Workshop on
Interactions between Computer Science and Biology,
Florence, June 6, 2013.
- PC-member of CompMod 2013,
4th International Workshop on
Computational Models for Cell Processes,
Turku, June 11, 2013.
- PC-member of MeCBIC 2013,
7th Workshop on
Membrane Computing and Biologically Inspired Process Calculi,
Riga, July 7, 2013
- External examiner PhD committee Georgiana Caltais,
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics,
Radboud University, Nijmegen, 16 December 2013.
- Member organizing committee of RDP 2013,
7th International Conference on Rewriting, Deduction, and Programming,
Eindhoven, 24-28 June 2013.
- Member organizing committee of FME AGM 2013:
A Celebration of Formal Methods,
Amsterdam, 8 March 2013.
- Presentation entitled
Towards Dynamic Adaptation of the Majority Rule Scheme
at QAPL, Rome, March 23, 2013.
- Presentation entitled
Towards Verification of Software Product Lines with mCRL2
at FSA Colloquium, Eindhoven, May 30, 2013.
- Referee for
(journals)
Performance Evaluation,
(workshops and conferences)
iFM 2013, Turku, ISDT 13, Changsha, FoSSaCS 2014, Grenoble
Professional activities 2012
- Program Co-Chair of CS2Bio 2012,
Stockholm, 16 June 2012.
- PC-member of ICE 2012,
the 5th Interaction and Concurrency Experience,
Stockholm, 16 June 2012.
- Guest-editor Transactions of Computational Systems Biology.
- PC-member of ISARCS 2012,
the 3rd International ACM SigSoft Symposium on
Architecting Critical Systems,
Bertinoro, 26-28 June, 2012.
- PC-member of WS-FM 2012,
the 9th International Workshop on Web Services and Formal Methods,
Tallinn, 6-7 September 2012.
- PC-member of MeCBIC 2012,
6th Workshop on Membrane Computing and Biologically Inspired
Process Calculi, Newcastle, September 8, 2012,
- Presentation entitled
Modelchecking evolution on-the-fly,
IMT Seminar, Lucca, January 18, 2012
- Presentation entitled
Modelchecking evolution on-the-fly,
MDSE Seminar, TU/e Eindhoven, 15 March 2012
- Presentation entitled
Towards Dynamic Adaptation of the Differential Majority-Rule Solution
to the Double Bridge Problem,
ACG Seminar, CWI, Amsterdam, October 16, 2012
- Presentation entitled
Bisimulation of Labeled State-to-Function Transition Systems
of Stochastic Process Languages,
COIN Coalgebra in the Netherlands, RU, Nijmegen, December 6, 2012
- Participant Lorentz Center Workshop on Bioinformatics and Systems Biology
Bridging the divide, Leiden, 14-17 February 2012.
- Referee for
(journals)
Science of Computer Programming,
Theoretical Computer Science,
(workshops and conferences)
FM 2012, Paris,
SBMF 2012, Natal
Professional activities 2011
- PC-member of FSEN 2011, the 4th IPM International Conference on
Fundamentals of Software Engineering,
Tehran, April 20-22, 2011.
- PC-member of ICE 2011,
the 4th Interaction and Concurrency Experience,
Reykjavik, June 9, 2011.
- PC-member of CS2Bio 2011,
the 2th international workshop on Interactions between Computer Science
and Biology,
Reykjavik, June 9, 2011.
- PC-member of ISARCS 2011, the 2nd International ACM SigSoft Symposium
on Architecting Critical Systems,
Boulder, June 20-24, 2011.
- PC-member of TTSS 2011,
the 5th international workshop on Harnassing Theories for Tool Support
in Software,
Oslo, September 13, 2011.
- Program Co-Chair of CompMod 2011,
3rd international workshop on Computational Models for Cell
Processes, Aachen, September 10, 2011.
- Invited lecture entitled
Encoding of Quantitative Reo Connectors
at the 9th workshop on Quantitative Aspects of Programming Languages,
Saarbrücken, April 1-3, 2011.
- Program Co-Chair of the Dutch IPA Spring Days on Bioinformatics,
Vlijmen, the Neherlands, April 11-15, 2011.
- Co-promotor at the PhD-defense of José Proença,
Synchronous Coordination of Distributed Components,
Universiteit Leiden, May 11, 2011
- Co-promotor at the PhD-defense of Christian Krause,
Reconfigurable Component Connectors,
Universiteit Leiden, June 21, 2011
- Co-promotor at the PhD-defense of Young-Joo Moon,
Stochastic Models for Quality of Service of Component Connectors,
Universiteit Leiden, October 25, 2011
- Examiner PhD-committee Paul van Tilburg,
From Computability to Executability: A process theoretic
view on automata theory,
Technische Universiteit Eindhoven, October 27, 2011
- Examiner PhD-committee Stephanie Kemper,
Modelling and Analysis of Real-Time Coordination Patterns,
Universiteit Leiden, December 20, 2011
- Guest-lecturer at the Bio-Modelling and Petri Nets seminar,
On a visual process calculus for biological systems,
LIACS, April 26, 2011
- Member MLQA Steering Committee
- Presentation entitled
Towards reduction of Paradigm coordination models
at the first PACO workshop on Process Algebra and Coordination,
Reykjavik, June 9, 2011
- Presentation entitled
Modeling Dynamic System Adaptation with Paradigm
at the ISTI seminar of the Istituto di Scienza e Tecnologie
dell' Informazione "A. Faedo",
Pisa, October 14, 2011
- Presentation entitled
Analysis of aa-tRNA competition: an application of
Prism in systems biology
at the ISTI seminar of the Istituto di Scienza e Tecnologie
dell' Informazione "A. Faedo",
Pisa, November 25, 2011
- Presentation entitled
Paradigm & McPal: changing the rules while playing
at the symposium on the occasion of the retirement of Luuk
Groenewegen,
Leiden, December 16, 2011
- Referee for
(books and journals)
Theoretical Computer Science (3x),
Advances in Systems Biology,
Scientific Annals of Computer Science
Professional activities 2010
- Guest-editor Transactions on Computational Systems Biology.
- PC-member of CMSB 2010, the 8th International Conference on
Computational Methods in Systems Biology,
Trento, September 29-October 1, 2010.
- PC-member of FOCLASA 2010, the 9th International Workshop on the
Foundations of Coordination Languages and Software Architectures,
Paris, September 4, 2010.
- PC-member of MeCBIC 2010, the 4th Workshop on Membrane Computing
and Biologically Inspired Process Calculi, Jena, August 23-24, 2010.
- PC-member of ISARCS 2010, the 1st International Symposium on
Architecting Critical Systems, Prague, June 23-25, 2010.
- PC-member of AMAST 2010, the 13th International Conference on
Algebraic Methodology and Software Technology,
Manoir St-Castin, Quebéc, June 23-26, 2010.
- PC-member of ICE 2010, the 3rd Interaction and Concurrency
Experience, Amsterdam, June 10, 2010.
- PC-member of CS2Bio'10, the 1st International Workshop on
Interaction between Computer Science and Biology, Amsterdam,
June 10, 2010.
- PC-member of FBTC 2010, the 3rd International Workshop on
From Biology to Concurrency and Back, Paphos, Cyprus, March 27, 2010.
- Presentation entitled
Variations with Paradigm: Model Checking Component Collaboration
at the SYANCO Winterschool 2010, Berlin, February 8-12, 2010.
- Contribution entitled
Concurrent inhibition of TGF and MAP kinase pathways lead to
abrogated fibrotic traits of Dupuytren's disease fibroblasts
at the 51th Congress of the German Society of Hand Surgery,
DGH 2010, Nürnberg, October 7-9, 2010.
- Poster entitled
Towards Dynamic Adaptation of Probabilistic Systems
at the MLQA 2010 meeting, Edinburgh, July 9, 2010.
- Examiner PhD-committee David Costa,
Formal Models for Component Connectors,
Vrije Universiteit Amsterdam, December 13, 2010
- Examiner PhD-committee Alexandra Silva,
Kleene Coalgebra,
Radboud University Nijmegen, December 21, 2010
- Member MLQA Steering Committee
- Member Selection Committee NWO Vrije Competitie 2009-3,
Computer Science subcommittee
- Reviewer for ZonMw, the Dutch organization for Health Research
and Development
- Referee for
(workshops and conferences)
COORDINATION 2010, Amsterdam,
Concur 2010, Paris,
(books and journals)
Science of Computer Programming
Professional activities 2009
- Co-coordinator of Formal Methods week,
Eindhoven, the Netherlands, November 2-6, 2009
- Workshop chair of FM2009, the 16th international symposium on
Formal Methods,
Eindhoven, the Netherlands, November 4-6, 2009
- Co-organizer of CompMod 2009, the 2nd International Workshop on
Computational Modelling of Cell Processes,
Eindhoven, the Netherlands, November 3, 2009
- PC-member of FOCLASA'09, the 8th international workshop on
the Foundations of Coordination Languages and Software Architectues,
Rhodes, Greece, July 11, 2009
- PC-member of ICE'09, 2nd international workshop on
Interaction and Concurrency, Bologna, Italy, August 31, 2009
- Member Selection Committee NWO Vrije Competitie 2009-1,
Computer Science subcommittee and multi-disciplinary committee,
NWO Vrije Competitie 2009-2, Computer Science subcommittee
- Co-promotor at the PhD-defense of Andries Stam,
Interaction Protocols in Paradigm,
Universiteit Leiden, December 8, 2009
- Examiner PhD-committee Leo van Iersel,
Algorithms, Haplotypes and Phylogenetic Networks,
Technische Universiteit Eindhoven, January 29, 2009
- Examiner PhD-committee Helle H. Hansen,
Coalgebraic Modelling: Applications in Automata Theory and Modal
Logic, Vrije Universiteit Amsterdam, May 14, 2009
- Invited talk entitled
Architecting Security with Paradigm
at the SaToSS seminar of the University of Luxembourg,
April 21, 2009
- Invited talk entitled
From Paradigm to mCRL2: Model Checking Component Collaboration
at the Dutch Model Checking Day,
Twente University, Enschede, April 2, 2009
- Invited talk entitled
Stochastic automata for replication, translation and translesion
synthesis
at the MOAN-CB Modelling and Analysis of Cell Behaviour meeting,
a ECCS 2009 satelite, Warwick, September 23, 2009
- Presentation entitled
MLQA building blocks from CWI and TU/e
at the MLQA kick-off meeting in York, March 28, 2009
- Presentation entitled
Verification of Reo circuits using mCRL2
at the CoCoCo meeting in Amsterdam, October 12 & 13, 2009
- Referee for
(workshops and conferences)
CALCO 2009, Udine,
ICALP 2009, Rhodes,
CONCUR 2009, Bologna,
ESOP 2010, Paphos,
(books and journals)
Architecting Dependable Systems VI
Professional activities 2008
- Co-promotor at the PhD-defense of Jasen Markovski,
Real and Stochastic Time in Process Algebras for Performance
Evaluation,
Technische Universiteit Eindhoven, October 2, 2008
- PC-member of GlobalComp,
Workshop on Global Computing Models and Technologies,
SYNASC, Timisoara, 2008
- PC-member of VODCA,
3rd international workshop on Views on Designing Complex Architectures,
FOSAD, Bertinoro, 2008
- Referee for
(journals)
Theoretical Computer Science,
(workshops and conferences)
Concur 2008, Toronto,
AMAST 2008, Urbana-Champaign,
FoSSACS 2009, York
Professional activities 2007
- PC-member of the Dutch research program Sentinels,
a research program on security in ICT, networks and information systems
- External examiner at the PhD-defense of Isabelle Linden,
On the introduction of Time in Coordation Languages:
Semantics, Expressiveness and Programming Methodologies,
Facultés Universitaires Notre-Dame de la Paix, Namur,
June 14th, 2007.
- PC-member of SYANCO 2007,
first International Workshop on
Synthesis and Analysis of Component Connectors,
Dubrovnik 2007
- Referee for
(workshops and conferences)
Concur 2007 Lisbon,
Professional activities 2006
- Co-promotor at the PhD-defense of Cas Cremers,
Scyther: Semantics and Verification of Security Protocols,
Technische Universiteit Eindhoven, November 6, 2006
- PC-member of the Dutch research program Sentinels,
a research program on security in ICT, networks and information systems
- Invited talk at VODCA 06, Bertinoro
- External expert PhD-committee Ling Cheung,
Reconciling Nondeterministic and Probabilistic Choices,
Radboud University Nijmegen, September 18th, 2006
- External expert PhD-committee Martijn Warnier,
Language Based Security for Java and JML,
Radboud University Nijmegen, November 27th, 2006
- Referee for (journals)
Theoretical Computer Science,
Journal of Logic, Language and Information,
Journal of Universal Computer Science
(workshops and conferences)
Coordination 2006 Bologna,
VODCA 2006 Bertinoro,
FOSSACS 2007 Braga,
FSEN 2007 Tehran
Professional activities 2005
- Co-Organizer of the third workshop on
Logic and Communication in Multi-Agent Systems, LCMAS 2005
workshop of IJCAI 2005, Edinburgh
- PC-member of the Dutch research program Sentinels,
a research program on security in ICT, networks and information systems
- PC-member of the 4th joint conference on Automonous Agents and Multi-Agent
Systems, AAMAS 2005, Utrecht
- PC-member of IFIP WG 11.2 Small Systems Security,
workshop of SEC 2005, Chiba
- PC-member of Structural Operational Semantics,
a satellite workshop of ICALP 2005, Lisbon
- Co-promotor the PhD-defense of Ana Sokolova,
Coalgebraic Analysis of Probabilistic Systems,
Technische Universiteit Eindhoven, November 3, 2005
- Member Steering Commitee SAFE-NL, the platform for Security:
Applications, Formal aspects and Environments, in the NetherLands
- Referee for (journals) Acta Informatica, Siam Journal on Computing,
Journal of Universal Computer Science,
(conferences and workshops) CBSE 2005 St. Louis, ICALP 2005 Lisboa,
Concur 2005 San Francisco, EuroMicro/SPPI 2005 Porto,
ARSPA 2005 Lisbon, CICS 2005 Beijing, M4M 2005 Berlin
- Reviewer for STW, the Netherlands
Professional activities 2004
- Co-Organizer of the second workshop on
Logic and Communication in Multi-Agent Systems, LCMAS 2004
workshop of ESSLLI 2004, Nancy
- PC-member of the Dutch research program Sentinels,
a research program on security in ICT, networks and information systems
- PC-member of VODCA,
a workshop on Views on Designing Complex Architectures,
FOSAD, Bertinoro, 2004
- PC-member of Structural Operational Semantics,
a satellite workshop of CONCUR 2004, London
- PC-member of the 3rd joint conference on Automonous Agents and Multi-Agent
Systems, AAMAS 2004, Washington
- Member Steering Commitee SAFE-NL, the platform for Security:
Applications, Formal aspects and Environments, in the NetherLands
- Referee for (journal) Fundamenta Informaticae
- Reviewer for ESPRC United-Kingdom
Professional activities 2003
- PC-member of the 2nd joint conference on Automonous Agents and Multi-Agent
Systems, AAMAS 2003, Melbourne
- PC-member of IFIP WG 11.2 Small Systems Security,
workshop of SEC 2003, Athens
- Workshop Chair of the 30th International Colloquium on Automata, Languages
and Programming, ICALP 2003, Eindhoven
- Member Steering Commitee SAFE-NL, the platform for Security:
Applications, Formal aspects and Environments, in the NetherLands
- Co-Organizer of the first workshop on
Logic and Communication in Multi-Agent Systems, LCMAS 2003
pre-conference workshop of ICALP 2003, Eindhoven
- Referee for (journals) Journal of Logic and Algebraic Programming,
(conferences and workshops) ICALP 2003, Eindhoven, ACSD 2003, Guimares,
(books) Ambient Intelligence: Impact on embedded-system design,
T. Basten, M. Geilen, H. de Groot (eds.), Kluwer
- Reviewer for IWT Belgium, ESPRC United-Kingdom