Philoshophy and Applicability of Formal Languages

Philoshophy and Applicability of Formal Languages - Work Program

Geneva, 15 September 2001

Each presentation should leave 5-10 minutes for discussions.

09.30-10.00	From type-token to truth of factual statements. Arve Meisingset, Telenor R&D
10.00-10.45	On Methodology from Domain to System Descriptions. Rolv Br�k, NTNU
10.45-11.15 Coffee
11.15-11.30	General Gnoseology: a Peircian Triad. Paul Gerome, AULM
11.30-12.00	Three dimensions of formal languages. Arve Meisingset, Telenor R&D
12.00-12.30	Discussions
12.30-14.00 Lunch
14.00-14.30	The meaning of a Specification's Meaning Case Example: MSC. Clive Jervis, Motorola
14.30-14.55	Science & SWE Differences and Similarities. Amardeo Sarma, NEC
14.55-15.00	Theory of Science. Arve Meisingset, Telenor R&D
15.00-15.30 Coffee
15.30-16.00	Mathematical Strategies. P. S. Subramanian, Sasken Communication
16.00-16.30	Customers of ITU-T Languages. Amardeo Sarma, NEC
16.30-17.30	Discussions. In depth exchange of views. Actions