Call for Papers and Other Useful Academic Information

********************************************************** *********** Call for Tutorial Proposals ************* *********** Petri nets 2009 ************* ********************************************************** Deadline full tutorial proposal: <> The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri nets 2009) will take place in Paris (as usual in the last week of June, cf. http://petrinets2009.lip6.fr/). For this major [...]

Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD – VII) July 19-20, 2009 http://www.haifa.il.ibm.com/Workshops/padtad2009/index.shtml In conjunction with International Symposium on Software Testing and Analysis (ISSTA 2009) IMPORTANT DATES ==================================================================== Submission deadline: 19 April 2009 Author notification: 11 May 2009 Final version: 25 May 2009 PADTAD Workshop: 19-20 July 2009 GOALS & SCOPE [...]