SECOND ANNOUNCEMENT

Less than four weeks left for the first

*Workshop "Geometry and Computer Science - GnCS 2017", Pescara, Italy, 
February 8-10, 2017*

http://www.sci.unich.it/gncs2017

Geometry and computer science interact with each other in a very 
profitable way. In this workshop, each talk will describe a challenge in 
geometry or computer science and explain how the other science helps 
addressing it. *If your expertise area is geometry OR computer science, 
join this workshop* to explore new interactions between two sciences 
that are only at a first sight apart! A (limited) financial support is 
available for young researchers.

No registration fee is required. Register at

http://www.sci.unich.it/gncs2017/#registration

Abstracts at http://www.sci.unich.it/gncs2017/#lectures

Talks.

-) Daniele Angella (Università degli Studi di Firenze, Italy)
*SageMath experiments in Differential and Complex Geometry*

-) Mattia Bergomi (Collective behavior lab, Champalimaud Research, Portugal)
*Word embedding: Deep Learning and Computational Topology for the 
evaluation of context-based semantic change*

-) Davide Ferrario (Università degli Studi di Milano-Bicocca, Italy)
*Symmetries, computers, and periodic orbits for the n-body problem*

-) Éric Gourgoulhon (Observatoire de Paris, France)
*Differential Geometry with SageMath*

-) Maximilian Hasler (Université des Antilles et de la Guyane)
*Overview of Computer Algebra Software for Tensor Calculus*

-) Marco Maggesi (Università degli Studi di Firenze, Italy)
*A formalization of metric spaces in HOL*

-) Luigi Malagò (Romanian Institute of Science and Technology - RIST, 
Romania): TBA

-) David Monniaux (CNRS-Verimag, France)
*A survey of Satisfiability Modulo Theory*

-) Emanuele Rodolà (USI Lugano, Switzerland)
*Geometric Deep Learning*

-) Claudio Sacerdoti Coen (Università di Bologna, Italy)
*Formalizing a Result in Formal Topology in Type Theory*

-) Pietro Speroni (Bio System Analysis Group, FSU Jena, Germany)
*An introduction to Artificial Chemistries: Algebra applied to 
Informatics applied to Biology*

-) Laurent Théry (INRIA, France)
*Proof Assistant and Planar Geometry*

-) Josef Urban (Czech Institute of Informatics, Robotics and 
Cybernetics, Czech Republic)
*Learning-assisted theorem proving and formalization*

-) Enea Zaffanella (Università degli Studi di Parma, Italy)
*Polyhedra to reason about software*

Scientific Committee:

Gianluca Amato (Università degli Studi di Chieti-Pescara, Italy)
Giovanni Bazzoni (Philipps-Universität Marburg, Germany)
Marco Maggesi (Università degli Studi di Firenze, Italy)
Maurizio Parton (Università degli Studi di Chieti-Pescara, Italy)
Francesca Scozzari (Università degli Studi di Chieti-Pescara, Italy)

Supported by INdAM GNSAGA, INdAM GNCS, University of Chieti-Pescara

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
This message was sent to you via the Geometry List, which announces conferences in geometry and closely related areas to almost 1500 mathematicians worldwide.

At http://listserv.utk.edu/archives/geometry.html there are many functions available, including checking the archives since November 2005, changing your e-mail address or preferences, and joining/leaving the list. If you have problems that cannot be resolved at this website, send a message to [log in to unmask]

Before sending an announcement, please carefully read the following. Any announcements that are *not* about conferences (e.g. those about jobs, journals, books, etc.) will be rejected by the moderator without comment. To announce a geometry or closely related conference, send the announcement (including a conference web site if possible) to [log in to unmask] The moderator cannot edit your message; list members will receive the announcement as an e-mail from you EXACTLY as you submitted it. For example, if your submission starts with "Please post this on the geometry list" then your conference announcement will also begin with that statement. In order to keep down the volume of e-mail, only TWO announcements per conference will be approved by the moderator. The "subject" of your message should include the name of the conference and the number (first or second) of the announcement, e.g. Gauss Memorial Lectures in Geometry: Second Announcement. Please check that your announcement (especially the website) is correct. Corrections will be approved only in the most critical situations, e.g. if corrected information is not available on the website. After submitting an announcement you may receive a message asking you to confirm your submission. This feature is designed to thwart the hundreds of machine-generated spam that are sent to the list and would otherwise have to be manually blocked by the moderator. If you do not see your announcement within 48 hours, please check the archives to see whether it was actually posted (i.e. you somehow missed seeing the post or are not subscribed with your current email address). If the announcement is not in the archive, search for a confirmation message that you may have missed (from listserv.utk.edu). If none of this solves the mystery, send a message to [log in to unmask]


The Geometry List is sponsored and maintained by the Mathematics Department, The University of Tennessee, Knoxville.