dr Adam Grabowski : Conferences

  1. A. Grabowski
    Computer certification of generalized rough sets based on relations
    International Joint Conference on Rough Sets, Olsztyn, Poland, 2017, Jul 3-7
    (Planned attendance)
  2. A. Grabowski
    Expressing the notion of a mathematical structure in the formal language of Mizar
    International Conference on Man-Machine Interactions, ICMMI 2017, Crakow, Poland, 2017, Oct 3-6
    II UŚ, Inst. Theor. Appl. Inform. PAS (org.)
    (Planned attendance)
  3. A. Grabowski*, A. Korniłowicz
    Mizar: a formal logical-algebraic approach to mathematics
    7th European Congress of Mathematics, Berlin, Niemcy, 2016, Jul 17-23
    TU Berlin (org.)
    (see also http://www.7ecm.de/download/7ECM_Scientific%20Programm.pdf)
  4. A. Grabowski*, A. Korniłowicz
    On Algebraic Hierarchies in Mathematical Repository of Mizar
    FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, Gdansk, Poland, 2016, Sep 11-14
    Polish Information Processing Socirty, IBS PAN,Wrocław University of Technology, ETI (org.)
  5. A. Grabowski
    Tarski's geometry and the Euclidean plane in Mizar
    A chairman of a session at
    9th Conference on Intelligent Computer Mathematics, CICM2016, Białystok, Poland, 2016, Jul 25-29
    Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (org.)
  6. A. Grabowski
    Tarski's geometry modelled in Mizar computerized proof assistant
    FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, Gdansk, Poland, 2016, Sep 11-14
    Polish Information Processing Socirty, IBS PAN,Wrocław University of Technology, ETI (org.)
  7. A. Grabowski*, A. Korniłowicz
    Equality in computer proof-assistants
    Federated Conference on Computer Science and International Systems - FedCSIS 2015, Łódź, 2015, Sep 13-16
    Polskie Towarzystwo Informatyczne i Politechnika Łódzka (org.)
  8. A. Grabowski
    25 years of the Mizar Mathematical Library
    Twenty years of Qed manifesto, Vien, Austria, 2014, Jul 17-19
    Vienna University of Technology (org.)
  9. A. Grabowski
    A member of the Organizing Committee of
    5th Podlasie Conference on Mathematics, Białystok, Poland, 2012, Jun 25-28
    Politechnika Białostocka, PTM Białystok (org.)
  10. A. Grabowski
    Computer - driven searching for axiomatization of rough sets
    21th international Workshop on Concurrency, Specification and Programming (CS&P 2012), Berlin, Germany, 2012, Sep 26-28
    Humboldt University of Berlin, Warsaw University.  (org.)
  11. S. Banaś, A. Grabowski*
    On the certified proofs of Hall Marriage Theorem and Dilworth Theorem
    5th Podlasie Conference on Mathematics, Białystok, Poland, 2012, Jun 25-28
    Politechnika Białostocka, PTM Białystok (org.)
  12. E. Borcowska, A. Grabowski*
    On the formalization of the Sperner theorem
    5th Podlasie Conference on Mathematics, Białystok, Poland, 2012, Jun 25-28
    Politechnika Białostocka, PTM Białystok (org.)
  13. A. Grabowski
    Towards automatically categorizing mathematical knowledge
    Federated Conference on Computer Science and Information Systems, FedCSIS 2012, Wrocław, Poland, 2012, Sep 9-12
    IEEE et al. (org.)
  14. A. Grabowski
    Formalization of Lattice Theory in Mizar
    2011 Joint Mathematics Meeting of the American Mathematical Society, New Orleans, USA, 2011, Jan 6-9
    American Mathematical Society (org.)
  15. A. Grabowski*, M. Jastrzębska*
    A note on a formal approach to rough operators
    Int. Conf. on Rough Sets and Current Trends in Computing (RSCTC'2010), Warszawa, Poland, 2010, Jun 28-30
    PTM, Wydz. MIM UW, II PW (org.), MNiSzW, IRSS, Tunedit (sponsor)
    (link to organisers: http://roughsets.home.pl/www/)
  16. A. Grabowski
    Computer - supported lattice theory revealed
    Informatyka Badania i Zastosowania (IBIZA'2010), Kazimierz Dolny, Polska, 2010, Feb 10-12
    Inst.Inf. UMCS, Lublin (org.)
  17. A. Grabowski
    Managing large repository of computerized mathematical knowledge (invited talk)
    Summer Technical Symposium and General Assembly of Mizar, Tokyo, Japan, 2010, Sep
    Shinshu University (org.)
    (university web page: http://www.shinshu-u.ac.jp/english/)
  18. A. Grabowski
    On a uniform formal presentation of lattices
    XIV Konferencja Zastosowania Algebry w Logice i Informatyce, Zakopane, Poland, 2010, Mar 8-14
    Akademia im. J. Długosza w Częstochowie, Instytut Matematyki i Informatyki (org.)
  19. A. Grabowski
    On duplication in mathematical repositories
    IX International Conference on Mathematical Knowledge Management, Paris, France, 2010, Jul 8-10
    Patrick Ion, Alan Sexton et al.; MKM Interest Group (org.)
    (abstracts available at: http://cicm2010.cnam.fr/mkm/programme.html)
  20. A. Grabowski
    Proving Combinatorial Results via Mizar Type System
    4th Podlasie Conference on Mathematics (PCM'2010), Białystok, Poland, 2010, Apr 9-11
    PTM oddz. Białystok, Inst. Inf. PB (org.)
  21. A. Grabowski*, M. Jastrzębska*, Ch. Schwarzweller*
    W poszukiwaniu optymalnego formalnego modelu dla zbiorów przybliżonych
    V Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Poland, 2010, Sep 15-18
    Politechnika Białostocka, Wydział Informatyki (org.)
  22. A. Grabowski*, M. Jastrzębska*
    Rough Set Theory from a Math-Assistant Perspective
    Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, 2007, Jun 28-30
  23. A. Grabowski
    Computer - Assisted Lattice Theory Exploration in Mizar
    Small TYPES Workshop: High Level Languages for Proofs, Chambery, France, 2005, Apr 13-14
    LAMA, Department of Mathematics of the Savoie University (org.)
  24. A. Grabowski
    Developing automated formal framework for rough set theory
    Workshop on Concurrency, Specification and Computing (CS&P'2005), Ruciane-Nida, Poland, 2005, Sep 28-30
    Uniwersytet Warszawski (org.)
  25. A. Grabowski
    Proofs of programs and formalisation of mathematics
    TYPES Summer School 2005, Goteborg, Sweden, 2005, Aug 15-26
  26. A. Grabowski
    Translating mathematical vernacular into knowledge repositories
    IV International Conference on Mathematical Knowledge Management (MKM'2005), Bremen, Germany, 2005, Jul 15-17
    International University Bremen (org.)
  27. A. Grabowski
    IX Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Karpacz, Poland, 2004, Apr 26-30
    Uniwersytet Wrocławski (org.)
    (nfo on the current and the series of conferences: http://www.klmn.uni.wroc.pl/konferencja.html)
  28. A. Grabowski
    The Prague 2004 Workshop on Knowledge Management in Formalized Mathematics, Prague, Czech Republic, 2004, Jun 27-29
  29. A. Grabowski
    1. On the computer - checked solution of the Kuratowski closure - complement problem. 2. On the Mizar encoding of Fibonacci numbers
    Workshop "30 Years of Mizar", Białowieża, Poland, 2004, Sep 18
    Uniwersytet w Białymstoku, Politechnika Białostocka (org.)
    (a satellite of the MKM Workshop 2004, http://www.mizar.org/MKM2004/)
  30. A. Grabowski
    1. Rough Concept Analysis - Theory Development in the Mizar System; 2. Managing Heterogeneous Theories within a Mathematical Knowledge Repository
    A member of the Organizing Committee of
    Third International Conference on Mathematical Knowledge Management, Białowieża, Poland, 2004, Sep 19-21
    Uniwersytet w Białymstoku (org.)
  31. A. Grabowski
    On the computer-assisted reasoning about rough sets
    International Workshop Monitoring, Security and Rescue Techniques in Multiagent Systems (MSRAS'2004), Płock, Poland, 2004, Jun 7-9
    Industry and Technology Park at Płock, Uniwersytet Warszawski (org.)
    (book of abstracts: http://logic.mimuw.edu.pl/publikacje/plock_main.pdf)
  32. A. Grabowski
    TYPES Workshop, Torino, Italy, 2003, Apr 30 - May 4
  33. A. Grabowski
    MKM Symposium, Edinburgh, United Kingdom, 2003, Nov 25-29
    Heriot-Watt University, Edinburgh (org.)
  34. A. Grabowski
    Formalny opis zbiorów przybliżonych
    XVII Forum Informatyki Teoretycznej FIT-17, Karpacz, Poland, 2003, Dec 12-14
    (remains of info on conference series: http://ii.uni.wroc.pl/FIT)
  35. A. Grabowski, J. Myślińska
    XVI Forum Informatyki Teoretycznej, Karpacz, Poland, 2002, Dec 12-13
    (remains of info on conference series: http://ii.uni.wroc.pl/FIT)
  36. A. Grabowski
    How to use types in Mizar
    TYPES 2002, Workshop of the TYPES Working Group, Berg en Dal, Netherlands, 2002, Apr 24-28
    Foundations group of the NIII, Faculty of Science, Mathematics and Informatics, University of Nijmegen (org.)
    (abstracts available at: http://www.fnds.cs.ru.nl/TYPES2002/abstracts.html)
  37. A. Grabowski
    Algebry Robbinsa a algebry Boole'a
    XV Forum Informatyki Teoretycznej, Białystok, Poland, 2001, Dec 7-8
    (remains of info on conference series: http://ii.uni.wroc.pl/FIT)
  38. A. Grabowski
    O pewnej strukturze wyznaczonej przez podstawienia
    VI Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki, Karpacz, Poland, 2001, Apr 25-29
    Uniwersytet Wrocławski (org.)
  39. A. Grabowski
    Robbins Algebras vs. Boolean Algebras
    First International Workshop on Mathematical Knowledge Management, Linz, Austria, 2001, Sep 24-26
  40. A. Grabowski
    Robbins Algebras vs. Boolean Algebras
    International Joint Conference on Automated Reasoning, CALCULEMUS 2001, Siena, Italy, 2001, Jun 20-24
  41. A. Grabowski
    Formalizowalność rozumowań a ich racjonalność, Białystok, Poland, 2000, Mar 7
  42. A. Grabowski
    Stanisław Jaśkowski Memorial Symposium (JS'98), Toruń, Poland, 1998, Jul 15-18
Remarks related to the above data should be directed to: webmaster@math.uwb.edu.pl .