Universiteit Twente
	faculty EWI, unit of  Computer Science
	DIES: distributed and embedded system group
	homepage of Sandro Etalle
	teaching publications (links to old papers can be found here) organisation contact details

• Security. 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 (links to old papers can be found here).

• Post-Doc vacancy in distributed trust management

• 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.
• 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.
• LicenseScript. NL-funded. Leader.
• Fostering Trust in Distributed Systems. University funded. Leader.
• EYES Energy Efficient Sensor Networks. EU-funded.
• AMETIST: Advanced Methods for Timed Systems. EU-funded.
• other ongoing activities
  • Lopstr 2004. The fourteenth international workshop on logic-based program synthesis and transformation. Program Chair.
  • TPLP Special Issue on Specification Analysis and Verification of Reactive Systems.
  • ALP - the Association for Logic Programming.  Member of the Executive Council.
  • Safe-nl the dutch security platform. Co-founder.
  • Coordination of the security research at the UT (see UT Security Research page).
• past
  • 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.
• 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:  September 2004.