Agenda

(Español) ECOS DE LA FIGURA Y DE LA OBRA DE TURING EN ARGENTINA

Sorry, this entry is only available in European Spanish.

Randomness and Analysis of Algorithms

October 17 – 18, 2017

Ex-Infoteca, Pabellón 1. Ciudad Universitaria (map)

Departamento de Computación, Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires.

10:00 am-17 pm

This meeting is about problems at the interface of mathematics and computer science, where the notion of randomness plays a central role. Randomness is a primitive notion in probability theory, and the goal is to deal with two different perspectives on randomness, which share the same objects of study, namely automata, sequences, words and numbers.

It is organised by the project Alea En Amsud (STIC AMSUD 2016-2017) and the following teams of INFINIS Lab

This meeting will precede  the INFINIS WORKSHOP that will be held on October 19 also in the Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA.

Confirmed participants

Verónica Becher, Dpto. de Computación, Fac. Cs. Exactas y Naturales, UBA, Arg.

Valérie Berthé, CNRS, IRIF, Université Paris Diderot, France.

Olivier Carton, IRIF, Université Paris Diderot, France.

Antonio Cafure, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Eda Cesaratto, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Pablo Ferrari, FCEN, UBA.

Loïck Lhote, GREYC, Université de Caen Basse-Normandie, France.

Frédéric Paccaut, LAMFA, Université de Picardie Jules Verne, Amiens, France.

Brigitte Vallée, CNRS, GREYC, Université de Caen Basse-Normandie, France.

WORKSHOP INFINIS 2017

  THURSDAY, OCTOBER 19, 2017
9:30 a.m – 17:30 P.M.
Departamento de Computación,
Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires
Room 3, Pabellón 1, Ciudad Universitaria (map)

 

 

INFINIS is an International Associated Lab. The institutions involved are CNRS-Université Paris Diderot and CONICET-Universidad de Buenos Aires. Its subjects of interest are formal methods in Computer Science. It was created in 2011.

During this workshop each team of INFINIS will present their main subjects of research and their perspectives. The talks are addressed to students and researchers interested in Computer Science.

Registration is not required. Everybody is welcome.

 

Program

9:30 a 9:45

Sergio Yovine (FCEN, UBA), Opening

9:45-10:45 Team: Graph Theory and Combinatorial Optimization

Flavia Bonomo (FCEN, UBA), Introduction

  • 9:50-10:15 Nina Pardal (FCEN, UBA), Una caracterización estructural para completaciones en grafos de intervalos
  • 10:15-10:45 María Pía Mazzoleni (UNLP), Sobre los grafos que son intersección de caminos en una grilla

10:45-11:00 Coffee break

11:00-12:00

Team: Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems

12:00-13:30 Lunch

13:30-14:30 Team: Computational Logic

Santiago Figueira (FCEN, UBA), Introduction

  • Santiago Figueira, Sergio Abriola (FCEN, UBA) and María Emilia Descotte (FCEN, UBA), Model and proof theory of data XPath

14:30-15:30 Team: Logics and Dynamics of Programming Languages

Alejandro Díaz-Caro (UNQ, Arg.), Introduction

  • 14:40-15:05 Pablo Barenbaum (FCEN, UBA), Foundations of Strong Call by Need
  • 15:05-15:30 Carlos Lombardi (UNQ, Arg.), A proof-term characterisation of infinitary rewriting

15:30-16 Coffee break

16-17:30 Team: Randomness and analysis of algorithms

Verónica Becher (FCEN, UBA), Introduction

  • 16:10-16:35 Brigitte Vallée (U. de Caen, France), Dichotomic Search and Basis Changing
  • 16:35-17:00 Olivier Carton (IRIF, Paris 7, France), Title: to be determined
  • 17:00-17:25 Loïck Lhote (U. de Caen, France), Analyses of multiple GCD algorithms

 

Confirmed  participants

Valérie Berthé, CNRS, IRIF, Université Paris Diderot, France.

Eda Cesaratto, IDH, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Luciano Grippo, ICI, Univ. Nac. de Gral. Sarmiento. Buenos Aires, Arg.

Frédéric Paccaut, LAMFA, Université de Picardie Jules Verne, Amiens, France.

Martín Safe, Univ. Nac. del Sur. Arg.

Alfredo Viola, Univ. de la República, Uruguay.

 

(Español) Tercera Escuela de Matemáticas (EMASUNGS III) – Sabrina Victoria Vieiro

Sorry, this entry is only available in European Spanish.

XXI Coloquio Latinoamericano de Álgebra

The XXI Coloquio Latinoamericano de Álgebra took place at the Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina during July 25-29, 2016. This time the colloquium included a thematic session on finite fields.

Workshop S07
Finite Fields

July 28 and 29, 2016

Chair

Fernando Torres, UniCamp, Brasil

Collaborators

Antonio Cafure, UNGS, Argentina & Daniel Panario, Carleton University, Canadá

Speakers

Cícero Carvalho
(Universidade Federal de Uberlândia, Brasil) Slides

María Chara (IMAL, Santa Fe, Argentina) Slides

Matilde Lalín (University of Montreal, Canada) Slides

Guillermo Matera (Universidad Nac. de Gral. Sarmiento, Argentina) Slides

Lucía Moura (University of Toronto, Canada) Slides

Horacio Navarro (IMAL, Santa Fe, Argentina), Slides

Wilson Olaya (Universidad Industrial de Santander, Colombia) Slides

Daniel Panario, (Carleton University, Canadá) Slides

Melina Privitelli (Universidad Nac. de Gral. Sarmiento, Argentina) Slides

Ricardo A. Podestá (Universidad Nacional de Córdoba, Argentina) Slides

Adriana Salerno (Bates College, USA) Slides

Leo Storme (University of Ghent, Bélgica) Slides

Fernando Torres, (UniCamp, Brasil)

Guilherme Tizziotti (Universidade Federal de Uberlândia, Brasil) Slides

Posters

Antonio Andrade (Universidade Estadual Paulista, Brasil) Poster

Leandro Bezerra de Lima (UniCamp, Brasil) Poster

Carina Alves, (UNESP,Brasil) Poster

V. G. Lopez Neumann, (Universidade Federal de Uberlândia, Brasil) Poster

Here you can find the timetable and the abstracts of talks and posters