Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Contributed Talks

Contributed Talks

Every speaker in the contributed session will have 15 min for their talk, plus some minutes for dicussions.

Below you can find a schedule of the talks.

Contributed talks

Speaker Title
Bahareh Afshari Information Content and Computability in the n-C.E. Hierarchy
Hajnal Andréka Relativity theory for logicians and new computing paradigms (talk cancelled)
Marat Arslanov Generalized tabular reducibilities in infinite levels of Ershov hierarchy (talk cancelled)
Edwin Beggs Computing with Newtonian machines
Josef Berger The logical strength of the uniform continuity theorem
Jens Blanck Note on Reducibility Between Domain Representations
Riccardo Bruni Gödel, Turing, the Undecidability Results and the Nature of Human Mind
Douglas Cenzer Random Closed Sets
Douglas Cenzer Logspace Complexity of Functions and Structures
Alexey Chernov Prefix-like Complexities and Computability in the Limit
Jose Felix Costa and Jerzy Mycka The conjecture P ≠ NP given by some analytic condition
Paolo Cotogno Decidability of arithmetic through hypercomputation: logical objections (talk cancelled)
Fredrik Dahlgren Partial Continuous Functions and Admissible Domain Representations
Ugo Dal Lago An Invariant Cost Model for the Lambda Calculus
Stefan Dantchev On the complexity of the Sperner Lemma
Barnaby Dawson Infinite Time Turing Computation
Gregorio de Miguel Casado The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design
Pavel Demenkov Computer simulation replacements aminoacids in proteins (talk cancelled)
Costas Dimitracopoulos On a problem of J. Paris
Karim Djemame Risk Management in Grid Computing
David Doty Every sequence is decompressible from a random one
Jérôme Durand-Lose Reversible conservative rational abstract geometrical computation is Turing-universal
Birgit Elbl On generalising predicate abstraction
Willem Fouche Brownian motion and Kolmogorov complexity
Christine Gaßner A Structure with P = NP
Christine Gaßner Expansions of Structures with P = NP
Alexander Gavryushkin On Complexity of Ehrenfeucht Theories with Computable Model
Annelies Gerber Some Mathematical Properties of Input Resolution Refutations with Non-Tautological Resolvents
Philipp Gerhardy Functional interpretation and modified realizability interpretation of the double-negation shift
Guido Gherardi An Analysis of Urysohn and Tietze-Urysohn Lemmas according to Borel Computability
Lev Gordeev Toward combinatorial proof of P < NP. Basic approach
Neal Harman Models of Timing Abstraction in Simultaneous Multithreaded and Multi-Core Processors
Charles Milton Harris Enumeration reducibility with polynomial time bounds
Mircea-Dan Hernest NdE - Normalization during Extraction
Stefan Hetzl A Similarity Criterion for Proofs
Eiju Hirowatari Finite Prediction of Recursive Real-Valued Functions
Tie Hou Coinductive Proofs for Basic Real Computation
Paulin Jacobe de Naurois A Measure of Space for Computing over the Reals
Iskander Kalimullin The Dyment reducibility on the algebraic structures and on the families of subsets of $omega$
Akitoshi Kawamura On real primitive recursive functions and differential algebraicity
Viv Kendon Non-unitary quantum walks: exploring the space between classical and quantum computing
Peter Koepke Infinite time register machines
Peter Koepke and Ryan Siders Computing the Recursive Truth Predicate on Ordinal Register Machines
Ekaterina Komendantskaya Bilattice-based Logic Programs: Automated Reasoning and Neural Computation
Juha Kontinen Logical characterization of the counting hierarchy
Lars Kristiansen Complexity-Theoretic Hierarchies
Victor Selivanov Undecidability in the Homomorphic Quasiorder  of Finite Labeled Forests
Andrew Edwin Marcus Lewis The jump classes of minimal covers
Chung-Chih Li Clocking Type-2 Computation in The Unit Cost Model
John Longley On the calculating power of Laplace's demon
Maria Lopez-Valdes Scaled Dimension of Individual Strings
Sheri Markose Gödelian Foundations of Non-Computability and Heterogeneity In Economic Forecasting and Strategic Innovation
Barnaby Martin Towards a trichotomy for quantified H-coloring.
Richard McKinley Sequent calculi and the identity of proofs
Robert K Meyer The Key to the Universe, Part 2
Greg Michaelson and Paul Cockshott Constraints on hypercomputation
Liesbeth De Mol Questions Concerning the Usefulness of Small Universal Systems
Morteza Moniri Basic Model Theory for Bounded Theories (talk cancelled)
Philippe Moser Martingale Families and Dimension in P
Keng Meng Ng et. al. Degrees of weakly computable reals
Kerry Ojakian The Method of Approximation in Real Computation
Peter Peshev A subrecursive refinement of the fundamental theorem of algebra
Petrus Hendrik Potgieter Hypercomputing the Mandelbrot Set?
Vadim Puzarenko Definability of the Field of Reals in Admissible Sets
Ulrich Berger Integrating Functional Programming Into C++: Implementation and Verification
Victor Selivanov The Algebra of Labeled Forests  Modulo Homomorphic Equivalence
Anton Setzer Partial Recursive Functions in Martin-Löf Type Theory
Merlijn Sevenster and Tero Tulenheimo Partially ordered connectives and ∑11 on finite models
Krishna. S Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes (talk cancelled)
Amit Shomrat Long games with a short memory
Alan Skelley Third-Order Computation and Bounded Arithmetic
Boris Solon Co-total enumeration degrees
Ivan N. Soskov Extensions of the semi-lattice of the enumeration degrees
Alexandra Soskova Relativized Degree Spectra
Mariya Ivanova Soskova Genericity and Nonbounding
Alexey Stukachev On inner constructivizability of admissible sets
Sándor Vályi Solving a PSPACE-complete problem by a linear interval-valued computation
Andreas Weiermann A sharp phase transition threshold for elementary descent recursive functions
Marek Zaionc Asymptotic Densities in Logic
Júlia Zappe Do Noetherian modules have Noetherian basis functions? (talk cancelled)
Albert Ziegler Some Reflections on the Principle of Image Collection
Martin Ziegler Uncomputability below and up to the Real Halting Problem
Jeffery Zucker Primitive Recursive Selection Functions over Abstract Algebras


Schedule of Contributed Talks

Faraday B Faraday C Faraday D Faraday E Faraday J
Sat
July 1st
afternoon
14:30-14:50 Ivan N. Soskov
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

ins4.pdf
Josef Berger Barnaby Dawson Lev Gordeev
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

TowardSh[..].pdf
Jose Felix Costa and Jerzy Mycka
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

cie.ps
14:50-15:10 Boris Solon Peter Koepke and Ryan Siders
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

RyanSlid[..].pdf
Merlijn Sevenster and Tero Tulenheimo Christine Gaßner
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

GassnerA[..].pdf
15:10-15:30 Keng Meng Ng et. al.
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

wu.pdf
Anton Setzer
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

master.pdf
Peter Koepke Amit Shomrat
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

CiE06-sl[..].pdf
Christine Gaßner
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

GassnerE[..].pdf
Sat
July 1st
afternoon
17:00-17:20 Alexandra Soskova
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

aas.pdf
Birgit Elbl
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

CiE06-El[..].pdf
Andreas Weiermann Riccardo Bruni
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

RB_CIE06[..].pdf
Jérôme Durand-Lose
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

Expose.pdf
17:20-17:40 Alexey Stukachev
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

talkCiE0[..].pdf
Ekaterina Komendantskaya
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

CiEPrese[..].pdf
Stefan Hetzl
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

slides.ps
John Longley Karim Djemame
17:40-18:00 Vadim Puzarenko Annelies Gerber
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

GerberCI[..].pdf
Robert K Meyer Marek Zaionc
Faraday A Faraday B Faraday C Faraday D Faraday J
Mon
July 3rd
morning
10:30-10:50 Mariya Ivanova Soskova
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

GenericP[..].pdf
Albert Ziegler
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

ImageCol[..].ppt
Fredrik Dahlgren
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

swansea.pdf
Douglas Cenzer
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

zia.pdf
10:50-11:10 Jeffery Zucker Viv Kendon
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

qwnonuou[..].pdf
Jens Blanck
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

cie2006r[..].pdf
Alexey Chernov
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

cie.pdf
11:10-11:30 Charles Milton Harris
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

peTalk.pdf
Lars Kristiansen Greg Michaelson and Paul Cockshott
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

Constrai[..].ppt
Martin Ziegler
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

vortrag.pdf
Liesbeth De Mol
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

CIEPres.pdf
11:30-11:50 Iskander Kalimullin Ugo Dal Lago
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

cieslide[..].pdf
Paulin Jacobe de Naurois
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

JacobeDe[..].pdf
Tue
July 4th
morning
10:30-10:50 Willem Fouche
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

talk_swa[..].pdf
Stefan Dantchev
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

main.pdf
Edwin Beggs
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

Newtonia[..].pdf
Gregorio de Miguel Casado
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

deMiguel[..].pdf
Juha Kontinen
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

SlidesCI[..].pdf
10:50-11:10 Philippe Moser
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

diminp.ps
Alan Skelley
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

cie06sli[..].pdf
István Németi
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

cie06pre[..].pdf
Chung-Chih Li
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

UnitCost[..].pdf
Maria Lopez-Valdes
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

SDIS.pdf
11:10-11:30 Bahareh Afshari Costas Dimitracopoulos Petrus Hendrik Potgieter
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

PHP_Mand[..].pdf
Tie Hou
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

Tie.pdf
Barnaby Martin
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

CiE2006_[..].pdf
11:30-11:50 David Doty
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

esdro-pr[..].pdf
Sándor Vályi
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

Valyis.p[..].ppt
Eiju Hirowatari
Tue
July 4th
afternoon
14:30-14:50 Douglas Cenzer
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

paul.pdf
Victor Selivanov Philipp Gerhardy
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

cie2006.pdf
Akitoshi Kawamura
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

slide.pdf
Neal Harman
14:50-15:10 Alexander Gavryushkin Victor Selivanov Mircea-Dan Hernest Kerry Ojakian Sheri Markose
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

SheriMar[..].ppt
15:10-15:30 Guido Gherardi
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

Tietze.pdf
Andrew Edwin Marcus Lewis Richard McKinley Peter Peshev
Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 249

FTA20MIN.pdf
Ulrich Berger

Room Caption

The lecture rooms Faraday A-E, J can be found on the 1st floor of the Faraday tower, building 8.2 on campus map.
websites: Arnold Beckmann
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie06/conf-code.php on line 135
2006-07-10 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net