AGG Seminars and Courses

Classification of Regular and Chiral Polytopes by. Topology
Egon Schulte
2017-02-22

Duality theory beyond dimension zero
Pedro Nora
2017-05-01

Three interdisciplinary pieces of cryptography:. one-way functions imply P != NP, security of the Rabin. cipher, unbiasing coins
Jaime Gaspar
2017-06-28

Conjugacy and Dynamics in Thompson Groups and Generalizations
Francesco Matucci, Instituto de Matemática, Estatística e Computação Científica Universidade Estadual de Campinas, São Paulo, Brasil.
2016-01-08

Topological semi-abelian algebras, split extensions and their classifiers
Maria Manuel Clementino, CMUC- Universidade de Coimbra
2016-02-10

Preparar a avaliação e o feedback para promover a aprendizagem de STEM (Linha Temática Geometrix)
J. Bernardino Lopes, Escola de Ciências e Tecnologia Universidade de Trás-os-Montes e Alto Douro
2016-03-30

Adult restoration of Shank3 expression rescues selective autistic-like phenotypes (Linha Temática Geometrix)
Patrícia Monteiro, Instituto de Ciências da Vida e da Saúde Universidade do Minho
2016-04-06

Towards the generation of multi-valued dynamic logics
Alexandre Madeira, HASLab - INESC TEC,
2016-04-22

Proof search through lambda-calculus
Luís Pinto, Universidade do Minho
2016-04-27

Mergulhos celulares do plano de Fano em superfícies compactas e orientáveis
Domenico Catalano, Universidade de Aveiro
2016-05-18

Paradoxo da tradução: sobre o conceito de sub-lógica e expressividade relativa entre sistemas lógicos
Diego Pinheiro Fernandes, Universidade de Salamanca
2016-05-25

Realidade Aumentada e a app MILAGE Aprender+ no ensino da Matemática (Linha Temática Geometrix)
Mauro Figueiredo, Instituto Superior de Engenharia Universidade do Algarve
2016-06-08

Conhecimento de geometria e perspetivas de professores do 1º CEB sobre o seu ensino: Algumas reflexões (Linha Temática Geometrix)
Luís Menezes e Helena Gomes, Escola Superior de Educação de Viseu
2016-06-15

On Synchronous and Asynchronous Compatibility of Communicating Components
Rolf Hennicker
2016-12-14

Pedro Silva. Universidade do Porto
Extensão ao bordo de endomorfismos de grupos, hiperbólicos
2015-01-13

Labeling the Shi and the Ish arrangements
Rui Duarte
2015-02-19

Pseudo orientability versus orientability
António João Breda Azevedo
2015-02-26

Inconsistencies in Hybrid Logic
Manuel António Martins
2015-03-04

Laboratório de Geometria em Rede: Demonstração Automática em Geometria. (Linha Temática Geometrix)
Pedro Quaresma (DMat, Universidade de Coimbra)
2015-03-11

Quadrangle groups inclusions
Domenico Catalano
2015-03-18

Sobre o Design de Jogos Móveis. (Linha Temática Geometrix)
Nelson Troca Zagalo, (Departamento de Ciências da Comunicação, Universidade do Minho)
2015-03-25

Bijective enumeration of dominant Shi regions with a fixed separating wall
Alessandro Conflitti, CMUC- Centre for Mathematics, University of Coimbra
2015-04-01

Espaços representáveis e dualizáveis
Dirk Hofmann
2015-04-15

A aprendizagem da Matemática com recurso a ferramentas computacionais (Linha Temática GEOMETRIX)
António Manuel Dias Domingos, (Universidade Nova de Lisboa)
2015-04-22

Matroides regulares: espaço de moduli e teorema de Torelli
Margarida Melo, Universidade de Coimbra- CMUC
2015-04-29

New Directions and Applications of Ambient Intelligence (Thematic Line Geometrix)
Paulo Jorge Novais (University of Minho)
2015-05-07

The notion of mathematical proof (Linha Temática Geometrix)
Reinhard Kahle (New University of Lisbon)
2015-05-13

Curry-Howard isomorphism for sequent calculus
José Carlos Espírito Santo (University of Minho)
2015-05-14

Breaking the Proof Code (Linha Temática Geometrix)
João Marcos, (Department of Informatics and Applied Mathematics Federal University of Rio Grande do, Norte, Brasil)
2015-05-20

Intervenção Psicoeducacional na Perturbação de Espetro do Autismo (PEA) – estratégias de intervenção no ensino de competências matemáticas (Linha Temática Geometrix)
Cátia Belém, (Centro de Desenvolvimento Infantil Diferenças, Responsável Pólo Oeiras)
2015-05-21

Inverse semigroups, ordered groupoids and semilattices
João Xarez
2015-05-27

Ana Breda, José Manuel Santos dos Santos
From 2015-06-24 to 2015-06-27

Leibniz and Suszko filters for non-protoalgebraic logics
Hugo Albuquerque (Universitat de Barcelona)
2015-07-27

Percursos e desafios na construção de jogos (Linha TemáticaGEOMETRIX)
Ana Amélia Carvalho, Faculdade de Psicologia e de Ciências da Educação Universidade de Coimbra
2015-09-23

Hexagonal extensions of toroidal hypermaps
Dimitri Leemans, University of Auckland, New Zealand
2015-10-07

A new and more efficient method for slicing and scanning triangulated objects
Nelson Martins Ferreira, Instituto Politécnico do Leiria
2015-10-21

Superregular matrices with applications to convolutional codes
Paulo Almeida, Universidade de Aveiro
2015-10-28

Mapas de conceitos em sistemas informáticos de apoio ao estudo autónomo da matemática (Linha Temática Geometrix)
Luís Descalço
2015-11-04

Chiral projective polytopes
Isabel Hubard, Instituto de Matemáticas, UNAM, Mexico
2015-12-11

The Leibniz Hierarchy via the Suszko operator
Hugo Albuquerque
2014-01-06

Seminar on Nachbin spaces
Dirk Hofmann
2014-10-01

(Asymmetric) combination of logics is functorial
Renato Neves
2014-10-15

Seminar on Nachbin spaces II
Gonçalo Gutierres (University of Coimbra)
2014-10-24

Seminar on Nachbin spaces III
João Xarez
2014-11-07

Seminar on Nachbin spaces IV
Pedro Nora
2014-12-02

Hybrid mathematical models for analysis of genetic regulatory networks
Madalena Chaves (INRIA Sophia Antipolis - Mediterranée)
2014-12-04

Seminar on Nachbin spaces V
Dirk Hofmann
2014-12-12

Universal Logic = A new perspective for logical research
Jean-Yves Beziau, Universidade Federal do Rio de Janeiro, Brasil
2013-02-27

Measuring Inconsistency in Knowledge Bases Based on work by John Grant and Anthony Hunter
George Voutsadakis (Lake Superior State University)
2013-05-06

Connected components and Nachbin's compact (pre)ordered (Hausdorff) spaces II
João Xarez
2013-06-07

Molecular logic: concepts and applications to the study of biological complexity
Claudio Fuentes Bravo (Universidad Diego Portales, Chile)
2013-10-02

Varying domain intensional semantics for designation and existence
Manuel Crescencio (Universidade de Salamanca)
2013-11-13

Operadores de Toeplitz no espaço de Fock
Pedro Tiago Costa Soares
2013-12-10

Well-behaved Beurling primes and integers
Titus Hilberdink (Departamento de Matemática e Estatística da Universidade de Reading)
2012-02-15

O produto de convolução dos coeficientes binomiais centrais e uma generalização
Rui Duarte (Universidade de Aveiro)
2012-03-09

Mini-course on Modal logic
Ian Hodkinson (Imperial College)
From 2012-04-23 to 2012-04-26

Connected components and Nachbin's compact ordered spaces
João Xarez
2012-05-10

Semântica para lógica híbrida equacional infinitária
Manuel A. Martins
2012-06-01

Cubic Tessellations of the Hantzsche-Wendt. Manifold
Mark Mixer
2012-07-18

Finite Projective Spaces and Dessins d'enfants
Cristina Sarti
2012-09-24

Asymptotic behaviour of a class of regular maps
António João Breda
2012-12-19

Tiling n-space by cubes
Peter Horak (Universidade de Washington)
2011-03-16

Índice de dualidade em hipermapas
Daniel Pinto (Faculdade de Ciências e Tecnologia da Universidade de Coimbra)
2011-03-29

Politopos abstractos com grupo simétrico e politopos abstractos com grupo alternado
Elisa Fernandes (Universidade de Aveiro)
2011-03-29

Hybrid logics as specification formalisms
Alexandre Madeira (Department of Informatics & CCTC, Minho University, Department of Mathematics, University of Aveiro, Critical Software S.A.)
2011-04-06

Bicategorias internas em variedades de Mal’tsev
Nelson Martins Ferreira (I.P. de Leiria)
2011-06-29

Semidirect products in unital varieties
Andrea Montoli (CMUC)
2011-06-29

Topologia e Dualidades na Lógica Modal
Dirk Hofmann
From 2011-10-10 to 2011-10-13

Derived torsion theories and higher dimensional Galois structures
Marino Gran (Université Catholique de Louvain, Belgium)
2010-01-14

Conditions for the folding up of monotone and concordant morphisms
João José Xarez
2010-02-11

The formal ball model for Q-categories
Pawel Waszkiewicz (Jagiellonian University, Krakow, Poland)
2010-02-11

Interpretations as coalgebraic morphisms
Alexandre Madeira (CCTC, Minho University & Mathematics Dep. of Aveiro University & Critical Software S.A., Portugal)
2010-04-12

Sobre a dualidade de Gabriel-Ulmer
Dirk Hofmann
2010-04-26

Primer Hypermaps
Maria Elisa Fernandes (Université Libre de Brussels)
2010-04-30

Categorical closure operators
David Holgate (University of Stellenbosch, South Africa)
2010-09-10

Cauchy é sóbrio
Dirk Hofmann
2010-11-10