CCF'99
First Workshop on Constructivity, Complexity, and Fuzziness

26 - 28 August 1999
Galaţi, România

  1. Call for Papers
  2. Organizational information
  3. Program
  4. Abstracts

Call for Papers


Conference Committee
Douglas S. Bridges, Canterbury, New Zealand chair
Cristian S. Calude, Auckland,
New Zealand
Luminita Simona Dediu, Canterbury, New Zealand, and Galaţi, România
Mihaela Baroni, Galaţi, România

Programme Committee
Douglas S. Bridges, Canterbury,
New Zealand, co-chair
Toader Buhaescu, Galaţi, România
Christian S. Calude, Auckland, New Zealand
Luminita Dediu, Canterbury, New Zealand, and Galaţi, România
Peter Schuster, München, Germany
Ludwig Staiger, Halle, Germany
Doru Stefanescu, Bucuresti, România
Karl Svozil, TU Vienna, Austria
Petru Vata, Galaţi, 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 "Dunārea de Jos" (Galaţi, 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 Galaţi, and will consist of mini-lecture-series and presentations of original papers.
Prospective participants should note that the FCT '99 meeting will be held at Iasi, România, on 30 August-3 September 1999.

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 Galaţi, Strada Domneasca, Nr. 47, 6200 Galaţi, România.
emails: mbaroni@math.ugal.ro; dbusila@math.ugal.ro.

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/,
or contact
d.bridges at math.canterbury.ac.nz;
mbaroni at math.ugal.ro.

CCF'99 - Organizational information

Venue:
Department of Mathematics, Faculty of Sciences, University "Dunarea de Jos", Galaţi.
Situated at the same location as the Faculty of Mechanical Engineering, 111, Strada Domneasca, SA Block.
Accommodation:
The university provides one- and two-bedroom appartments for the invited speakers; there are single and double rooms with a small bathroom (5 DM per person) for the other participants from outside Galaţi. For those who will prefer the hotel, a single room in a three star hotel costs between 40 and 50 DM, and a double room -between 45 and 60 DM (breakfast included). Note that these prices are subject to changes according to the inflation rate.
Meals:
We will make a special arrangement with a restaurant conveniently located. Participants can take a full dayly meal (around 25 DM) or make their own arrangements. There are lots of restaurants, pizzerias and other nice places where one can find your favourite dish for a very good price!
Coffee breaks:
Coffee, tea and cookies will be available during the breaks between sessions.
Payment:
Upon registration.
Registration:
25 August 10-12 a.m., 15-17 p.m.,
26 August 9-10 a.m.
Opening:
26 August, around 10 a.m. (after registration.)
Conference dinner and excursion:
A trip to the Danube Delta region will be organised on the 28th of August (for no extra cost). Participants will have the opportunity to enjoy a traditional Romanian fish meal at one of our monasteries. Please make sure you include an insect repellent in your luggage.
Getting to Galaţi:
Please let us know before 15 July your travel arrangemets and whether you require to be picked up at the airport. There are three trains a day travelling from Bucarest to Galaţi.
Timetable: From Bucarest to Galaţi
  • train number 1671, dep. at 6:05 a.m. , arr. at 9:56 a.m.;
  • train number  671, dep. at 3 p.m., arr. at 6:41 p.m.;
  • train number  673, dep. at 7:10 p.m., arr. at 10:48 p.m.
From Galaţi to Bucarest:
  • train number  672, dep. at 6 a.m., arr. at;
  • train number  674, dep. at noon, arr. at ;
  • train number 1672, dep. at 5:20 p.m., arr. at .
For more details and the complete train timetable please have a look at http://www.cfr.ro.
Important Remark:
The railway station, the University, flats, hotels and restaurants are all centrally located in Galaţi and within 10 minutes walking distance from each other.
 

 

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 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
 

Last modified: Wed Sep 8 12:12:21 MET DST 1999