NEWS: Bridging Workshop at CADE 2015 - Change of submission modalities

[Claudia Schon]

NEWS: Bridging Workshop at CADE 2015 - Change of submission modalities 


Workshop on: 

	Bridging the Gap between Human and Automated Reasoning
	located at CADE-25, Berlin, Germany, Aug 1, 2015	
	
	http://ratiolog.uni-koblenz.de/bridging.html

Since this is a new workshop, we decided to only have informal proceedings using the Computing Research Repository (CoRR). During the workshop we will decide about possible post-workshop proceedings.
This is why were able to change the submission modalities:

	Abstract submission deadline: May 1, 2015
	Full paper submission deadline: May 10, 2015
	Notification: June 1, 2015
	Final submission: June 21, 2015

Looking forward to your submission.

Claudia Schon 
on behalf of the organizing committee.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20150428/3bfe9b9c/attachment.html>