|
Seminários de Lógica
Matemática
2014
| 12 de Junho, 15h00, Sala B3-01
"Display Logic - a short introduction"
Wilfried Keller
(Universität Göttingen)
| 5 de Junho, 15h00, Sala B3-01
"Details of Harrington¹s forcing argument (II)"
Fernando Ferreira (Universidade de Lisboa)
| 22 de Maio, 15h00, Sala B3-01
"Details of Harrington¹s forcing argument"
Fernando Ferreira (Universidade de Lisboa)
| 8 de Maio, 15h00, Sala A2-25
"Cut-elimination for first-order logic: Gentzen's Hauptsatz"
João Enes
| 10 de Abril, 15h00, Sala B3-01
"Computing on a full memory"
Bruno Loff
| 3 de Abril, 15h00, Sala B3-01
"An axiomatic approach to modelling of orders of magnitude"
Imme Van Den Berg (Universidade de Évora)
| 27 de Março, 15h00, Sala B3-01
"Harrington's conservation result (part 2)"
António Fernandes (Instituto Superior Técnico Universidade de Lisboa)
| 20 de Março, 15h00, Sala B3-01
"Automating deduction in non-classical logics: Signed resolution for many-valued logics"
Luís M. Augusto (
Universidade Aberta – MEMC)
| 13 de Março, 15h00, Sala B3-01
"Harrington’s conservation result"
António Fernandes
(Instituto Superior Técnico e
Universidade de Lisboa)
| 27 de Fevereiro, 15h00, Sala B3-01
"Shoenfield functional interpretation"
Jaime Gaspar (Universitat Rovira i Virgili, Department of Computer Engineering and Mathematics-Catalonia,
CMAF, FCT, UNL)
|20 de Fevereiro, 15h00 Sala B3-01
"Inductive definitions and \Pi^1_1 sets"
João Enes (Universidade de Lisboa)
| 13 de Fevereiro, 15h00, Sala B3-01
"Locally definable groups as covers of definable groups"
Pantelis Eleftheriou (University of Konstanz)
2013
| 12 de Dezembro, 15h00, Sala B3-01
Logic for Security (aka Kleistic Logic)
Carlos Caleiro (SQIG - Instituto de Telecomunicações & IST - Universidade de Lisboa)
| 28 de Novembro, 15h00, Sala B3-01
"On Probabilization of Logic Systems"
Pedro Baltazar (InvestQuest)
| 21 de Novembro, 15h00, Sala B3-01
"Linear Logic as a Refinement of Classical and Intuitionistic Logic"
Gilda Ferreira (CMAF - Univ. Lisboa)
| 17 de Outubro, 15h00, Sala B3-01
"On Structures with two Semigroup Operations"
Bruno Dinis
| 10 de Outubro, 15h00, Sala B3-01
"Recursion Schemes for P, NP and PSPACE"
Isabel Oitavem (FCT-UNL, CMAF)
| 11 de Julho, 15h30 Sala B3-01
"Formalising ZF ⊆ ZFε in Coq"
Jaime Gaspar
(INRIA Paris-Rocquencourt, πr², Univ. Paris Diderot, Sorbonne Paris Cité,
F-78153 Le Chesnay, France)
| 4 de Julho, 15h30, Sala B3-01
"Mathematical Logic as a Foundational Enterprise"
Fernando Ferreira
(Universidade de Lisboa)
| 20 de Junho, 15h30 Sala B3-01
"The ARNN model relativises P == NP and P =/= NP"
Félix Costa (IST and CMAF)
| 6 de Junho, 15h30 Sala A2-25
"Computing Bounds from Arithmetical Proofs"
Stan Wainer (University of Leeds)
| 30 de Maio, 15h30 Sala B3-01
"Injecting uniformities into Peano arithmetic"
Fernando Ferreira (CMAF-UL)
|16 de Maio, 15h30 Sala B3-01
"Conservation results for the axiom of choice over constructive theories"
Paulo Oliva (Queen Mary - University of London)
| 9 de Maio, 15h30 Sala B3-01
"R. Holmes on consistency of NF"
Sergei Tupailo
(CMAF-UL)
| 18 de Abril, 15h30 Sala B3-01
"Epsilon theorems for nonclassical logics"
Matthias Baaz
(Vienna University of Technology)
| 28 de Fevereiro, 16h00 Sala B3-01
"Groups definable in two orthogonal sorts" (joint work with Alessandro Berarducci)
Marcello Mamino (CMAFUL)
| 21 de Fevereiro, 16h00 Sala B3-01
"Computing
with vanishing value oracles"
(Joint work with José Félix Costa)
Diogo Poças (Instituto Superior Técnico)
| 7 de Fevereiro, 16h00 Sala B3-01
"Topological invariants of regular languages: the genus"
Guillaume Bonfante (Nancy University)
| 31 de Janeiro, 17h00 Sala
B3-01
"Coinduction, corecursion, copatterns"
Anton Setzer (Swansea)
2012
| 13 de Dezembro, 17h00 Sala B3-01
"Krivine's classical realisability and the
unprovability of the axiom of choice and the continuum hypothesis"
Jaime Gaspar (INRIA Paris-Rocquencourt - Univ Paris Diderot)
| 25 de Outubro, 17h00 Sala B3-01
"Computational power of threshold experiments"
(joint work with José Félix Costa)
Diogo Poças (IST)
| 4 de Outubro, 17h00 Sala B3-01
"Atomic Polymorphism"
Gilda Ferreira (CMAF-UL)
| 27 de Setembro, 17h00 Sala B3-01
"Gold-Style Learning Theory: A Selection of Highlights
Since Gold"
John Case (University of Delaware, USA)
| 20 de Setembro, 17h00 Sala B3-01
"Induction, induction, induction"
Anton Setzer (Swansea University)
| 12 de Julho, 17h00 Sala A2-25
"Interpretability in Q"
Fernando Ferreira (CMAF-UL)
| 10 de Maio, 17h00 Sala A2-25
"A Mathematical Logic Introduction to the
Philosophy of Science Part II: ... And if the laws of physics turn to
be non-algorithmic?"
Felix Costa (IST e CMAFUL)
| 19 de Abril, 17h00 Sala A2-25
"Polygraphs seen as a computation model"
Guillaume Bonfante (LORIA, Nancy)
| 12 de Abril, 15h00, Sala A2-25
"Open problems in models of arithmetic"
Roman Kossak (CUNNY)
| 15 de Março, 17h00 Sala A2-25
"Invariance of o-minimal sheaf cohomology with
definably compact supports"
Mário Edmundo (U Aberta and CMAF - UL)
| 8 de Março, 17h00 Sala A2-25
"Some finitistic consistency proofs (Part II)"
Fernando Ferreira (CMAF)
| 1 de Março, 17h00 Sala A2-25
"On variants of CM-triviality"
Amador Martin-Pizarro (Université Lyon 1)
| 23 de Fevereiro, 17h00 Sala A2-25
"Some finitistic consistency proofs"
Fernando Ferreira (CMAF)
2011
| 29 de Setembro, 17h00 Sala A2-25
“An overview of strict predicativity II”
Fernando Ferreira (CMAF)
| 27 de Junho, 16h00 Sala B3-01
“Intuitionism as phenomenology: a critique of Rota”
Mark van Atten (Université Paris 1)
| 28 de Junho, 10h00 Sala C8.2.19
“Kant and real numbers”
Mark van Atten (Université Paris 1)
| 9 de Junho, 17h00 Sala A2-25
“Some Constructions to Prove Lindenbaum Theorems (Part
II)”
René Gazzari (CENTRIA, UNL)
| 2 de Junho, 17h00 Sala A2-25
“Some Constructions to Prove Lindenbaum Theorems (Part
I)”
René Gazzari (CENTRIA, UNL)
| 12 de Maio, 17h00 Sala A2-25
“Proof mining Hillam's theorem on fixed point
iterations”
Jaime Gaspar (Technische Universität Darmstadt, Germany)
| 24 de Fevereiro, 17h00 Sala A2-25
“Truncation closed embeddings of valued fields in
generalised series fields”
Salma Kuhlmann (Universitat Konstanz)
| 17 de Março, 17h00 Sala A2-25
“Linearly extending partial orders in tame ordered
structures”
Janak Ramakrishnan (CMAF)
| 10 de Março, 17h00 Sala A2-25
"Finding
witnesses for existential theorems in intuitionistic set theories"
Michael Rathjen (University of Leeds)
2010
| 16 Dezembro, 18h00 Sala A2-25
“Copies of classical logic inside intuitionistic logic”
Jaime Gaspar (Technische Universitat Darmstadt)
| 9 Dezembro, 17h00 Sala A2-25
“Exponential polynomial equations"
(continuation)
Ayhan Gunaydin (CMAF - Univ. Lisboa)
| 2 Dezembro, 17h00 Sala A2-25
“Exponential polynomial equations (continuation)”
Ayhan Gunaydin (CMAF - Univ. Lisboa)
| 18 de Novembro, 17h00 Sala A2-25
“Exponential polynomial equations”
Ayhan Gunaydin (CMAF - Univ. Lisboa)
| 21 de Outubro, 17h00 Sala A2-25
“Parallel
composition of logic calculi with proofs as generalized 2-cells”
Amílcar Sernadas (IST - TU Lisbon / SQIG - IT)
(Joint work with Cristina Sernadas and João Rasga)
| 7 de Outubro, 17h00
Sala A2-25
“Generic stability and the forking ideal”
Alex Usvyastov (CMAF - Universidade de Lisboa)
| 15 de Julho, 18h00 Sala 3-10 (IST)
“Proof interpretations with truth”
Jaime Gaspar (Technische Universitaet Darmstadt, Germany)
| 1 de Julho, 18h00 Sala 3-10 (IST)
“Definable linear orders definably embed in
lexicographic orders in ominimal structures”
J. Ramakrishinan (CMAF - Univ. Lisboa)
| 24 de Junho, 18h00 Sala 3-10 (IST)
“O-minimality in Dulac's problem”
J. P. Rolin (Université de Bourgogne, França)
| 27 de Maio, 18h00 Sala 3-10 (IST)
“Preservation by fibring of the finite model property”
Cristina Sernadas (IST - UTL & SQIG - Instituto de Telecomunicações)
| 20 de Maio, 18h00 Sala 3-10 (IST)
"Kolmogorov Complexity and Entropy Measures"
Andreia Teixeira (SQIG - Instituto de Telecomunicações, Universidade do
Porto)
| 29 de Abril, 18h00 Sala 3-10 (IST)
“Polynomials instead of formulas: revamping the
heritage of Boole and Leibniz”
Walter Carnielli (CLE and Department of Philosophy-IFCH, State
University of Campinas, Brazil)
| 15 de Abril, 18h00 Sala 3-10 (IST)
“The geometries of the Hrushovski constructions”
Marco Ferreira (East Anglia University, England)
| 18 de Março, 18h00 Sala 3-10 (IST)
“Slash and completeness”
Jaime Gaspar (Technische Universitaet Darmstadt, Germany)
| 11 de Março, 18h00 Sala 3-10 IST
“Dependent pairs - Dense Case” (with P. Hieronymi)
Ayhan Gunaydin (CMAF)
| 4 de Março, 18h Sala
B3-10 (IST, Pav. Matemática)
"Model theoretic constructions in many-valued modal
logics"
Pantelis Eleftheriou (CMAF,
Univ. Lisboa)
| 25 de Fevereiro, 18h00
Sala 3-10 Inst. Superior Técnico
Changing cofinalities while preserving cardinals
(continuation)
António Fernandes (CMAF - Univ. Lisboa)
| 14 de Janeiro, 18h00 Instituto Superior Técnico, Pavilhão de
Matemática, Sala 3-10
Reflexive representability and stable
metrics. (joint work with Itai Ben Yaacov and Stefano Ferri)
Alexander
Berenstein (Universidad Nacional de Colombia)
2009
| 17 de Dezembro, 18h00
Sala B3-01
Structure theorems for semi-bounded groups
Pantelis
Eleftheriou (CMAF - Univ. Lisboa)
| 26 Novembro, 18h00 Sala B3-10/CMAF
Low-Depth Witnesses are Easy to Find
Luís Antunes (Universidade do Porto)
| 5 de Novembro, 18h00 Sala 3-10
Relative Geometric complexity and definable groups
Amador Martin-Pizarro (CNRS Universite Claude Bernard Lyon I)
| 29 de Outubro, 18h00 Sala 3-10
On Hrushovski's recent paper on approximate subgroups
Alex Usvyatsov (CMAF)
| 8 de Outubro, 18h00 Sala 3-10
Consistency of Strictly Impredicative NF (continuation)
Sergei Tupailo (CMAF)
| 1 de Outubro, 18h00 IST Sala 3-10
Consistency of Strictly Impredicative NF
Sergei Tupailo (CMAF)
| 24 de Setembro, 18h00 IST Sala 3-10
Mann pairs
Ayhan Gunaydin (CMAF)
| 17 de Setembro, 18h00 IST Sala 3-10
Metric valued fields
Itai Ben Yaacov (Lyon)
| 4 de Junho 2009, 18h00 Sala B3-01/CMAF
Minimal stable types
over Banach spaces (part 2)
ALEXANDER USVYATSOV (CMAF - Universidade de Lisboa)
| 28 de Maio 2009, 18h00 Sala B3-01/CMAF
Minimal stable types
over Banach spaces
ALEXANDER USVYATSOV (CMAF - Universidade de Lisboa)
| 21 de Maio 2009, 18h00 Sala B3-01/CMAF
On automorphism groups
of aleph_0-categorical metric structures
ITAI BEN YACCOV (Université Claude Bernard, Lyon)
| 14 de Maio 2009, 18h00 Sala B3-01/CMAF
Strict-Pi^1_1-reflection
- bounded sets vs finite sequences (part 2)
ANTÓNIO FERNANDES (IST - Universidade Técnica de Lisboa, CMAF - UL)
| 7 de Maio 2009, 18h00 Sala B3-01/CMAF
Strict-Pi^1_1-reflection
- bounded sets vs finite sequences
ANTÓNIO FERNANDES (IST - Universidade Técnica de Lisboa, CMAF - UL)
| 23 de Abril 2009, 18h00 Sala B3-01/CMAF
Coverings by open cells
in the non-linear case
MÁRIO EDMUNDO (Universidade Aberta & CMAF)
| 16 de Abril 2009, 18h00 Sala B3-01/CMAF
Coverings by open cells
PANTELIS ELEFTHERIOU (CMAF/University of Lisbon)
| 26 de Março 2009, 18h00 Sala B3-01/CMAF
Geometric structures and
weak local modularity. (Joint work with Evgueni Vassiliev)
ALEXANDER BERENSTEIN (Universidad de Los Andes, Bogota and Université
Claude Bernard Lyon I)
| 19 de Março 2009, 18h00 Sala B3-01/CMAF
Henson's Conjecture and
stable Banach spaces
ALEXANDER USVYATSOV (CMAF - Universidade de Lisboa)
| 19 de Fevereiro 2009, 18h00 Sala B3-01/CMAF
The model-theoretic
proof of the witnessing theorem of bounded arithmetic (an exposition).
Part II
KERRY OJAKIAN (SQIG-IT)
| 5 de Fevereiro 2009, 18h00 Sala B3-01/CMAF
The model-theoretic
proof of the witnessing theorem of bounded arithmetic (an exposition)
KERRY OJAKIAN (SQIG-IT)
| 29 de Janeiro 2009, 18h00 Sala B3-01/CMAF
Raising to generic powers
JONATHAN KIRBY (University of Oxford)
| 22 de Janeiro 2009, 18h00 Sala B3-01/CMAF
Pfaffian functions in
definably complete Baire structures (join work with A. Fornasiero)
Tamara Servi (CMAF - Universidade de Lisboa)
2008
| 18 de Dezembro 2008, 18h00 Sala B3-01/CMAF
Tao's "finitary"
infinite pigeonhole principle
Jaime Gaspar (Technische Universität Darmstadt)
| 11 de Dezembro 2008, 18h00 Sala B3-01/CMAF
Some almost disjoint families
CHARLES MORGAN
| 27 de Novembro 2008, 18h00 Sala B3-01/CMAF
Definably complete and
Baire structures: a first order approach to real geometry. (Joint work
with A. Fornasiero)
TAMARA SERVI (CMAF - Universidade de Lisboa)
| 20 de Novembro 2008, 18h00 Sala B3-01/CMAF
Ths structure of
majorizable functionals
FERNANDO FERREIRA (Universidade de Lisboa)
| 13 de Novembro 2008, 18h00 Sala B3-01/CMAF
What is bar-recursion?
FERNANDO FERREIRA (Universidade de Lisboa)
| 6 de Novembro 2008, 18h00 Sala B3-01/CMAF
The intuitionistic
logical words "absurdum", "or" and "there exists" are not etched on
tablets of stone
FERNANDO FERREIRA (Universidade de Lisboa)
| 29 de Outubro 2008, 18h00 Sala B3-01/CMAF
Computing with Tense,
Aspect, and Nominalisations
FRITZ HAMM (IMS, University of Stuttgart)
| 23 de Outubro 2008, 18h00 Sala B3-01/CMAF
Groups definable in
o-minimal structures (IV)
PANTELIS ELEFTHERIOU (CMAF - Universidade de Lisboa)
| 16 de Outubro 2008, 18h00 Sala B3-01/CMAF
Groups definable in
o-minimal structures (III)
PANTELIS ELEFTHERIOU (CMAF - Universidade de Lisboa)
| 9 de Outubro 2008, 18h00 Sala B3-01/CMAF
Rudimentary recursion, provident sets and forcing
A. R. D. MATHIAS (Université de la Réunion)
| 25 de Setembro 2008, 18h00 Sala B3-01/CMAF
Groups definable in
o-minimal structures (I)
PANTELIS ELEFTHERIOU (CMAF - Universidade de Lisboa)
| 18 de Setembro 2008, 18h00 Sala B3-01/CMAF
Additive imaginaries and
interpretation functors
MIKE PREST (University of Manchester)
| 19 de Junho 2008, 17h00 Instituto Superior Técnico
THE PRIME IDEAL THEOREM
DOES NOT IMPLY THE AXIOM OF CHOICE (PART III - FINAL PART)
ANTÓNIO FERNANDES (CMAF - U LISBOA & IST - UT LISBOA)
| 5 de Junho 2008, 17h00 Instituto Superior Técnico
ON A C*-ALGEBRA
FORMALISM FOR CONTINUOUS LOGIC
ITAI BEN-YAACOV (Université Claude Bernard, Lyon)
| 29 de Maio 2008, 17h00 Instituto Superior Técnico
THE PRIME IDEAL THEOREM
DOES NOT IMPLY THE AXIOM OF CHOICE (PART II)
ANTÓNIO FERNANDES (CMAF - U LISBOA & IST - UT LISBOA)
| 15 de Maio 2008, 17h00 Instituto Superior Técnico
THE PRIME IDEAL THEOREM
DOES NOT IMPLY THE AXIOM OF CHOICE
ANTÓNIO FERNANDES (CMAF - U LISBOA & IST - UT LISBOA)
| 8 de Maio 2008, 17h00 Instituto Superior Técnico
A NOTE ON THE
REPRESENTATION OF THE REALS
Patrícia Engrácia (U LISBOA)
| 10 de Abril, 17h00 Instituto Superior Técnico
POINTERS AND
NON-DETERMINISM
ISABEL OITAVEM (CMAF & UNIVERSIDADE NOVA DE LISBOA)
| 3 de Abril, 17h00 Instituto Superior Técnico
NORMAL FORMS (PART III)
KERRY OJAKIAN (SQIG - INST TELECOMUNICAÇÕES)
| 27 de Março, 17h00 Instituto Superior Técnico
NORMAL FORMS
KERRY OJAKIAN (SQIG - INST TELECOMUNICAÇÕES)
13 de Março, 17h00 Instituto Superior Técnico
NORMAL FORMS
KERRY OJAKIAN (SQIG - INST TELECOMUNICAÇÕES)
| 6 de Março, 17h00 Instituto Superior Técnico
POINTERS AS A TOOL TO
REACH COMPLEXITY CLASSES
ISABEL OITAVEM (U NOVA DE LISBOA & CMAF - U LISBOA)
| 28 de Fevereiro, 17h00 Instituto Superior Técnico
CONTINUOUS LOGIC AND
MODEL THEORY OF METRIC STRUCTURES --- PART IV
ALEX USVYATSOV (CMAF - UL)
21 de Fevereiro, 17h00 Instituto Superior Técnico
CONTINUOUS LOGIC AND
MODEL THEORY OF METRIC STRUCTURES --- PART III
ALEX USVYATSOV (CMAF - UL)
| 7 Fevereiro 2008, 17h00 Instituto Superior Técnico
CONTINUOUS LOGIC AND
MODEL THEORY OF METRIC STRUCTURES --- PART II
ALEX USVYATSOV (CMAF - UL)
| 31 Janeiro 2008, 17h00 Instituto Superior Técnico
CONTINUOUS LOGIC AND
MODEL THEORY OF METRIC STRUCTURES --- PART I
ALEX USVYATSOV (CMAF - UL)
| 24 Janeiro 2008, 17h00 Instituto Superior Técnico
BOREL SETS --- PART II
BRUNO LOFF (IST & CMAF)
| 10 Janeiro 2008, 17h00 Instituto Superior Técnico
BOREL SETS --- PART I
BRUNO LOFF (IST & CMAF)
2007
| 13 Dezembro 2007, 16h00 Instituto Superior Técnico
ON ROBOUST SIMULATIONS
OF TURING MACHINES WITH ANALYTIC FLOWS
DANIEL GRAÇA (Universidade do Algarve e SQIG -- Instituto de
Telecomunicações)
| 11 de OUTUBRO 2007, 17h30 Instituto Superior Técnico
UMA BREVE INTRODUÇÂO ÀS BOAS-ORDENS E ORDINAIS --- PARTE II (e última)
ANTÓNIO MARQUES (Instituto Superior Técnico)
2005
| 21 Julho 2005, 17:30 Sala B3-01/CMAF
An arithmetic for
polynomial-time computation
Helmut Schwichtenberg(U. Munique)
| back to Seminars and Conferences
|