|
Conference Committee Douglas S. Bridges, Canterbury, New Zealand chair Cristian S. Calude, Auckland, New Zealand Luminita Simona Dediu, Canterbury, New Zealand, and Galati, România Mihaela Baroni, Galati, România Programme Committee Douglas S. Bridges, Canterbury, New Zealand, co-chair Toader Buhaescu, Galati, România Christian S. Calude, Auckland, New Zealand Luminita Dediu, Canterbury, New Zealand, and Galati, România P. Schuster, München, Germany Ludwig Staiger, Halle, Germany Doru Stefanescu, Bucuresti, România Karl Svozil, TU Vienna, Austria Petru Vata, Galati, România Proceedings Commitee Douglas Bridges, Canterbury Cristian Calude, Auckland Important Dates Submissions Due: 30 April 1999 Notification Date: 30 June 1999 |
The Department of Mathematics of the University "Dunarea de Jos"
(Galati, România), in conjunction with the Centre for Discrete
Mathematics & Theoretical Computer Science (CDMTCS, Auckland, New
Zealand) and the Department of Mathematics & Statistics of the
University of Canterbury, (Christchurch, New Zealand), is organising a
workshop/conference on Constructivity, Complexity, and Fuzziness.
The workshop will be held in the Faculty of Sciences in Galati, and
will consist of mini-lecture-series and presentations of original
papers. Original papers are solicited in all aspects of constructivity, complexity and fuzziness. Surveys of recent work are particularly encouraged. Authors should submit papers, either in hard copy by post or electronically by email, to the address below. Electronic submissions should be either in compressed PostScript form at for Windows 95 or LaTeX source files. Since the proceedings of this meeting will be published only in summary form (through CDMTCS), authors may present papers that have been submitted for publication elsewhere. Invited Speakers: D.S. Bridges, T. Buhaescu, C. Calude, H. Ishihara, P.Schuster, L. Staiger, K. Svozil, Sheng Yu. Address for Submissions: CCF'99, Department of Mathematics,
Faculty of Sciences, University of Galati, Strada Domneasca, Nr. 47,
6200 Galati, România. Cost of Participation: The registration fee is US$100 for participants from outside România. For More Information: See the home-page of the university
http://www.ugal.ro/, |
Last modified: Wed Sep 8 12:12:21 MET DST 1999
CCF'99 - Program
Thursday, 26 August 1999
10:00-10:50 Douglas Bridges
Constructive Mathematics - a Modern Perspective (Part 1)
11:00-11:50 Hajime Ishihara
Feasibly Constructive Analysis
12:00-12:30 Doru Stefanescu
Inequalities for Polynomial Divisors
12:30-13:00 Georgios Kapoulas
Computable p-adic Numbers
Lunch break
15:00-15:50 Ludwig Staiger
Complexity and Dimension
16:00-16:30 Cris Calude
Incompleteness and Constructivity
16:30-17:00 Cristian Grozea
A Characterization of the Free-Extendible Prefix Free Sets and its
Use in Extending the Kraft-Chaitin Theorem
17:00-17:30 Toader Buhaescu
Uninorm Aggregation Operators and Implication Operators in the
Intuitionistic Fuzzy Sets Class
11:30-18:00 Adrian Ban
The Degree of Complementarity of a Fuzzy Measure
Friday, 27 August 1999
10:00-10:50 Douglas Bridges
Constructive Mathematics - a Modern Perspective (Part 2)
11:00-11:50 Peter Schuster
Real Numbers as Black Boxes
12:00-12:30 Luminita Dediu
Constructive Notes on Locally Convex Spaces
12:30-13:00 Florin Popescu
2D Orthogonal Grid Generation with Elliptic Partial Differential
Equations
Lunch break
15:00-15:50 Rodica Ceterchi
Generalizing Fuzzyness - An Algebraic Challenge
16:00-16:30 Liliana Cucu
Compromise and Fuzzy Object in the Schedule Problem
16:30-17:00 Viorel Ariton
Semi-Qualitative Encoding of Manifestations at Faults in
Conductive Flow Systems