Blog de la Biblioteca de Matemàtiques i Informàtica

Category Archives: Facultat de Matemàtiques i Informàtica


by Deixa un comentari

SIMBa: On Zero-Knowledge Proofs

simba1

El proper dimecres, 15 de desembre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Marta Bellés Muñoz
Universitat: Universitat Pompeu Fabra

Data: Wednesday, December 15th, 2021.
Hora: 12:00, coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website)
Idioma: English.

Títol: On Zero-Knowledge Proofs
Resum: Informally speaking, zero-knowledge protocols are cryptographic tools that allow you to prove that you know a secret without revealing it. More precisely, a zero-knowledge proof allows one party to convince another that a statement is true without revealing anything other than the veracity of the statement. This type of proofs were introduced in 1989 as theoretical cryptographic objects, but the appealing properties of the protocols have made them become crucial tools in many real-world applications with strong privacy issues. In this presentation I will explain the main ideas behind zero-knowledge, I will talk about the type of statements that we know can be proved with zero knowledge, and present some of the most outstanding applications of this technology.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


by Deixa un comentari

SIMBa: Invariant manifolds and transport in an Earth-Moon system perturbed by Sun’s gravity field

simba1

El proper dimecres, 1 de desembre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Begoña Nicolás
Universitat: Universitat de Barcelona

Data: Wednesday, December 1st, 2021.
Hora: 12:00, coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website)
Idioma: English.

Títol: Invariant manifolds and transport in an Earth-Moon system perturbed
by Sun’s gravity field
Resum: The mathematical model we use to study the Sun-Earth-Moon system is the Bicircular Problem (BCP), that can be thought as a time-periodic perturbation of the autonomous system described by the Restricted Three-Body Problem (RTBP). Our main concern on the BCP is regarded to a family of two-dimensional quasi-periodic solutions that have stable and unstable invariant manifolds associated. These manifolds give the skeleton for different dynamical transport phenomena that take place in our system.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


by Deixa un comentari

SIMBa: Computation, Complexity, P-NP (and the fistful of sand that learned how to think)

SIBMa

El proper dimecres, 17 de novembre, se celebrarà una nova xerrada —en format virtual i, alerta, presencial!— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Javier Villar
Universitat: Universidad de La Rioja

Data: Wednesday, November 17th, 2021.
Hora: 12:00, coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website)
Idioma: English.

Títol: Computation, Complexity, P-NP (and the fistful of sand that learned
how to think)
Resum: Worst-time complexity, Blum’s complexity measures, and the complexity classes derived from them, are some of the most basic tools of modern Computer Science. The theory developed from the problem of classifying computational problems is a rich and popular piece of Math, with many applications to fields like Cryptography or Statistical Physics.
In this presentation we try to give a minimum-prerequisite insight into the current understanding of computability, machine-independent complexity, the P-NP problem and the reasons behind why we haven’t been able to solve it (yet).

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


by Deixa un comentari

SIMBa: Topological models of ∞-groupoids

SIBMa

El proper dimecres, 3 de novembre, se celebrarà una nova xerrada —en format virtual i, alerta, presencial!— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: David Martínez Carpena
Universitat: Universitat de Barcelona

Data: Wednesday, November 3rd, 2021.
Hora: 12:00, coffee break; 12:20, talk.
Lloc: Zoom | Presencial: Aula B2
Idioma: English.

Títol: Topological models of ∞-groupoids
Resum: In higher category theory, ∞-groupoids are ∞-categories whose morphisms are weakly invertible at all orders. Every topological space has an associated ∞-groupoid, named its fundamental ∞-groupoid, which encodes the information of higher paths over the space. The statement that every space can be recovered up to homotopy from its fundamental ∞-groupoid is known as Grothendieck’s homotopy hypothesis. In this presentation, we choose a model of ∞-categories based on topologically enriched categories, and discuss the homotopy hypothesis in this context.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


by 2 comentaris

Griselda Pascual: entre les matemàtiques i la didàctica

Avui inaugurem l’exposició «Griselda Pascual: entre les matemàtiques i la didàctica», que es podrà visitar en el seu vessant físic fins al 15 de desembre al CRAI Biblioteca de Matemàtiques i Informàtica. La versió en línia, que s’inaugurarà el mateix dia, quedarà integrada i disponible a la pàgina Exposicions virtuals del CRAI.

Tota una vida dedicada a la docència

Griselda Pascual (Barcelona, 1926-2001) va ser alumna, professora i directora a l’Institut Maragall de Barcelona i alumna i docent a la Universitat de Barcelona, on va iniciar la seva carrera l’any 1946, quan encara no existia una Facultat de Matemàtiques tal com la coneixem avui. Va ser una de les primeres docents de la Facultat de Ciències, juntament amb Assumpció Català. Amb el doble vessant de mestra i matemàtica, va treballar en el camp de la didàctica de les matemàtiques. Al llarg de la seva carrera professional va participar i impulsar diverses accions per millorar l’ensenyament de la matemàtica i modernitzar-lo. La seva principal línia de recerca és la teoria algèbrica de nombres. Pascual es va jubilar de docent a la Universitat de Barcelona el maig de 1991.

És autora de diverses traduccions; la darrera, la traducció al català de l’obra de Carl Friedrich Gauss Disquisitiones arithmeticae, publicada en llatí l’any 1801.

Dona pionera i avançada al seu temps. Treball, rigor, encoratjament i gentilesa. Mestra de mestres.

Per la seva condició pionera de dona matemàtica, la Griselda Pascual obrà moltes vegades sense models. […] les dones matemàtiques que la succeírem ho vàrem tenir una mica més fàcil perquè en ella trobàrem una professora i una amiga amb qui compartir les nostres angoixes i les nostres alegries.

Pilar Bayer. Semblança de la professora Griselda Pascual Xufré

El fons Griselda Pascual

L’any 2018 vam rebre per donació el fons d’arxiu de la Dra. Griselda Pascual. Consisteix en un llegat homogeni que inclou principalment material i apunts sobre docència a l’institut d’ensenyament de secundària IES Maragall i a la Universitat de Barcelona; sobre la reforma de la didàctica de les matemàtiques a Catalunya i a l’Estat espanyol durant la segona meitat del s. XX; i versions i esborranys de la seva tesi doctoral. El fons consta de 229 unitats documentals distribuïdes en 16 unitats d’instal·lació dipositades al CRAI Biblioteca de Matemàtiques i Informàtica per a la seva consulta.

L’exposició

L’exposició física, repartida entre la vitrina del vestíbul i les taules del passadís, conté una mostra significativa tant del fons personal com de les publicacions i traduccions de Pascual. S’hi apleguen documents diversos provinents de les diferents etapes de la seva vida, des de l’època en què estudiava i fins als darrers projectes. Hi trobareu correspondència, informes, esborranys, apunts manuscrits, dibuixos… Tot aquest fons està inventariat i és consultable a través d’UBDOC.

Quant a l’exposició virtual, eminentment visual, repassa extensament la biografia de Griselda Pascual, des de la infantesa fins a la jubilació i el traspàs, fent èmfasi en la seva etapa a l’Institut Maragall i a la Universitat de Barcelona. La Dra. Pilar Bayer, alumna, col·lega i amiga de Pascual, obre la mostra amb un text personal que situa l’homenatjada: «Semblança de la professora Griselda Pascual Xufré». Per la seva banda, Javier Gimeno Pascual, nebot de Griselda, ofereix una visió familiar a «Griselda: família i vocació».

La mostra inclou una extensa galeria fotogràfica, organitzada en diferents etapes o blocs temàtics, amb instantànies facilitades per la família Gimeno Pascual. Aprofitem des d’aquí per reiterar la nostra gratitud, especialment a Javier Gimeno, per la seva predisposició a l’hora de cedir-nos tot aquest material gràfic.

Més informació


by Deixa un comentari

SIMBa: Supercritical diffusion: memes, stonks and more

SIBMa

El proper dimecres, 20 d’octubre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Damià Torres Latorre
Universitat: Universitat de Barcelona

Data: Wednesday, October 20th, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: Supercritical diffusion: memes, stonks and more
Resum: In this talk, I will explain the foundations of the theory of elliptic nonlocal PDE, focusing on the fractional Laplacian, (-\Delta)^{s} a model example, and then some recent results on the supercritical fractional obstacle problem.

The first part will start with the relation of fractional operators to jump-diffusion (Lévy) processes and some physical applications. Then, I will give an overview of the basic properties of solutions and compare them to harmonic functions, and also comment on the Caffarelli-Silvestre extension.

In the second part, I will give an idea of how stock prices can be modelled with a nonlocal parabolic obstacle problem, compare the scaling properties of the problem depending on the value of sand present the main points of a recent work with X. Ros-Oton where we study the regularity of the solutions in the supercritical case.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


by Deixa un comentari

SIMBa: On the possible ranks of universal quadratic forms over totally realnumber fields

SIBMa

El proper dimecres, 6 d’octubre, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Daniel Gil Muñoz
Universitat: Charles University in Prague

Data: Wednesday, October 6th, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: On the possible ranks of universal quadratic forms over totally realnumber fields
Resum: A quadratic form Q\left(X_{1}, \ldots, X_{n}\right) over the integer numbers is said to be universal if it represents all positive integers, that is, for every a \in \mathbb{Z}_{>0} there is a vector \left(\alpha_{1}, \ldots, \alpha_{n}\right) \in \mathbb{Z}^{n} such that Q\left(\alpha_{1}, \ldots, \alpha_{n}\right)=a. The topic of universal quadratic forms is quite classical in arithmetic; for instance, Langrange’s 1770 four square theorem asserts that the sum of four squares is a universal quadratic form over \mathbb{Z}. In this talk we consider the suitable generalization of universality for quadratic forms over the number ring \mathcal{O}_{K} of a totally real number field K and view some recent results on the possible ranks (number of variables X_{i} ) of universal quadratic forms over different families of totally real number fields.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.


by Deixa un comentari

Lliurament de diplomes i premis als titulats de la promoció 2019-20

Paranimf de l’Edifici Històric | © Universitat de Barcelona

Dilluns 21 de juny, a les 17:30, se celebrarà al Paranimf l’acte de lliurament de diplomes als titulats del grau en Enginyeria Informàtica, el grau en Matemàtiques, el doble grau en Matemàtiques-Enginyeria Informàtica, el doble grau en Matemàtiques-ADE, el doble grau en Matemàtiques-Física, el màster en Matemàtica Avançada, el màster en Fonaments de la Ciència de Dades  i el doble màster en Matemàtiques i Fonament de Ciència de Dades del curs 2019-2020.

L’acte, presidit pel Dr. Joan Guàrdia, rector de la UB, comptarà amb les intervencions del Dr. Oriol Pujol, degà entrant de la Facultat i del Dr. Carles Casacuberta, degà sortint. També hi intervindran, en representació dels alumnes, Anna Jové, Enric Florit, Ignasi Guillén i Aina Ferrà.

Finalment es farà lliurament del premi August Palanques al millor expedient de Matemàtiques, el premi Joaquim Font al millor expedient d’Enginyeria Informàtica i el premi a la comunicació i a la qualitat lingüística dels treballs finals dels graus.

Podreu seguir en directe la retransmissió de l’acte a través d’UBtv.


by Deixa un comentari

La Facultat de Matemàtiques i Informàtica organitza la hackató «App4InfoRefugees»

La Facultat de Matemàtiques i Informàtica i la Fundació Solidaritat UB, amb el suport de l’Ajuntament de Barcelona, organitzen la hackató #app4InfoRefugees, que se celebrarà entre el 25 i el 28 de juny, en el marc del Dia Mundial del Refugiat, promogut per l’ONU.

L’objectiu de la hackató és desenvolupar una aplicació mòbil que permeti als refugiats accedir fàcilment a tota la informació relativa al dret d’asil un cop arribin a l’Estat espanyol. Així mateix es vol facilitar que educadors i treballadors socials, personal d’ONG i altres col·lectius dedicats a l’acollida, puguin identificar, amb el màxim d’informació possible, quines causes permeten sol·licitar asil i quines entitats poden assessorar als sol·licitants al moment de tramitar-lo.

Desenvolupament

La hackató se celebrarà semipresencialment. Començarà divendres 25 i acabarà dilluns 28 de juny.

  • 25 de juny. L’activitat començarà a les 10:00 amb una presentació a la Facultat de Matemàtiques i Informàtica, que també es podrà seguir en línia. S’hi presentaran els experts —tècnics i de contingut— i els canals de comunicació establerts mentre duri la hackató.
  • 26-27 de juny. Els diversos equips desenvolupen la seva proposta.
  • 28 de juny. A les 17:00 es presenten les propostes i a les 18:00 es lliuren els premis

Inscripció

Les inscripcions es poden formalitzar fins al 22 de juny, omplint el formulari.

Els equips seran de fins a quatre membres. En cas de no formar part de cap equip i voler-hi participar, l’organització us n’assignarà un.

Premi

El premi per a l’equip guanyador és un xec d’Amazon de 500€.

Contacte

Si teniu qualsevol dubte poseu-vos en contacte amb:

  • Eloi Puertas – epuertas@ub.edu
  • Albert Catalán – ac.tatjer@gmail.com

Més informació


by Deixa un comentari

SIMBa: An introduction to theorem provers

SIBMa

El proper dimecres, 2 de juny, se celebrarà una nova xerrada —en format virtual— del Seminari Informal de Matemàtiques de Barcelona (SIMBa).

Speaker: Eloi Torrents
Universitat: Universitat Autònoma de Barcelona

Data: Wednesday, June 2nd, 2021.
Hora: 12:00,virtual coffee break; 12:20, talk.
Lloc: Zoom (the link will be posted on our website).
Idioma: English.

Títol: An introduction to theorem provers
Resum: In this talk, we will introduce proof assistants, pieces of softwarethat formally verify mathematical proofs.Lean has a very extensivedatabase with mathematical results at the undergraduate level for-mally verified, and it is even used to verify new research. This hasseveral applications, including teaching, automatically verifying publi-cations, and even automated theorem proving. At the end of this talk,we will carry out a demo of Lean to show the basics and how you canget started.

 

Si voleu estar al cas de les xerrades previstes, podeu consultar el calendari. Si voleu proposar una xerrada, ompliu el formulari. Si voleu contactar amb els responsables podeu escriure un missatge a seminari(dot)simba(at)ub(dot)edu.