* Accepted Papers * Sponsors * Contact

FCT logo

*

Scientific Program

Monday, August 30

  • 9.00 - 10.00 Registration and Opening Ceremony ("Mihai Eminescu" Aula)
    • Prof.Dr. Gheorghe Popa, Rector of "A.I.Cuza" University
    • Prof.Dr. Viorel Barbu, Vice-President of The Romanian Academy
  • 10.00 - 11.00 Invited Lecture
      Marek Karpinski (University of Bonn, Princeton University): "Randomized Complexity of Linear Arrangements and Polyhedra"


  • 11.00 - 11.30 Coffee Break
    Session 1A
    Session Chair: Marek Karpinski

  • 11.30 - 12.00 Cristina Bazgan, W. Fernandez de la Vega :
      "A Polynomial Time Approximation Scheme for Dense Min 2Sat"
  • 12.00 - 12.30 Holger Spakowski, Jörg Vogel :
      "The Operators minCh and maxCh on the Polynomial Hierarchy"
  • 12.30 - 13.00 Frank Drewes :
      "The Complexity of the Exponential Output Size Problem for To Tree Transducers"
    Session 1B
    Session Chair: Gheorghe Paun

  • 11.30 - 12.00 Klaus Reinhardt :
      "A parallel context-free derivation hierarchy"
  • 12.00 - 12.30 Henning Bordihn, Jurgen Dassow, Gyorgy Vaszil :
      "Grammar Systems as Language Analyzers and Recursively Enumerable Languages"
  • 12.30 - 13.00 Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Stefan Taubenberger :
      "Correct translation of mutually recursive function systems in to TOL collage grammars"

    Session 2A
    Session Chair: Symeon Bozapalidis

  • 15.00 - 15.30 Laurent Juban :
      "Dichotomy Theorem for the Generalized Unique Satisfiability Problem"
  • 15.30 - 16.00 Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe :
      "Restrictive Acceptance Suffices for Equivalence Problems"
  • 16.00 - 16.30 Daniele Beauquier, Anatol Slissenko :
      "Decidable Classes of the Verification Problem in a Timed Predicate Logic"

    Session 2B
    Session Chair: Arto Salomaa

  • 15.00 - 15.30 Vesa Halava, Tero Harju, Mika Hirvensalo :
      "Generalized PCP is Decidable for Marked Morphisms"
  • 15.30 - 16.00 Jeffrey Shallit, Ming-wei Wang :
      "On Two-Sided Infinite Fixed Points of Morphisms"
  • 16.00 - 16.30 Manfred Droste, Dietrich Kuske :
      "On recognizable languages in divisibility monoids"

  • 16.30 - 17.00 Coffee Break
    Session 3A
    Session Chair: Chuzo Iwamoto

  • 17.00 - 17.30 Stavros Georgiades, Marios Mavronicolas, Paul Spirakis :
      "Optimal, Distributed Decision-Making: The Case of No Communication"
  • 17.30 - 18.00 Jurgen Forster :
      "On Relative Loss Bounds in Generalized Linear Regression"
  • 18.00 - 18.30 Sergio Cabello, Carles Padro and German Saez :
      "Secret Sharing Schemes with Detection of Cheaters for a General Access Structure"
    Session 3B
    Session Chair: Masami Ito

  • 17.00 - 17.30 Carlos Martin-Vide, Alexandru Mateescu :
      "Sewing Grammars"
  • 17.30 - 18.00 Pal Dömösi, Manfred Kudlek :
      "Strong Iteration Lemmata for Regular, Linear, Context-free, Linear Indexed Languages"
  • 18.00 - 18.30 Roman Kolpakov, Gregory Kucherov :
      "On Maximal Repetitions in Words"

  • 19.00 Honorary Professor of "A.I.Cuza" University - Award Ceremony

  • 19.30 Welcome Party
Top

Tuesday, August 31

  • 9.00 - 10.00 Invited Lecture
      Arto Salomaa (TUCS Turku): "Caesar and DNA. Views on Cryptology"
  • 10.00 - 11.00 Invited Lecture
      Boris Trakhtenbrot (University of Tel Aviv): "Automata and Their Interaction. Definitional Suggestions"


  • 11.00 - 11.30 Coffee Break
    Session 4A
    Session Chair: Gerard Bouldol

  • 11.30 - 12.00 Thomas Buchholz, Andreas Klein, Martin Kutrib :
      "Iterative Arrays with a Wee Bit Alternation"
  • 12.00 - 12.30 Isabelle Ryl, Yves Roos, Mireille Clerbout :
      "Generalized Synchronization Languages"
  • 12.30 - 13.00 Franck Seynhaeve, Sophie Tison, Marc Tommasi :
      "Homomorphisms and Concurrent Term Rewriting"
    Session 4B
    Session Chair: Virgil-Emil Cazanescu

  • 11.30 - 12.00 Hendrik N. de Ridder, Hans L. Bodlaender :
      "Graph Automorphism with Maximal Projection Distances"
  • 12.00 - 12.30 Janez Zerovnik :
      "Deriving formulas for domination numbers of fasciagraphs and rotagraphs"
  • 12.30 - 13.00 Jonathan Sharp :
      "Tiling Multi-Dimensional Arrays"
    Session 5A
    Session Chair: Ugo Monatanari

  • 15.00 - 15.30 Viorica Sofronie-Stokkermans, Karel Stokkermans :
      "Modeling Interaction by Geometric Logic"
  • 15.30 - 16.00 H.C.M. Kleijn, R. Morin, B. Rozoy :
      "A General Categorical Connection between Local Event Structures and Local Traces"
  • 16.00 - 16.30 Dorel Lucanu :
      "Axiomatization of the Coherence Property for Categories of Symmetries"
    Session 5B
    Session Chair: Erzsébet Csubaj-Varju

  • 15.00 - 15.30 Chuzo Iwamoto, Tomonobu Hatsuyama, Kenichi Morita, Katsunobu Imai :
      "On Time-Constructible Functions in One-Dimensional Cellular Automata"
  • 15.30 - 16.00 Andrei Paun, Mihaela Paun :
      "State and Transition Complexity of Watson-Crick Finite Automata"
  • 16.00 - 16.30 Rudolf Freund :
      "Generalized P-Systems"

  • 16.30 - 17.00 Coffee Break
    Session 6A
    Session Chair: Matthew Henessy

  • 17.00 - 17.30 Catherine Piliere :
      "A Confluence Result for a typed lambda-Calculus of Exception Handling with Fixed-Point"
  • 17.30 - 18.00 Viviana Bono, Michele Bugliesi :
      "Interpretations of Extensible Objects and Types"
  • 18.00 - 18.30 Gerard Boudol, Silvano Dal-Zilio :
      "An Interpretation of Extensible Objects"
    Session 6B
    Session Chair: Gabriel Ciobanu

  • 17.00 - 17.30 Luca Breveglieri, Stefano Crespi Reghizzi, Alessandra Cherubini :
      "Modelling Operating Systems Schedulers with Multi-Stack-Queue Grammars"
  • 17.30 - 18.00 Teodor Knapik, Etienne Payet :
      "Synchronized Product Of Linear Bounded Machines"
  • 18.00 - 18.30 Klaus-Dieter Schewe, Bernhard Thalheim :
      "A Generalization of Dijkstra's Calculus to Typed Program Specifications"
Top

Wednesday, September 1

  • 9.00 - 10.00 Invited Lecture
      Matthew Hennessy (Sussex University): "Axiomatising Asynchronous Process Languages"
  • 10.00 - 11.00 Invited Lecture
      Ugo Montanari (University of Pisa): "Tile Transition Systems as Structured Coalgebras"


  • 11.00 - 11.30 Coffee Break
    Session 7A
    Session Chair: Boris Trakhtenbrot

  • 11.30 - 12.00 Catalin Dima :
      "Kleene Theorems for Event-Clock Automata"
  • 12.00 - 12.30 Irina Virbitskaite, Ekaterina Pokozy :
      "A Partial Order Method for the Verification of Time Petri Nets"
  • 12.30 - 13.00 Cristian Ene, Traian Muntean :
      "Expressiveness of Point-to-Point versus Broadcast Communications"
    Session 7B
    Session Chair: Paul Spirakis

  • 11.30 - 12.00 Ludwig Staiger :
      "The Kolmogorov Complexity of Real Numbers"
  • 12.00 - 12.30 Adriana Popovici, Dan Popovici :
      "delta-Uniformly Decidable Sets and Turing Machines"
  • 12.30 - 13.00 Luminita Dediu, Douglas S. Bridges :
      "Constructive notes on uniform and locally convex spaces"

  • 15.00 City Tour and Conference Dinner
Top

Thursday, September 2

WFLA'99 - Location: "Mihai Eminescu" Aula
  • 8.50 - 9.00 Opening of WFLA'99
  • 9.00 - 10.00 Invited Lecture
      Kai Salomaa: "Synchronization expressions and languages"


  • 10.00 - 10.20 Kahn Mason and Padmanabham Krishnan :
      "Decomposition of Timed Automata"
  • 10.20 - 10.40 Frantisek Mraz, Martin Platek and Martin Prochazka :
      "On Special Forms of Restarting Automata"


  • 10.40 - 11.10 Coffee Break

  • 11.10 - 11.30 Christian Wartena :
      "On the Concatenation of One-turn Pushdowns"
  • 11.30 - 11.50 Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe and Cristina Vertan :
      "Communicating stream X-machines systems are no more than X-machines"
  • 11.50 - 12.10 Michal Zemlicka and Jaroslav Karl :
      "Run-Time Extensible Deterministic Top-Down Parsing"
  • 12.10 - 12.30 Gheorghe Stefan :
      "No-State Universal Turing Mashine"


  • 12.30 - 15.00 Lunch

  • 15.00 - 16.00 Invited Lecture
      Masami Ito : "Some decidable and undecidable problems related to the set of primitive words"


  • 16.00 - 16.20 Renate Klempien-Hinrichs :
      "The generative power of context-free node rewriting in hypergraphs"
  • 16.20 - 16.40 Radu Gramatovici :
      "Shuffled-based multilanguages"
  • 16.40 - 17.00 Rodica Ceterchi :
      "Cut-and-Paste Languages"


  • 17.00 - 17.30 Coffee Break

  • 17.30 - 17.50 Sigrid Ewert and Andries van der Walt :
      "Shrink Indecomposable Fractals"
  • 17.50 - 18.10 Rudolf Freund :
      "Generalized P-Systems with Splicing and Cutting/Recombination"
  • 18.10 - 18.30 Petr Sosik :
      "Conditional Tabled Eco-Grammar Systems: the Scattered Contexts"
  • 18.30 - 18.50 Manfred Kudlek :
      "Some Algebraic Structures with Iteration Lemmata"
Top
WDS'99 - Location: "Gh. Asachi" Aula
  • 8.50 - 9.00 Opening of WDS'99

Section 1: Models and Semantics

Session Chair: Matthew Hennessy

  • 9.00 - 10.00 Invited Lecture
      Dan Hirsch and Ugo Montanari : "Consistent transformations for software architecture styles of distributed systems"
  • 10.00 - 10.30 Remi Morin :
      "Hierarchy of asynchronous automata"


  • 10.30 - 11.00 Coffee Break

Session Chair: Gheorghe Stefanescu

  • 11.00 - 11.30 Padmanabham Krishnan :
      "Distributed timed automata"
  • 11.30 - 12.00 Thomas Stauner and Christoph Grimm :
      "Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs"
  • 12.00 - 12.30 Eneia Todoran :
      "Metric semantics for synchronous and asynchronous communications: a continuation-based approach"


  • 12.30 - 14.30 Lunch

Section 2: Verification Techniques

Session Chair: Razvan Diaconescu

  • 14.30 - 15.30 Invited Lecture
      Joseph Goguen and Grigore Rosu : "A protocol for distributed cooperative work"
  • 15.30 - 16.00 Communication: Jan Frisco Groote and Jos van Wamel :
      "Basic theorems for parallel processes in timed miu-CRL"
  • 16.00 - 16.30 Communication: Fabio Martinelli :
      "A uniform approach for the solution of module checking problems"
  • 16.30 - 17.00 Wojciech Penczek and Stanislaw Ambroszkiewicz :
      "Model checking of causal knowledge formulas"

  • 17.00 - 17.30 Coffee Break

Section 3: Mobile Systems

Session Chair: Ugo Montanari

  • 17.30 - 18.30 Invited Lecture
      Matthew Hennessy : "Secure partial typing of mobile agents in open systems"
  • 18.30 - 19.00 Luigia Petre, Kaisa Sere, Marina Walden :
      "A topological approach to distributed computing"
  • 19.00 - 19.30 Communication: Camelia Zlatea and Tzilla Elrad :
      "DUALITY: A design model for mobile distributed systems based on partial order semantics"
    Top

    Friday, September 3

    WFLA'99 - Location: "Mihai Eminescu" Aula
    • 9.00 - 10.00 Invited Lecture
        Symeon Bozapalidis : "Theory of Polypodes: recognizability"


    • 10.00 - 10.20 George Rahonis :
        "Splicing on Trees: the Iterated Case"
    • 10.20 - 10.40 Loutfi Soufi :
        "Type Specification by Regular Expressions"
    • 10.40 - 11.00 Maurice Mangenstern and Kenichi Morita :
        "NP problems are tractable in the space of cellular automata in the hyperbolic plane"


    • 11.00 - 11.30 Coffee Break

    • 11.30 - 11.50 Ludwig Staiger :
        "On the Power of Reading the Whole Input Tape"
    • 11.50 - 12.10 Vladimir A. Zakharov :
        "On the decidability of the equivalence problem for orthogonal sequential programs"
    • 12.10 - 12.30 Ion Petre and Luigia Petre :
        "Mobile Ambients and P-Systems"
    • 12.30 - 12.50 Padmanabham Krishnan :
        "Issues Related to Distributed Processing of Picture Languages"


    • 12.50 Farewell Coffee
    Top

      Accepted Papers
      Invited Speakers
      Final Version
      Programme Committee
      Organizing Committee
      Conference Fee
      Important Dates
      Satellite Events
      About Romania & Iasi

      Last update: 28 August 1999
      Maintained by Sabin-Corneliu Buraga