The Coq mailing list

[Makarius <makarius AT sketis.net>]

On Fri, 17 Feb 2012, Johan Jeuring wrote:

>         CICM 2012 - Conference on Intelligent Computer Mathematics
>           July 9-13, 2012 at Jacobs University, Bremen, Germany
>
>              http://www.informatik.uni-bremen.de/cicm2012/
>
>                             Call for Papers
> ----------------------------------------------------------------
>
> Abstract submission:          20 February 2012
> Submission deadline:          26 February 2012
> Reviews sent to authors:     23 March 2012
> Rebuttals due:                     30 March 2012
> Notification of acceptance: 6  April 2012
> Camera ready copies due:   20 April 2012
> Conference:                         9-13 July 2012
>
> ----------------------------------------------------------------

Dear Coq users,

since there have been some confusions and accidents posting the CFP on 
other mailing lists, I would like to emphasize that submission for CICM 
2012 is still open until 26-Feb-2012.  This is is de-facto next Monday 
afternoon European time. Moreover, the PC track chairs have agreed to be 
flexible to accomodate late submissions.

French Coq people might especially notice that the organizers have made 
sure to have the conference finish before 14th July, to avoid the main 
vacation period.


        Makarius