Current and Past Conferences
2008
- Testing: Academic & Industrial Conference; Practice and Research Techniques (TAIC PART)
- Pixelerations
- Family History and Technology Workshop (FHTW)
- Symposium on Identity and Trust on the Internet (IDtrust)
2007
- International Symposium on Autonomous Minirobots for Research and Edutainment (AMIRE)
- Family History and Technology Workshop (FHTW)
- FuturePlay
- ACM Symposium on Operating Systems Principles (SOSP)
- Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL)
- Web 2.0 Security and Privacy Workshop (W2SP)
- Foundations of Aspect-Oriented Languages (FOAL)
- International Conference on Compiler Construction (CC)
- 6th Annual PKI R&D Workshop (PKI)
- Symposium on Principles of Programming Languages (POPL)
2006
- First Alloy Workshop (ALLOY)
- International Conference on Compiler Construction (CC)
- IEEE Computer Security Foundations Workshop (CSFW)
- Foundations of Aspect-Oriented Languages 2006 (FOAL)
- International Symposium on Functional and Logic Programming (FLOPS)
- Future Play
- International Conference on Web Engineering (ICWE)
- IEEE International Workshop on Networking Meets Databases (NetDB)
- PKI R&D Workshop (PKI)
- Scheme and Functional Programming 2006 (SCHEME)
- Simpósio de Informática da Região Centro do RS (SIRC/RS)
- Structural Operational Semantics 2006 (SOS)
- Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE)
- First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT)
2005
- ACM Symposium on Software Visualization (Softvis)
- Computer Security Foundations Workshop (CSFW)
- European Smalltalk User Group Conference Research Track (ESUG)
- Foundations of Aspect-Oriented Languages (FOAL)
- Functional and Declarative Programming in Education (FDPE)
- Future Play
- Langages et Modèles à Objets (LMO)
2004
- International Symposium on Software Testing and Analysis (ISSTA)
- Practical Aspects of Declarative Programming (PADL)
- Workshop on Testing, Analysis and Verification of Web Services (TAV-WEB)