You can check the program’s web page for further information at Link

Description

Many natural mathematical concepts cannot be expressed in first-order logic but need stronger logics. Among such concepts are the freeness of a group, separability of a space, completeness of an order, etc. By a strong logic we mean model-theoretically defined extensions of first-order logic, such as first-order logic with generalized quantifiers, infinitary logics, second-order logic, as well as higher-order logics. The study of strong logics runs immediately into questions that depend essentially on set-theoretical assumptions beyond the standard ZFC axioms, such as infinitary combinatorial principles and the existence of large cardinals. It is therefore crucial to be able to pinpoint the position of a given strong logic in the set-theoretical definability hierarchy, thus helping us understand better the set-theoretical nature of the logic, and therefore of the mathematical notions it can express. 

Objectives

This program will bring to the CRM a diverse group of international high-level researchers working in strong logics, large cardinals, the foundations of set theory, and the applications of set-theoretical methods in other areas of mathematics, such as algebra, set-theoretical topology, category theory, algebraic topology, homotopy theory, C*-algebras, measure theory, etc. In all these areas there are not only direct set-theoretical applications but also new results and methods, which are amenable to the expressive power of strong logics. 
During the Research Program the following activities will be held: 
Advanced Course on Large Cardinals and Strong Logics, from September 19 to 23, 2016. Deadline for registration: August 1st, 2016. More information on registration and grants available at Link 
Workshop 1: Set-theoretical aspects of the model theory of strong logics, from September 26 to 30, 2016. Deadline for registration: August 1st, 2016. More information on registration and grants available at Link
Young researcher’s Seminar week, from November 7 to 11, 2016. You can participate by presenting your work before October 31, 2016. More information on how to participate at Link
Workshop 2: Applications of strong logics in other areas of mathematics, from November 14 to 18, 2016. Deadline for registration: November 6, 2016. More information on registration and grants available at Link

Seminari de Sistemes dinàmics UB-UPC. Laura Garcia: Transfers from LEOs to GEOs visiting libration points of the Sun–Earth CRTBP.
Dimecres 30 de març de 2016 a les 16h, Aula S01, FME, UPC
Més informació a http://www.maia.ub.es/ssd.shtml

We would like to remind you about the forthcoming events organized within the CRM Intensive Research Program on Advances in Nonsmooth Dynamics (February to April 2016).

Climate Modeling Workshop, from March 30 to April 1, 2016Deadline for registration: March 5

Currently accepting applications for short communications.
More information at: http://www.crm.cat/en/Activities/Curs_2015-2016/Pages/Climate-Modeling.aspx 

Advanced Course on Piecewise Smooth Dynamical Systems, from April 11 to 15, 2016 Deadline for registration: March 28

Grants available for young researchers.

More information at: http://www.crm.cat/en/Activities/Curs_2015-2016/Pages/ACPSD.aspx 

Please, feel free to distribute this information among your colleagues. We hope you find this information useful and look forward to hosting you at the CRM. 

Alessandro Colombo (Politecnico di Milano), Mike Jeffrey (University of Bristol), J. Tomás Lázaro (Universitat Politècnica de Catalunya), and Josep M. Olm (Universitat Politècnica de Catalunya) 

Begin forwarded message:

From: Suport a la Direcció deganat.fme@upc.edu
Subject: Jornada Turing FME 30/03/2016

Benvolguts i benvolgudes

Ens complau enviar-vos informació sobre la Jornada Turing, que tindrà lloc el proper 30 de març de 2016 a la sala d'actes de la Facultat, enguany sessió doble: El matí serà el torn dels ponents convidats encarregats de glossar i aprofundir en la figura d’Alan Turing, i a la tarda, coincidint amb el cicle de cinema científic i de ciència ficció de l’FME, es projectarà la pel·lícula “The imitation game”, estrenada l’any 2014 sobre la vida del criptògraf britànic

Programa de la Jornada:

9:30 h

Benvinguda i presentació

(+)100 años con Turing.Juan José Moreno Navarro http://noticias.universia.es/en-portada/noticia/2012/06/26/945942/juan-jose-moreno-navarro-no-somos-siempre-conscientes-aporto-turing-pesar-logros-nos-afectan-mas-vida-diaria-cotidiana.html, catedràtic en la Escuela Técnica Superior de Ingenieros Informáticos de la Universidad Politécnica de Madrid (UPM). Va ser el comissari de l’Año Turing / Año internacional de la Informática en España l’any 2012. 

10.45 h

Pausa cafè

11.15 h

Turing al Servicio de sus Majestades: Su Rey y Sus Matemáticas. David Frutos Escrighttp://www.mat.ucm.es/imi/People/deFrutos_Escrig_David_b.htm, catedràtic de Lenguajes y Sistemas Informáticos en la Universidad Complutense de Madrid (UCM). 

Lliurament premis als guanyadors del Concurs Turinghttp://bibliotecnica.upc.edu/novetats/concurs-turing,activitat conjunta de l’assignatura Història de la Matemàtica i la Biblioteca FME. 

From Unplugged to Physically Realizable Machines, and Back. Albert Atserias https://www.cs.upc.edu/~atserias/, professor titular del Departament de Ciències de la Computació de la Universitat Politècnica de Catalunya (UPC). 
A les 17 h, Projecció de la pel·lícula “The imitation gamehttp://www.filmaffinity.com/es/film617730.html”(2014), inspirada en el llibre d’Andrew Hodges ‘Alan Turing: The Enigmahttp://www.goodreads.com/book/show/150731.Alan_Turing’i protagonitzada per Benedict Cumberbatch. 

Trobareu tota la informació a:

https://www.fme.upc.edu/ca/la-facultat/activitats/2015-2016/Jornada_Turing_FME 

https://goo.gl/2Y5saEhttps://goo.gl/2Y5saE

Esperant que la proposta us resulti d’interès i que ens puguem trobar a la jornada, rebeu una cordial salutació

Abstract

We first introduce the basic concepts of the brand new conic finance theory. Conic finance delivers a consistent two-price theory fundamentally modelling the acceptability of risks. Conic‎ pricing (or bid and ask pricing) of credit risk shows how counterparty credit risk when conservatively valued at the bid price results in larger CVA than would occur under risk neutral pricing. On the other hand when it comes to the debt valuation adjustment, since it is a liability, it must be priced at the ask. This mitigates and can even eliminate the DVA.‎ ‎

Més informació a http://www.crm.cat/en/Research/Networks/QuantitativeFinance/Pages/Seminar.aspx 

By: Giulia Traverso (TU Darmstadt, Germany)

Title: Dynamic and Verifiable Hierarchical Secret Sharing

Abstract

In this work we provide a framework for dynamic secret sharing and present the first dynamic and verifiable hierarchical secret sharing scheme based on Birkhoff interpolation. Since the scheme is dynamic it allows, without reconstructing the message distributed, to add and remove shareholders, to renew shares, and to modify the conditions for accessing the message. Furthermore, each shareholder can verify its share received during these algorithms protecting itself against malicious dealers and shareholders. While these algorithms were already available for classical Lagrange interpolation based secret sharing, corresponding techniques for Birkhoff interpolation based schemes were missing. Note that Birkhoff interpolation is currently the only technique available that allows to construct hierarchical secret sharing schemes that are efficient and allow to provide shares of equal size for all shareholder in the hierarchy. Thus, our scheme is an important contribution to hierarchical secret sharing and to other techniques using this primitive, such as social secret sharing based cloud storage.

hursday, March 17, 2016, 13:15-14:15 (15 minutes delayed with respect to the usual schedule) Room S215 Omega Building, Campus Nord UPC (equiv.: Room 215 Floor -2)

Title: Covering points with rotating polygons
Speaker: Carlos Seara (Universitat Politècnica de Catalunya)

Abstract

 We study the problem of rotating a simple polygon to contain the maximum number of elements from a given point set. We consider variations of this problem where the rotation center is a given point or lies on a line segment, a line, or a polygonal chain. This is a joint work with Carlos Alegría, David Orden, Leonidas Palios, and Jorge Urrutia.

Activities are regularly announced at
http://www-ma2.upc.edu/dccg/upc-seminar-on-computational-geometry/http://www-ma2.upc.edu/dccg/upc-seminar-on-computational-geometry/

Abstract

We present a unified framework to deal with threshold functions for the existence of solutions to systems of linear equations in random sets. This covers the study of several fundamental combinatorial families such as k-arithmetic progressions, k-sum-free sets, B_h(g)- sequences and Hilbert cubes of dimension k.

We show that there exists a threshold function for the property "A^m contains a non-trivial solution of Mx=0" where A is a random set. This threshold function depends on a parameter maximized over all subsystems, a notion previously introduced by Rödl and Rucinski. The talk will contain a formal definition of trivial solutions for any combinatorial structure, extending a previous definition by Ruzsa.

Joint work with Juanjo Rué Perna and Ana Zumalacárregui.

CRM Colloquium to be held next Thursady, March 17, 2016.
Place: Auditorium at the Centre de Recerca Matemàtica
Time: 12 pm
Title: Could the subprime crisis have been foreseen?
Talk delivered by Dr. Jordi Molins.

You can find the information on the abstract and talk here
http://www.crm.cat/en/Activities/Curs_2015-2016/Documents/Poster%20CRM%20Colloquium.pdf

Seminari de Sistemes Dinàmics UB-UPC: David Chillingworth. Geometry of grazing and chatter for a simple impact oscillator

Dimecres 16 de març de 2016 a les 16h, Aula T2, Facultat de Matemàtiques, UB
Més informació a http://www.maia.ub.es/ssd.shtml