ITU Home Page International Telecommunication Union Franšais  Espa˝ol 
Print Version 
ITU Home Page
Home : ITU-T Home : Workshops and Seminars
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

Top - Feedback - Contact Us - Copyright ę ITU 2002 All Rights Reserved
Contact for this page : TSB EDH
Updated : 2001-12-18