- IFIPTM
2011 Fifth IPIP WG 11.11 International Conference on Trust
Management. June 29 - July 1, 2011. Copenhagen, Denmark. PC
Member.
- W3C Workshop
on Privacy and data usage control 04/05 October 2010,
Cambridge (MA). PC member.
-
FAST2010, the seventh International Workshop on Formal Aspects
of Security and Trust.Pisa, Italy, 16-17 September,
2010. Post-Proceedings LNCS. Deadline for submission: June 20 (strict).
- FOSAD
2010: 10th International School on Foundations of Security Analysis and Design
University Residential Center of Bertinoro, Italy.
6 - 11 September 2010.
- Fourth IFIP International Conference on Trust Management
Morioka, Japan, June 16-18, 2010. Submission deadline: December
19. 2009.
- Dagstuhl
Seminar 10141 on Distributed Usage Control. April 6-9,
2010.
- BDIM 2010. IEEE Business-Driven IT Management workshop
(BDIM 2009) to be held in conjunction with the IM 2010
Symposium. PC member
- 2009 IEEE
International Conference on Information Privacy, Security,
Risk and Trust. August 29-31, Vancouver, CA. (PC member)
- CONGRESS2009
2009 World Congress on Privacy, Security, Trust and the
Management of e-Business. August 25-27, 2009, Saint John,
New Brunswick, Canada. Submission deadline: April 3,
2009.
- ARSPA-WITS'09
Joint Workshop on Automated Reasoning for Security Protocol
Analysis and Issues in the Theory of Security Affiliated with
ETAPS 2009 York, UK March 28 (Sat) and 29 (Sun),
2009. Deadline: January 09. PC Member
- IFIP
TM 2009 The 3rd IFIP International Conference on Trust
Management (TM'09). June 15-19, 2009 Purdue University, West
Lafayette, USA. Deadline: January 12th. PC member.
- BDIM 2009. IEEE Business-Driven IT Management workshop
(BDIM 2009) to be held in conjunction with the IM 2009
Symposium. PC member
- WISSEC 2008: 3rd Benelux Workshop on
Information and System Security November 13-14, 2008, Eindhoven, The Netherlands. Co-organizer.
-
Second
Dutch Workshop on Information Risk Management.
Eindhoven, September 26, 2008. Attendance is free.
-
FCS-ARSPA-WITS'08
Joint Workshop on Foundations of Computer Security,
Automated Reasoning for Security Protocol Analysis and
Issues in the Theory of Security Affiliated to LICS 2008
and CSF 21. Pittsburgh, PA, USA, June 21-22,
2008. Co-chair.
- EC2ND 2008,
European Conference on Computer Network Defense. December 11th
and 12th 2008 Dublin City University, Dublin, Ireland. PC
member.
-
BDIM
2008 Third IEEE/IFIP International Workshop on
Business-driven IT Management (BDIM 2008) In conjunction
with IEEE Network Operations and Management Symposium
(NOMS 2008) Salvador, Bahia, Brazil, April 7th, 2008. PC
member.
- IFIPTM'08
Joint iTrust and PST Conferences on Privacy, Trust
Management and Security. PC Member.
- Coordination of the security research at the UT (see
UT Security
Research page).
- APE
First International Workshop on Advances in Policy
Enforcement (APE'08). Collocated with ARES 2008 Barcelona,
Catalonia, March 4th-7th 2008. Co-chair.
- Static
Analysis Symposium 2008 . Valencia, Spain. PC member.
-
Workshop on Privacy Enforcement and Accountability with
Semantics. Nov. 11-15, 2007, Busan, Korea. PC member.
-
Workshop on Information Risk Management May 31st, 2007
at the University of Twente. Attendance is free.
- IFIPTM
2007 Joint iTrust and PST Conferences on Privacy, Trust
Management and Security. Co-chair.
- 7th
International Workshop on Issues in the Theory of Security
(WITS 07). PC member.
- Artist2 "T&V" and
"Security" meetings in Trento.
- STM 2006
Second International Workshop on Security and Trust
Management. Co-chair.
- ICLP 2006
Twenty Second International Conference on Logic Programming,
Part of the Fourth Federated Logic Conference, FLoC
2006. Co-chair.
-
iTrust 2006
Fourth International Conference on Trust Management. PC
member.
-
CSFW. 2006 IEEE Computer Security Foundations
Workshop. PC member.
- Safe-nl the
dutch security platform. Co-founder.
-
SVV
2005 International Workshop on Software Verification and
Validation (SVV 2005).
-
LOPSTR
- International Symposium on Logic-based Program
Synthesis and Transformation. Member of the
steering committee.
-
Lopstr
2004. The fourteenth international symposium on
logic-based program synthesis and
transformation. Program Chair.
- FAST 2004
Workshop on formal aspects of security and trust. PC
member.
-
The
newsletter of the association for logic
programming. Editor.
-
International
Workshop on Software Verification and Validation (SVV
2003), In Conjunction with International Conf. on
Logic Programming (ICLP) 2003 Mumbai (India), December
2003. Co-organizer.
-
ICLP 2003, Ninetheen International Conference on Logic
Programming, Mumbay, INDIA, December 9-13, 2003.PC
member.
- Fast
2003, Workshop on Formal Aspects in Security &
Trust. Pisa, Italy. PC Member.
-
IWFM
2003 Sixth International Workshop in Formal Methods.
Dublin City University, Dublin, Ireland. PC member.
-
WFLP'03, the
twelfth International Workshop on Functional and
(Constraint)
Logic Programming. Valencia,
Spain, June 12-13, 2003. PC member.
-
1st International Conference on
Virtual Goods 2003. PC member.
-
Lopstr2002
the twelfth international workshop on logic-based
program synthesis and transformation. pc member.
- Iclp
02 eighteenth international conference on
logic programming. pc member.
- save
2002 2002 workshop on
specification, analysis and validation for
emerging technologies in computational
logic. copenhagen , denmark, july 27, 2002. part
to the 2002
federated logic conference
-
lopstr2001
the eleventh international workshop on
logic-based program synthesis and
transformation.
- iclp 2001 workshop on specification,
analysis and validation for emerging technologies
in computational logic (save). paphos, cyprus, dec 1,
2001.
-
ppdp2001
third international conference on principles and practice of
declarative programming. pc member.
- the 2000 international
summer school in computational logic, acquafredda di
maratea (basilicata, italy). organizer, together with
m. gabbrielli.
-
lopstr2000
the tenth international workshops on logic-based program synthesis
and transformation. program development stream of cl 2000. pc
member.
- bnaic2000 the
twelfth belgium-netherlands conference on artificial intelligence
will be held at the efteling, kaatsheuvel, on november the 1st and
2nd, 2000. pc member.
- Cl2000 the first international conference on
computational logic. london, july 2000. Workshop chair.
-
ppdp99
1999 international conference on principles and practice of
declarative programming. paris, september 1999. pc member.
-
lopstr99
ninth international workshops on logic-based program synthesis and
transformation. venice, september,1999. pc member.
-
bnaic99. eleventh netherlands/belgium conference on
artificial intelligence. maastricht, november1999. pc member.
-
workshop
on verification of logic programs organised within
iclp'99.
december 1, 1999. las cruces, new mexico, usa. organizer, editor,
together with j-g. smaus.
- the linux user
group of the university of maastricht managed by
stefan kleijkers and karel bemelmans.