http://www.algebra.cidma.ua.pt/CIDMARegular and Chiral Polyhedra, Polytopes and Beyond by Asia Weisshttp://www.algebra.cidma.ua.pt/news/regular-and-chiral-polyhedra-polytopes-and-beyond-by-asia-weissTue, 23 Oct 18 23:00:00 +0100 Labeling the Shi and the Ish arrangements by Rui Duartehttp://www.algebra.cidma.ua.pt/news/labeling-the-shi-and-the-ish-arrangements-by-rui-duarteThu, 19 Feb 15 00:00:00 +0000 Molecular logic: concepts and applications to the study of biological complexity by Claudio Fuentes Bravo (Universidad Diego Portales, Chile)http://www.algebra.cidma.ua.pt/news/molecular-logic-concepts-and-applications-to-the-study-of-biological-complexity-by-claudio-fuentes-bravo-universidad-diego-portales-chileTue, 01 Oct 13 23:00:00 +0100 Breaking the Proof Code (Linha Temática Geometrix) by João Marcos, (Department of Informatics and Applied Mathematics Federal University of Rio Grande do, Norte, Brasil)http://www.algebra.cidma.ua.pt/news/breaking-the-proof-code-linha-temtica-geometrix-by-joo-marcos-department-of-informatics-and-applied-mathematics-federal-university-of-rio-grande-do-norte-brasilTue, 19 May 15 23:00:00 +0100 On Synchronous and Asynchronous Compatibility of Communicating Components by Rolf Hennickerhttp://www.algebra.cidma.ua.pt/news/on-synchronous-and-asynchronous-compatibility-of-communicating-components-by-rolf-hennickerWed, 14 Dec 16 00:00:00 +0000 Mergulhos celulares do plano de Fano em superfícies compactas e orientáveis by Domenico Catalano, Universidade de Aveirohttp://www.algebra.cidma.ua.pt/news/mergulhos-celulares-do-plano-de-fano-em-superfcies-compactas-e-orientveis-by-domenico-catalano-universidade-de-aveiroTue, 17 May 16 23:00:00 +0100 Operadores de Toeplitz no espaço de Fock by Pedro Tiago Costa Soareshttp://www.algebra.cidma.ua.pt/news/operadores-de-toeplitz-no-espao-de-fock-by-pedro-tiago-costa-soaresTue, 10 Dec 13 00:00:00 +0000 Seminar on Nachbin spaces III by João Xarezhttp://www.algebra.cidma.ua.pt/news/seminar-on-nachbin-spaces-iii-by-joo-xarezFri, 07 Nov 14 00:00:00 +0000 Universal Logic = A new perspective for logical research by Jean-Yves Beziau, Universidade Federal do Rio de Janeiro, Brasilhttp://www.algebra.cidma.ua.pt/news/universal-logic-a-new-perspective-for-logical-research-by-jean-yves-beziau-universidade-federal-do-rio-de-janeiro-brasilWed, 27 Feb 13 00:00:00 +0000 Seminar on Nachbin spaces V by Dirk Hofmannhttp://www.algebra.cidma.ua.pt/news/seminar-on-nachbin-spaces-v-by-dirk-hofmannFri, 12 Dec 14 00:00:00 +0000 Proof search through lambda-calculus by Luís Pinto, Universidade do Minhohttp://www.algebra.cidma.ua.pt/news/proof-search-through-lambda-calculus-by-lus-pinto-universidade-do-minhoTue, 26 Apr 16 23:00:00 +0100 Inconsistencies in Hybrid Logic by Manuel António Martinshttp://www.algebra.cidma.ua.pt/news/inconsistencies-in-hybrid-logic-by-manuel-antnio-martinsWed, 04 Mar 15 00:00:00 +0000 O teorema de Galois by João Xarezhttp://www.algebra.cidma.ua.pt/news/o-teorema-de-galois-by-joo-xarezTue, 08 May 18 23:00:00 +0100 Seminar on Nachbin spaces IV by Pedro Norahttp://www.algebra.cidma.ua.pt/news/seminar-on-nachbin-spaces-iv-by-pedro-noraTue, 02 Dec 14 00:00:00 +0000 Hexagonal extensions of toroidal hypermaps by Dimitri Leemans, University of Auckland, New Zealandhttp://www.algebra.cidma.ua.pt/news/hexagonal-extensions-of-toroidal-hypermaps-by-dimitri-leemans-university-of-auckland-new-zealandTue, 06 Oct 15 23:00:00 +0100 Conditions for the folding up of monotone and concordant morphisms by João José Xarezhttp://www.algebra.cidma.ua.pt/news/conditions-for-the-folding-up-of-monotone-and-concordant-morphisms-by-joo-jos-xarezThu, 11 Feb 10 00:00:00 +0000 Sobre o Design de Jogos Móveis. (Linha Temática Geometrix) by Nelson Troca Zagalo, (Departamento de Ciências da Comunicação, Universidade do Minho)http://www.algebra.cidma.ua.pt/news/sobre-o-design-de-jogos-mveis-linha-temtica-geometrix-by-nelson-troca-zagalo-departamento-de-cincias-da-comunicao-universidade-do-minhoWed, 25 Mar 15 00:00:00 +0000 Classification of Regular and Chiral Polytopes by. Topology by Egon Schultehttp://www.algebra.cidma.ua.pt/news/classification-of-regular-and-chiral-polytopes-by-topology-by-egon-schulteWed, 22 Feb 17 00:00:00 +0000 Seminar on Nachbin spaces II by Gonçalo Gutierres (University of Coimbra)http://www.algebra.cidma.ua.pt/news/seminar-on-nachbin-spaces-ii-by-gonalo-gutierres-university-of-coimbraThu, 23 Oct 14 23:00:00 +0100 Duality theory beyond dimension zero by Pedro Norahttp://www.algebra.cidma.ua.pt/news/duality-theory-beyond-dimension-zero-by-pedro-noraSun, 30 Apr 17 23:00:00 +0100 Paradoxo da tradução: sobre o conceito de sub-lógica e expressividade relativa entre sistemas lógicos by Diego Pinheiro Fernandes, Universidade de Salamancahttp://www.algebra.cidma.ua.pt/news/paradoxo-da-traduo-sobre-o-conceito-de-sub-lgica-e-expressividade-relativa-entre-sistemas-lgicos-by-diego-pinheiro-fernandes-universidade-de-salamancaTue, 24 May 16 23:00:00 +0100 Hybrid logics as specification formalisms by Alexandre Madeira (Department of Informatics & CCTC, Minho University, Department of Mathematics, University of Aveiro, Critical Software S.A.)http://www.algebra.cidma.ua.pt/news/hybrid-logics-as-specification-formalisms-by-alexandre-madeira-department-of-informatics-amp-cctc-minho-university-department-of-mathematics-university-of-aveiro-critical-software-saTue, 05 Apr 11 23:00:00 +0100 Curry-Howard isomorphism for sequent calculus by José Carlos Espírito Santo (University of Minho)http://www.algebra.cidma.ua.pt/news/curry-howard-isomorphism-for-sequent-calculus-by-jos-carlos-esprito-santo-university-of-minhoWed, 13 May 15 23:00:00 +0100 Bicategorias internas em variedades de Mal’tsev by Nelson Martins Ferreira (I.P. de Leiria)http://www.algebra.cidma.ua.pt/news/bicategorias-internas-em-variedades-de-maltsev-by-nelson-martins-ferreira-ip-de-leiriaTue, 28 Jun 11 23:00:00 +0100 Tiling n-space by cubes by Peter Horak (Universidade de Washington)http://www.algebra.cidma.ua.pt/news/tiling-n-space-by-cubes-by-peter-horak-universidade-de-washingtonWed, 16 Mar 11 00:00:00 +0000 Categorical closure operators by David Holgate (University of Stellenbosch, South Africa)http://www.algebra.cidma.ua.pt/news/categorical-closure-operators-by-david-holgate-university-of-stellenbosch-south-africaThu, 09 Sep 10 23:00:00 +0100 Politopos abstractos com grupo simétrico e politopos abstractos com grupo alternado by Elisa Fernandes (Universidade de Aveiro)http://www.algebra.cidma.ua.pt/news/politopos-abstractos-com-grupo-simtrico-e-politopos-abstractos-com-grupo-alternado-by-elisa-fernandes-universidade-de-aveiroMon, 28 Mar 11 23:00:00 +0100 Conjugacy and Dynamics in Thompson Groups and Generalizations by Francesco Matucci, Instituto de Matemática, Estatística e Computação Científica Universidade Estadual de Campinas, São Paulo, Brasil.http://www.algebra.cidma.ua.pt/news/conjugacy-and-dynamics-in-thompson-groups-and-generalizations-by-francesco-matucci-instituto-de-matemtica-estatstica-e-computao-cientfica-universidade-estadual-de-campinas-so-paulo-brasilFri, 08 Jan 16 00:00:00 +0000 Semântica para lógica híbrida equacional infinitária by Manuel A. Martinshttp://www.algebra.cidma.ua.pt/news/semntica-para-lgica-hbrida-equacional-infinitria-by-manuel-a-martinsThu, 31 May 12 23:00:00 +0100 Derived torsion theories and higher dimensional Galois structures by Marino Gran (Université Catholique de Louvain, Belgium)http://www.algebra.cidma.ua.pt/news/derived-torsion-theories-and-higher-dimensional-galois-structures-by-marino-gran-universit-catholique-de-louvain-belgiumThu, 14 Jan 10 00:00:00 +0000