The Coq mailing list

[karsar <karen.sarkisyan AT gmail.com>]

• Conference announcements that are unrelated

In my opinion, only that is off topic... General philosophical discussion about type theory, where nothing is asked about Coq itself,

seems to be a bit off topic as well. Sometimes it happens here. 

Best,

Karen

On Fri, Jun 22, 2018 at 8:12 PM 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
>
>