The Coq mailing list

["Harrison, William L." <harrisonwl AT missouri.edu>]

And, as long as we’re on the subject, it would be nice to have a digest option for the coq-club mailing list, which I don’t believe is available now.

On Jun 22, 2018, at 7:11 AM, Dominique Unruh <unruh AT ut.ee> wrote:

As a first step, we should probably clarify what belongs on Coq-club and what doesn't. I see the following categories on the mailing list.

• Discussions about Coq
• Discussions about type theory in general
• Job offers (phd / postdoc) related to verification or type theory
• Conference announcements related to verification or type theory
• Conference announcements that are unrelated

Benjamin's mail came in reaction to a mail in the last category. Those we obviously don't want. What about the others?

Best wishes,
Dominique.

On 22 June 2018 at 14:19, 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
>
>