Kongres nt. logiki uniwersalnej, Lizbona, Portugalia
25 Kwietnia 2010 - 25 Kwietnia 2010
Portugalia
W dniach 22-25 kwietnia 2010 r. w Lizbonie, Portugalia, odbędzie się trzydniowy kongres nt. logiki uniwersalnej.
Wydarzenie posłuży za platformę do dyskusji nad przyszłością badań naukowych w dziedzinie logiki. Wezmą w nim udział logicy, matematycy, informatycy, naukowcy zajmujący się sztuczną inteligencją, lingwiści, psychologowie i filozofowie.
W czasie kongresu odbędzie się wiele debat i dziesięć specjalnych sesji. Sesje dotyczyć będą:
-schematów logicznych,
-nieklasycznej matematyki,
-logiki algebry abstrakcyjnej,
-paradoksów;
-logiki substrukturalnej,
-logiki kategorialnej,
-negacji,
-logiki multimodalnej,
-logiki parakonsystentnej,
-algebry na potrzeby logiki.Więcej informacji:
http://www.uni-log.org/start3.html(odnośnik otworzy się w nowym oknie)
Wydarzenie posłuży za platformę do dyskusji nad przyszłością badań naukowych w dziedzinie logiki. Wezmą w nim udział logicy, matematycy, informatycy, naukowcy zajmujący się sztuczną inteligencją, lingwiści, psychologowie i filozofowie.
W czasie kongresu odbędzie się wiele debat i dziesięć specjalnych sesji. Sesje dotyczyć będą:
-schematów logicznych,
-nieklasycznej matematyki,
-logiki algebry abstrakcyjnej,
-paradoksów;
-logiki substrukturalnej,
-logiki kategorialnej,
-negacji,
-logiki multimodalnej,
-logiki parakonsystentnej,
-algebry na potrzeby logiki.Więcej informacji:
http://www.uni-log.org/start3.html(odnośnik otworzy się w nowym oknie)