🚀 go-pugleaf

 
Logiikka, matematiikka ja tietokone
Perusteet: historiaa, filosofiaa ja sovelluksia
Symposio 3-4.6.1996, Helsingin yliopisto, Mets{talo

        Suomen Teko{lyseura ry.
        Tietojenk{sittelytieteen Seura ry.
        Helsingin yliopisto, Filosofian laitos 

Logic, Mathematics and the Computer 
Foundations: History, Philosophy and Applications
Symposium, University of Helsinki, Mets{talo, 3-4 June 1996

        Finnish Artificial Intelligence Society
        Finnish Society for Computer Science
        University of Helsinki, Department of Philosophy

Ohjelma - Program 

Maanantai 3.6. - Monday June 3

08.30   Ilmoittautuminen - Registration

Avaus - Opening (Sali 1 - Auditorium 1)
09.00   Matti Karjalainen (Suomen Teko{lyseura, TKK) 
        Kaisa Sere (Tietojenk{sittelytieteen Seura, ]A)
        Ilkka Niiniluoto (Helsingin yliopisto, Filosofian laitos)

Historia ja filosofia - History and Philosophy  
        Pj./Ch. Leila Haaparanta (HY)
09.15   Panu Raatikainen (HY): Klassinen matematiikka ja logiikka 
09.45   Christoffer Gefwert (]A): Philosophy of Constructive Mathematics
10.15   Jari Palom{ki (TaY): Peanon aksioomat Principia Mathematicassa

10.45   Tauko - Break

Matematiikan filosofia - Philosophy of Mathematics
11.00   Ilkka Niiniluoto (HY): Kvasiempirismi matematiikan filosofiassa
11.30   Pentti M{{tt{nen (HY): What is "Pure" in Mathematics?

12.00   Lounastauko - Lunch Break

Kutsuesitelm{ - Invited Talk
        Pj./Ch. Panu Raatikainen (HY)
13.00   Jaakko Hintikka (Boston): What Do Logic and Computer Science 
                Have to Do with Each Other? 

Matemaattinen logiikka - Mathematical Logic
        Pj./Ch. Panu Raatikainen (HY)
14.00   Jouko V{{n{nen (HY): [{rellinen malliteoria  
14.30   Juha Oikkonen (HY): [{rett|m{t kielet  

15.30   Kahvitauko - Coffee Break

Konstruktiivinen tyyppiteoria - Constructive Type Theory
        Pj./Ch. Christoffer Gefwert (]A)
16.00   Aarne Ranta (HY): Interaktiivinen todistaminen konstruktiivisessa
                tyyppiteoriassa 
16.30   Petri M{enp{{ (HY): Ohjelmointi konstruktiivisessa tyyppiteoriassa

Paneelikeskustelu - Panel Discussion
17.00   Pj./Ch. Ilkka Niiniluoto (HY)
        Philosophy and Foundations of Logic, Mathematics and Computation

19.00   Illallinen - Dinner or snack (at own cost, restaurant La Vista 
        Ristorante, Etel{ranta 10)

Tiistai 4.6. - Tuesday June 4

Kutsuesitelm{ - Invited Talk (Sali 1 - Auditorium 1)
        Ch. Pekka Orponen (HY) 
09.00   Gregory Chaitin (IBM, New York): Randomness in Arithmetic and the 
                Decline and Fall of Reductionism in Pure Mathematics

Laskennan teoria - Theory of Computation 
        Ch. Petri M{enp{{ (HY) 
10.00   Valtteri Niemi (VY): Satunnaisuus kryptologiassa
10.30   Pekka Orponen (HY): Laskentaongelmien yksitt{istapausten 
                vaativuudesta 

11.00   Lounastauko - Lunch Break

Laskennallinen logiikka - Computational Logic
        Pj./Ch. Joakim von Wright (]A)
12.00   John Harrison (]A): Pure Mathematics in a Mechanised Logic
12.30   Joakim von Wright (]A): Reasoning about Programs in Higher      
                Order Logic
13.00   Jim Grundy (]A): A Browsable Format for Proof Presentation

13.30   Tauko - Break

Logiikkaohjelmointi - Logic Programming
        Pj./Ch. Joakim von Wright (]A)
14.00   Thomas L}ngbacka (HY): Developing a Graphic Theorem Proving Tool
14.30   Erkki Laitila (Jyv{skyl{): Logiikkaohjelmoinnin ja Prologin 
                kehitysn{kymi{

15.00   Kahvitauko - Coffee Break

Poikkeavat logiikat - Non-standard Logics 
        Pj./Ch. Ilpo Halonen (HY)
15.30   Jurate Sakalauskaite (Vilnius): Ordered Resolution Principle 
                for Finitely-Valued Logics
16.00   Aida Pliuskeviciene (Vilnius): On Index Method for Modal 
                Logics with Barcan Axiom
16.30   Regimantas Pliuskevicius (Vilnius): On Similarity Saturation 
                for First Order Temporal Logic

17.00   Kahvitauko - Coffee Break

Kutsuesitelm{ - Invited Talk (Sali 2 - Auditorium 2)
        Pj./Ch. Veikko Ker{nen (RTOL) 
12.00   Gautam Dasgupta (New York): Tessellica: A Defect-free Finite 
                Element Paradigm

Laskennallinen matematiikka - Computational Mathematics                    
    Pj./Ch. Veikko Ker{nen (RTOL)
13.00   Matti Sinisalo (OY): Fareyn luvut ja Mathematica 
13.30   Veikko Ker{nen (RTOL): Toistovapaat merkkijonot ja tietokonealgebra

14.00   Kahvitauko - Coffee Break

Laskennallinen tiede - Computational Science 
        Pj./Ch. N.N.
14.30   Pierre Noyes (SLAC, Stanford): Some Thoughts on Discrete Physics
                and the Reconstruction of Quantum Mechanics 
15.00   Kimmo Kaski (TaY): Laskennallinen fysiikka: kokeellinen vai 
                teoreettinen menetelm{
15.30   Leif Laaksonen, Tuija Raaska (CSC-Tieteellinen laskenta Oy):
                Possibilities of Computational Chemistry
16.00   Mark S. Johnson (Turku Centre for Biotechnology): 
                Applications of Computing to Structural Molecular Biology
16.30   Tomi Laakso (HY): Musical Rendering of an Infinite 
                Repetition-free String 

Paneelikeskustelu - Panel Discussion 
        Pj./Ch. N.N.
17.00   Computational Science - Implications of the New Paradigm


N{yttely - Exhibition
        J{rj./Org. Jouko Sepp{nen
09-16   Projekteja, ohjelmistoja, esittelyj{  ja kirjallisuutta
1.      Gautam Dasgupta (Columbia University, New York): 
        Mathematica - Computer Mathematics in Education. Symbolic          
                    Computation in Engineering Science
2.      Pertti N{ykki (Business Advantage Development, Espoo):             
            Mathematica - The Tool for Mathematics
3.      Leena Kahma (Tiedesofta, Helsinki): Maple V
4.      Erkki Laitila (Expert System Workshop Oy, Jyv{skyl{)
        Visual Prolog - Perusteet ja teollisuuden sovellukset

Lis{tietoja ja ilmoittautuminen - Information and Registration
        
Ilmoittautuminen: puhelimitse, faksilla, s{hk|postilla tai arvopostitse
alla-olevalla osoitteella ja lomakkeella.

Lis{tietoja: Jouko Sepp{nen, puh. (90) 451 4312, fax 451 3293, s{hk{posti
jouko.seppanen@hut.fi, TKK Tietotekniikka, Otakaari 1, 02150 ESPOO. 

Registration: by phone, fax, email or mail with the address and form given
below. 

Further information:  Jouko Sepp{nen, tel.+358-0-451 4312, fax +358-0-451
3293, email jouko.seppanen@hut.fi, Helsinki University of Technology,
Department of Computer Science, Otakaari 1, FIN-02150 Espoo, Finland.. 

____________________________________________________________________Logiikka
, matematiikka ja tietokone         ILMOITTAUTUMINEN
Helsingin yliopisto, Mets{talo 3-4.6.1996       Pvm ..... / ..... 1996

( ) Haluan osallistua symposioon. ( ) Pyyd{n l{hett{m{{n ohjelman. ( )
Tilaan symposiojulkaisun.

Nimi:   .........................................................      
Puh. ................ Fax: ..................
Osoite: .........................................................      
E-mail:  .....................................
        .........................................................          
                                            
        .........................................................      
Lis{tietoja: http://www.uwasa.fi/stes
        
Osallistumismaksu 300 mk, seuran j{senet 200 mk. Hintaan sis{ltyv{t
esitelm{t ja symposiojulkaisu (erikseen a 200 mk). Maksu tilille Suomen
Teko{lyseura, Merita Pankki, Espoo-Otaniemi, tili no 130 930-112 672 ennen
tilaisuuden alkua. Kuitti esitett{v{ ilmoittauduttaessa tai maksu
k{teisell{ paikalla.

Palauta osoitteella Suomen Teko{lyseura ry., PL 1201, 02044 VTT.  

____________________________________________________________________Logic,
Mathematics and the Computer         REGISTRATION FORM
University of Helsinki, Mets{talo, 3-4 June 1996        Date ...../..... 1996 

( ) Yes, I want to present a paper. ( ) I want to post for display. 
..........................................
............................................................................
............................................
( ) I want to participate. ( ) Please, send me the program. ( ) I would
like to order the proceedings.

Name:   ....................................................... Tel..
................ Fax: ....................
Address: .......................................................       
E-mail:  .......................................
                .......................................................    
                            
                .......................................................
Internet: http://www.uwasa.fi/stes
        
The fee is FIM 300, members FIM 200, including lectures and the proceedings
(proceedings in separate a 200 FIM). Payment by bank transfer or
international money order made payable to FAIS, Merita Bank,
Espoo-Otaniemi, acc. no. 130 930-112 672 in advance or in cash at
registration. 

Please, return to: Finnish Artificial Intelligence Society (FAIS), P.O. Box
1201, FIN-02044 VTT, tel. +358-0-451 4312, fax +358-0-451 3293, email:
Jouko. Seppanen@hut.fi.