|
Preliminary list of invited speakers
At this moment, the list includes
- Klaus Ambos-Spies (Heidelberg, Germany): Strongly bounded Turing reducibilities,
- Marat Arslanov (Kazan', Russia): Applications of the Ershov difference hierarchy in the computable algebra and the complexity theory (abstract),
- Serikzhan Badaev (Almaty, Kazakhstan): Computable numberings in the Ershov hierarchy,
- Lev Beklemishev (Moscow, Russia): Provability algebras and scattered topology (abstract),
- Ulrich Berger (Swansea, UK): Realisability for coinduction with applications in computable analysis (abstract),
- S. Barry Cooper (Leeds, UK): Aspects of the Ershov hierarchy (abstract),
- B. Csima (Waterloo, Canada),
- Sy David Friedman (Vienna, Austria),
- Sergei Goncharov (Novosibirsk, Russia): Strongly constructive models and enumerations,
- Noam Greenberg (Wellington, New Zealand),
- Iskander Kalimullin (Kazan', Russia): Degree spectra of algebraic structures,
- Klaus Keimel (Darmstadt, Germany): Scott--Ershov domains in topology and analysis,
- Asylkhan Khisamiev (Novosibirsk, Russia): Universal functions over locally finite algebraic systems (abstract),
- Salma Kuhlmann (Konstanz, Germany): Valued differential fields of exponential logarithmic series (abstract),
- Angus Macintyre (London, UK),
- Andrei Mantsivoda (Irkutsk, Russia),
- Alexei Miasnikov (Montreal, Canada),
- Antonio Montalban (Chicago, USA): Counting the back-and-forth types (abstract),
- Aleksei Parshin (Moscow, Russia): Discrete nilpotent groups and algebraic geometry (abstract),
- Mikhail Peretyat'kin (Almaty, Kazakhstan): Expressive power of first-order predicate logic (abstract),
- Bruno Poizat (Lyon, France): Expansion of the ring in numerical computations (abstract),
- Vadim Puzarenko (Novosibirsk, Russia): Natural numbers and the generalized computability,
- Theodore A. Slaman (Berkeley, USA),
- Andrea Sorbi (Siena, Italy): The Medvedev lattice and intermediate propositional logics,
- Mariya Soskova (Sofia, Bulgaria): Definability and interpretability in the Sigma-0-2 enumeration degrees,
- Frank Stephan (Singapore, Singapore),
- Aleksei Stukachev (Novosibirsk, Russia): Semilattices of Sigma-degrees of structures,
- Irina Suprunenko (Minsk, Belarus'): Modular representations of the classical algebraic groups: restrictions to subsystem subgroups and properties of individual elements (abstract),
- Andrei Vasil'ev (Novosibirsk, Russia): Characterization of finite simple groups by arithmetical properties (abstract),
- Evgenii Vdovin (Novosibirsk, Russia): On the intersection of conjugate subgroups of finite index (abstract).
Last update: March 17, 2010