Archive
Below is the complete list of news, visits, and events related to the SINFIN (and formerly INFINIS) project.
2026
- Aug 06 Verónica Becher visits Université de Strasbourg, September 6 to 13, 2026
- Aug 06 Simón Lew Deveali visits Université Gustave Eiffel, September 1-30, 2026
- Aug 06 Santiago Figueira visits LaBRI, July 2026
- Aug 06 Raúl Fervari visits LIP6, Sorbonne Université, October 1 to 24, 2026
- Aug 06 Eda Cesaratto visits IRIF, September 17 to October 22, 2026
- Jun 02 Luciano Barletta starts his PhD at Université de Lorraine, May 2026
- Jun 02 Juan Bautista Figueredo starts his internship at Université de Lorraine, March 2026
- Mar 15 Olivier Carton visits Buenos Aires February-March 2026
- Mar 15 Malena Ivnisky visits Nancy, March 2026
- Mar 15 Lucía Busolini visits Nancy, July 2026
- Mar 15 Jacques Sakarovich visits Buenos Aires, April 2026
- Feb 21 Delia Kesner visits Buenos Aires in February 2026
- Feb 20 Alejandro Díaz-Caro visits Buenos Aires – March 2026
2025
- Sep 29 Frédéric Paccaut and Loïck Lhote visit Buenos Aires, October 2025.
- Sep 29 Eda Cesaratto visits France, October 2025
- Sep 29 Closing days of the STIC AmSud EPAA, October 2025
- Sep 16 Santiago Cifuentes visits LaBRI – September/October 2025
- Sep 16 Santiago Cifuentes visits IRIF – October 2025
- Sep 16 DL(R) 2025 Workshop – September 2025
- Sep 16 Cristian Sottile visits LORIA, June 2025
- Sep 16 Cristian Sottile visits IRIF, June 2025
- Sep 16 Cristian Sottile gives talk at LIX, June 2025
- Sep 15 Delia Kesner’s Festschrift – September 2025
- Sep 15 1st QCOMICAL School – November 2025
- Jul 20 Verónica Becher participated of the International Conference on “Prime numbers and arithmetic randomness”.
- Jul 20 Mélodie Andrieu visits Buenos Aires, July 2025
- Jul 18 Santiago Figueira visits LaBRI, July 2025
- Jul 18 Raul Fervari is visiting LMF, September-December 2025
- Jul 18 Malena Ivnisky visits Nancy, June-July, 2025
- Jul 18 Alejandro Díaz-Caro visits Buenos Aires, July-August 2025
- Apr 30 Carlos Miguel Soto to defend his licenciatura thesis at UBA – May 6, 2025
- Apr 27 Edwin Pin defends his PhD thesis. May 6, 2025
- Mar 17 Mariana Milicich visits Buenos Aires, April-May 2025
- Mar 16 Verónica Becher visits Paris, April 2025
- Mar 16 Pablo Rotondo visits Buenos Aires, July-August, 2025
- Mar 16 Delia Kesner visits Buenos Aires, March-April 2025
- Feb 01 Rafael Romero visits Nancy, February-July, 2025
- Jan 20 Verónica Becher visits IRIF, April 2025
- Jan 20 Verónica Becher, jury in Renan Laureti’s thesis at Université de Lorraine, March 2025
- Jan 20 Pablo Rotondo gives a course at ECI 2025
- Jan 16 Flavia Bonomo presents and invited tutorial at COW 2025
2024
- Dec 19 Olivier Carton visits Buenos Aires, February-March 2025
- Nov 15 Pablo Barenbaum visits Paris, November/December 2024
- Oct 17 Workshop EPA! dedicated to Joos Heintz. October 23 and 24, Buenos Aires
- Oct 17 Pablo Rotondo visits Buenos Aires, October 2024.
- Oct 15 STIC-AMSUD “Dynamic Logics Reloaded” Workshop at Córdoba, September/October 2024
- Oct 15 Raúl Fervari visits Paris, October 2024
- Oct 15 Lutz Strassburger visits Córdoba, September 2024
- Oct 15 Ignacio Mollo Cunningham visits Paris, October 2024
- Oct 15 Amalia Sorondo starts her PhD at IRIF, October 2024
- Oct 15 Alejandro Díaz-Caro starts an ARP at Inria-Nancy, October 2023
- Aug 21 Eda Cesaratto visits Paris, September 2024
- Aug 19 Mariana Milicich visits Buenos Aires – July/September, 2024
- Aug 19 Giulio Guerrieri visits Buenos Aires – July/September, 2024
- Jul 21 STIC-AMSUD Project Kickoff Meeting
- Jul 21 Raúl Fervari Awarded Jean D’Alembert Fellowship 2024-2026
- Jul 21 Jacques Sakarovitch Invited as Guest Professor – July/August, 2024
- Jul 21 Course on Lambda-Calculus at ECI
- Jul 21 Course on Finite Transducers at ECI
- Jun 16 Eric Brandwein visits Montpellier, June 2024
- Jun 10 Eda Cesaratto visits Paris and Amiens, June 2024
- May 28 QCOMICAL, a Marie Skłodowska-Curie Action – Staff Exchanges
- May 21 May 29-30, 2024: Kick of meeting of the STIC AMSUD EPAA project
- May 15 Santiago Figueira visits Bordeaux, May 2024
- Mar 15 Mini workshop SINFIN 2024
- Mar 15 Flavia Bonomo and Safia Kedad-Sidhoum Appointed as Editor-in-Chief of RAIRO
- Mar 15 Alejandro Díaz-Caro visits Paris-Saclay, May/June 2024
- Feb 04 Delia Kesner visits Buenos Aires, March 2024
- Jan 20 Olivier Carton visits Buenos Aires, February/March 2024
2023
- Dec 15 Sylvain Perifel defends his HDR, with Santiago Figueira as “rapporteur”. December 2023
- Nov 15 Pablo Barenbaum visits Paris, November/December 2023
- Nov 06 Alejandro Díaz-Caro and Pablo Arrighi present a “Café de las Ciencias”
- Oct 16 Verónica Becher gives a talk at Université Paris-Cité, October 2023
- Oct 16 Verónica Becher and Olivier Carton gave a talk at Université Sorbonne Paris-Nord. October, 2023
- Sep 19 Verónica Becher visits Paris, October/November 2023
- Sep 19 Alejandro Díaz-Caro visits Nancy, November/December 2023
- Sep 18 Valentín Cassano and Danae Dutto visit Bordeaux, September 2023
- Sep 16 Ana Gargantini visits Nancy, October 2023
- Aug 16 Raúl Fervari visits Paris-Saclay, September/October 2023
- Jun 17 Verónica Becher, invited speaker at Numeration 2023
- May 17 SINFIN 2023 general meeting – September 13
- May 11 Agustina Ledezma visits Nancy, May/June 2023
- Apr 18 Diego Figueira visits Buenos Aires, April, 2023
- Feb 20 Olivier Carton visits Argentina, February/March, 2023
- Feb 15 Santiago Figueira visits Bordeaux, March, 2023
- Feb 15 Delia Kesner visits Argentina, March 2023
- Feb 15 Alejandro Díaz-Caro visits Paris April/May and June/July, 2023
2022
- Nov 10 Romain Péchoux visits Buenos Aires, November/December 2022
- Nov 10 Pablo Barenbaum visits Paris, October/November 2022
- Nov 10 Kostia Chardonnet visits Buenos Aires, October 2022
- Nov 10 Delia Kesner visits Buenos Aires, November/December 2022
- Nov 10 Benoît Valiron visits Buenos Aires, September 2022
- Sep 14 Rafael Romero visits Paris, September 2022
- Sep 09 Eda Cesaratto visits Paris, September, 2022.
- Jul 15 Olivier Carton visits Buenos Aires, July-August, 2022
- Jun 14 Meeting on Franco-Argentinian scientific cooperation
- May 15 Mariana Millicich, new PhD student between Paris and Buenos Aires
- May 15 Forthcoming scientific missions
- Apr 21 Upcoming talks
- Apr 21 Planned scientific meetings
- Apr 21 Forthcoming scientific missions
- Apr 15 Antonio Bucciarelli visits Buenos Aires, April-May 2022
- Mar 15 Pablo Barenbaum visits IRIF (Paris) in March
- Mar 15 LDPL team organises a workshop at Paris
- Feb 16 Gabriel Goren visits LaBRI in February/March, 2022
- Jan 31 Simon Perdrix visits Buenos Aires, January 2022
- Jan 31 Agustín Borgna visits Buenos Aires, January 2022
2021
- Dec 16 Sergio Romano defends his PhD thesis at Universidad de Buenos Aires
- Dec 16 Meeting – STIC AMSUD RAPA2 Project
- Nov 10 Second STALGRAPH Workshop
- Sep 15 First post-COVID travels
- Sep 10 Best paper award at ICTAC 2021
- Jul 15 FSCD 2021 starts on Saturday
- Jun 15 Participation at TYPES and WiL 2021
- Jun 15 Participation at QPL 2021
- Mar 17 Philippe Flajolet
- Mar 15 FSCD 2021 in the ICC news
2020
- Dec 21 Virtual Meeting RAPA2
- Dec 10 A new STIC-AmSud project – 2021-2023
- Nov 15 MathAmSud STALGRAPH Workshop – 26-Nov-2020
- Jun 15 Paper accepted at KR 2020
- Jun 09 Special Issue of Discrete Applied Mathematics
- May 26 LoReL team starts its weekly seminars
- May 18 Paper accepted at Acta Arithmetica
- Apr 16 COVID-19: All travels are suspended
- Apr 16 Accepted paper at LICS’20
- Mar 30 Nina Pardal defended her PhD Thesis in cotutelle – March 2020
- Mar 15 Verónica Becher is visiting IRIF – March 2020
- Mar 15 Publication accepted at AofA2020
- Mar 15 Martín Safe is visiting the GREYC Laboratory at Caen – February – March 2020
- Jan 31 Two publications accepted at FLOPS 2020
- Jan 07 Xavier Denis visits Córdoba, April 2019
- Jan 07 Robin Pelle visits Córdoba, August-September 2019
2019
- Dec 17 Two new publications
- Dec 17 A new STIC-AmSud project 2020-2022
- Dec 05 A new STIC-AmSud project 2020-2022
- Nov 15 A new Math-AmSud project 2020-2022
- Oct 15 Delia Kesner visits UBA – November 2019
- Oct 11 French-Argentinian Seminar on didactics of computer science
- Sep 15 Simon Perdrix visits Buenos Aires, November 2019
- Sep 15 Pierre Vial visits Buenos Aires. September 2019
- Sep 15 Ivan Marquez visits Buenos Aires, October 2019
- Sep 15 Gilles Dowek visits Buenos Aires, Nov-Dec, 2019
- Aug 29 Alejandro Ríos visits IRIF, September 2019
- Aug 15 Raul Fervari visits LSV, September-October 2019
- Aug 15 Andrés Viso visits IRIF, September 2019
- Jul 15 FSCD 2021 to be held at Buenos Aires
- Jul 15 Beniamino Accattoli gives a couse at ECI founded by INRIA ( July 2019)
- Jun 18 Posgraduate course by Eda Cesaratto, Frédéric Paccaut, and Brigitte Vallée
- Jun 18 Olivier Carton will visit UBA
- Jun 18 Joint participation at program in the University of Singapore
- Jun 15 Santiago Figueira visits Bordeaux – Sep 2019
- Jun 15 Nina Pardal visits Paris, Sep 2019
- Jun 15 Nina Pardal obtained a Saint-Exupéry scholarship
- Jun 15 Mario Valencia Pabon has been invited speaker at LAGOS 2019
- Jun 15 Flavia Bonomo and Mario Valencia Pabon, at French Latin-American Conference
- Jun 15 Diego Figueira visits Buenos Aires Nov-Dec, 2019
- Jun 06 Eda Casaratto visits in France – June/July 2019
- Jun 06 Alejandro Díaz-Caro visits Paris, June 2019
- May 21 Accepted paper at Discrete Applied Mathematics
- Apr 15 Delia Kesner and Antonio Bucciarelli visit Buenos Aires – April 2019
- Mar 29 Accepted paper at LICS’19
- Feb 17 Talk on preservation of normality at the GT ALGA Annual Meeting
- Feb 17 Talk on links between normality and automata at Caalm workshop
- Feb 17 Talk on discrepancy and nested perfect necklaces at IRIF
- Feb 15 Talk on Normal numbers at AMS-ASL Special Session
- Feb 15 Accepted journal article in JCSS
- Feb 12 INFINIS became SINFIN
- Jan 15 Rodrigo Campos Catelín defended his PhD Thesis at UBA – 26/12/2018
2018
- Nov 16 Andrés Viso will be at Paris in November-December, 2018
- Nov 16 Alejandro Ríos will be at Paris in November, 2018
- Nov 15 Ignacio Mollo Cunningham will be at Paris in November, 2018
- Oct 22 Mario Valencia Pabon will be at Rosario, Bahía Blanca and Buenos Aires, December 2018
- Oct 22 Elisa Orduna presented a joint work with Olivier Carton at the GL ALGA Meeting, 2018
- Oct 21 Pablo ROTONDO defended his PhD thesis, September 2018
- Oct 18 Raúl Fervari visits Paris in September, 2018
- Oct 17 Nexciencia publish about Verónica Becher’s research
- Oct 17 Gérald Tenenbaum will be at Buenos Aires in November, 2018
- Oct 17 Elisa Orduna will be at Paris in October, 2018
- Oct 15 Malena Ivnisky will be at Paris in November, 2018
- Oct 15 Alejandro Díaz-Caro will be at Paris in December, 2018
- Sep 20 Continuity of ECOS-Sud projects
- Sep 17 Robin Pelle has been at Córdoba in August/September 2018.
- Aug 29 Julien Clément and Loïck Lhote will be at Buenos Aires in October/November, 2018
- Jul 18 Delia Kesner visits Buenos Aires – September 2018
- Jul 16 Elisa Orduna defends her licenciatura thesis at UBA – July 19, 2018
- Jul 16 Course “Probabilistic Análisis of Algorithms” at UBA by J. Clement, L. Lothe, and E. Casaratto
- Jun 17 Eda Cesarato visits Caen and Bordeaux – June 2018
- May 15 Hernán Melgratti visits IRIF – May 2018
- May 15 Gervasio Perez obtained his PhD
- May 01 Delia Kesner will be a senior member of the IUF
- Apr 16 Latin 2018 @ Buenos Aires – April 16-19
- Apr 02 Brigitte Vallée visits Buenos Aires. April 10-20, 2018
- Mar 27 Logic and Foundations of Programming Languages Day @ Buenos Aires
- Mar 16 Guido Chari obtained his PhD
- Mar 08 Benoît Valiron visits UBA, May 14-25, 2018
- Feb 15 Alejandro Díaz-Caro visits LSV and LRI, March 26 – April 7, 2018
- Jan 26 INFINIS in the Newsletter of CNRS RIO
- Jan 04 Happy New Year!
2017
- Dec 26 Nina Pardal visits LIPN, November 27-December 22, 2017
- Dec 17 Verónica Becher will talk at “Computability Theory”, 7-13 January 2018.
- Dec 17 Verónica Becher visits IRIF, January 13-25, 2018.
- Dec 17 Three ECOS-Sud projects by members of INFINIS were approved for 2018-2020.
- Dec 17 Olivier Carton’s course at DC-FCEN-UBA, October-December 2017.
- Dec 17 Alejandro Díaz-Caro will talk at TPNC, December 18-20, 2017
- Nov 16 Nicolás Alvarez's PhD Thesis defense on December 18th, 2017.
- Nov 16 Ariel Zylber's Licenciatura Thesis defense on November 21st, 2017
- Oct 16 "Model Checker Execution Reports" at ASE 2017
- Sep 27 Talks from LAGOS 2017
- Sep 18 Valérie Barthé, Loïck Lhote and Frédéric Paccaut visits Universidad de Buenos Aires – October 2017
- Sep 18 Randomness and Analysis of Algorithms, organised by two Infinis teams – 17-18/10/2017
- Sep 18 Antonio Cafure will give a talk at Séminaire Algorithmique, GREYC Lab., Université de Caen – September 19, 2017
- Sep 15 News of the team Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems
- Sep 15 Delia Kesner visits Universidad de Buenos Aires – September 2017
- Sep 15 Andrés Viso visits IRIF – November 2017
- Sep 15 Alejandro Díaz-Caro visits LSV at ENS Paris-Saclay in December 2017
- Aug 21 Antonio Cafure will be at LAGOS 2017 – 11-15 September 2017
- Aug 17 Santiago Figueira visits Labri at Bordeaux – July 2017
- Aug 17 Raúl Fervari visits LSV, Cachan – July 2017
- Jul 31 LATIN 2018, organised by INFINIS members at Buenos Aires
- Jul 31 LAGOS 2017, with three INFINIS members on the organising committee. September 2017.
- Jul 26 Recent publications of the team "Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems"
- Jul 26 Juan Pablo Galeotti is now Investigador Adjunto at CONICET.
- Jul 26 Diego Garbervetsky is member of the program committee of FM2018
- Jul 26 Antonio Cafure and Martín Safe gave invited talks at MCA in Canada. 24-28/Jul/17
- Jul 18 Olivier Carton will be at the University of Buenos Aires – Sep/2017 to Aug/2018
- Jul 15 Workshop INFINIS – 19/Oct/2017 *NEW: PROGRAM PUBLISHED*
- Jul 15 Verónica Becher visited IRMA – June 2017
- Jul 15 Verónica Becher is invited speaker at Fourteenth International Conference on Computability and Complexity in Analysis in Korea -24-27/Jul/17
- Jul 15 Verónica Becher gives a highlight talk at joint session of LC and CSL – 20/Aug/17
- Jul 15 Verónca Becher gave a talk at the Number theory seminar in Nancy-Metz – 1/Jun/17
- Jul 15 Simon Perdrix visits LoReL – July 2017
- Jul 15 Gilles Dowek visits LoReL – June 2017
- Jul 15 Alejandro Díaz-Caro will give a course at ECI – 24-28/Jul/17
- Jun 27 Workshop on Quantum Logic, Computation, and Information – 13/July/2017
- May 09 Delia Kesner visits UBA – May 2017
2016
- Dec 07 Award Ceremony for Raíces Prize to Delia Kesner — 6/Dec/2016
- Nov 26 RAICES award given to Delia Kesner — 26/Nov/2016
- Nov 04 Workshop organized by the STIC-AmSud project "FoQCoSS" — 5,6 December 2016 — Updated schedule
- Oct 05 Verónica Becher (UBA, CONICET) visits IRIF — October/November 2016
- Oct 05 Pablo Barenbaum visits IRIF — October/November 2016
- Oct 04 Workshop organized by the STIC-AmSud project "FoQCoSS" — 5,6 December 2016
- Oct 03 Nicolás Álvarez visits IRIF — October/November 2016
- Sep 20 INFINIS Workshop coming up — U. Paris Diderot — 4 November 2016
- Aug 24 V. Becher visits Université Paris Diderot — Aug/2016
- Aug 24 INFINIS Workshop — Talks and Pictures — 3/Aug/2016
- Jul 01 Nicolás Álvarez received Saint Exupéry Doctoral Fellowship — July 2016
- Jun 25 Verónica Becher invited speaker for Conference Computability, Randomness and Applications — June 20 – 24, 2016
- Jun 25 Olivier Carton visits UBA – July 2016
- May 13 Prof. Delia Kesner (U. Paris Diderot) visits UBA – April/2016
- Jan 19 Dr. Carlos Lombardi visits Université Paris Diderot — Jan-Jun 2016
- Jan 18 Légion d'Honneur award to Brigitte Vallée — 20/Jan/2016
2015
- Nov 18 Lunch with (from left to right) Valérie Berthé, Frédérique Bassino, Eda Cesaratto, Verónica Becher, Brigitte Vallée, Flavia Bonomo — Buenos Aires — 17 October 2015
- Nov 07 Prof. Frédérique Bassino visits UBA — Nov-Dec/2015
- Oct 15 Pablo Barenbaum visits U. Paris Diderot — Oct/Nov 2015
- Oct 15 Nicolás Álvarez visits U. Paris Diderot — Oct/Nov 2015
- Oct 08 Brigitte Vallée and Valérie Berthé visit Buenos Aires — October 2015
- Sep 15 Thibaut Balabonski visits UBA and UNQ — 8/Jul/15 – 22/Jul/15
- Sep 15 Frédéric Prost and Martin Monperrus gave courses at ECI 2015 — 20/Jul/15 – 24/Jul/15
- Sep 15 Diego Figueira and Sergio Abriola visit LaBRI — Sep-Oct/15
- Jun 20 Workshop INFINIS to be held on 17/July/2015 — Preliminary Programme — 20/June/2015
- Jun 20 Workshop INFINIS at UBA on 17/July/2015 — 20/June/2015
- Jun 12 Gabriel Senno (PhD student, UBA) visits LIAFA — 11/May – 30/July — 2015
- Jun 12 A. Viso (PhD student, UBA) visits PPS — 18/May – 16/June — 2015
- Jun 08 Prof. Cesaratto visits Valérie Berthé and Brigitte Vallée — June 2015
- Apr 26 Flavia Bonomo visits the LIAFA from 26 May to 26 June 2015
- Apr 08 8th Seminar of the Red Latinoamericana de Optimización Discreta y Grafos — 9,10/April/2015
- Mar 30 Alejandro Díaz-Caro visits Gilles Dowek at INRIA Paris-Rocquencourt — May/2015
- Mar 27 Verónica Becher: invited speaker at North American Annual Meeting of the Association for Symbolic Logic — Mar/2015
- Mar 27 Olivier Carton: invited speaker at AutoMathA, Leipzig University, May 6 – 9, 2015.
- Mar 25 E. Bonelli visits PPS in April 2015
- Feb 13 Verónica Becher visits Université Paris Diderot — Jan/Feb 2015
- Feb 09 LIA INFINIS has been renewed for a further four years!
2014
- Nov 09 INFINIS Video presented at French Argentinean Conference celebrating 50 years of cooperation — 5-6/Nov/2014
- Nov 09 Diego Figueira (CNRS) visits UBA — November 2014
- Nov 08 PhD Student currently visiting INRIA RMOD in Lille — 8/Nov/2014
- Nov 08 French-Argentinean Conference — 50 years of Cooperation for Innovation — 5-6/Nov/2014
- Nov 06 First LIA doctoral thesis in cotutelle — Defense set for 7/Nov/2014
- Oct 03 Santiago Figueira visits Université Paris Diderot — 24/Sep/2014 to 3/Oct/2014
- Sep 12 New Sorbonne Paris Cité office in Argentina – Prof. Kesner presents talk at UBA — 11/Sep/2014
- Sep 01 WoLLIC 2014 and INFINIS participation — 1-4/Sep/2014
- Sep 01 Olivier Carton visits UBA — Jul/2014
- Sep 01 INFINIS and XVI Simposio Latinoamericano de Lógica Matemática, Buenos Aires — 27/Jul to 2/Aug
- Sep 01 Course on Coq — ECI 2014 — Jul/2014
- Sep 01 Becher co-organizes Algorithmic Randomness — Jun/2014
- Sep 01 Balabonski (U. Orsay) visits UBA, UNQ — Aug/2014
- Sep 01 Attracting young research students — Event at DC, UBA — 27-28/Aug/2014
- Sep 01 7th International School on Rewriting and INFINIS participation — 25-29/Aug/2014
- May 19 Two researchers from U. Nacional de Gral. Sarmiento visit U. Paris Diderot (LIAFA) — May/2014
- May 19 Two researchers from U. Paris Diderot visit UBA — May/2014
- Mar 20 Pablo Heiber defended his PhD thesis succesfully — DC, FCEyN, UBA — 17/Mar/14
- Mar 19 Jean-Eric Pin gives talk at DC, FCEyN, UBA — 19/Mar/14
- Mar 11 Brigitte Vallée and her team presents talk at LIA (UBA) — 20/Feb/2014
2013
- Nov 15 Pictures of the INFINIS Workshop — 14/Nov/2013
- Nov 13 Gabriel Senno visits LIAFA — 2013
- Oct 30 LIA INFINIS Workshop — UBA — 14/Nov/2013
- Sep 25 F.L. Bristot won the 2nd prize for his undergraduate thesis in JAIIO 2013 — Sep. 2013
- Sep 25 E. Bonelli co-organized DCM 2013, a satellite workshop of CONCUR 2013
- Sep 25 D. Garbervetsky gave a tutorial at QEST 2013, CONCUR 2013 — Aug. 2013
- Sep 25 D. Garbervetsky and E. Bonelli were workshop organizers at CONCUR 2013 — Aug. 2013
- Sep 24 V. Becher gives invited talk at DCM 2013 — 26/Aug/2013
- Sep 24 Prof. Eugene Asarin (LIAFA) visits UBA in August 2013
- Sep 24 Prof. Delia Kesner (PPS) will visit UBA in October 2013
- Sep 24 P. Heiber and V. Becher visited LIA INFINIS France — July 2013
- Aug 29 Ioana Cristescu gave a talk at the LoReL seminar, UBA — 23/Aug/2013
- Aug 20 Verónica Becher and Santiago Figueira are visiting LIa INFINIS France in July 2013
- Aug 20 Jean-Jacques Lévy gives course in the ECI School in UBA — 22 August 2013
- Aug 20 Diego Garbervetsky visited LIAFA in June 2013
- Apr 22 Article in local newspaper on film in tribute to Turing — 20/Apr/2013
- Apr 12 Llamado a candidatura Bernardo Houssay 2013-2014 — Estadías Doctorales y Post-Doctorales
- Apr 12 Interview with Verónica Becher and Ted Slaman in local newspaper
- Apr 01 Four Lectures on Normal Numbers — 18/3 to 27/3 — UBA
- Apr 01 Codebreaker — Documentary about life and work of Alan Turing — 10 April 2013, 18hs — UBA
- Mar 29 BEC.AR: Master's (M2) in France for professionals from Argentina
- Mar 11 Methods for Modalities Workshop 2013 (24 CADE) organized by Carlos Areces
- Mar 05 Eduardo Bonelli visits PPS (Université Denis Diderot) — March 2013
- Feb 17 Semester in Computability, Complexity and Randomness in the news!
- Jan 02 Course on rewriting by Pierre Lescanne (ENS, Lyon) in XX Escuela de Verano de Ciencias Informáticas — 18 to 23 February 2013
2012
- Nov 28 Buenos Aires Semester in Computability, Complexity and Randomness — 2013S1
- Nov 16 Internships for Students — 2013
- Oct 10 INFINIS now on Facebook!
- Oct 10 Eiffel 2013-2014 Scholarships — MSc and Phd
- Sep 22 Short course by Beniamino Accattoli at UBA — October 2012
- Sep 17 INFINIS business meeting — 3 October
- Sep 17 Delia Kesner visits Argentina — October 2012
- Sep 17 Beniamino Accattoli visits Argentina — October 2012
- Sep 06 INFINIS Meeting as satellite event of WoLLIC — 7 September 2012
- Aug 01 LICS Test-of-Time Awards 2012 – Paper co-authored by Sergio Yovine
- Jul 20 WoLLIC 2012 to be held in Buenos Aires — September 3-6, 2012
- Jul 20 Verónica Becher was Visiting Fellow Isaac Newton Institute for Mathematical Sciences
- Jul 20 Verónica Becher to give plenary lecture at the Logic Workshop at Buenos Aires "A Tribute to Horacio Arló-Costa" — August 2-4, 2012
- Jul 20 Semester in Computability Complexity and Randomness will be held in Buenos Aires — January-June 2013
- Jul 20 Plenary talk by Verónica Becher at Turing Centenary Conference CiE 2012
- Jul 20 Paper presented at the 7th Conference on Computability, Complexity and Randomness CCR 2012
- Jul 20 Olivier Carton visiting UBA — July 7 to July 27, 2012
- Jul 20 Carlos Areces to give invited talk at the Logic and Computability Session, IV Congreso Latinoamericano de Matemática (CLAM) — 6-10 August 2012
- Jul 12 Talk by Olivier Carton – Two-way transducers – 18/Jul – 17hs
- Jun 25 WOLLIC 2012
- Jun 12 Article on ECI in canal-ar.com.ar that mentions INFINIS
- Jun 11 Sergio Yovine is President of the Organization Committee of Escuela de Ciencias Informáticas, ECI 2012
- Jun 11 Prof. Olivier Carton (U. Paris-Diderot) to visit Dept. of Computer Science at UBA in July 2012
- Jun 11 Diego Garbervetsky is invited speaker at BYTECODE 2012
- Jun 11 Diego Garbervetsky to visit University of Saarland
- Jun 11 Diego Garbervetsky to participate in EU project
- Jun 11 Prof. Ahmed Bouajjani (U. Paris-Diderot) to give advanced course on complex program verification at ECI 2012
- Jun 11 Paper presented at RTA'2012
- Jun 11 Diego Garbervetsky program co-chair of the 2nd Workshop on Developing Tools as Plug-ins – June 2012
- Jun 11 Delia Kesner co-chair of 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012)
- Jun 11 Carlos Areces participates in EU project
- Mar 11 PhD student from University of Salzburg visiting the Dept. of Computer Science (UBA)
- Feb 20 Interview with Sergio Yovine on creation of LIA INFINIS
- Feb 07 Kickoff meeting
2011
- Dec 27 INFINIS inauguration