Useful Links

Events

• GAMES 2011
• GIPSy Workshop 2011 in Rennes, France
• LOFT10 2012

Permanent Events

• 68NQRT seminar
• The annual Logic Summer School at the Research School of Information Sciences and Engineering (The Australian National University, Canberra)

Networks and Projects

• IST STREP 215543 COMponent-Based Embedded Systems design Techniques
• Games for Design and Verification (ESF Research Networking Programme)
• IST-004527 ARTIST2 Network of Excellence on Embedded Systems Design

Organizations

• Marie Curie Fellows Association
• Forum for European-Australian Science and Technology Cooperation and its Newsletter