Pedro Sánchez Terraf

Assistant Professor at FaMAF - UNC - Argentina

Scientific Meetings

  • Full scholarship for attending the Association for Symbolic Logic annual meeting (2005).
  • “Conference on Universal Algebra and Lattice Theory” held in Szeged, Hungary (2005). Presenting the results later published as Varieties with Definable Factor congruences, Trans. Amer. Math. Soc. 361 (2009), 5061-5088 (together with D. J. Vaggione).
  • Member of the organizing comittee of the Argentinean Mathematical Union annual meeting in Córdoba (Argentina) jointly wiht the Congreso Latinoamericano de Matemáticos (2012).
  • XV SLALM (Latin American Symposium on Mathematical Logic) Universidad de los Andes, Bogotá, Colombia (2012). Presenting a survey of logics on non-deterministic labelled Markov processes.
  • Invited to the Dagstuhl Seminar 12411 on Coalgebraic Logics, Schloss Dagstuhl, Germany (2012). Presenting the results later published as Bisimilarity is not Borel, Math. Struct. Comp. Sci., FirstView (Dec 2015).
  • Member of the organizing comittee of the XVI SLALM (2014).
  • Invited session talk at the Coloquio Latinoamericano de Álgebra (Latin American Algebra Colloquium), Lima, Perú (2014).
  • Invited talk on the final workshop of the 3rd MaToMUVI Meeting, ANCEFN, Buenos Aires (2015).
  • Invited talk at the Seminar of the “Instituto Matemático del Litoral” (IMAL), Santa Fe, Argentina (2015).
  • Invited to give a basic course at the XIV Monteiro Congress, Bahía Blanca, Argentina (2017).
  • Invited to give a course at the first Spanish-Argentinean joint national meeting, RSME-UMA, Buenos Aires, Argentina (2017).

Processed on 2019-10-16.