Model-theoretic foundations of logic programming Speaker: Ionut Tutu (Royal Holloway University of London) Thursday, December 19, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

Introduction to Descriptive Complexity III Speaker: Claudia Chirita (Univ. of Bucharest) Thursday, December 12, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

Introduction to Descriptive Complexity II Speaker: Claudia Chirita Thursday, December 5, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

Introduction to Descriptive Complexity Speaker: Claudia Chirita (University of Bucharest) Thursday, November 28, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

Recurent and automatic n-dimensional sequences over finite alphabets II Speaker: Mihai Prunescu (IMAR) Thursday, November 14, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

Recurent and automatic n-dimensional sequences over finite alphabets Speaker: Mihai Prunescu (IMAR) Thursday, November 7, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

A general approach to de Finetti`s criterion for uncertainty measures on many-valued events Speaker: Tommaso Flaminio (Università dell`Insubria) Thursday, October 31, 2013, 12:00 Sala 306-307 "Constantin Banica", IMAR

A proposal of a unified theory for the foundations of mathematics Speaker: Alexandru Muresan Thursday, June 27, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

First steps into non-standard analysis (III) Speaker: Andrei Sipos Thursday, June 6, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

First steps into non-standard analysis (II) Speaker: Andrei Sipos Thursday, May 30, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

First steps into non-standard analysis Speaker: Andrei Sipos Thursday, May 23, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

An invitation to ultraproducts II Speaker: Andrei Sipos Thursday, April 25, 2013, 12:00 Sala 306-307 "Constantin Banica", IMAR

An invitation to ultraproducts Speaker: Andrei Sipos Thursday, April 18, 2013, 12:00 Sala 306-307 "Constantin Banica", IMAR

Logical metatheorems for metric spaces II Speaker: Daniel Ivan Thursday, March 28, 2013, 12:00 Sala 306-307 "Constantin Banica", IMAR

Logical metatheorems for metric spaces I Speaker: Daniel Ivan Thursday, March 21, 2013, 12:00 Sala 306-307 "Constantin Banica", IMAR

1. Institution theory: introduction Speaker: Razvan Diaconescu Thursday, March 7, 2013, 11:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

2. Institution theory: internal logic Speaker: Razvan Diaconescu Thursday, March 7, 2013, 14:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

The use of modal operators for more efficient functional synthesis I Speaker: Dan Hernest Thursday, February 28, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

An application of proof mining to nonlinear iterations IV Speaker: Laurentiu Leustean Thursday, February 21, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

An application of proof mining to nonlinear iterations III Speaker: Laurentiu Leustean Thursday, February 14, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

An application of proof mining to nonlinear iterations II Speaker: Laurentiu Leustean Thursday, February 7, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

An application of proof mining to nonlinear iterations I Speaker: Laurentiu Leustean Thursday, January 31, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

Proof interpretations IV Speaker: Daniel Ivan Thursday, January 24, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

Omitting types theorem for a non-commutative many-valued logic Speaker: Denisa Diaconescu (FMI) Thursday, January 17, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR

Proof interpretations III Speaker: Daniel Ivan Thursday, January 10, 2013, 12:00 Sala 309-310 "Gheorghe Vranceanu", IMAR