Talks and communications
given by current and past members of SQIG at IT (former CLC) in conferences,
meetings and seminars at other research
centers since 1998 (incomplete list):
2008
- Workshop on Physics and
Computation, Vienna, Austria, August 25-29, 2008.
D. S. Graça:
Computational bounds on polynomial differential equations.
- Fifth International Conference
on Computability and Complexity in Analysis, Hagen, Germany,
August 21-24, 2008.
K. Ojakian:
Characterizing Computable Analysis with Differential Equations.
- The Fourth World Congress of
Paraconsistency, Melbourne, Australia, July 13-18, 2008.
R. Gonçalves:
Behavioral algebraization of the Cn systems of da Costa.
- Encontro Nacional SPM - Sessão
de Lógica e Computação, ISEC, Coimbra, Portugal, June 26, 2008.
J. Rasga:
Discrete measure almost-everywhere quantification.
- Programming Language Approaches
to Concurrency (Workshop affiliated
with the DisCoTec federated conferences), Oslo, Norway, June 7,
2008.
A. Ravara: Session
Types as Generic Process Types.
- 30th Anniversary of the CLE,
UNICAMP, the 15th Brazilian Logic Conference, and the 14th
Latin-American Symposium on Mathematical Logic, Paraty, Brasil,
May 11-17, 2008.
R. Gonçalves:
An algebraic perspective on valaution semantics.
- WS on Non-Classical Logics: from
Foundations to Applications, Centro di Ricerca Matematica Ennio
di Giorgi, Scuola Normale Superiore, Pisa, Italy, April 24-26, 2008.
C. Caleiro
[invited talk]:
A bird's eye view on the joys and troubles of combined logics.
- Seminário de Lógica Matemática,
IST/FCUL, Lisboa, Portugal, April 17, 2008.
K. Ojakian:
Proving the Church-Turing thesis?
- Workshop on Fair Exchange
Protocols for Electronic Commerce, Vrije
Universiteit, Amsterdam, the Netherlands, February 27, 2008.
J. Cederquist:
Verifying liveness in security protocols.
- Concurrency Seminar,
Oxford University, UK, February 20, 2008.
P. Mateus: A
quantum fair contract signing protocol.
- Foundations Seminar,
Oxford University, UK, February 19, 2008.
P. Mateus:
Specifying and verifying quantum and probabilistic systems with
exogenous semantics.
- Formal Analysis, Theory and
Algorithms Seminar, Department of Computing
Science, University of Glasgow, UK, February 12, 2008.
A. Ravara: A
service-centred calculus: examples, theory and applications.
- Seminário de Álgebra e Lógica,
Centro de Matemática, U Minho, Braga, Portugal, January 28, 2008.
J. Rasga:
Preservation of interpolation and generalized negative translations.
- Days in Logic 2008, IST,
Lisboa, Portugal, January 16-18, 2008.
K. Ojakian:
Computable analysis and analog computation.
J. Rasga:
Generalized negative translations and interpolation.
2007
- Formal Analysis, Theory and
Algorithms Seminar, Department of Computing
Science, University of Glasgow, UK, December 18, 2007.
A. Ravara:
Behavioural Types for Object-Oriented Languages.
- Workshop-Escola de Computação e
Informação Quântica, Campina Grande, Brazil, October 29-31, 2007.
P. Mateus
[invited talk]: Logic
foundations of quantum security.
- International Workshop on
First-Order Theorem Proving (FTP 2007), Liverpool, UK, September
12-13, 2007.
J. Ramos: Labeled
tableaux for distributed temporal logic
- 6th International Symposium on
Frontiers of Combining Systems (FroCoS 2007), Liverpool, UK,
September 10-12, 2007.
J. Ramos: Combining
Classical and Intuitionistic Implications
- XVI International Fall Workshop
on Geometry and Physics, IST, Lisboa, Portugal, September 5-8,
2007.
F. Moura: Type
II and heterotic one loop effective actions.
- 2nd World Congress on Universal
Logic, Xian, China, August 20-22, 2007.
R. Gonçalves: On
the algebraization of global and probabilistic exogenous logics.
- Meeting on Algebraic and
Topological Methods in Non-Classical Logics III, Oxford, UK,
August 5-9, 2007.
R. Gonçalves:
Behavioral algebraization.
- Lisbon Quantum
Computation, Information and Logic (LQCIL'07), IST, Lisboa,
Portugal, July 18-20, 2007.
N. Paunkovic:
Fair contract signing with decoherence.
J. Rasga:
Transferring proofs of zero-knowledge systems with quantum tamper-proof
devices.
- 20th IEEE Computer Security
Foundations Symposium (CSF 2007
- Rump Session),
Venice, Italy, July 6-8, 2007.
P. Adão: A
calculus for high-level cryptography and its computational
implementation.
- LASEC Seminar, EPFL,
Lausanne, Switzerland, June 19, 2007.
P. Mateus:
Introduction to quantum security.
- Computation and Logic in the
Real World, CiE 2007, Siena, Italy, June 18-23, 2007.
C. Lourenço: How can
natural brains help us compute?
- Computability in Europe,
Sienna, Italy, June 18-23 2007.
K. Ojakian:
Some new approaches to characterizing computable analysis by analog
computation
- School on Attractor Mechanism,
INFN, Frascati, Italy, June 18-22,
2007.
F. Moura: Type
II and heterotic one loop effective actions.
- 4th Conference on Computability
and Complexity in Analysis (CCA 2007), Siena, Italy, June 16-18,
2007.
D. S. Graça:
Boundedness of the domain of definition is undecidable for polynomial
ODEs.
- International Conference on
Order, Algebra, and Logics, Nashville, USA, June 12-16, 2007.
R. Gonçalves:
Behavioral algebraization.
- 26th Weak Arithmetics Days (JAF
26), Seville, Spain, June 11-13, 2007.
D. S. Graça:
Computability problems for differential equations.
K. Ojakian:
Bounded arithmetic with bounded finite types.
- Security Seminar,
INRIA-Microsoft Paris joint Research Lab, France, May 25 2007.
A. Almeida Matos:
Non-disclosure for distributed mobile code.
- 21st International conference on
Advanced Information networking and
Applications Workshops/Symposia (AINA'07), Niagara Fall, Canada,
May
22, 2007.
J. Cederquist: A
certified email protocol using key chains.
- 15th European Symposium on
Artificial Neural Networks (ESANN 2007), Bruges, Belgium, April
25-27, 2007.
C. Lourenço:
Structured reservoir computing with spatiotemporal chaotic attractors.
- Tarde de Trabalho SPM/CIM em
Lógica e Computação, CIM,
Coimbra, Portugal, May 5,
2007.
D. S. Graça:
Problemas de computabilidade em equações diferenciais.
- Simpósio Doutoral do
Departamento de Informática, Univiversidade do Minho, Braga,
Portugal, February 23, 2007.
P. Adão:
Métodos formais em segurança.
C. Caleiro: Análise de protocolos de segurança.
P. Mateus:
Segurança quântica.
- Seminários do Centro de
Informática e Tecnologias da Informação, FCT/UNL, Lisboa,
Portugal, February 21, 2007.
C. Caleiro:
Distributed temporal logic for security protocol analysis
- First International Workshop on
Quantum Security, Guadeloupe, France, January 2-6, 2007.
P. Mateus:
Transferring proofs of zero-knowledge systems with quantum correlations.
P. Mateus:
Towards model-checking quantum security protocols.
2006
- Seminário do Departamento de
Ciência de Computadores, FC/UP, Porto, Portugal, December 13,
2006.
P. Mateus:
Transferring proofs of zero-knowledge systems with quantum correlations.
- Portuguese Category Seminar,
University of Coimbra, December 11, 2006.
A. Sernadas:
Towards a universal theory of fibring.
C. Caleiro:
Quantum institutions.
- QNET Workshop 2006,
University of Glasgow, UK, December 4-5, 2006.
P. Mateus:
Exogenous quantum logics.
- Seminário de Lógica Matemática,
IST/FCUL, Lisboa, Portugal, November 24, 2006.
J. Rasga: A
complete axiomatization of discrete-measure almost-everywhere
quantification.
-
Seminários do Centro de Informática e Tecnologias da
Informação, FCT/UNL, Lisboa, Portugal, November 22, 2006.
P. Mateus:
Quantum cryptography and security.
- II International Colloquium on
Metaphysics, Universidade Federal do Rio Grande do Norte,
Natal, Brazil, November 6-9, 2006.
J. Marcos:
Essential and accidental propositions.
- 4th ACM workshop on Formal
Methods in Security (FMSE'06), George Mason
University, Fairfax, Virginia, USA, November 3, 2006.
J. Cederquist: An
intruder model for verifying liveness in security protocols.
- Third International Conference
on Computability and Complexity in Analysis, Gainesville,
Florida, USA, November 1-5, 2006.
K. Ojakian:
The methods of approximation and lifting in real computation.
- Seminário de Lógica Matemática,
IST/FCUL, Lisboa, Portugal, October 19, 2006.
L. Cruz-Filipe:
Reasoning about probabilistic sequential programs.
- Segurança Informática nas
Organizações (SINO 2006), Universidade de Aveiro, Portugal,
October 10-11, 2006.
P. Mateus:
Análise de sistemas de prova de conhecimento nulo.
- Computer Science Logic (CSL 2006),
Szeged, Hungary, September 25-29, 2006.
P. Mateus:
Reasoning about states of probabilistic sequential programs.
- International Conference on
Quantum Foundation and Technology: Frontier and Future (ICQFT'06),
Hangzhou, China, August 25-31 2006.
Y. Omar: Generation
of entanglement in a quantum wire and application to single-electron
transmittivity.
- Seminário do Departamento de
Engenharia Elétrica, Universidade Federal de Campina Grande,
Campina Grande, Brazil, August 17, 2006.
P. Mateus:
Ataques quânticos a protocolos clássicos.
- Seminário do Grupo de Informação
Quântica, Universidade Federal do Ceará, Fortaleza, Brazil,
August 8, 2006.
P. Mateus:
Ataques quânticos a protocolos clássicos.
- Encontros de Quarta
Feira, Departamento de Informática, Faculdade de Ciências da
Universidade de Lisboa, Portugal, July 26, 2006.
A. Ravara:
Cryptographic primitives in a calculus with polyadic synchronisation.
- Eleventh Marcel Grossmann
Meeting on General Relativity, Freie Universität, Berlin,
Germany, July 23-29, 2006.
F. Moura:
Perturbative stability and gravitational wave scattering for
string-corrected black holes in arbitrary dimensions.
- XV Oporto Meeting on Geometry,
Topology and Physics, FCUP, Porto, Portugal, July 20-23, 2006.
F. Moura: Type
II and heterotic one loop effective actions in four dimensions.
- IEEE World Congress on
Computational Intelligence, July 16-21, Vancouver, Canada.
C. Lourenço: A very
small chaotic neural net.
- 7th Conference on Real Numbers
and Computers (RNC 7), Nancy, France, July 10-12, 2006.
D. S. Graça:
An ordinary differential equation defined by a computable function
whose maximal interval of existence is non-computable.
- 33rd International Colloquium on
Automata, Languages and Programming (ICALP 2006), San Servolo,
Venice, Italy, July 9-16, 2006.
P. Adão:
Cryptographically sound implementations for communicating processes.
- Five minute talks session, 19th
IEEE Computer Security Foundations Workshop (CSFW 2006), San
Servolo,
Venice, Italy, July 5-7, 2006.
P. Adão: Towards
a quantitative analysis of security protocols.
R. Chadha: Decidable quantum reasoning.
- Model-Based Reasoning in Science
and Medicine (MBR'06), Guangzhou, China, July 3-5, 2006.
W. A. Carnielli
[invited talk]:
Polynomizing - using polynomial forms as reasoning models.
- Computability in Europe 2006,
Swansea, Wales, UK, June 30 - July 5, 2006.
K. Ojakian:
The method of approximation in real computation.
- Encontros de Quarta
Feira, Departamento de Informática, Faculdade de Ciências da
Universidade de
Lisboa, Portugal, June 28, 2006.
M. Gamboni: Deciding
deterministic responsiveness and closeness in pi-calculus.
- Algebra, Meaning and Computation
- A Festschrift Symposium in Honor of Joseph Goguen, San Diego
CA, USA, June 27-29, 2006.
C. Caleiro:
Quantum institutions.
- Encontro Nacional de Matemática'06 da Sociedade Portuguesa
de Matemática, Instituto Superior de Engenharia de Lisboa, June 20-23,
2006.
C. Caleiro:
Lógica temporal distribuída para análise de protocolos de segurança.
D. S. Graça:
Algumas limitações fundamentais na resolução numérica de equações
diferenciais ordinárias.
P. Adão: Lógicas
de indistinguibilidade para verificação de protocolos criptográficos.
- 25th Weak Arithmetics Days,
Clermont-Ferrand, France, June 19-21, 2006.
K. Ojakian:
Bounded arithmetic with bounded finite types.
- 18th Workshop on Algebraic Development Techniques (WADT'06),
La Roche, Belgium, June 1-3, 2006.
J. Ramos:
Probabilistic and quantum institutions revisited.
R. Gonçalves: On
the algebraization of many-sorted logics.
- 22nd Annual Conference on Mathematical Foundations of
Programming Semantics (MFPS'06), Genova, Italy, May 23-27, 2006.
P. Mateus
[invited talk]: Reasoning about imperative quantum programs.
- ASL 2006 Annual Meeting,
Université du Québec à Montréal, Canada, May 17-21, 2006.
C. Hermida:
On modalities induced by categorical relations.
- Theory and Applications of Models of Computation (TAMC06),
Beijing, China, May 15-20, 2006.
D. S. Graça:
The General Purpose Analog Computer and Computable Analysis are two
equivalent paradigms of analog computation.
- Simpósio de Matemática - Centenário do nascimento de Kurt Gödel,
Universidade de Coimbra, Portugal, April 28, 2006.
A. Sernadas: Lógica de demonstrabilidade.
- 14th European Symposium on
Artificial Neural Networks, Bruges,
Belgium, April 26-28, 2006.
C. Lourenço: Dynamical
reservoir properties as network effects.
- XIV Encontro Brasileiro de Lógica, Itatiaia, RJ, Brazil,
April 24-28, 2006.
W. A. Carnielli:
Boole's algebraic logic in polynomial form.
M. E. Coniglio:
Polynomial formulations of non-deterministic semantics for logics of
formal inconsistency.
J. Marcos: Beyond
truth-functionality.
- Seminário de Lógica e Computação, Departamento de
Matemática, Universidade de Coimbra, Portugal, April 6, 2006.
K. Ojakian:
Bounded arithmetic with bounded finite types.
- Seminário do Núcleo de Estudantes de Engenharia Informática,
IST, Lisboa, Portugal, March 20, 2006.
P. Mateus: Computação quântica.
- Seminários de Pesquisa, CID, Universidade de Brasília,
Brazil, March 15, 2006.
W. A. Carnielli:
O maior feito filosófico do século XX - a incompletude do conhecimento
e da informação.
- Séminaire du Laboratoire Spécification et Vérification,
École Normale Supérieure de Cachan, Paris, France, March 7, 2006.
P. Adão:
Soundness of formal encryption - the case of key-cycles.
- 2º Encontro Nacional de Estudantes de Informática,
Universidade de Évora, Portugal, March 3-5, 2006.
P. Mateus: Computação e informação quânticas.
- Workshop on Computable Analysis, U. Cincinnati, USA,
February 4, 2006.
M. Campagnolo:
Polynomial differential equations and real computable functions.
D. S. Graça:
The ordinary differential equation defined by a computable function
whose maximal interval of existance is non-computable.
- A Investigação na Universidade Técnica de Lisboa, IST,
February 2-3, 2006.
A. Sernadas: Computação e informação quânticas.
- Days in Logic
(DiL'06), Coimbra, Portugal, January 19-21, 2006.
D. S. Graça:
On the evolution of systems defined by computable initial value
problems.
J. Rasga: Some
complexity results on cut elimination in first order based logics.
2005
- Association for Symbolic Logic 2005-2006 Winter Meeting,
New York, USA, December 27-29, 2005.
J. Marcos:
Generalizing truth-functionality.
(talk given by Arnon Avron due to the absence of J. Marcos)
- Workshop
on Classical and Quantum Information Security, California
Institute of Technology, Pasadena, USA, December 15-18, 2005.
P. Mateus: A
process algebra for reasoning about quantum security.
- Security Lunch Seminar, Stanford University, USA, December
14, 2005.
P. Mateus:
Towards a logic for reasoning about quantum systems.
- Quantum Reading Group, University of Berkeley, USA,
December 9, 2005.
P. Mateus:
Quantum adversaries for zero-knowledge proof systems.
- Seminário do Departamento de Matemática, Universidade de
Aveiro, Portugal, November 24, 2005.
R. Gonçalves:
Sobre a algebrização da semântica das valorações.
- Microsoft Research Seminar, Cambridge, UK, November 23,
2005.
P. Adão:
Cryptographically sound implementations for communicating processes.
- Category Theory and Logic Seminar, McGill University,
Montreal, Canada, November 1, 2005.
C. Hermida:
Descent on 2-fibrations and strong 2-regularity.
- Security Group Meeting, University of Cambridge, UK,
October 28, 2005.
P. Adão: How
concrete is the Dolev-Yao model?
- Seminário de Lógica Matemática, IST/FCUL,
Lisboa, Portugal, October 25 and November 8, 2005.
A. Sernadas:
Complete axiomatization of EQPL (Exogenous Quantum Propositional Logic).
- Category Theory Octoberfest '05, University of Ottawa,
Canada, October 22-23, 2005.
C. Hermida:
Descent on 2-fibrations and strongly 2-regular 2-categories.
- Brouwer Seminar, Nijmegen, Netherlands, October 5, 2005.
L. Cruz-Filipe: The
essence of proofs in sequent calculi.
- VerSePro Kick-off Meeting, Oberdof, Switzerland, October
4-5, 2005.
P. Mateus:
Probabilistic logics for security analysis.
- Encontro dos Algebristas Portugueses 2005, Braga,
Portugal, September 22-24, 2005.
R. Gonçalves: On
the algebraization of valuation semantics.
- 10th European Symposium on Research in Computer Security
(ESORICS
2005),
Milan, Italy, September 12-14, 2005.
P. Adão:
Soundness of formal encryption in the presence of key-cycles.
- Workshop on Categorical Methods in Algebra, Geometry and
Physics, Canberra, Australia, July 17-21, 2005.
C. Hermida:
2-descent and strongly 2-regularity.
- CALCULEMUS Workshop 2005 (Affiliated Workshop of FM'05),
Newcastle-upon-Tyne, UK, July 18-19, 2005.
L. Cruz-Filipe:
Executing extracted programs.
- Structures and Deduction - The Quest for the Essence of Proofs
(Affiliated Workshop of ICALP 2005), Lisbon, Portugal, July 16-17,
2005.
J. Rasga: Cut
elimination in propositional based logics.
- 4th International Workshop on Proof Theory, Computation,
Complexity (Affiliated Workshop of ICALP 2005), Lisbon, Portugal,
July 16-17, 2005.
J. Rasga:
Complexity analysis of cut elimination in first order based logics.
- 2nd Workshop on Automated Reasoning for Security Protocol
Analysis (Affiliated Workshop of ICALP 2005), Lisbon,
Portugal, July 16, 2005.
C. Caleiro:
Deconstructing Alice and Bob.
- 3rd International Workshop on Quantum Programming Languages
(QPL 2005),
Chicago, IL, USA, June 30-July 1, 2005.
P. Adão: A
Process algebra for reasoning about quantum security.
- International Workshop on Computations on the Continuum,
Lisbon, Portugal, June 27-28, 2005.
D. S. Graça:
Computability in the general purpose analog computer.
C. Lourenço: Natural
computing with continuous-time chaotic neural nets.
- LICS 2005 Short Presentations, Chicago, USA, June 26-29,
2005.
P. Mateus:
Complete exogenous quantum propositional logic.
- 18th IEEE Computer Security Foundations Workshop (CSFW 2005),
Aix-en-Provence, France, June 20-22, 2005.
P. Adão:
Computational and information-theoretic soundness and completeness of
formal encryption.
- Natural Processes and Models of Computation, Bologna,
Italy, June 16-18, 2005.
D. S. Graça:
Discrete-time and continuous-time analog computation.
- Meeting on Algebraic and Topological Methods in
Non-Classical Logics II, Barcelona, Spain, June 15-18, 2005.
R. Gonçalves: On
the algebraization of valuation semantics.
- CiE 2005 New Computational Paradigms, Amsterdam,
Netherlands, June 8-12, 2005.
D. S. Graça:
Robust simulations of Turing machines with analytic maps and flows.
- Complexité, Modèles Finis et Bases de Données & Journées
d'Arithmétique Faible (JAF 24), Fontainebleau, France, May 26-28,
2005.
D. S. Graça:
Computing with continuous-time analog circuits.
- Seminario Dipartimento di Informatica, Università di Pisa,
Italy, May 18, 2005.
C. Hermida: A
categorical outlook on simulation and relational modalities.
- 81st Peripatetic Seminar on Sheaves and Logic, Coimbra,
Portugal, April 9-10, 2005.
C. Hermida:
Descent on 2-fibrations and strongly 2-regular 2-categories.
P. Mateus:
Minimization of quantum automata.
- 1st World Congress on Universal Logic, Montreux,
Switzerland, March 31 - April 3, 2005.
C. Caleiro: Equipollent
logical systems.
R. Gonçalves: On
the algebraization of valuation semantics.
- 1st World School on Universal Logic, Montreux,
Switzerland, March 26-30, 2005.
C. Caleiro: Combining
logics.
- Seminário de Álgebra, CMUC, Coimbra, Portugal, March 15,
2005.
A. Sernadas: Proof
of the weak completeness of EQPL.
- Séminaire Groupe de Travail MC2, École Normale Supérieure
de Lyon, France, March 2, 2005.
D. S. Graça:
Robust simulations of Turing machines with analytic maps and flows.
- Seminário de Ciência da Computação, IME, Universidade de
São Paulo, Brazil, February 18, 2005.
C. Caleiro:
Metareasoning about security protocols using distributed temporal logic.
J. Rasga: The
complexity of cut elimination in a modal sequent calculus labelled with
truth values.
- Colloquia Logicae, CLE, Universidade Estadual de Campinas,
Brazil, February 17, 2005.
C. Caleiro:
Dyadic semantics for many-valued logics.
J. Rasga: The
complexity of cut elimination in a modal sequent calculus labelled with
truth values.
- Second Theory of Cryptography Conference (Rump Session) (TCC
2005),
MIT, Cambridge, MA, USA, February 10-12, 2005.
P. Adão:
Soundness of formal encryption in the presence of key cycles.
- Séminaire PROTHEO, LORIA/INRIA, Nancy, France, February
10, 2005.
D. S. Graça:
A digression over the General Purpose Analog Computer.
- Séminaire Informatique Fondamentale, LORIA/INRIA,
Nancy, France, February 3, 2005.
M. Campagnolo:
Real recursive functions and their hierarchies: structural and
computational complexity.
- Protocol eXchange Seminar,
Naval Postgraduate School, Monterey, CA, USA, February 1-2, 2005.
P. Adão: Key
cycles and formal encryption.
2004
- Graduate Student Pizza Seminar, Department of Mathematics,
University of Pennsylvania, Philadelphia, USA, December 3, 2004.
P. Adão: A brief
introduction to quantum computation.
- Seminário de Álgebra, CMUC, Coimbra, Portugal, November
12, 2004.
C. Hermida:
Paracategories and saturated partial algebras.
- XI ANPOF Meeting, Salvador, Brazil, October 18-22,
2004.
J. Marcos:
Enunciados essenciais e verdades acidentais - um estudo em metafísica
formal.
- 9th European Conference on Logics in Artificial Intelligence
(JELIA 2004), Lisbon, September 27-30, 2004.
P. Mateus:
Reasoning about quantum systems.
- Logic, Ontology, Aesthetics: The Golden Age of Polish
Philosophy, Montreal, Canada, September 23-26, 2004.
J. Marcos: Thou
shalt not trivialise!
- Theorem Proving in Higher Order Logics - 17th International
Conference (TPHOLs 2004), Park City, Utah, USA, September 14-17,
2004.
L. Cruz-Filipe:
Hierarchical reflection.
- Workshop on Combination of Logics - Theory and
Applications (CombLog'04), Lisbon, July 28-30, 2004.
C. Caleiro:
Cryptofibring.
J. Marcos:
Possible-translations semantics.
A. Sernadas:
Exogeneous quantum logic.
C. Sernadas: Preservation of interpolation by fibring.
- Workshop on Foundations of Computer Security (Satellite event
of ICALP04), Turku, Finland, July 12-13, 2004.
A. Ravara:
Typing migration control in Lsdpi.
- Dutch Proof Tools Day, Nijmegen, Netherlands, July 9, 2004.
L. Cruz-Filipe: C-CoRN -
the Constructive Coq Repository at Nijmegen.
- Workshop on Automated Reasoning for Security Protocol
Analysis at IJCAR'04, Cork, Ireland, July 4, 2004.
C. Caleiro:
Metareasoning about security protocols using distributed temporal logic.
- International Workshop on Negation in Constructive Logic,
Dresden, Germany, July 1-4, 2004.
J. Marcos: A
constructive negation in a non-constructive logic.
- Logica 2004 Symposium, Hejnice, Czech Republic, June
22-25, 2004.
J. Marcos: Every
normal modal logic is paranormal.
- Portuguese Category Seminar 04, Coimbra, June 18 and 22,
2004.
P. Mateus:
Exogeneous quantum logic.
J. Rasga: Cut
elimination in a general modal calculus.
- Global Computing: MYTHS-MIKADO-DART Joint Workshop,
Venice, Italy, June 14-16, 2004.
A. Ravara:
Spatial types for processes.
- Seminaire de l'Institut de Logique, Université
de Neuchâtel, Switzerland, June 7, 2004.
C. Caleiro:
Combining classical and intuitionistic logics.
- 2004 European Computing and Philosophy Conference, Pavia,
Italy, June 3-5, 2004.
J. Marcos:
Defining and using deductive systems with Isabelle.
- Seminário de IAD, Departamento de Informática,
Faculdade de Ciências da Universidade de Lisboa, Portugal, May 26, 2004.
M. Campagnolo:
A simulação computacional de processos contínuos - Algumas limitações
fundamentais.
- Information Security Seminar, Department of
Computer Science, ETH, Zurich, Switzerland, May 24, 2004.
C. Caleiro:
Metalevel analysis of security protocols.
- Encontro Nacional de Matemática'04 da Sociedade Portuguesa
de Matemática, Instituto Superior de Engenharia do Porto, May 5-8, 2004.
C. Caleiro:
Combinação de lógicas - o problema do colapso.
L. Cruz-Filipe:
Representação de provas em teoria de tipos.
- Seminário de Álgebra, CMUC, Coimbra, Portugal, May 5, 2004.
D. Kruml: Flat
precovers in varieties.
- Seminário de Álgebra, CAUL, Lisboa, Portugal, April 30,
2004.
L. Cruz-Filipe: A new
look at the Fundamental Theorem of Algebra.
- Meeting of the Appsem II Project, Tallinn,
Estonia, April 15, 2004.
A. Ravara:
Spatial types for processes.
- Mathematics, Systems and Robotics Seminar, CAMGSD/ISR,
IST, Lisboa, Portugal, April 2, 2004.
P. Mateus: An
overview of quantum computation.
- 17th WADT, Barcelona, Spain, March 27-29, 2004.
C. Caleiro:
Cryptomorphisms at work.
- Encontros de Quarta Feira, Departamento de
Informática, Faculdade de Ciências da Universidade de Lisboa, Portugal,
March 17, 2004.
A. Ravara:
Tipificação do cálculo com sincronização poliádica.
- ZIC- Colloquium, University of Eindhoven, Netherlands,
March 16, 2004.
L. Cruz-Filipe:
Formalizing Constructive Real Analysis in Type Theory.
- Seminários do Grupo de Lógica Teórica e Aplicada (GTAL),
CLE/Unicamp, Campinas, Brazil, March 10, 2004.
J. Marcos:
Paranormal modal logics.
- Seminário de Álgebra, CMUC, Coimbra, Portugal, February
17, 2004.
A. Sernadas: Combining
logic systems - Why, how, what for?
- BRICS Seminar, Department of Computer Science,
Aalborg University, Denmark, February 13, 2004.
A. Ravara:
Session types for inter-process communication.
- Days in Logic, Braga, Portugal, January 22-24, 2004.
L. Cruz-Filipe: C-CoRN -
the Constructive Coq Repository at Nijmegen.
- Seminário de Álgebra, CMUC, Coimbra, Portugal, January 20,
2004.
L. Cruz-Filipe: A new
look at the Fundamental Theorem of Algebra.
- XII Latin-American Symposium on Mathematical Logic, San
José, Costa Rica, January 12-16, 2004.
J. Marcos: Modal
logics talking about consistency.
2003
- Seminário de Análise, Geometria e Sistemas Dinâmicos,
CAMGSD, Lisboa, Portugal, November 11, 2003.
A. Sernadas: Combining
logic systems - Why, how, what for?
- Seminário de Álgebra, CAUL, Lisboa, Portugal, October 31,
2003.
P. Resende: Uma
introdução à teoria dos quantales.
- Dagstuhl Seminar 03411 - Language-Based Security, Schloss
Dagstuhl, Germany, October 5-10, 2003.
P. Mateus:
Composition of cryptographic protocols in a probabilistic
polynomial-time process calculus.
- European Category Theory Meeting, Haute-Bodeux, Belgium,
September 7-13, 2003.
P. Resende: A
quantale that classifies Penrose tilings.
- Theorem Proving in Higher Order Logics - 16th International
Conference (TPHOLs 2003), Rome, Italy, September 8-12, 2003.
L. Cruz-Filipe: Program
extraction from large proof developments.
- International Conference on Computability and Complexity in
Analysis, Cincinnati, USA, August 28-30, 2003.
D. S. Graça:
Computability via analog circuits.
- V Encontro Brasileiro Internacional de Ciência Cognitiva -
Vida, Robôs e Emergência, São Vicente, Brazil, August 20-24, 2003.
C. Lourenço: Caos no
seu cérebro.
- Seminário do Laboratório de Automação e Controlo, Escola
Politécnica da Universidade de São Paulo, Brazil, August 14, 2003.
C. Lourenço: Redes
neuronais - caos, atenção, computação.
- XXI World Congress on Philosophy, Istanbul, Turkey, August
10-17, 2003.
J. Marcos: The
millionaire contribution of all mistakes.
- XII International Congress of Logic, Methodology and
Philosophy of Science, Oviedo, Spain, August 7-13, 2003.
J. Marcos: On the
simple pleasures of logic - The humbug of many logical values.
- III World Congress on Paraconsistency, IRIT,
Toulouse, France, July 28-31, 2003.
C. Caleiro:
Suszko's thesis and dyadic semantics.
J. Marcos:
Paraconsistency is not enough.
- Workshop on Sheaves and Topoi in Theoretical Physics,
Imperial College, UK, July 17-18, 2003.
P. Resende:
Quantales = 1/2-quantization?
- Workshop on Foundations of Global Computing (Satellite
Event of ICALP 2003), Eindhoven, The Netherlands, June 28-29,
2003.
A. Ravara:
Lexically scoped distribution - What you see is what you get.
- Seminário de Álgebra, Centro de Matemática da
Universidade de Coimbra, Portugal, June 17, 2003.
C. Caleiro:
Cryptofibring.
- Fields Institute Summer School - Student Presentations,
Ottawa, Canada, June 11, 2003.
L. Cruz-Filipe:
Formalizing Mathematics in Coq - Applications.
- Dagstuhl Seminar 03241 - Inconsistency Tolerance, Schloss
Dagstuhl, Germany, June 9-13, 2003.
J. Marcos:
Mechanizing deduction for Tarskian logics (even when contradictions
draw near).
- Mikado/Myths Joint Meeting, School of Cognitive
and Computing Sciences, University of Sussex, UK, June 5-6, 2003.
A. Ravara:
Lexically scoped distribution - What you see is what you get.
- IFIP WG 1.3 Meeting, Menorca, Spain, June 1-4,
2003.
C. Caleiro:
Cryptofibring - Avoiding collapses when combining logics.
- Lattices, Universal Algebra and Applications, CAUL,
Lisboa, May 28-30, 2003.
P. Resende: A
survey of quantale theory.
- Portuguese Category Seminar 03, Coimbra, May 23, 2003.
C. Sernadas: A
new algebraic semantics for modal sequent calculi.
A. Sernadas:
Exogeneous probabilistic logic.
P. Mateus:
Internal paracategories.
J. Ramos:
Combining logics versus Grothendieck institutions.
- AMS 2003 Spring Western Section Meeting, S.
Francisco, USA, May 4, 2003.
M. Campagnolo:
On the complexity of real recursive functions.
- TYPES 2003 Meeting, Torino, Italy, April 30, 2003.
L. Cruz-Filipe: C-CoRN:
The Constructive Coq Repository at Nijmegen.
- Penn Security Seminar, University of Pennsylvania,
Philadelphia, USA, April 29, 2003.
P. Mateus:
Composition of cryptographic protocols in a probabilistic
polynomial-time process calculus.
- MathInCoq Meeting, Orsay, France, April 24, 2003.
L. Cruz-Filipe: What do
we want from a presentation tool?
- Seminaire de l'Institut de Logique et le Centre de Recherches
Sémiologiques, Université de Neuchâtel, Switzerland, April 2, 2003.
J. Marcos: How
many logical values are there?
- BRICS Seminar, Department of Computer Science,
Aalborg University, Denmark, March 6, 2003.
A. Ravara:
Controlling migration in distributed pi-calculus.
- Ny-Meetings, BRICS, Department of Computer
Science, Aalborg University, Denmark, March 4, 2003.
A. Ravara:
Session types for inter-process communication.
2002
- Dia Aberto do CMUP, Centro de Matemática da Universidade
do Porto, November 15-16, 2002.
P. Resende:
Quantales em geometria não comutativa.
- 3rd International Conference on Unconventional Models of
Computation (UMC 2002), Kobe, Japan, October 15-19, 2002.
M. Campagnolo
[invited talk]: The complexity of real recursive functions.
- Workshop on Categorical Structures for Descent and Galois
Theory, Hopf Algebras and Semiabelian Categories, Fields Institute,
Toronto, Canada, September 23-28, 2002.
P. Resende: From
algebras to quantales and back.
- 16th WADT, Frauenchiemsee, Germany, September
24-27, 2002.
C. Caleiro:
Completeness results for fibred parchments - Beyond the propositional
base.
- FOCLASA 2002 (Satellite Event of CONCUR 2002), Brno, Czech
Republic, August 24, 2002.
A. Ravara:
Typing the behaviour of objects and components using session types.
- Workshop in THPOLs 2002, Hamton, VA, USA, August 19, 2002.
L. Cruz-Filipe:
Formalizing Real Calculus in Coq.
- Meeting on the Theory and Applications of Quantales, IST,
Lisboa, July 16-18, 2002.
P. Resende:
Sub-lattice 2-forms and quantales.
P. Resende:
Quantales that classify Penrose tilings.
- Workshop on Sheaves and Topoi in Physics, Imperial
College, UK, July 11-12, 2002.
P. Resende:
Quantales, C*-algebras, and Penrose tilings.
- International Conference on Quantum Structures, TU Vienna,
Austria, July 1-7, 2002.
P. Resende: How
quantum are quantales?
- Software Engineering Seminar, Institut für Informatik,
University of Freiburg, Germany, July 15, 2002.
J. Rasga:
Labelled first order based logic systems.
- Ciclo de Seminários do Departamento de Engenharia Informática,
IST, Lisboa, April 30, 2002.
C. Caleiro:
Analysing authentication protocols - a distributed temporal logic based
approach.
- TYPES 2002 Workshop, Berg en Dal, The Netherlands, April
24-28, 2002.
L. Cruz-Filipe: The
fundamental theorem of calculus in Coq.
- Profundis General Meeting, INRIA, Sophia Antipolis,
France, April 25-27, 2002.
A. Ravara:
Behavioural types for mobile calculi with labels.
- Eigth International Conference on Principles of Knowledge
Representation and Reasoning (KR2002), Toulouse, France, April
22-25, 2002.
P. Mateus:
Observations and the probabilistic situation calculus.
- Seminário de Lógica Matemática, IST/FCUL,
Lisboa, Portugal, April 2, 16 & 23, 2002.
A. Sernadas:
Topos-theoretic semantics of fibring.
- BRICS Seminar, Department of Computer Science,
Aalborg University, Denmark, March 26, 2002.
A. Ravara: A
lexically scoped distributed pi-calculus.
- Ciclo de Seminários do Departamento de Engenharia Informática,
IST, Lisboa, March 26, 2002.
P. Mateus:
Secure computation in a probabilistic polynomial-time process calculus.
- Mikado General Meeting, INRIA, Sophia Antipolis, France,
February 19-20, 2002.
A. Ravara: A
lexically scoped distributed pi-calculus.
- Algebra Seminar, School of Mathematical Sciences,
University of Sussex, February 15, 2002.
P. Resende:
Quantales, C*-algebras, and Penrose tilings.
- Reunião Mikado-Profundis, IST, Lisboa, February 14, 2002.
C. Caleiro:
Lógica para especificação e verificação de protocolos de segurança.
P. Mateus:
Álgebra de processos probabilísticos para computação segura.
- Encontro Nacional de Matemática'02 da Sociedade Portuguesa
de Matemática, Universidade de Coimbra, February 5-8, 2002.
P. Resende
[plenary session]: Quantales.
P. Mateus:
Protocolos de computação segura.
M. Campagnolo:
Funções reais recursivas.
2001
- Logic and Computation Seminar, University of Pennsylvania,
Philadelphia, USA, October 15, 2001.
P. Mateus: An
algebraic approach to combining stochastic systems.
- Seminário do Departamento de Ciência de Computadores,
Faculdade de Ciências da Universidade do Porto Portugal, September 21,
2001.
A. Ravara:
Typing non-uniform concurrent objects.
- International Conference on Artificial Intelligence
(IC-AI'2001), Las Vegas NV, USA, June 25-28, 2001.
C. Caleiro:
Non-truth-functional fibred semantics.
- Software Engineering Seminar, Institut für
Informatik, University of Freiburg, Germany, May 22, 2001.
C. Caleiro:
Distributed temporal logic.
- Seminário de Lógica Matemática, Complexo II da
UL, Lisboa, Portugal, May 10, 2001.
M. Campagnolo:
Elementos para uma teoria de circuitos analógicos e respectiva
complexidade computacional.
- Topological Quantum Field Theory Club Meeting,
IST, Lisboa, April 26, 2001.
P. Resende:
Quantales and C*-algebras.
- IV Iberoamerican Conference on Topology and its
Applications, Coimbra,
Portugal, April 18-21, 2001.
P. Resende: On
quantales and spectra of C*-algebras.
- 15th WADT (Satellite Event of ETAPS'01), Genova,
Italy, April 1-3, 2001.
C. Caleiro:
Combining logics - Parchments revisited.
- Seminário de Lógica Matemática, Complexo II da
UL, Lisboa, Portugal, March 29, 2001.
M. Campagnolo:
Computational complexity of real recursive functions - from linear
space to elementary space.
- Seminário de Reticulados, Álgebra Universal e Lógica
Algébrica, Centro de Álgebra da Universidade de Lisboa,
Portugal, March 29, 2001.
P. Resende:
Quantales, álgebras-C* e computação.
- Encontros de Quarta Feira, Faculdade de Ciências
da Universidade de Lisboa, Portugal, March 28, 2001.
A. Ravara:
Cálculo pi distribuido.
- Computer Science Seminar, School of
Cognitive and Computing Sciences, University of Sussex, UK, March 2,
2001.
A. Ravara:
Distributed pi-calculus revisited.
- Algebraic Seminar, Department of Algebra and Geometry,
Masaryk University, Brno, Czech Republic, February 22, 2001.
P. Resende:
Tropological points of quantales.
- Seminário de Reticulados, Álgebra Universal e Lógica
Algébrica, Centro de Álgebra da Universidade de Lisboa,
Portugal, February 15, 2001.
C. Sernadas:
Fibrilação modulada e o problema do colapso.
- Computer Science Seminar, INP, Toulouse, France,
February 12, 2001.
A. Ravara:
Process mobility without migration primitives.
- MARVEL Project Meeting, INRIA, Sophia Antipolis,
France, February 5, 2001.
A. Ravara:
Process mobility without migration primitives.
- Encontros de Quarta Feira, Faculdade de Ciências
da Universidade de Lisboa, Portugal, January 25, 2001.
C. Caleiro:
Lógica temporal distribuída.
2000
- Second International Conference on Unconventional
Models of Computation, Solvay Institute, Brussels, December 13-16,
2000.
M. Campagnolo:
Upper and lower bounds on continuous-time computation.
- Encontros de Quarta Feira, Faculdade de Ciências
da Universidade de Lisboa, Portugal, December 14, 2000.
P. Resende:
Independência, causalidade e estruturas concorrentes em quantales.
- Dynamics and Computation Seminar, Santa Fe Institute, USA,
December 7, 2000.
M. Campagnolo:
Upper and lower bounds on continuous-time computation.
- Encontro LOGCOMP, Lisboa, Portugal, September
29, 2000.
J. Ramos:
Agentes no Cálculo de Estados e Situações.
C. Caleiro:
Sincronização versus Fibrilação.
A. Ravara: What
is TyCO, after all?
P. Mateus:
Composicionalidade de Espaços de Probabilidades.
J. Rasga:
Fibrilação de Sistemas Dedutivos Etiquetados.
- Software Engineering Seminar, Institut für
Informatik, University of Freiburg, Germany, September 4, 2000.
F. M. Dionísio:
Institutional defaults.
- International Conference on Concurrency Theory (CONCUR
2000), State College, USA, August 22-25, 2000.
A. Ravara:
Typing non-uniform concurrent objects.
- Pi-Meetings, INRIA, Sophia-Antipolis, France,
June 20, 2000.
A. Ravara: What
is TyCO, after all?
- Dagstuhl Seminar on Topology in Computer Science:
Constructivity; Asymmetry and Partiality; Digitization,
Dagstuhl, Germany, June 4-9, 2000.
P. Resende:
Noncommutative topology in computer science.
- Seminário de Lógica Matemática, IST/FCUL,
Lisboa, Portugal, May 4, 11 & 18, 2000.
A. Sernadas:
Fibring - Completeness preservation.
- 4th Conference on Real Numbers and Computers, Schloss
Dagstuhl, Germany, April 17-19, 2000.
M. Campagnolo:
An analog characterization of the subrecursive functions.
- Workshop on Current Research on Operational Quantum Logic
III, Free University of Brussels, Belgium, April 10-14, 2000.
P. Resende:
Quantales and localic dynamical systems.
- 72nd Peripatetic Seminar on Sheaves and Logic,
Brussels, Belgium, April 8-9, 2000.
P. Resende:
Quantales as spaces of dynamical systems.
- Segundo Debate sobre a Investigação Matemática em Portugal,
Coimbra, Portugal, April 1-2, 2000.
C. Sernadas:
Unidades de investigação e departamentos universitários.
- ASPIRE Workshop, Berlin, Germany, March 23-25,
2000.
J. Ramos:
Specification and verification of agent communities in the SSC.
C. Caleiro:
Decidability and trace-consistency of DTL.
- Software Engineering Seminar, Institut für
Informatik, University of Freiburg, Germany, March 13-17, 2000.
F. M. Dionísio: Crash
Course on Category Theory.
- Seminário de Álgebra, Centro de Matemática da Universidade
de Coimbra, Portugal, March 15, 2000.
P. Resende:
Quantales, noncommutative topology and observable properties of
systems.
- Seminário de Matemática, ISA, Portugal, February
25, 2000.
M. Campagnolo:
Funções recursivas sobre os reais - computação e equações diferenciais.
- Theory Seminar, Department of Computing, Imperial College,
London, UK, February 23, 2000.
P. Resende:
Quantales, noncommutative topology and computer science.
- Seminar on Logical and Algebraic Methods behind Systems,
Department of Pure Mathematics, Open University, Milton Keynes, UK,
February 16, 2000.
P. Resende:
Quantales, noncommutative topology and computer science.
1999
- Algebraic Seminar, Department of Algebra and Geometry,
Masaryk University, Brno, Czech Republic, December 9, 1999.
P. Resende:
Sup-lattice-ordered algebras.
- Encontro LOGCOMP, Lisboa, Portugal, December 6,
1999.
A. Ravara:
Typing non-uniform concurrent objects.
C. Caleiro:
Pushouts vs co-Cartesian liftings.
P. Mateus:
Universal realization of probabilistic automata.
H. Lourenço:
Model checking within the institution of hybrid systems.
J. Rasga: Fibring
of labelled deductive systems.
- Encontros de Quarta Feira, Faculdade de Ciências
da Universidade de Lisboa, Portugal, November 19, 1999.
M. Campagnolo:
Analog computation of subrecursive functions.
- Santa Fe Institute Seminar, Santa Fe Institute, USA,
November 11, 1999.
M. Campagnolo:
Analog computation of subrecursive functions.
- Algebraic Seminar, Department of Algebra and Geometry,
Masaryk University, Brno, Czech Republic, October 21, 1999.
P. Resende:
Quantales, concurrent observations and event structures.
- OOSDS'99 (Satellite Event of ICFP'99), Paris,
France, September 26, 1999.
A. Ravara:
Programming and implementation issues in non-unifom TyCO.
- ASPIRE Meeting, Linz, Austria, September 24-25,
1999.
A. Ravara:
Typing non-unifom concurrent objects.
J. Rasga: Model
theoretic fibring of logics with terms and binding operators.
- 14th WADT, Château de Bonas, France, September
15-18, 1999.
P. Mateus:
Combining probabilistic automata: categorical approach.
H. Lourenço:
An institution of hybrid systems.
- CTCS'99, Edinburgh, UK, September 10-12, 1999.
P. Mateus:
Precategories for combining probabilistic automata.
- Category Theory 99, Coimbra, Portugal, July
19-24, 1999.
P. Mateus:
Precategories and applications to probabilistic automata.
- Pi-Meetings, INRIA, Sophia-Antipolis, France,
June 2, 1999.
A. Ravara:
Typing non-uniform concurrent objects - II.
- IRIT Seminar, Toulouse, France, May 27, 1999.
A. Ravara:
Typing non-uniform concurrent objects.
- FLAIRS'99, Orlando, USA, May 3-5, 1999.
P. Mateus:
Non-determinism and uncertainty in the situation calculus.
- Joint ASPIRE / FIREworks Meeting, Evry, France,
April 8-10, 1999.
F. M. Dionísio:
Structuring defaults for features.
P. Mateus:
Precategories.
H. Lourenço:
Logic of hybrid systems: Institution.
- Pi-Meetings, INRIA, Sophia-Antipolis, France,
April 7, 1999.
A. Ravara:
Typing non-uniform concurrent objects - I.
- Encontros de Quarta Feira, Faculdade de Ciências
da Universidade de Lisboa, Portugal, March 3, 1999.
A. Ravara: What
is TyCO after all?
- BRICS Seminar, Aarhus University, Denmark,
February 18, 1999.
A. Ravara:
Typing non-uniform concurrent objects.
- Ny-Meetings, BRICS, Aalborg University, Denmark,
February 5, 1999.
A. Ravara:
Typing non-uniform concurrent objects - II.
- Ny-Meetings, BRICS, Aalborg University, Denmark,
January 15, 1999.
A. Ravara:
Typing non-uniform concurrent objects - I.
- Encontro ACL-LOGCOMP, Coimbra, Portugal,
February 10-11, 1999.
A. Sernadas:
Fibring - Completeness preservation?
C. Sernadas:
Fibring of algebraic semantics?
P. Resende:
Quantales of concurrent observations.
C. Caleiro:
Trios.
P. Mateus:
Adjunctions in precategories.
H. Lourenço:
Institution of hybrid systems.
1998
- Encontros de Quarta Feira, Faculdade de Ciências
da Universidade de Lisboa, Portugal, December 2, 1998.
A. Ravara:
Communication errors in the pi-calculus are undecidable.
- AiML 98 (Advances in Modal Logic 98), Uppsala,
Sweden, October 16-18, 1998.
P. Gouveia:
Abductive reasoning over temporal specifications of objects.
- FROCOS 98 (Frontiers of Combining Systems 98),
Amsterdam, Netherlands, October 2-4, 1998.
C. Sernadas:
Categorial fibring of logics with terms and binding operators.
- ASPIRE Meeting, Namur, Belgium, September 18-19,
1998.
P. Resende:
Quantales and observational logic in concurrency and specification
(tutorial).
P. Gouveia:
Abductive reasoning over temporal specifications of objects.
A. S. Guerra:
Defaults in specifications - Distance functions between temporal
models.
- 68th Peripatetic Seminar on Sheaves and Logic,
Brno, Czech Repulic, August 29-30, 1998.
P. Resende:
Quantale modules and observational logic.
- Third ESSLLI Student Session, Saarbrucken,
Germany, August 17-28, 1998.
A. S. Guerra:
Defaults in specifications - Distance functions between temporal
models.
- Workshop on the Semantics of Objects as Processes
(Satellite Event of ICALP'98), Aalborg, Denmark, July 18, 1998.
A. Ravara:
Towards an algebra of object types.
- Lógica 98, Évora, Portugal, July 13-18, 1998.
C. Sernadas:
Fibring of logics.
J. Carmo: Modal
logics of action: brief overview.
J. Carmo:
Completeness of a conditional obligation operator.
- Segundo Encontro ACL, Figueira da Foz, Portugal,
June 22-23, 1998.
C. Sernadas:
Fibring of logics with terms and binding operators: semantics.
P. Resende:
(In)completeness in observational logic.
C. Caleiro:
Parameterization of logics.
A. Ravara: An
algebra of dynamic object types.
M. J. Coutinho:
Logic systems - (co)limits and (co)cartesian liftings.
P. Mateus:
Combining probabilistic automata.
H. Lourenço:
Aggregation and interconnection of hybrid automata.
- FIREworks Meeting, Magdeburg, Germany, May
15-16, 1998.
P. Mateus:
Combining probabilistic automata.
A. S. Guerra:
Feature addition as composition of hierarchic default specifications.
H. Lourenço:
Aggregation and interconnection of hybrid automata - categorial
characterization.
- MFPS-14 (14th International Workshop on the
Mathematical Foundations of Programming Semantics), Queen Mary and
Westfield College, London, UK, May 10-13, 1998.
P. Resende: On
observing independence and causality.
- Encontros de Quarta Feira, Faculdade de Ciências
da Universidade de Lisboa, Portugal, April 29, 1998.
A. Ravara: An
object calculus with implicit communication.
- 13th WADT (Satellite Event of ETAPS'98),
Fundação Calouste Gulbenkian, Lisboa, Portugal, April 2-4, 1998.
C. Sernadas:
Fibring of logics with terms and binding operators.
P. Resende:
Observational logic.
J. Ramos: The
situation and state calculus versus temporal logic.
C. Caleiro:
Parameterisation of logics.
P. Mateus:
Aggregation and interconnection of probabilistic automata.
- ETAPS'98 Tutorials (Satellite Event of
ETAPS'98), Faculdade de Ciências de Lisboa, Portugal, March 29, 1998.
C. Sernadas:
Categorial techniques for combining logics.
- Encontros de Quarta Feira, Faculdade de Ciências
da Universidade de Lisboa, Portugal, March 25, 1998.
A. Ravara: A
type algebra for concurrent objects.
- Encontros de Quarta Feira, Faculdade de Ciências
da Universidade de Lisboa, Portugal, February 18, 1998.
F. M. Dionísio:
Composition of hierarchic default specifications.
- Dagstuhl Seminar 9807, Schloss Dagstuhl, Wadern,
Germany, February 16-20, 1998.
P. Resende:
Observational logic for the specification of concurrent systems.
C. Caleiro:
Combining logics for distribution.
A. Ravara: A
type algebra for concurrent objects.
- Encontro Nacional de Matemática 98, Braga,
Portugal, February 9-12, 1998.
C. Sernadas:
Impacto da Álgebra na Computação.
- Encontro ESCOLA-ACL, Universidade de Coimbra,
Portugal, January 26-27, 1998.
C. Sernadas:
Fibrilação de lógicas com termos.
P. Resende:
Lógica observacional e sistemas tropológicos.
P. Gouveia:
Raciocínio abdutivo sobre especificações temporais de objectos.
J. Ramos: Lógica
temporal ramificada versus cálculo de situações.
C. Caleiro:
Adjunções entre sistemas lógicos.
A. Ravara:
Álgebra de tipos para um cálculo de objectos concorrentes.
M. J. Coutinho:
Morfismos entre sistemas lógicos.
P. Mateus:
Agregação e interconexão de autómatos probabilísticos.
H. Lourenço:
Verificação de propriedades em sistemas híbridos lineares.
Compilation for previous years under construction:
1997
- 9th European Summer School in Logic, Language and Information,
Aix-en-Provence, France, August 11-22, 1997.
A. Sernadas and C. Sernadas: Course on
categorical techniques in combining logics (7h30m).
- FIREworks Meeting, U Namur, Belgium, May 23-24, 1997.
A. Sernadas:
Synchronization with mixed rules - completeness preservation.
1996
- OOP'96, Lisboa, Portugal, October 1-3, 1996.
A. Sernadas:
Feature-oriented specifications.
1993
- 3rd IS-CORE Workshop, Hannover, Germany, September 27-28,
1993.
A. Sernadas:
Denotational semantics of object specification within an arbitrary
temporal logic institution
- 5th European Summer School in Logic, Language and Information,
Lisboa, Portugal, August 16-27, 1993.
A. Sernadas:
Course on object-oriented programming - a logical approach (7h30m).
1992
- FAC3 Workshop 92, Braga, Portugal, September 7-8, 1992.
A. Sernadas: An
institution of object behaviour.
- Dagstuhl Seminar 9212, Schloss Dagstuhl, Wadern,
Germany, March 16-19, 1992.
A. Sernadas:
Object template institution.
- Database Group Seminar, U Braunschweig, Germany, January
9, 1992.
A. Sernadas:
Object specification with pictures.
1990
- Comemorações do 50º Aniversário da Sociedade Portuguesa de
Matemática, Lisboa, Portugal, December 12-14, 1990.
A. Sernadas: O
cálculo-lambda.
- DIGITAL Portuguesa, Lisboa, Portugal, September 17-21,
1990.
A. Sernadas:
OBLOG - an informal introduction (30h course).
1989
- Free University of Amsterdam, The Netherlands, December 19, 1989.
A. Sernadas: The
OBLOG approach to object-oriented systems development (3h course).
- First IS-CORE Workshop, Imperial College, London, UK,
September 28-29, 1989.
A. Sernadas:
Object concept.
- IFIP WG 8.1 Meeting, Sesimbra, Portugal, June 5-8, 1989.
A. Sernadas:
Object-oriented conceptual modelling.
- Seminário Hugo Ribeiro, IST, Lisboa, Portugal, April
27-29, 1989.
A. Sernadas:
Modular construction of theories.
- IV Encontro Nacional da Sociedade Portuguesa de
Matemática,
Porto, Portugal, April 3-5, 1989.
A. Sernadas
[invited talk]: O matemático na indústria.
A. Sernadas:
Tipos de objectos abstractos.
Last update: October 15, 2008.