Deadline extension: WODA 2012 - 10th International Workshop on Dynamic Analysis
	Apologies for multiple copies received... Due to numerous requests for a deadline extension we have postponed the deadline by one week. Nevertheless, we ask to submit abstracts by May 1st (see below). *** WODA 2012 *** 10th International Workshop on Dynamic Analysis Sunday, July 15, 2012, Co-located with ISSTA, Minneapolis, MN... more » By Eric Bodden  - Apr 27 - 1 new of 1 message

	Call for Papers - International Conference on Runtime Verification (RV 2012)
	International Conference on Runtime Verification (RV 2012) September 25 - 28, 2012 Istanbul, Turkey at the Koc University Research Center for Anatolian Civilizations in Pera [link] SCOPE Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification... more » By Eric Bodden  - Apr 15 - 1 new of 1 message

	Deadline extension: SOAP 2012
	Dear all, since we got some requests for deadline extension, we decided to move the deadline by one week. Submissions are now due on April 4th. Best wishes, Eric =========== 1st International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) Co-located with PLDI 2012, June 2012 in Beijing... more » By Eric Bodden  - Mar 27 - 1 new of 1 message

	1st International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012)
	Still five days left to submit... 1st International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) Co-located with PLDI, June 14th, 2012 in Beijing [link] WORKSHOP TOPIC Soot and other analysis frameworks have enabled hundreds of users to carry out research in static analysis of Java. As Soot enters its... more » By Eric Bodden  - Mar 23 - 1 new of 1 message

	Call for Papers: MODULARITY: aosd.2013 (Research Results Track)
	MODULARITY: aosd.2013 *** AOSD 2013 *** March 25-29, 2013 Fukuoka, Japan [link] Call for Papers -- Research Results Modularity transcending traditional abstraction boundaries is essential for developing complex modern systems - particularly software and software-intensive systems. Aspect-oriented and other new... more » By Eric Bodden  - Mar 13 - 1 new of 1 message

	Call for Papers: TAOSD - Special Issue on Runtime Verification and Analysis
	*** TAOSD: Transactions on Aspect-Oriented Software Development *** *** Special Issue on Runtime Verification and Analysis *** ============================== ========================= IMPORTANT DATES Submission deadline: August 15th, 2012 First Round Review Notification: November 1st, 2012 Re-Submission Revised Papers: January 31st, 2013... more » By Eric Bodden  - Mar 13 - 1 new of 1 message

	WODA 2012 - 10th International Workshop on Dynamic Analysis - Call for Papers
	Apologies for multiple copies received... *** WODA 2012 *** 10th International Workshop on Dynamic Analysis Sunday, July 15, 2012, Co-located with ISSTA, Minneapolis, MN [link] ========================= Important dates ========================= * Submission deadline: April 27th, 2012 (23:59 American Samoa Time)... more » By Eric Bodden  - Mar 1 - 1 new of 1 message

	Video on Clara available online
	Hi all. Two weeks ago I gave a presentation on the static analyses in Clara at the Université catholique de Louvain. A video of the presentation is available online, along with videos of the other presenters: [link] I hope you find this useful.... more » By Eric Bodden  - Dec 14 2011 - 1 new of 1 message

	Open position: Research Assistant in Secure Software Engineering
	The Secure Software Engineering Group in the Fachbereich Informatik of Technische Universität Darmstadt is currently offering a position for a Research Assistant in Secure Software Engineering with the goal to further develop the group’s expertise in the area of constructive software security. The Secure Software Engineering Group... more » By Eric Bodden  - Nov 23 2011 - 1 new of 1 message

	Call for Papers - SOAP 2012: 1st International Workshop on the State Of the Art in Java Program Analysis
	1st International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) Co-located with PLDI 2012, June 2012 in Beijing [link] WORKSHOP TOPIC Soot and other analysis frameworks have enabled hundreds of users to carry out research in static analysis of Java. As Soot enters its... more » By Eric Bodden  - Nov 1 2011 - 2 new of 2 messages