The Coq mailing list

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

Yes, but there seem to be a lot of these conference announcements
recently, and there will continue to be so long as the list is
unmoderated.

Derek

On Fri, Jun 22, 2018 at 2:39 PM karsar 
<karen.sarkisyan AT gmail.com>
 wrote:
>
> 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
>>> >
>>> >
>>>
>>