Universiteit Twente
	faculty EWI, unit of  Computer Science
	DIES: distributed and embedded system group
	homepage of Sandro Etalle
	teaching publications (for older papers check here) organisation contact details

• Security: protocol verification, privacy protection, trust management. See for instance the page on protocol verification
• Verification and validation of systems. Concurrency.
• Program's transformations and verification, semantics.
• Digital right management
• Declarative programming languages, in particular logic and constraint programming.

• Publications (for older papers check here).

• The vacancies at DIES

• Ongoing activities
  • NVSO (Nationaal samenwerkingsVerband Security Onderzoek). Member of the management team.
  • ICLP 2006 Twenty Second International Conference on Logic Programming, Part of the Fourth Federated Logic Conference, FLoC 2006. Deadline for submissions: February 21st, 2006. Co-chair.
  • iTrust 2006 Fourth International Conference on Trust Management. Deadline for submissions: November 18. PC member.
  • CSFW. 2006 IEEE Computer Security Foundations Workshop. PC member.
  • ALP - the Association for Logic Programming.  Member of the Executive Council.
  • LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation.  Member of the steering committee.
  • Safe-nl the dutch security platform. Co-founder.
  • Coordination of the security research at the UT (see UT Security Research page).
• Ongoing projects
• ISTRICE - Integrated Security and Privacy - in a networked world is one of CTIT's strategic research orientations. See also the UT Security Research page.
• PROSECCO - Next Generation Protection and Security of Content - is one of the UT spearhead (speerpunt) programs. See also the UT Security Research page.
• BRICKS: Basic Research in Informatics for Creating the Knowledge Society CWI/NWO/TU/e/TUD/UT collaboration, funded by BSIK.
• IPID: Integrated Policy-based Intrusion Detection IS/DIES collaboration, funded by STW Sentinels.
• ARTIST2 Network of Excellence on Embedded Systems Design. EU funded.
• Account - accountability in electronic commerce. NWO-funded. In cooperation with CWI and VU.
• PAW - privacy in ambient world. Funded by the IOP Generic Communication. In cooperation with KUN, TuD, TNO.
• Fostering Trust in Distributed Systems. University funded. Leader.
• AMETIST: Advanced Methods for Timed Systems. EU-funded.
• Past projects and activities
  • SVV 2005 International Workshop on Software Verification and Validation (SVV 2005).
  • Lopstr 2004. The fourteenth international symposium on logic-based program synthesis and transformation. Program Chair.
  • LicenseScript. NL-funded project. Leader.
  • EYES Energy Efficient Sensor Networks. EU-funded.
  • FAST 2004 Workshop on formal aspects of security and trust. PC member.
  • Cabernet. EU-funded. Network of excellence in distributed and dependable computing systems.
  • 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. the workshop page. 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.

• Logisch programmeren (constraint logic programming)
• Besturingssystemen (operating systems)
• DEBT: Distributed E-business Techniques
• Security (guest lectures at the TuE and local mirror of the sides of my lessons in DEBT.)

• How to write a proof, by Leslie Lamport.
• The latex style files
• How to write and introduction - some suggestions .
• The publication policy.
• Protocol for the weekly meetings with PhD students..
• the local on line help for latex2e. Additional documentation can be found in the latex2e help top level page.
• the list of mathematical symbols for latex2e shamelessly taken from the "not very short introduction to latex 2e" by t. oetiker, h. partl, i. hyna e. schlegl (local mirror here).

University of Twente,
Distributed and Embedded Systems Group
p.o.box 217
7500ae enschede
the netherlands
phone: ++31 (0)53 4891195
fax: ++31 (0)53 4894047
email (replace * with @): s.etalle * utwente.nl

last modified:  April 2005.