The Coq mailing list

[Derek Dreyer <dreyer AT mpi-sws.org>]

Yes, please.  I was thinking the same thing.

Perhaps there could be a separate coq-club-announce list (like 
types-announce)?

Thanks,
Derek
On Fri, Jun 22, 2018 at 1:20 PM Benjamin Pierce 
<bcpierce AT cis.upenn.edu>
 wrote:
>
> ...to moderate coq-club?  It is starting to become a dumping ground for 
> random announcements.
>
>        - Benjamin
>
> > On Jun 20, 2018, at 10:43, 
> > "icpram AT insticc.info"
> >  
> > <icpram AT insticc.info>
> >  wrote:
> >
> > SUBMISSION DEADLINE
> >
> > 8th International Conference on Pattern Recognition Applications and 
> > Methods
> >
> > Submission Deadline: October 1, 2018
> >
> > http://www.icpram.org/
> >
> > February 19 - 21, 2019
> > Prague, Czech Republic.
> >
> > ICPRAM is organized in 2 major tracks:
> >
> > - Theory and Methods
> > - Applications
> >
> >
> > In Cooperation with: EUROGRAPHICS and AFIG. <br/>
> > Proceedings will be submitted for indexation by: DBLP, DBLP, Thomson 
> > Reuters, EI, SCOPUS, Semantic Scholar and Semantic Scholar. <br/>
> >
> > With the presence of internationally distinguished keynote speakers:
> > Linda G. Shapiro, University of Washington, United States
> > Bram van Ginneken, Radboud University Medical Center, Netherlands
> > Michal Irani, Weizmann Institute of Science, Israel
> > Davide Maltoni, University of Bologna, Italy
> >
> >
> > A short list of presented papers will be selected so that revised and 
> > extended versions of these papers will be published by Springer.
> >
> > All papers presented at the congress venue will also be available at the 
> > SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/).
> >
> > Should you have any question please don’t hesitate contacting me.
> >
> >
> > Kind regards,
> > ICPRAM Secretariat
> >
> > Address: Av. D. Manuel I, 27A, 2º esq.
> > 2910-595 Setubal, Portugal
> > Tel: +351 265 520 185
> > Fax: +351 265 520 186
> > Web: http://www.icpram.org/
> > e-mail: 
> > icpram.secretariat AT insticc.org
> >
> >
>