Michelle Obama ja' disse que "When they go low, we go higher". Comentarios ofensivos no nivel de escola primaria (ou do "locker room do Trump") nao precisam e nao deviam aparecer na lista de logica, com ou sem o pretexto de um senso de humor "excentrico".
Acho que esta na hora dos nossos colegas se manifestarem contra esse tipo de "brincadeira" ofensiva e sexista. Valeria On Tue, Oct 18, 2016 at 5:22 PM, jean-yves beziau <[email protected]> wrote: > 40 macacos no PROGRAM COMITTEE !!! > Vamos torcer para que haja uma quantia igual ou superior de galinhas no > evento ... > Saudações, JYB > PS What is the cost of the event, if any? > > ** Apologies for multiple copies, please unsubscribe *** > > FIRST CALL FOR PAPERS > > ITP 2017 > 8th International Conference on Interactive Theorem Proving > Brasilia, Brazil > September 26-29, 2017 > http://itp2017.cic.unb.br > > > Submission Deadlines: April 3, 2017 (abstracts) > April 10, 2017 (full papers) > > GENERAL INFORMATION > The ITP conference series is concerned with all topics related to > interactive theorem proving, ranging from theoretical foundations to > implementation aspects and applications in program verification, > security, and formalization of mathematics. ITP is the evolution of > the TPHOLs conference series to the broad field of interactive theorem > proving. TPHOLs meetings took place every year from 1988 until > 2009. The eighth ITP conference, ITP 2017, will be held at > Universidade de Brasilia, September 26-29, 2017. > > SCOPE OF CONFERENCE > ITP welcomes submissions describing original research on all aspects > of interactive theorem proving and its applications. Suggested topics > include but are not limited to the following: > > * formal aspects of hardware and software > * formalizations of mathematics > * improvements in theorem prover technology > * user interfaces for interactive theorem provers > * formalizations of computational models > * verification of security algorithms > * use of theorem provers in education > * industrial applications of interactive theorem provers > * concise and elegant worked examples of formalizations (proof pearls) > > PUBLICATION DETAILS > The proceedings of the symposium will be published in the > Springer's LNCS series. > > PAPER SUBMISSIONS > All submissions must be original, unpublished, and not submitted > concurrently for publication elsewhere. Furthermore, when appropriate, > submissions are expected to be accompanied by verifiable evidence of > a suitable implementation, such as the source files of a formalization > for the proof assistant used. Submissions should be no more than > 16 pages in length and are to be submitted in PDF via EasyChair at > the following address: > > https://easychair.org/conferences/?conf=itp2017 > > Submissions must conform to the LNCS style in LaTeX. Authors of > accepted papers are expected to present their paper at the conference > and will be required to sign a copyright release form. > > In addition to regular papers, described above, there will be a rough > diamond section. Rough diamond submissions are limited to 6 pages > and may consist of an extended abstract. They will be refereed and be > expected to present innovative and promising ideas, possibly in an > early form and without supporting evidence. Accepted diamonds will be > published in the main proceedings and will be presented as short > talks. > > IMPORTANT DATES > Abstract submission deadline: April 3, 2017 > Full paper submission deadline: April 10, 2017 > Author notification: June 2, 2017 > Camera-ready papers: June 30, 2017 > Workshops & Tutorials: September 23-25, 2017 > Conference: September 26-29, 2017 > > PROGRAM COMMITTEE > Maria Alpuente, T.U. Valencia > Vander Alves, U. Brasilia > June Andronick, U. New South Wales > Jeremy Avigad, Carnegie Mellon U. > Mauricio Ayala-Rincon, U. Brasilia (Co-Chair) > Sylvie Boldo, INRIA LRI > Ana Bove, Chalmers & Gothenburg U. > Adam Chlipala, MIT > Gilles Dowek, INRIA, ENS Cachan > Aaron Dutle, NASA > Amy Felty, U. Ottawa > Marcelo Frias, I.T. Buenos Aires > Ruben Gamboa, U. Wyoming > Herman Geuvers, Radboud U. > Elsa Gunter, U. Illinois U.C. > John Harrison, Intel Corporation > Nao Hirokawa, JAIST > Matt Kaufmann, U. Texas Austin > Mark Lawford, McMaster U. > Andreas Lochbihler, ETH Zurich > Assia Mahboubi, INRIA > Panagiotis Manolios, Northeastern U. > Cesar Munoz, NASA (Co-Chair) > Gopalan Nadathur, U. Minnesota > Keiko Nakata, T.U. Dresden > Adam Naumowicz, U. Bialystok > Tobias Nipkow, T.U. Munich > Scott Owens, U. Kent > Sam Owre, SRI > Lawrence Paulson, U. Cambridge > Leila Ribeiro, U.F. Rio Grande do Sul > Claudio Sacerdoti Coen, U. Bologna > Augusto Sampaio, U.F. Pernambuco > Monika Seisenberger, Swansea U. > Christian Sternagel, U. Innsbruck > Sofiene Tahar, Concordia U. > Woody Allen, Cumy. New OrQ > Christian Urban, King's College London > Josef Urban, Czech T.U. Prague > > CONTACT INFORMATION > Cesar Munoz > Mauricio Ayala-Rincon > [email protected] > http://itp2017.cic.unb.br > > -- > Cláudia Nalon > ------------------------------------ > Departmento de Ciência da Computação > Instituto de Ciências Exatas > Universidade de Brasília > http://www.cic.unb.br/~nalon > > -- Valeria de Paiva http://research.nuance.com/author/valeria-de-paiva/ http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvAKLfm9KPnu69dMLo5%3DWohp7aHw9gwYh%2BjaG8UD1mY0g%40mail.gmail.com.
