{"id":258,"date":"2023-07-20T11:46:09","date_gmt":"2023-07-20T09:46:09","guid":{"rendered":"http:\/\/users.math.ntua.gr\/stefaneas\/?page_id=258"},"modified":"2026-01-15T11:29:23","modified_gmt":"2026-01-15T09:29:23","slug":"%ce%b4%ce%b9%ce%b4%ce%b1%ce%ba%cf%84%ce%b9%ce%ba%ce%ae-%ce%b5%ce%bc%cf%80%ce%b5%ce%b9%cf%81%ce%af%ce%b1","status":"publish","type":"page","link":"https:\/\/users.math.ntua.gr\/stefaneas\/?page_id=258","title":{"rendered":"\u0394\u03b7\u03bc\u03bf\u03c3\u03b9\u03b5\u03cd\u03c3\u03b5\u03b9\u03c2"},"content":{"rendered":"\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

\u0394\u03b7\u03bc\u03bf\u03c3\u03b9\u03b5\u03cd\u03c3\u03b5\u03b9\u03c2<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t
<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\"\"\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

\u0392\u03b9\u03b2\u03bb\u03af\u03b1 – \u0388\u03ba\u03b4\u03bf\u03c3\u03b7 \u03a3\u03c5\u03bb\u03bb\u03bf\u03b3\u03b9\u03ba\u03ce\u03bd \u03a4\u03cc\u03bc\u03c9\u03bd :<\/strong><\/p>

  1. Ahmet Soylu<\/a>,\u00a0Sotiris Moschoyiannis<\/a>,\u00a0Guido Governatori<\/a>,\u00a0Mantas Simkus<\/a>,\u00a0Petros S. Stefaneas,\u00a0Alexander Steen<\/a>,\u00a0Adrian Giurca<\/a> :\u00a0 Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 – Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) Decision CAMP 2019 (Decision CAMP 2019), Bolzano, Italy, September 16-24, 2019 .\u00a0CEUR Workshop Proceedings<\/a>\u00a02438,\u00a0CEUR-WS.org\u00a02019\u00a0<\/li>
  2. Lampropoulou, P. Stefaneas, D. Theodorou, L. Kauffman (Eds.), \u201cAlgebraic Modeling of Topological and Computational Structures and Applications\u201d, THALES, Athens, Greece, July 1\u2013 3, 2015, Springer Proceedings in Mathematics & Statistics (PROMS)<\/em>, Vol. 219; 2017.<\/li>
  3. Morgenstern, P. Stefaneas, F. Levy, A. Wyner, A. Paschke (Eds.), \u201cTheory, Practice, and Applications of Rules on the Web – 7th International Symposium, RuleML 2013\u201d, Seattle, WA, USA, July 11-13, 2013. Proceedings. Lecture Notes in Computer Science<\/em> 8035, Springer 2013.<\/li><\/ol>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
    \n\t\t\t\t\t\t
    \n\t\t\t\t\t
    \n\t\t\t
    \n\t\t\t\t\t\t
    \n\t\t\t\t
    \n\t\t\t\t\t\t\t\t\t

    \u0386\u03c1\u03b8\u03c1\u03b1 \u03c3\u03b5 \u03c0\u03b5\u03c1\u03b9\u03bf\u03b4\u03b9\u03ba\u03ac \u03c3\u03c4\u03b7 \u03b4\u03b9\u03b1\u03b4\u03b9\u03ba\u03b1\u03c3\u03af\u03b1 \u03ba\u03c1\u03af\u03c3\u03b7\u03c2 :<\/strong><\/span><\/p>

    1. S. Almpani, A. Gatzounis, P. Stefaneas, Modeling argumentation and concurrent reasoning in multi-agent goal-driven proving.<\/li>
    2. Pitsiladis, C. Koutras and P. Stefaneas, On the specification of smart contracts in Temporal Type Theory.<\/li>
    3. Couillault, K. Zdravkova, S. Almpani, T. Mitsikas and P. Stefaneas, Evaluating Privacy Notices: Introducing the PET score for ethical scoring.<\/li><\/ol>

      \u00a0<\/strong>\u0386\u03c1\u03b8\u03c1\u03b1<\/strong> \u03c3\u03b5 \u03c0\u03b5\u03c1\u03b9\u03bf\u03b4\u03b9\u03ba\u03ac \u03bc\u03b5 \u03ba\u03c1\u03b9\u03c4\u03ad\u03c2 :<\/strong><\/span><\/p>

      1. Dimarogkona, P. Stefaneas and N. Angius, A meta-logical framework for Philosophy of Science (\u03ad\u03c7\u03b5\u03b9 \u03b3\u03af\u03bd\u03b5\u03b9 \u03b4\u03b5\u03ba\u03c4\u03cc \u03c3\u03c4\u03bf Philosophies<\/em>\u00a0\u03ba\u03b1\u03b9 \u03b1\u03bd\u03b1\u03bc\u03ad\u03bd\u03b5\u03c4\u03b1\u03b9 \u03bd\u03b1 \u03b4\u03b7\u03bc\u03bf\u03c3\u03b9\u03b5\u03c5\u03c4\u03b5\u03af \u03c4\u03bf 2025).\u00a0<\/li>
      2. D. Zafeirakopoulos and P. Stefaneas, Towards Responsible AI: A Framework for Ethical Design utilizing Deontic Logic (\u03ad\u03c7\u03b5\u03b9 \u03b3\u03af\u03bd\u03b5\u03b9 \u03b4\u03b5\u03ba\u03c4\u03cc \u03c3\u03c4\u03bf International<\/em> Journal<\/em> on<\/em> Artificial<\/em> Intelligence<\/em> Tools<\/em> \u03ba\u03b1\u03b9 \u03b1\u03bd\u03b1\u03bc\u03ad\u03bd\u03b5\u03c4\u03b1\u03b9 \u03bd\u03b1 \u03b4\u03b7\u03bc\u03bf\u03c3\u03b9\u03b5\u03c5\u03c4\u03b5\u03af \u03c4\u03bf 2025).<\/li>
      3. Almpani, P. Stefaneas and M. Chakraborty, A dualistic interpretation of mathematical creation through art and argumentation (\u03ad\u03c7\u03b5\u03b9 \u03b3\u03af\u03bd\u03b5\u03b9 \u03b4\u03b5\u03ba\u03c4\u03cc \u03c3\u03c4\u03bf Humanistic Mathematics<\/em> \u03ba\u03b1\u03b9 \u03b1\u03bd\u03b1\u03bc\u03ad\u03bd\u03b5\u03c4\u03b1\u03b9 \u03bd\u03b1 \u03b4\u03b7\u03bc\u03bf\u03c3\u03b9\u03b5\u03c5\u03c4\u03b5\u03af \u03c4\u03bf 2025).\u00a0<\/li>
      4. \u039d. Angius and P. Stefaneas, The Logical Structure of Modular Semantic Theories of Software Systems. Metaphilosophy<\/em>, pp 440-456, Wiley vol55 (3) 2024.<\/li>
      5. Dazea and P. Stefaneas, An Explainable AI Model for ICU admission prediction of COVID-19 patients. International Journal on Artificial Intelligence<\/em> Tools<\/em> 32 (07) Article No.\u00a02350031, World Scientific 2023.<\/li>
      6. Almpani and P. Stefaneas, Bridging Informal Reasoning and Formal Proving: The Role of Argumentation in Proof-Events. Foundations of Science<\/em>, 1-25, (9), Springer 2023.<\/li>
      7. G. Pitsiladis and P. Stefaneas, A logical framework to model software development by multiple agents following a common specification<\/a> Journal of<\/em> Logic and Computation<\/em>, 1-23 (6) Oxford 2023.<\/li>
      8. Almpani, P. Stefaneas and I. Vandoulakis, Formalization of Mathematical Proof Practice Through an Argumentation-Based Model. Axiomathes <\/em>33 (3):1-28, Springer 2023.<\/li>
      9. Almpani, P. Stefaneas, and P.Frangos. Formalization of Ethical Decision Making: Implementation in the Data Privacy of Wearable Robots. International Journal of Extreme Automation and Connectivity in Healthcare (IJEACH)<\/em>, 5(1), 1-13.2023.<\/li>
      10. Almpani<\/a>,\u00a0Y. Kiouvrekis<\/a>,\u00a0P. Stefaneas,\u00a0P. Frangos<\/a>: Computational Argumentation for Medical Device Regulatory Classification.<\/strong>International Journal on Artificial Intelligence<\/em> Tools<\/em> 31(1)<\/a>:\u00a02250005:26, pp 1-28, World Scientific 2022.<\/li>
      11. D. Serakioti and P.Stefaneas, Ambiguity in Argumentation: The Impact of Contextual Factors on Semantic Interpretation<\/a>, Studia Humana<\/em> 11 (3-4) pp, 18-24, 2022.<\/li>
      12. Almpani, P. Stefaneas and P. Frangos, “Argumentation-Based Logic for Ethical Decision Making” Studia Humana<\/em>, vol.11, no.3-4, pp.46-52 2022.<\/li>
      13. Konstantinos Barlas Petros Stefaneas An Algebraic Speciifcation \/ Schema for JSON Journal of Engineering Research and Sciences<\/em>,\u00a0Volume 1, Issue 5, Page # 243-250, 2022<\/li>
      14. Zafeirakopoulos, S. Almpani, P. Stefaneas, Applications of Deontic Logic to Wearable Robots, Special Issue Electronic Communications of the EASST<\/em> 81 11 2022.<\/li>
      15. Zafeirakopoulos and P. Stefaneas, Remarks on Deontic Logic and Artificial Intelligence, Algebra and Model Theory<\/em> 13, pp 9-26, Novosibirsk, 2021.<\/li>
      16. Stefaneas, A Novel Tool for Social Media Narratives, The Polish Journal of Aesthetics<\/em>, pp 193-205 62 (3\/2021).<\/li>
      17. Almpani, T. Mitsikas, P. Stefaneas and P. Frangos, \u201cExosCE: A legal-based computational system for compliance with exoskeletons\u2019 CE marking\u201d, Paladyn, Journal of Behavioral Robotics<\/em>; (11): 414\u2013427, de Gruyter 2020.<\/li>
      18. Kiouvrekis, P. Stefaneas and S. Sudoplatov, \u201cLattices in generatice classes\u201d, Sib. Electronic Math. Reports<\/em> (16): 1752-1761, 2019.<\/li>
      19. Bournazos and P. Stefaneas, \u201cOn arguments, fallacies and critical validity\u201d, Algebra and Model Theory<\/em> (12): 47-54, 2019 [special issue Erlagol 2019]<\/li>
      20. Almpani, P. Stefaneas, H. Boley, T. Mitsikas and P. Frangos,\u00a0\u201cA Rule-Based Model for Compliance of Medical Devices Applied to the European Market\u201d<\/strong>, in\u00a0International Journal of Extreme Automation and Connectivity in Healthcare (IJEACH)<\/em>, IGI Global, 1(2): 1-23, 2019.<\/li>
      21. Kiouvrekis, P. Stefaneas and S. Sudoplatov, \u201cDefinable Sets in Generic Structures and their Cardinalities\u201d S.V. Sib. Adv. Math<\/em>. 28 (1) : 39-52, Springer 2018.<\/li>
      22. Barlas, E. Berki, P. Stefaneas and G. Koletsos, \u201cTowards formal open standards: formalizing a standard\u2019s requirements\u201d Innovations in Systems and Software Engineering, A NASA Journal,<\/em>13(1): 51-66, Springer 2017.<\/li>
      23. Ksystra and P. Stefaneas, \u201cFormal analysis and verification for reactive rule-based Web agents\u201d. International Journal of Web Information Systems<\/em> 12(4): 418-447, 2016.<\/li>
      24. C. Fernandes, A. Alencar, E. Schmitz, M. da Silva and P. Stefaneas, \u201cEvaluation of Agile Software Projects in the Public Sector: A literature review\u201d. Journal of Software<\/em> 11(3): 312-325, 2016. [Review paper]<\/li>
      25. Mamakos and P. Stefaneas, \u201cConciousness reframed\u201d Technonoetic Arts<\/em>, 14(3): 169-176, Intellect Journals, 2016.<\/li>
      26. Ksystra, P. Stefaneas and P. Frangos, \u201cAn algebraic Framework for the verification of context-aware adaptive systems\u201d International Journal of Software Engineering and Knowledge Engineering<\/em> 25(7): 1105-1128, World Scientific 2015.<\/li>
      27. Stefaneas and I. Vandoulakis, \u201cOn Mathematical Proving\u201d. Journal Artificial General Intelligence<\/em> 6(1): 130-149, 2015.<\/li>
      28. de Faria, E. A. Schmitz, A. Alencar, M. F da Silva and P. Stefaneas, \u201cAnalyzing IT Governance Initiatives with Game Theory: A Literature Review\u201d. Journal of Software<\/em> 10(9): 1056-1069, 2015. [Review paper]<\/li>
      29. Kiouvrekis and P. Stefaneas, \u201cTopological Semantics in Institutions with Proofs\u201d Algebra and Model Theory<\/em>. Collection of papers eds.: A.G. Pinus, K.N. Ponomaryov, S.V. Sudoplatov, and E.I. Timoshenko. (10): 92-100, Novosibirsk: NSTU 2015.[special issue Erlagol 2015].<\/li>
      30. Ouranos, K. Ogata and P. Stefaneas, \u201cTESLA source authentication protocol verification experiment in the Timed OTS\/CafeOBJ method: Experiences and Lessons Learned\u201d. IEICE Transactions,<\/em>97-D<\/a>(5): 1160-1170, Oxford 2014.<\/li>
      31. Stefaneas and I. Vandoulakis, “Proofs as spatio-temporal processes” Philosophia Scientiae<\/em>, 19(1): 111-128, 2014.<\/li>
      32. Malamou, C. Pandis, P. Frangos, P. Stefaneas, A. Karakasiliotis and D. Kodokostas, \u201cApplication of the Modified Signature Method for Terrain Classification from Synthetic Aperture Radar Images\u201d ELEKTRONIKA IR ELEKTROTECHNIKA<\/em>, 20 (6): 118-121 2014.<\/li>
      33. Vandoulakis and P. Stefaneas, \u201cProof events in history of mathematics\u201d Ganita Bharati: Bulletin of the Indian Society for History of Mathematics<\/em>, 35 (1-2): 119-157, MD Publications, New Delhi, 2013.<\/li>
      34. Dimarogkona and\u00a0P. Stefaneas, \u201cSemantic Networks and the Theory of Institutions\u201d. Algebra and Model Theory<\/em>. Collection of papers eds.: A.G.Pinus, K.N.Ponomaryov, S.V.Sudoplatov, and E.I.Timoshenko. Novosibirsk: NSTU, (9): 8-18, 2013.[special issue Erlagol 2013]<\/li>
      35. Tsiavos, P. Stefaneas, and T. Karounos, \u201cThe Transposition of European Union Open Data\/Public Sector Information Policies in Greece: A Critical Analysis\u201d. Policy & Internet<\/em>, (5), no. 4: 402-418, Wiley 2013.<\/li>
      36. Triantafyllou, P. Stefaneas and P. Frangos, \u201cAn Algorithm for Allocating User Requests to Licenses in the OMA DRM System\u201d. IEICE Transactions<\/em> 96-D (6): 1258-1267, Oxford 2013.<\/li>
      37. Triantafyllou, \u00a0K. Ksystra, P. Stefaneas and P. Frangos, \u201cProof Carrying Code using Algebraic Specifications\u201d, Journal of Applied Mathematics & Bioinformatics<\/em>, vol.3, no.1, 43-56, 2013.<\/li>
      38. Stefaneas and I. Vandoulakis, \u201cThe Web as a tool for proving\u201d. Metaphilosophy<\/em>, 43 (4): 480-498, Wiley-Blackwell, 2012.<\/li>
      39. Barlas, G. Koletsos, P. Stefaneas and I. Ouranos, \u201cTowards a correct Translation from ASN.1 into CafeOBJ\u201d, Special Issue on Innovations in Intelligent Systems and Applications of the International Journal of Reasoning-based Intelligent Systems\u00a0 <\/em>(2): n. 3-4 : 300-309, 2010.<\/li>
      40. \u0399. Ouranos<\/a>, P. Stefaneas and Frangos<\/a>, \u201cAn Algebraic Framework for Modeling of Mobile Systems\u201d. IEICE Transactions<\/em> 90-A<\/a>(9): 1986-1999, Oxford, 2007.<\/li>
      41. Diaconescu and P. Stefaneas, \u201cUltraproducts and possible worlds semantics in institutions\u201d. Theoretical Computer Science <\/em>379 no 1-2, 210-230. Elsevier, 2007.<\/li>
      42. Diaconescu and P. Stefaneas, \u201cModalities in Open Institutions with Concrete Syntax\u201d Bulletin of the Greek Mathematical Society<\/em>, (49): 89-99, 2004.<\/li>
      43. Georgiou and P. Stefaneas, \u201cStrategies for Accelerating the Worldwide Adoption of e-Commerce\u201d, <\/em>Communications of the ACM,<\/em> Vol.45 (4)ve, 145-151, 2002.<\/li>
      44. Stefaneas, \u201cChartering second order logic\u201d. Romanian Academy- Journal of Information Science and Technology,<\/em> (2): 157 \u2013 172, 2000.<\/li>
      45. Stefaneas, Chartering modal logic, An. Univ. Buc. Mathematics Informatics<\/em><\/a> (48<\/strong>)<\/strong>: 89 \u2013 100, 1999.<\/li>
      46. Stefaneas Chartering first order logic. An. Univ. Buc. Mathematics Informatics <\/em>(47)<\/strong>: 13 \u2013 28, 1998.<\/li>
      47. Stefaneas, \u201cA note on Eisenstein’s criterion\u201d. Bull. Greek Math. Soc.<\/em><\/a> (37): <\/a>97 \u2013 101, 1995.<\/li><\/ol>

        \u0386\u03c1\u03b8\u03c1\u03b1 \u03c3\u03b5 \u03c3\u03c5\u03bd\u03ad\u03b4\u03c1\u03b9\u03b1 \u03bc\u03b5 \u03ba\u03c1\u03af\u03c3\u03b7 \u03c3\u03c4\u03bf \u03c0\u03bb\u03ae\u03c1\u03b5\u03c2 \u03ac\u03c1\u03b8\u03c1\u03bf – \u03a3\u03c5\u03bb\u03bb\u03bf\u03b3\u03b9\u03ba\u03bf\u03af \u03a4\u03cc\u03bc\u03bf\u03b9 :<\/strong> <\/span><\/p>

        1. Gkantzounis and P. Stefaneas, Topological Inquiry in Abstract Model Theory, \u03ad\u03c7\u03b5\u03b9 \u03b3\u03af\u03bd\u03b5\u03b9 \u03b4\u03b5\u03ba\u03c4\u03cc \u03c3\u03c4\u03bf STAF <\/em>pp. 16, \u00a0<\/em>LNCS 2024.<\/li>
        2. \u0395. Plithas, \u0391. Gkantzounis and P. Stefaneas, Ontological Neutrality: The Square of Opposition and Abstract Model Theory (\u03b8\u03b1 \u03c0\u03b5\u03c1\u03b9\u03bb\u03b7\u03c6\u03b8\u03b5\u03af \u03c3\u03b5 \u03c4\u03cc\u03bc\u03bf \u03c3\u03c4\u03b7 \u03c3\u03b5\u03b9\u03c1\u03ac Logica Universalis<\/em>) pp. 15, Birkh\u00e4user 2024.<\/li>
        3. Pitsiladis and P. Stefaneas, Converting BPMN Diagrams to Privacy Calculus, Proc. Working Formal Methods Symposium (FROM), pp 16, Electronic Proceedings in Theoretical Computer Science<\/em> 2024.<\/li>
        4. Gouvatsou, D. Pantazatos, M. Grammatikou, V. Maglaris and P. Stefaneas \u00a0Analysing User Engagement in e-Learning Platforms: A Machine Learning Approach to Web Analytics, pp 12, ICL<\/em> 2024.<\/li>
        5. Moutafis, A. Andreatos and P. Stefaneas, Spam Email Detection Using Machine Learning Techniques<\/a>, European Conference on Cyber Warfare and Security<\/em> 22 (1), 303-310, 2023.<\/li>
        6. Serakioti and P. Stefaneas, Linguistic depiction through mathematical diagrams: challenges and prospects, International Conference \u201cSemiotics across and in between\u2019<\/em>, 1-12, 2023.<\/li>
        7. Ksystra<\/a>,\u00a0M. Dimarogkona<\/a>,\u00a0N.Triantafyllou<\/a>,\u00a0P. Stefaneas and\u00a0P. Kavassalis<\/a>:
          Towards a Methodology for Formally Analyzing Federated Identity Management Systems.          ISoLA (4)\u00a0<\/a>382-405, LNCS 2022.<\/li>
        8. Almpani<\/a>,\u00a0Y.<\/a> Kiouvrekis and P. Stefaneas: Modeling of Medical Devices Classification with Computational Argumentation.IISA<\/em>\u00a0<\/a>:\u00a01-6, 2021.<\/li>
        9. Stefaneas, On post-truth and correctness over the Web.WebSci (ACM Companion)<\/em>\u00a02021<\/a>:\u00a067-68, 2021.<\/li>
        10. Nousias<\/a>,\u00a0A. Couillault<\/a>,\u00a0S. Almpani<\/a>,\u00a0T. Mitsikas<\/a>,\u00a0P.\u00a0Stefaneas<\/a>:
          From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd (short paper).          SETN Workshops\u00a0<\/a>:\u00a0131-132, 2020.<\/li>
        11. Ouranos, P. Stefaneas, K. Ogata: Towards algebraic specification and verification of airport baggage handling systems algorithms<\/a>. pp 6, Proc. 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021).<\/em><\/li>
        12. Zafeirakopoulos<\/a>,\u00a0P.\u00a0Stefaneas<\/a>: Remarks on the Ethical Behavior of Artificial Intelligence (short paper).SETN Workshops\u00a02020<\/a>:\u00a0123-125, 2020.<\/li>
        13. Kiouvrekis, P. Stefaneas and I. Vandoulakis, \u201cOn the transformations of the square of opposition from the point of view of Institution Model Theory, Studies of Universal Logic Book Series, The Birkhauser.<\/li>
        14. Zafeirakopoulos and P. Stefaneas, \u201cRemarks on the Ethical Behaviour of Artificial Intelligence\u201d Artificial Intelligence, Law and Ethics, SETN 2020, 11th<\/sup> EETN Conference on Artificial Intelligence<\/li>
        15. Barlas and P. Stefaneas, \u201cAn algebraic schema for JSON\u201d [Short paper], Proc. 24th<\/sup> Panhellenic conference on Informatics, 2020.<\/li>
        16. Deryck, T. Mitsikas, S. Almpani, P.Stefaneas, P.Frangos, I. Ouranos, H.Boley, J.Vennekens \u201cAligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP\u201d, Proceedings RuleML+RR 2019, P. Fodor et al. (eds) Lecture Notes Computer Science 11784, 52-66,, Springer 2019.<\/li>
        17. Dimarogkona, M. Addis, and P. Stefaneas,\u00a0\u201cSyntax, Semantics and the Formalization of Social Science Theories\u201d, Chapter 9, M. Addis, Lane<\/strong>, P.C.R.,\u00a0D Sozou<\/strong>, P.,\u00a0Gobet<\/strong>, F. (eds.), Scientific Discovery in the Social Sciences, (413): 141-154, Springer Synthese Library, 2019.<\/li>
        18. V. Pitsiladis, P. S. Stefaneas, Implementation of Privacy Calculus and Its Type Checking in Maude. Proceedings Part II. Leveraging Applications of Formal Methods, Verification and Validation. Verification – 8th International Symposium ISoLA, Limassol, Cyprus, November 5-9, 2018, Tiziana Margaria<\/a> and Bernhard Steffen<\/a> (eds). Lecture Notes in Computer Science<\/a>\u00a011245, 477-493 Springer\u00a02018.<\/li>
        19. Alpmani, P.Stefaneas,\u00a0H. Boley<\/a>,\u00a0T. Mitsikas<\/a>,\u00a0P. Frangos<\/a>:Object-Relational Rules for Medical Devices: Classification and Conformity.Proceedings Valetta, Malta, October 22-26, 2018\u00a0 Herv\u00e9 Panetto<\/a>,\u00a0Christophe Debruyne<\/a>,\u00a0Henderik A. Proper<\/a>,\u00a0Claudio Agostino Ardagna<\/a>,\u00a0Dumitru Roman<\/a>,\u00a0Robert Meersman<\/a> (eds.) Lecture Notes in Computer Science 11230, 584-591 Springer 2018.\u00a0<\/li>
        20. Mitsikas,\u00a0S. Almpani<\/a>,\u00a0P. Stefaneas,\u00a0P.Frangos<\/a>,\u00a0I. Ouranos<\/a>: Formalizing Air Traffic Control Regulations in PSOA RuleML.Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 20-26, 2018. Wolfgang Faber<\/a>,\u00a0Paul Fodor<\/a>,\u00a0Giovanni De Gasperis<\/a>,\u00a0Adrian Giurca<\/a>,\u00a0Kia Teymourian<\/a> (eds.):\u00a0CEUR Workshop Proceedings<\/a>\u00a02204,\u00a0CEUR-WS.org\u00a02018, (9) 1-14, 2018.<\/li>
        21. Almpani<\/a>,\u00a0P. Stefaneas,\u00a0H. Boley<\/a>,\u00a0T.Mitsikas<\/a>,\u00a0P.Frangos<\/a>: Computational Regulation of Medical Devices in PSOA RuleML.Rules and Reasoning – Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings.Christoph Benzm\u00fcller<\/a>,\u00a0Francesco Ricca<\/a>,\u00a0Xavier Parent<\/a>,\u00a0Dumitru Roman<\/a> (eds) Lecture Notes in Computer Science<\/a>\u00a011092, 203-210,\u00a0Springer\u00a02018.<\/li>
        22. Dimarogkona and P. Stefaneas,\u00a0Institutions and Computer Ethics\u00a0, Cryptography, Cyber-Security and Information Warfare, (Ed. N. J. Darras), Cybercrime and Cybersecurity Research Series<\/em>, Chapter 6, 1-20, Nova Science Publishers, NY 2018.<\/li>
        23. V. Sudoplatov, Y.Kiouvrekis and P.Stefaneas.\u00a0Generic constructions and generic limits, in Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.), 375 \u2013 398, Springer PROMS 2017.<\/li>
        24. Almpani, A. Gantzounis, and P. Stefaneas,Zero-Knowledge Proof Events: Ali Baba\u2019s cave, Proceedings ISSC 2018, Logics of Image, Visual Learning, Logic and Philosophy of Form in East and West, Kolymbari, Crete, August 2018 (to appear at a special issue of Symmetry Journal).<\/li>
        25. Mitsikas, P. Stefaneas, and I. Ouranos.A Rule-Based Approach for Air Traffic Control in the Vicinity of the Airport, in\u00a0Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.),\u00a0 423 \u2013 438, Springer PROMS 2017.<\/li>
        26. Almpani<\/a>,\u00a0P. Stefaneas: \u201cOn Proving and argumentation\u201d.Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition, AIC 2017, Larnaca, Cyprus, November 1-3, 2017. I.-A.Diakidoy<\/a>,\u00a0A. C. Kakas<\/a>,\u00a0A.Lieto<\/a>,\u00a0L. Michael<\/a> (eds.) CEUR Workshop Proceedings<\/a>\u00a02090,\u00a0CEUR-WS.org\u00a02018.<\/li>
        27. Almpani, P. Stefaneas, I. Vandoulakis, \u201cOn the role of argumentation in discovery proof events\u201d, C3GI Madrid 2017 Proceedings of the Sixth International Workshop on Computational Creativity, Concept Invention, and General Intelligence(C3GI 2017)Madrid, Spain, December 15, 2017. Edited by Carlos Leon<\/a>, Oliver Kutz<\/a>\u00a0and Tarek R. Besold<\/a>. CEUR Workshop Proceedings<\/a>\u00a02090,\u00a072-84, CEUR-WS.org\u00a02018.<\/li>
        28. Mitsikas, N. Spanoudakis, P. Stefaneas and A. Kakas. \u201cFrom Natural Language to Argumentation and Cognitive Systems\u201dProceedings of the 5th International Workshop on Artificial Intelligence and Cognition, AIC 2017, Larnaca, Cyprus, November 1-3, 2017.I.-A.Diakidoy<\/a>,\u00a0A. C. Kakas<\/a>,\u00a0A.Lieto<\/a>,\u00a0L. Michael<\/a> (eds.) CEUR Workshop Proceedings<\/a>2090,\u00a0CEUR-WS.org\u00a02018, 55-57. Also,\u00a0Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, A. S. Gordon<\/a>,\u00a0R. Miller<\/a>,\u00a0G.Tur\u00e1n<\/a> (Eds) London, UK, November 6-8, 2017.\u00a0CEUR Workshop Proceedings<\/a>\u00a02052,\u00a0CEUR-WS.org\u00a02018.<\/li>
        29. Ksystra, N. Triantafyllou, P. Stefaneas,\u00a0\u201cCombining Algebraic Specifications with FirstOrder Logic via Athena\u201d, Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.), 399 \u2013 422, Springer PROMS 2017.<\/li>
        30. Angius, M. Dimarogkona, and P. Stefaneas,\u00a0\u201cBuilding and Integrating Semantic Theories over Institutions\u00a0\u201c,\u00a0Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.), 363 \u2013 374, Springer PROMS 2017.<\/li>
        31. Stefaneas, On Legal Semantic Theories, Festschrift fur Johannes Strangas, jus, ars, philosophia et historia, 385 \u2013 389, NOMOS, Baden Baden 2017.<\/li>
        32. Kiouvrekis, P. Stefaneas, A.Kokkinaki, and N.Asimakis. \u201cLimiting the impact of statistics as a proverbial source of falsehood\u201d. Proceedings – 15th European, Mediterranean, and Middle Eastern Conference on Information Systems, EMCIS 2018 433-442 Vol. 341. Lecture Notes in Business Information Processing, Springer 2018.<\/li>
        33. Kalampakas, N. Triantafyllou, K. Ksystra and P. Stefaneas \u201cA Formal Representation of Video Content with the Picture Hyperoperation\u201d Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.), 447 \u2013 451 Springer PROMS 2017.<\/li>
        34. J. Alencar, M. P. Bastos, E. A. Schmitz, M. F. da Silva and P. Stefaneas, Chapter 19 \u201cMaximizing the Return on Investment in Big-Data Projects: An Approach Based upon the Incremental Funding of Project Development\u201d in Kuan-Ching Li, Hai Jiang, Albert Y. Zomaya (Org.) Big Data Management and Processing, Florida CRC, 385-402 Taylor and Francis, 2017.<\/li>
        35. Vandoulakis and P. Stefaneas,\u00a0Mathematical Proving as multi agent spatio-temporal activity, Boris Chendov (ed.)\u00a0Modeling, Logical and Philosophical Aspects of Foundations of Science<\/em>, Proceedings of the round table on \u201cMethodology of Mathematical Modeling and of Applications of Logical Systems in Scientific Knowledge\u201d, 23rd World Conference on Philosophy (Athens, 2013), Vol 1, 1-14, LAP LAMBERT Academic Publishing 2016.<\/li>
        36. Stefaneas and I. Vandoulakis, \u201cOn Mathematical Style and its Communicative Functions\u201d, Proceedings, Unilog 2015, Publications of the Institute of Cognitive Science, Osnabruck University, pp. 70-80, Volume 2 – 2015. Also, (another version), Proceedings 2nd<\/sup> International Conference on Science, Technology and Art Relations (STAR), 228-245, Tel Aviv AEAI 2014.<\/li>
        37. Stefaneas, I. Vandoulakis, H. Foundalis and M. Martinez, \u201cCollective Discovery Events: Web-Based Mathematical problem-solving with Codelets\u201d, Computational Creativity Research: Creative Machines<\/em>. Tarek R. Besold, Marco Schorlemmer, Alan Smaill (eds.), 371-372. Atlantis Press, Springer 2015 (extended version of C3GI – ECAI paper).<\/li>
        38. Angius and P. Stefaneas, \u201cDiscovering Empirical Theories of Modular Software Systems. An Algebraic approach\u201d. M\u00fcller, Vincent C. (ed.) Computing and Philosophy: Proceedings of IACAP 2014<\/em>, 99-115 Synthese Library, Springer: Berlin 2016.<\/li>
        39. Triantafyllou<\/a>,K. Ksystra<\/a>,\u00a0P. Stefaneas,\u00a0A. Kalampakas<\/a>,\u00a0\u201cTowards Formal Representation and Comparison of Video Content Using Algebraic Semiotics\u201d.\u00a0Proceedings <\/em>SMAP<\/em>, Corfu 6-7 November 2014<\/a>, 48-53, IEEE 2014.<\/li>
        40. Ksystra<\/a>,N. Triantafyllou<\/a> and\u00a0P. Stefaneas, \u201cOn Verifying Reactive Rules Using Rewriting Logic\u201d.\u00a0Proceedings RuleML 2014<\/em>. Antonis Bikakis<\/a>,\u00a0Paul Fodor<\/a>,\u00a0Dumitru Roman<\/a>\u00a0(Eds.):\u00a0Rules on the Web. From Theory to Applications – 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, 67-81, Proceedings. LNCS Springer 2014.<\/li>
        41. Triantafyllou, K. Ksystra and P. Stefaneas, \u201cOn the Algebraic Specification and Verification of Parallel Systems\u201d T. Margaria and B. Steffen (eds): Proceedings IsoLa 2014<\/em>, Part II, LNCS 8803, 623-624, Springer 2014.<\/li>
        42. Kalambakas, N. Triantafyllou, K. Ksystra and P. Stefaneas, \u201cThe picture hyperoperation\u201d 12th<\/sup> AHA<\/em> (Algebraic Hyperstructures Association) Conference, Xanthi, Greece, Sept. 2014 [accepted].<\/li>
        43. Mamakos, P. Stefaneas, M. Dimarogkona and J. Paine, \u201cPolytropos project: Experiments in Blending\u201d Proceedings 3rd<\/sup> International Workshop on Computational Creativity, Concept Invention and General Intelligence (C3GI)<\/em> \u2013 European Conference on Artificial Intelligence, Prague, Czech Republic, Eds: T. Besold, K.-U. K\u00fchnberger, M. Schorlemmer & A. Smail University of Osnabruk, Publications of the Institute of Cognitive Science, vol. 1, 61-66, August 2014.<\/li>
        44. Ksystra, P. Stefaneas, and P. Frangos, \u201cAn Algebraic Framework for Modeling of Reactive Rule-based Intelligent Agents\u201d. Proceedings 40th International Conference on Current Trends in Theory and Practice of Computer Science, SofSEM,<\/em>January 25-30, 2014 Nov\u00fd Smokovec, High Tatras, Slovakia. Viliam Geffert<\/a>,Bart Preneel<\/a>,\u00a0Branislav Rovan<\/a>,\u00a0Julius Stuller<\/a>,\u00a0A Min Tjoa<\/a>\u00a0(Eds). 407-418, Lecture Notes in Computer Science<\/a>, Springer 2014.\u00a0<\/li>
        45. Stefaneas, I. Ouranos, N. Triantafyllou and K. Ksystra, \u201cSome Engineering Applications of the OTS\/CafeOBJ Method\u201d. Specification, Algebra, and Software. <\/em>A Festschrift Symposium in Honor of KokichiFutatsugi (SAS 2014) 2014 Kanazawa, Japan. <\/em>eds: S. Iida, J. Meseguer, K. Ogata, 541-559, Springer LNCS Festschrift 2014.<\/li>
        46. Ouranos and P. Stefaneas. \u201cTowards a Protocol Algebra Based on Algebraic Specifications\u201d. Software Engineering Research, Management and Applications, Roger Y. Lee (Ed.) [selected papers from the 11th International Conference on Software Engineering Research, Management and Applications, SERA 2013<\/em>, Prague, Czech Republic, August 7-9, 2013]. 85-98. Studies in Computational Intelligence<\/em>. Springer 2014.<\/li>
        47. Malamou, C. Pandis, A. Karakasiliotis, P. Stefaneas, E. Kallitsis and P. Frangos, \u201cSAR Imaging: An auto-focusing method for improving image quality and MFS image classification technique\u201d in \u201cApplications of Mathematics and Informatics in Science and Engineering\u201d, Springer Optimization and its applications (SOIA) <\/em>Volume 91,199-215, Springer 2014.<\/li>
        48. Malamou, C. Pandis, P. Frangos and P. Stefaneas, \u201cSAR Image terrain classification using the MFS method\u201d Proceedings Conference on Communications, Electromagnetics and Medical Applications (CEMA),<\/em> 16-18th<\/sup> October 2014. 1-5, D. Dimitrov (Ed.) Technical University of Sofia, Bulgaria.<\/li>
        49. Dimarogkona and\u00a0P. Stefaneas, \u201cCompurer Ethics, Information and Institutions\u201d, Proceedings ISSC, Symmetry 2016 [accepted].<\/li>
        50. Vandoulakis and P. Stefaneas, \u201cConceptions of proof in mathematics\u201d. Proceedings of the Moscow Seminar on Philosophy of Mathematics<\/em>. In Proof. Evidence, reliability and convincingness, URSS, Moscow, BazhanovV.A.,\u00a0Krichevech\u00a0A.N.,\u00a0 Shaposhnikov\u00a0V.A.(Ed.), 256-281, 2013.<\/li>
        51. Malamou, C. Pandis, A. Karakasiliotis, P. Stefaneas, D. Kodokostas and P. Frangos, \u201cApplication of an Autofocusing Algorithm for SAR Image Quality Improvement and Application of the Modified Fractal Signature (MFS) Method for SAR Image Classification for the case of Real Radar Data\u2019, Proceedings CEMA\u201913 Conference<\/em>, Technical University of Sofia, Bulgaria, October 2013. D. Dimitrov (Ed.), 108 \u2013 111, KING, Sofia, 2013.<\/li>
        52. Mamakos and P. Stefaneas, \u201cPolytropos project: a mechanism for new media\u201d. Proceedings of the 9th<\/sup> Interdisciplinary Symmetry Congress-Festival of ISIS-Symmetry (International Society for the Interdisciplinary Study of Symmetry), Special issue [1-4] of the Journal Symmetry: Art and Science<\/em>. International Society for the Interdisciplinary Study of Symmetry. Budapest and Melbourne. 230-235, 2013.<\/li>
        53. Theologou and P. Stefaneas, \u201cDigital symmetries of the web and postmodern identities\u201d. Proceedings of the 9th<\/sup> Interdisciplinary Symmetry Congress-Festival of ISIS-Symmetry (International Society for the Interdisciplinary Study of Symmetry), Special issue [1-4] of the Journal Symmetry: Art and Science<\/em>.International Society for the Interdisciplinary Study of Symmetry. Budapest and Melbourne, 322-325, 2013.<\/li>
        54. Ouranos, K. Ogata and P. Stefaneas, \u201cFormal Analysis of TESLA Protocol in the Timed OTS\/CafeOBJ Method\u201d. Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies – 5th International Symposium, ISoLA 2012, Heraklion, Crete, October 15-18, 2012, Part II. Lecture Notes in Computer Science. Proceedings ISoLA (2) 2012<\/em>: 126-142, Springer 2012.<\/li>
        55. Ksystra, N. Triantafyllou and P. Stefaneas, \u201cOn the Algebraic Semantics of Reactive Rules\u201d. Antonis Bikakis, Adrian Giurca (Eds.): Rules on the Web: Research and Applications – 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings<\/em> RuleML 2012<\/em>: 136-150, Lecture Notes in Computer Science. Springer 2012.<\/li>
        56. Ksystra, N. Triantafyllou, P. Stefaneas and P. Frangos, \u201cSemantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications\u201d. Proceedings SMAP 2012<\/em>: 81-86. Seventh International Workshop on Semantic and Social Media Adaptation and Personalization, SMAP 2012, Luxembourg City, Luxembourg, December 3-4, 2012. IEEE 2012.<\/li>
        57. Vafopoulos, P. Stefaneas, I. Anagnostopoulos and K. O\u2019Hara: A methodology for internal Web ethics. In WWW2012, PhiloWeb 2012.<\/em>Proceedings of the WWW 2012 conference workshop PhiloWeb 2012: “Web and Philosophy, Why and What For?” Lyon, France, Apr 17, 2012. Edited by Alexandre Monnin, Harry Halpin and Leslie Car. pp 1-9.<\/li>
        58. Pandis, A. Malamou, P. Stefaneas and P. Frangos, \u2018Applying the modified fractal signature method to image classification : some preliminary results for ISAR radar images\u2019, Proceedings CEMA\u201912<\/em> International Conference, National Technical University of Athens (NTUA), Athens, Greece, 8 – 10\/11\/2012. CEMA’12, Athens : Edit. Co. KING 2001, Sofia, ISSN : 1314-2100. Responsible for the edition : Prof. D. Dimitrov, pp. 50 – 52.<\/li>
        59. Ksystra, N. Triantafyllou, K. Barlas and P. Stefaneas, \u201cAn Algebraic Specification of Social Networks\u201d, Proceedings Software Quality Management Conference XX<\/em>, Editors: E. Berki, J. Valtanen, P. Nykanen, M. Ross, G. Staples, K. Systa, British Computer Society Quality SG SQM\/INSPIRE Conference, Tampere, Finland, 135-146, 2012 [best student paper].<\/li>
        60. Stefaneas, I. Vandoulakis, H. Foundalis and M. Martinez, \u201cWeb-Based Mathematical problem-solving with Codelets\u201d, Proceeding of the Workshop \u201c<\/em>Computational Creativity, Concept Invention, and General Intelligence (C3GI)<\/em> ECAI-2012, Montpellier, France, August 27, 2012. Tarek R. Besold, Kai-Uwe Kuhnberger, Marco Schorlemmer, Alan Smaill (eds.), 41-44. Publications of the Institute of Cognitive Science, Volume 1 \u2013 2012. Osnabruck, Germany, 2012.<\/li>
        61. Barlas, P. Stefaneas and G. Koletsos, Extending standards with formal methods: Open Document Architecture, Proceedings INISTA 2012<\/em>. 2-4 July Trabzon, Turkey, 1\u2013 5, 2012 IEEE Conference Publications.<\/li>
        62. Tsiavos, P. Stefaneas and T. Karounos, Financial Crisis and The Promised Land of Open Data.\u00a0‘IPP2012: Big Data’Oxford Internet Institute 2012. [A shorter version (abstract) had been accepted at PMOD (Brussels 19-20 June 2012) organized by W3C and JRC-IPTS].<\/li>
        63. Pappas and P. Stefaneas, \u201cOn legal documents and formal methods\u201d. <\/strong>5th ICIL 2012 – Equity, Integrity & Beauty in Information Law & Ethics. Corfu 2012, [accepted and presented].<\/li>
        64. Triantafyllou, K. Ksystra, P. Stefaneas and P. Frangos, \u201cApplying Algebraic specifications to Digital Rights Management Systems\u201d, in Andrew V. Jones (Ed.): Proceedings of the 1st<\/sup> Imperial College Student Workshop<\/em> (ICCSW \u02bb11), 94\u2013100. September 29th\u201330th<\/sup> 2011, London UK.<\/li>
        65. Stefaneas \u201cOn Scientific Theories and Abstract Model Theory\u201d3rd<\/sup> EPSA 2011<\/em> (3rd<\/sup> Conference of the European Philosophy of Science Association), Athens, 5-8 October 2011. Another version published as \u201cOn Scientific Theories and Institutions\u201d, Proceedings 8th<\/sup> Panhellenic Logic Symposium<\/em>, Ioannina, 4-8 July, 2011.<\/li>
        66. Tsiavos and P. Stefaneas, \u201cHybrid Models for Open Digital Archives: Necessity?\u201d International Seminar on Information Law<\/em> [accepted, 2011]. Also, at\u00a0 https:\/\/arxiv.org\/abs\/1109.0680,<\/li>
        67. Ouranos, P. Stefaneas, and K. Ogata, \u201cFormal Modelling and Verification of Sensor Network Encryption Protocol in the OTS\/CafeOBJ Method\u201d T. Margaria and B. Steffen (Eds): Proceedings ISoLA 2010<\/em>, Part I, LNCS, 75-89, 2010, Springer-Verlag Berlin Heidelberg 2010.<\/li>
        68. Triantafyllou, P. Stefaneas, Iakovos Ouranos and Panayiotis Frangos, \u201cFormal specification and verification of the OMA License Choice Algorithm in OTS\/CAFEOBJ method\u201d, R. F. S. Caldeirinha<\/a> and M. S. Obaidat<\/a> (Eds.): Proceedings WINSYS 2010 \u2013 International Conference on Wireless Information Networks and Systems<\/em>, 173 – 180, SciTePress 2010. Also, (after selection) at M.S. Obaidat, G.A. Tsihrintzis, and J. Filipe (Eds.): ICETE 2010, CCIS 222, 424\u2013438, 2011. Springer-Verlag Berlin Heidelberg 2011. [best student paper]<\/li>
        69. Ksystra, P. Stefaneas, I. Ouranos and P. Frangos, \u201cA parallel version of the MPEG-2 encoding algorithm formally analyzed using algebraic specifications\u201d George A. Tsihrintzis<\/a>, Maria Virvou<\/a> (Eds.): Proceedings SIGMAP 2010 \u2013 International Conference on Signal Processing and Multimedia Applications,<\/em> 35 \u2013 38, SciTePress 2010.<\/li>
        70. Stefaneas, \u201cOn Formal Methodologies for Computer Supported Computer Ethics\u201d. In M. Botti ed. Proceedings Third International Seminar on Information Law<\/em> 2010 – An Information Law for the 21st Century, 485-489, Nomiki Vivliothiki, 2011.<\/li>
        71. Ksystra, P. Stefaneas, N. Triantafyllou and I. Ouranos, \u201cAn Algebraic Specification for the MPEG-2 Encoding Algorithm\u201d, Fourth SEE Workshop on Formal Methods,<\/em> 46-52, IEEE Computer Society CPS, 2009.<\/li>
        72. Barlas, G. Koletsos, P. Stefaneas and I. Ouranos, \u201cFrom ASN.1 into CafeOBJ: Some first steps\u201d, Fourth SEE Workshop on Formal Methods,<\/em> pp 66-72, IEEE Computer Society CPS, 2009. Also presented as part of \u201cTowards a correct Translation from ASN.1 into CafeOBJ\u201d Proceedings International Symposium on Innovations in Intelligent Systems and Applications (INISTA),<\/em> 141-145, Trabzon, Turkey, 2009.<\/li>
        73. Triantafyllou, I. Ouranos and P. Stefaneas, \u201cAlgebraic Specifications for OMA REL Licenses\u201d, 5th<\/sup> IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WIMOB 2009<\/em>, Proceedings, IEEE Computer Society, 376 \u2013 381, Marrakech 2009.<\/li>
        74. Ouranos and P. Stefaneas, \u201cVerifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques\u201d, Proceedings 3rd<\/sup> Conference on Algebraic Informatics, Thessaloniki, Lecture Notes Computer Science<\/em> 4728, 247- 259, Springer 2007.<\/li>
        75. Ouranos, P. Stefaneas and P. Frangos, \u201cA Formal Specification Framework for Ad Hoc Mobile Communication Networks\u201d. Proceedings SOFSEM<\/em> (2), 91-102, Prague, 2007.<\/li>
        76. Ouranos, P. Stefaneas, et. al, \u201cModelling real time authentication protocols using algebraic specification techniques – the case of TESLA protocol<\/em><\/a>\u201d<\/em> , <\/em>23rd IFIP TC 7 Conference on System Modelling and Optimization, Cracow, Poland, July 23-27, 2007.<\/li>
        77. Diaconescu and P. Stefaneas, \u201cAbstract Modalities and Institutions\u201d, Proc. CombLog\u201904, Workshop on Combination of Logics: Theory and Applications<\/em>, Lisbon, 159-165, 2004.Also part of \u201cModalities in Open Institutions with Concrete Syntax\u201d, Proc. 4th<\/sup> Panhellenic Logic Conference<\/em>, 85-88, Thessaloniki, 2003.<\/li>
        78. Ouranos, P. Stefaneas and P. Frangos, \u201cAn Algebraic Specification of Mobile IPv6 Protocol\u201d,Proc. International Conference Principles of Software Engineering (PRISE),<\/em> 131-140, Buenos Aires, Argentina, 2004.<\/li>
        79. Ouranos, P. Stefaneas and P. Frangos, \u201cMobileOBJ: A Mobility Approach Using CafeOBJ Algebraic Specification Language\u201d, <\/em>Proc. ICNAAM<\/em> 2004, 375-378, Wiley Publ, 2004.<\/li>
        80. Papas and P. Stefaneas, \u201cVirtual Career Guidance in Education\u201d, Proc. ED-MEDIA<\/em>, AACE, Turku, Finland, 1442 \u2013 1449, 2001.<\/li>
        81. Papas and P. Stefaneas, \u201cRequirements and Management of IT Resources in Education\u201d, Proc. ED-MEDIA<\/em>, AACE, Turku, Finland, 1450 – 51, 2001.<\/li>
        82. Andreatos and P. Stefaneas, \u201cOn hierarchically organized networks \u2013 an algebraic approach\u201d. Proc. 2nd<\/sup> IMACS International Conference on Circuits, Systems and Computing<\/em>. Athens, 128-132, 1998.<\/li>
        83. Paine and P. Stefaneas, \u201cEverything is not an object\u201d, Proc. 6th<\/sup> Hellenic Congress in Informatics, Greek Computing Society<\/em>, 74, 1-9, 1997.<\/li>
        84. Stefaneas, \u201cChartering First Order Logic\u201d, Proc. 3rd<\/sup> International Conference \u201cDevelopments in Language Theory\u201d<\/em>, DLT 1997, Thessaloniki Greece, 579-592, S. Bozapalides (Ed.) Aristotle University of Thessaloniki 1997.<\/li>
        85. Karounos and P. Stefaneas, \u201cManaging the Quality of Network Services within an Academic Environment\u201d, Proc. International Conference on Telecommunications (ICT\u2019 98)\u201d<\/em>, 399-403, 1998.<\/li>
        86. Andreatos and P. Stefaneas, \u201cApplying Category Theory to Computing Networks\u201d, Proc. Workshop on Circuits, Systems and Computing<\/em>, 1-5, 1996.<\/li>
        87. Stefaneas, \u201cRandomized Specifications\u201d, Proc. 5th<\/sup> Hellenic Congress in Informatics, Greek Computing Society<\/em>, 581-588, 1995.<\/li>
        88. Stefaneas, \u201cRandomized Computing Logics\u201d,Hellenic European Research on Mathematics and Informatics \u201994, Proc. HERMES\u201994<\/em>, Greek Mathematical Society, 933-940, 1994.<\/li>
        89. Diaconescu, J. Goguen and P. Stefaneas, \u201cLogical support for modularisation\u201d. Logical environments (Editors: G. Huet and G. Plotkin,), <\/em>83-130, Cambridge Univ. <\/em>Press<\/em>, <\/em>Cambridge<\/em>,<\/em>1993.<\/li><\/ol>

          \u03a3\u03c5\u03bd\u03ad\u03b4\u03c1\u03b9\u03b1 \u03bc\u03b5\u03c4\u03ac \u03b1\u03c0\u03cc \u03ba\u03c1\u03af\u03c3\u03b7 \u03c3\u03c4\u03b7\u03bd \u03c0\u03b5\u03c1\u03af\u03bb\u03b7\u03c8\u03b7 \u03ae \u03bf\u03bc\u03b9\u03bb\u03af\u03b5\u03c2 \u03bc\u03b5 \u03c0\u03c1\u03cc\u03c3\u03ba\u03bb\u03b7\u03c3\u03b7 :<\/strong> <\/span><\/p>

          1. Fikiori, A. Gkatzounis, F. Skarpelos and P. Stefaneas, On abstract logics for interacting provers, Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives, 2025<\/li>
          2. Gkantzounis, F. Skarpelos, Y. Kiouvrekis and Stefaneas, P.: On Abstract Model Theory and Logical Topologies, TACL 2024.<\/li>
          3. Gkantzounis, Stefaneas,\u00a0P.: Topological Inquiry in Abstract Model Theory, WADT 2024.<\/li>
          4. Stefaneas,\u00a0P. and Gkantzounis\u00a0A.,: On Mathematical Proving and Algebra, 22nd Annual Conference of the Calcutta Logic Circle, 2023.<\/li>
          5. Gkantzounis\u00a0A., P. Stefaneas and A. Kontogeorgis: On Provings and Sheaves, PSSL 107, 2023.<\/li>
          6. Arsenidis, A. Moraitopoulos, A, Athanasiou, P. Bamidis, P. Stefaneas, A. Astaras, MOCAST 2023.<\/li>
          7. \u03a6. \u03a3\u03ba\u03b1\u03c1\u03c0\u03ad\u03bb\u03bf\u03c2 \u03ba\u03b1\u03b9 \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2. \u0386\u03bb\u03b3\u03b5\u03b2\u03c1\u03b1 \u03ba\u03b1\u03b9 \u03c3\u03b7\u03bc\u03b5\u03b9\u03c9\u03c4\u03b9\u03ba\u03ae: \u03bc\u03b9\u03b1 \u03b5\u03bd\u03b4\u03b5\u03c7\u03bf\u03bc\u03ad\u03bd\u03c9\u03c2 \u03b3\u03cc\u03bd\u03b9\u03bc\u03b7 \u03c3\u03c7\u03ad\u03c3\u03b7, 7\u03bf<\/sup> \u03a0\u03b1\u03bd\u03b5\u03bb\u03bb\u03ae\u03bd\u03b9\u03bf \u03a3\u03c5\u03bd\u03ad\u03b4\u03c1\u03b9\u03bf \u03a6\u03b9\u03bb\u03bf\u03c3\u03bf\u03c6\u03af\u03b1\u03c2 \u03c4\u03b7\u03c2 \u0395\u03c0\u03b9\u03c3\u03c4\u03ae\u03bc\u03b7\u03c2, 2022.<\/li>
          8. D. Zafeirakopoulos and P. Stefaneas, Remarks on Deontic Logic and Artificial Intelligence, Erlagol, 14th<\/sup> International Summer-School Conference, Problems Allied to Model Theory and Universal Algebra, June 2021.<\/li>
          9. Kiouvrekis, P. Stefaneas and I. Vandoulakis, A unified category-theoretic framework for the study of the Square of Opposition, Square of Opposition Leuven September 2021 (\u03b1\u03ba\u03c5\u03c1\u03ce\u03b8\u03b7\u03ba\u03b5 \u03bb\u03cc\u03b3\u03c9 Covid-19).<\/li>
          10. Dimarogkona and P.Stefaneas, A Meta-Logical Framework for Philosophy of Science, CLMPST, August 2019, Prague, Czech Republic.<\/li>
          11. Stefaneas and I.Vandoulakis, Mathematical Proving as Spatio-Temporal Activity of Multi-Agent Systems August 2019, Prague, Czech Republic<\/li>
          12. Almpani, P. Stefaneas and I.Vandoulakis On the Significance of Argumentation in Discovery Proof-Events CLMPST, August 2019, Prague, Czech Republic<\/li>
          13. Stefaneas, Research Trends and Open Problems in the Formalization of Computer Ethics, Rules: Logic and Applications, Athens 2018 [introductory talk]<\/li>
          14. Kiouvrekis, S. Sudoplatov and P. Stefaneas, On definable sets in generic structures, Handbook of the 6th World Congress and School on Universal Logic June 16\u201326, 2018 Vichy, France. \u2013 Vichy: Vichy University, 2018. \u2013 P. 233-234.<\/li>
          15. Kiouvrekis, S. Sudoplatov and P. Stefaneas, Calculi for definable sets, Handbook of the 6th World Congress and School on Universal Logic June 16\u201326, 2018 Vichy, France. \u2013 Vichy: Vichy University, 2018. \u2013 P. 240-241.<\/li>
          16. Kiouvrekis, S. Sudoplatov and P. Stefaneas. On lattices in generative classes, Handbook of the 6th World Congress and School on Universal Logic June 16\u201326, 2018 Vichy, France. \u2013 Vichy: Vichy University, 2018. \u2013 P. 243-244<\/li>
          17. Tsiavos,\u00a0T.Karounos and <\/strong>P. Stefaneas: (Un)learning from Athens: Architectures of e-Democracy in the European Global South, IPP 2018, Oxford Internet Institute 2018<\/li>
          18. Dimarogkona and P. Stefaneas, Ethics of Algorithms, Formal Methods, and Abstract Model Theory, ETHICOMP, September 2018, Sopot, Poland.<\/li>
          19. Dimarogkona and P. Stefaneas, Styles of Programming, Workshop on Philosophy of Computer Science, International Association for Computing and Philosophy (IACAP) Annual Meeting, June 2016, Ferrara, Italy.<\/li>
          20. Stefaneas, \u201cViews on the concept of correctness in computer science\u201d 4rd<\/sup> Panhellenic Philosophy of Science and Technology Conference, December 2016 [Abstract in Greek].<\/li>
          21. Stefaneas and D. Kouzapas, \u201cFormal Methods on Privacy\u201d FM-Priv 2016: 1st<\/sup> Workshop on Formal Methods for Privacy, FM 2016 Limassol Cyprus<\/em> [Introductory talk].<\/li>
          22. V. Pitsiladis and P. Stefaneas, \u201cImplementing Type Checking of \u03c0-calculus Processes for Privacy in Maude\u201d FM-Priv 2016: 1st<\/sup> Workshop on Formal Methods for Privacy, <\/em>FM 2016 Limassol Cyprus.<\/li>
          23. Triantafyllou, K. Ksystra, P. Stefaneas and P. Kavassalis, et al. \u201cTowards a secure environment for financial risk reporting over BlockChain\u201d FM-Priv 2016: 1st<\/sup> Workshop on Formal Methods for Privacy, <\/em>FM 2016 Limassol Cyprus.<\/li>
          24. Stefaneas, P. Tsiavos and T. Karounos, \u201cThe platform as a mirror: understanding regulatory ecologies through their interaction with mega-platforms\u201d Internet, Policies and Politics (IPP 2016), Oxford Internet Institute [Abstract].<\/li>
          25. Mamakos and P. Stefaneas, \u201cMind the Gap\u201d, ISSC, The Logics of Image: Visualization, Iconicity, Imagination and Human Creativity, Santorini Greece 2016 [Abstract].<\/li>
          26. Stefaneas, \u201cLogics in computer science and the social context\u201d, in Logic and Utopia Workshop, ISSC, The Logics of Image: Visualization, Iconicity, Imagination and Human Creativity, Santorini Greece 2016 [introductory talk].<\/li>
          27. Dimarogkona and P. Stefaneas, On the Theory of Institutions and the Philosophical Significance of Categorical Thinking. 15th Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015), August 2015, Helsinki, Finland. [Abstract].<\/li>
          28. Dimarogkona and P. Stefaneas, Syntax, Semantics and the Formalization of Social Science Theories, Workshop on Scientific Discovery in the Social Sciences, Centre of Philosophy of Natural and Social Sciences, London School of Economics, January 2015, London, England. (keynote speaker). [Abstract].<\/li>
          29. Dimarogkona and P. Stefaneas, Towards a Formal Model of the Semiotic Web, 4th International Symposium on the Web and Philosophy, Co-located at ICIL, May 2014, Thessaloniki, Greece. [Talk as co-organizer].<\/li>
          30. Angius and P. Stefaneas, \u201cDefending the Semantic View of Theories: A Computer Science Perspective\u201d 15h Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015), Helsinki 3-8 August, 2015. [Abstract].<\/li>
          31. Stefaneas and I. Vandoulakis, \u201cCharacterization of the style of mathematical proving by means of Roman Jakobson\u2019s communication model\u201d 15h Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015), Helsinki 3-8 August, 2015. [Abstract].<\/li>
          32. Dimarogkona and P. Stefaneas,\u201c<\/em>Syntax, Semantics and the Formalization of Social Science Theories<\/em>\u201d<\/em>, Workshop on Scientific Discovery in the Social Sciences, Centre of Philosophy of Natural and Social Sciences, London School of Economics, London 2015 (Keynote). [Abstract]<\/li>
          33. Stefaneas, \u201cSome Open Problems in the Philosophy of Computer Science\u201d 3rd<\/sup> Panhellenic Philosophy of Science and Technology, November 2014 \u2013 also at the Workshop \u201cPhilosophy of Computer Science\u201d [co-organized with N. Angius] at UNILOG 2015, Instabul, 28th<\/sup> June, 2015 [Abstract].<\/li>
          34. Arkoudas, K. Ksystra, N. Triantafyllou and P. Stefaneas, \u201cIntegrating Athena with Algebraic Spcifications\u201d Preliminary Proceedings 22nd<\/sup> WADT, International Workshop on Algebraic Development Techniques, 4-7 September 2014, in memoriam of Joseph Goguen, Sinaia, Romania, Technical Report Simion Stoilow Institute of Mathematics, Romanian Academy, eds R. Diaconescu, M. Codescu, I Tutu. pp 12-13, Sinaia 2014. [Extended Abstract]<\/li>
          35. Kiouvrekis and P. Stefaneas, \u201cFixed Point Logics as Institutions\u201d Preliminary Proceedings 22nd<\/sup> WADT, International Workshop on Algebraic Development Techniques, 4-7 September 2014, in memoriam of Joseph Goguen, Sinaia, Romania, Technical Report SimionStoilow Institute of Mathematics, Romanian Academy, eds R. Diaconescu, M. Codescu, I Tutu. pp 70-71, Sinaia 2014. [Extended Abstract]<\/li>
          36. Stefaneas, \u201cOn the Logical Semantics of Computer Ethics\u201d, International Conference on Information Law (ICIL) 30-31 May 2014, Salonika (Thessaloniki), Greece. [Abstract]Dimarogkona and P. Stefaneas \u201cTowards a Formal Model of the Semiotic Web\u201d, 4th<\/sup> International Symposium on the Web and Philosophy, Co-located at ICIL, 31 May 2014, Salonika (Thessaloniki), Greece.<\/li>
          37. Stefaneas, P. Tsiavos and T. Karounos, \u201cFailed Policies or Politics of Failure? The case of crowdsourcing initiatives in the Greek Public Administration as an instance. Oxford Internet Institute. Crowdsourcing for Politics and Policy, 25-26 September 2014, Oxford. [Extended Abstract]<\/li>
          38. P. Stefaneas and I. Vandoulakis, \u201cThe Web as a tool for proving\u201d. The Second International Symposium on the Web and Philosophy, Co-located at Philosophy and Theory of AI Conference (PT-AI), Salonika (Thessaloniki), Greece, October 2011. [Abstract]<\/li>
          39. Stefaneas and I. Vandoulakis, “Proofs as spatio-temporal processes”
            14th CLMPS 2011 Proceedings, edited by Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister, 2011. [Abstract]<\/li>
          40. Stefaneas, \u201cProof events in computing\u201d, 2nd<\/sup> Romanian Japanese Algebraic Specification Workshop<\/em>, Sinaia, Romania, 2011.[Invitation] Also, \u201cOn Institutions and proof events\u201d, 3rd<\/sup> World Congress on Universal Logic<\/em>, Lisbon 2010.<\/li>
          41. P. Stefaneas, \u201cInternet Based Open Governance: the case of Greece\u201d, Internet, Politics, Policy 2010: An Impact Assessment,<\/em> Oxford Internet Institute, September 2010 [poster and short paper]<\/li>
          42. \u0391. Andreatos and Stefaneas, \u201c<\/em>Interactive Educational Television: A Digital Bridge for the Knowledge Gap?\u201dEDEN 2007, Annual Conf<\/em>ernce, pp. 146 \u2013 147, Naples, Italy, 2007. [Abstract]<\/em><\/li>
          43. Tsalapati, G. Koletsos, P. Stefaneas, The processof proving in School Mathematics, MICOM<\/em>, Paphos, Cyprus, 2006. [Abstract]. \u0395\u03c0\u03af\u03c3\u03b7\u03c2 \u03a4\u03c3\u03b1\u03bb\u03b1\u03c0\u03ac\u03c4\u03b7 \u0395., \u039a\u03bf\u03bb\u03ad\u03c4\u03c3\u03bf\u03c2 \u0393., \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2 \u03a0. H \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7 \u03c3\u03c4\u03b7 \u0394\u03b9\u03b1\u03b4\u03b9\u03ba\u03b1\u03c3\u03af\u03b1 \u03c4\u03b7\u03c2 \u039c\u03ac\u03b8\u03b7\u03c3\u03b7\u03c2, 22\u03bf <\/sup>\u03a0\u03b1\u03bd\u03b5\u03bb\u03bb\u03ae\u03bd\u03b9\u03bf \u03a3\u03c5\u03bd\u03ad\u03b4\u03c1\u03b9\u03bf \u039c\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae\u03c2 \u03a0\u03b1\u03b9\u03b4\u03b5\u03af\u03b1\u03c2, 2005.<\/li>
          44. Stefaneas and G. Koletsos, \u201cTowards a conceptual Framework for e-learning: Visual Environments, Signs and Meaning\u201d,<\/em> Proc. <\/em>Fourth International Scientific and Technical Conference, Section A<\/em>, pp 1-2, \u201cInternet – Education – Science 2004\u201d Vinnytsia, Ukraine, 2004.[Abstract]<\/li>
          45. Diaconescu and P. Stefaneas, \u201cInstitutions: Methodological Implications\u201d. Abstract of papers presented at Logic Colloquium 2005 (July 28-August 3, 2005), Athens, Greece, p. 66. Extended version \u201cOn Institutions and their methodological implications\u201d, Proc. 7th<\/sup> Panhellenic Logic Symposium<\/em>, pp 173-178, Patras 2009. \u201cInstitutions: Methodological Implications\u201d,<\/em>1st<\/sup> International Congress and School on Universal Logic (UNILOG 2005),<\/em>Montreux \u2013 Switzerland, 2005.<\/li>
          46. \u0391. Andreatos and P. Stefaneas, \u201cTeaching Telematics via Telematics\u201d, NETIES 97 <\/em>Ancona, 1997.[Abstract]<\/li>
          47. Stefaneas, \u201cChartering Modal Logic\u201d, Workshop on Logic, Domains and Programming Languages<\/em>, Darmstadt, Germany, 1994. [Abstract]<\/li><\/ol>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
            \n\t\t\t\t\t\t
            \n\t\t\t\t\t
            \n\t\t\t
            \n\t\t\t\t\t\t
            \n\t\t\t\t
            \n\t\t\t\t\t\t\t\t\t

            \u03a0\u03b1\u03c1\u03bf\u03c5\u03c3\u03b9\u03ac\u03c3\u03b5\u03b9\u03c2 \u0388\u03c1\u03b3\u03c9\u03bd \u03a0\u03bb\u03b7\u03c1\u03bf\u03c6\u03bf\u03c1\u03b9\u03ba\u03ae\u03c2 :<\/strong><\/span><\/p>

            1. Maglaris, T. Karounos, N. Katsanou and P. Stefaneas. EU Conference \u201cThe Information Society and Telematics Applications: an opportunity for the Mediterranean Third Countries<\/em>\u201d, Catania Sicily, 1999.<\/li>
            2. Katsanou, P. Stefaneas, C. Aposkitis, T.Karounos and P. Tzounakis, Teleteaching Infrastructure for Higher Education, Education & Information Society 98, Euromed Working Conference<\/em> Morocco 1998.<\/li>
            3. Maglaris, T. Karounos, P. Stefaneas, T. Chrissafis, D. Papatriantafyllou, X. Psiakki, Recent Trends in European Research Networking \u2013 the role of Greece as a regional node.<\/em>Proc. Euro-Med\u201998, Nicosia Cyprus, 1998.<\/li>
            4. \u0398. \u039a\u03b1\u03c1\u03bf\u03cd\u03bd\u03bf\u03c2, \u039f. \u039b\u03ac\u03bc\u03c0\u03c1\u03bf\u03c5 \u03ba\u03b1\u03b9 \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2, \u039f\u03c1\u03b3\u03ac\u03bd\u03c9\u03c3\u03b7 \u03ba\u03b1\u03b9 \u039b\u03b5\u03b9\u03c4\u03bf\u03c5\u03c1\u03b3\u03af\u03b1 \u039a\u03ad\u03bd\u03c4\u03c1\u03bf\u03c5 \u0394\u03b9\u03b1\u03c7\u03b5\u03af\u03c1\u03b9\u03c3\u03b7\u03c2 \u0394\u03b9\u03ba\u03c4\u03cd\u03c9\u03bd, \u03a0\u03c1\u03b1\u03ba\u03c4\u03b9\u03ba\u03ac 4\u03bf\u03c5<\/sup> \u03a3\u03c5\u03bd\u03b5\u03b4\u03c1\u03af\u03bf\u03c5 \u0395\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03ae\u03c2 \u0395\u03c4\u03b1\u03b9\u03c1\u03b5\u03af\u03b1\u03c2 \u0395\u03c0\u03b9\u03c7. \u0388\u03c1\u03b5\u03c5\u03bd\u03b1\u03c2<\/em>, \u03a3\u03ac\u03bc\u03bf\u03c2 1998.<\/li>
            5. \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2 \u03ba\u03b1\u03b9 \u03a7. \u0393\u03ba\u03b9\u03ce\u03bd\u03b7\u03c2, \u039c\u03ad\u03b8\u03bf\u03b4\u03bf\u03b9 \u039a\u03bf\u03b9\u03bd\u03c9\u03bd\u03b9\u03ba\u03ae\u03c2 \u0388\u03c1\u03b5\u03c5\u03bd\u03b1\u03c2 \u03ba\u03b1\u03b9 \u0397\u03bb\u03b5\u03ba\u03c4\u03c1\u03bf\u03bd\u03b9\u03ba\u03cc \u0395\u03bc\u03c0\u03cc\u03c1\u03b9\u03bf, \u03a0\u03c1\u03b1\u03ba\u03c4\u03b9\u03ba\u03ac 4\u03bf\u03c5<\/sup> \u03a3\u03c5\u03bd\u03b5\u03b4\u03c1\u03af\u03bf\u03c5 \u0395\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03ae\u03c2 \u0395\u03c4\u03b1\u03b9\u03c1\u03b5\u03af\u03b1\u03c2 \u0395\u03c0\u03b9\u03c7. \u0388\u03c1\u03b5\u03c5\u03bd\u03b1\u03c2<\/em>, \u03a3\u03ac\u03bc\u03bf\u03c2 1998.<\/li><\/ol>

              \u00a0<\/p>

              \u0386\u03c1\u03b8\u03c1\u03b1 \u03c3\u03c4\u03b1 \u0395\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03ac \u03bc\u03b5 \u03ba\u03c1\u03af\u03c3\u03b7 \u03c3\u03c4\u03bf \u03c0\u03bb\u03ae\u03c1\u03b5\u03c2 \u03ba\u03b5\u03af\u03bc\u03b5\u03bd\u03bf :<\/strong> <\/span><\/p>

              1. \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2 \u00ab\u039b\u03bf\u03b3\u03b9\u03ba\u03ad\u03c2 \u0394\u03c1\u03ac\u03c3\u03b5\u03b9\u03c2 \u03b3\u03b9\u03b1 \u03c4\u03b7\u03bd \u03b5\u03be\u03ac\u03bb\u03b5\u03b9\u03c8\u03b7 \u03c4\u03b7\u03c2 \u03c4\u03c5\u03c7\u03b1\u03b9\u03cc\u03c4\u03b7\u03c4\u03b1\u03c2, \u03b9\u03b4\u03af\u03c9\u03c2 \u03c3\u03c4\u03bf \u03c0\u03b5\u03b4\u03af\u03bf \u03c4\u03b7\u03c2 \u03b4\u03b9\u03b1\u03c7\u03b5\u03af\u03c1\u03b9\u03c3\u03b7\u03c2 \u03c4\u03c9\u03bd \u03c0\u03c1\u03bf\u03c3\u03c9\u03c0\u03b9\u03ba\u03ce\u03bd \u03b4\u03b5\u03b4\u03bf\u03bc\u03ad\u03bd\u03c9\u03bd\u00bb, \u03c3\u03b5\u03bb 231-248. \u03a4\u03cc\u03bc\u03bf\u03c2 \u00ab\u0395\u03bd\u03ad\u03c1\u03b3\u03b7\u03bc\u03b1, \u03c4\u03c5\u03c7\u03b1\u03af\u03bf \u03ba\u03b1\u03b9 \u03b4\u03af\u03ba\u03b1\u03b9\u03bf\u00bb (9\u0391<\/sub>), \u03a0\u03b5\u03c0\u03c1\u03b1\u03b3\u03bc\u03ad\u03bd\u03b1 \u0395\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03ae\u03c2 \u03b5\u03c4\u03b1\u03b9\u03c1\u03b5\u03af\u03b1\u03c2 \u03b4\u03b9\u03ba\u03b1\u03b9\u03bf\u03c6\u03b9\u03bb\u03bf\u03c3\u03bf\u03c6\u03b9\u03ba\u03ae\u03c2 \u03ba\u03b1\u03b9 \u03b4\u03b9\u03ba\u03b1\u03b9\u03bf\u03b9\u03c3\u03c4\u03bf\u03c1\u03b9\u03ba\u03ae\u03c2 \u03b5\u03c1\u03b5\u03cd\u03bd\u03b7\u03c2<\/em>, \u0391\u03b8\u03ae\u03bd\u03b1 2024.<\/li>
              2. \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2 \u201c\u0397 \u03b7\u03b8\u03b9\u03ba\u03ae \u03c4\u03b7\u03c2 \u03c0\u03bb\u03b7\u03c1\u03bf\u03c6\u03bf\u03c1\u03b9\u03ba\u03ae\u03c2 \u03ba\u03b1\u03b9 \u03b7 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae \u03c4\u03b7\u03c2\u201d, \u03a4\u03cc\u03bc\u03bf\u03c2 \u00ab\u039f\u03b9 \u0391\u03bd\u03b8\u03c1\u03c9\u03c0\u03b9\u03c3\u03c4\u03b9\u03ba\u03ad\u03c2 \u0395\u03c0\u03b9\u03c3\u03c4\u03ae\u03bc\u03b5\u03c2 \u03c3\u03c4\u03bf \u0395.\u039c.\u03a0\u201d. \u03c3\u03b5\u03bb 89-96. E.M.\u03a0. \u0391\u03b8\u03ae\u03bd\u03b1 2011.<\/li>
              3. \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2, \u201c\u0394\u03cd\u03bf \u03c0\u03c1\u03bf\u03c3\u03b5\u03b3\u03b3\u03af\u03c3\u03b5\u03b9\u03c2 \u03c3\u03c4\u03b7\u03bd \u03ad\u03bd\u03bd\u03bf\u03b9\u03b1 \u03c4\u03b7\u03c2 \u03b1\u03c0\u03cc\u03b4\u03b5\u03b9\u03be\u03b7\u03c2\u201d, Signum<\/em>, \u03c4.1, \u03c3. 13-23, \u03a0\u03b1\u03bd\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03b9\u03ba\u03ad\u03c2 \u0395\u03ba\u03b4\u03cc\u03c3\u03b5\u03b9\u03c2 \u0395\u039c\u03a0, \u0391\u03b8\u03ae\u03bd\u03b1 2010.<\/li>
              4. \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2 \u201c\u0397 \u03b1\u03c5\u03c4\u03bf\u03bc\u03b1\u03c4\u03bf\u03c0\u03bf\u03af\u03b7\u03c3\u03b7 \u03c4\u03c9\u03bd \u03b1\u03c0\u03bf\u03b4\u03b5\u03af\u03be\u03b5\u03c9\u03bd \u03ba\u03b1\u03b9 \u03b7\u03bb\u03b5\u03ba\u03c4\u03c1\u03bf\u03bd\u03b9\u03ba\u03ae \u03b5\u03c0\u03af\u03bb\u03c5\u03c3\u03b7 \u03c4\u03c9\u03bd \u03c0\u03c1\u03bf\u03b2\u03bb\u03b7\u03bc\u03ac\u03c4\u03c9\u03bd \u201d, \u039d\u03b5\u03cd\u03c3\u03b9\u03c2, \u03c4<\/em>.15, \u0391\u03b8\u03ae\u03bd\u03b1 2006.<\/li><\/ol>

                \u0386\u03c1\u03b8\u03c1\u03b1 \u03b5\u03c0\u03b9\u03c3\u03ba\u03cc\u03c0\u03b7\u03c3\u03b7\u03c2 \u03c3\u03c4\u03b1 \u0395\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03ac :<\/strong> <\/span><\/p>

                1. \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2, \u0397 \u03c0\u03bf\u03bb\u03cd\u03b3\u03bb\u03c9\u03c3\u03c3\u03b7 \u03c4\u03b5\u03c7\u03bd\u03b7\u03c4\u03ae \u03bd\u03bf\u03b7\u03bc\u03bf\u03c3\u03cd\u03bd\u03b7 \u03b3\u03af\u03bd\u03b5\u03c4\u03b1\u03b9 \u03c0\u03b9\u03bf \u03b5\u03cd\u03ba\u03bf\u03bb\u03b7, \u03a0\u03c5\u03c1\u03c6\u03cc\u03c1\u03bf\u03c2<\/em>, \u039c\u03ac\u03c1\u03c4\u03b9\u03bf\u03c2 2023.<\/li>
                2. \u0392. \u0393\u03bf\u03cd\u03bd\u03b1\u03c1\u03b7\u03c2 \u03ba\u03b1\u03b9 \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2, \u03a8\u03b7\u03c6\u03b9\u03b1\u03ba\u03ad\u03c2 \u0391\u03bd\u03b8\u03c1\u03c9\u03c0\u03b9\u03c3\u03c4\u03b9\u03ba\u03ad\u03c2 \u0395\u03c0\u03b9\u03c3\u03c4\u03ae\u03bc\u03b5\u03c2: \u03c4\u03b9 \u03b5\u03af\u03bd\u03b1\u03b9 \u03c4\u03b9; The<\/em> Books<\/em>\u2019 <\/em>Journal<\/em>, \u039d\u03bf\u03ad\u03bc\u03b2\u03c1\u03b9\u03bf\u03c2 2021.<\/li>
                3. \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2, \u0391\u03bd\u03b9\u03c3\u03cc\u03c4\u03b7\u03c4\u03b5\u03c2 \u03c3\u03c4\u03b7\u03bd \u039a\u03bf\u03b9\u03bd\u03c9\u03bd\u03af\u03b1 \u03c4\u03b7\u03c2 \u03a0\u03bb\u03b7\u03c1\u03bf\u03c6\u03bf\u03c1\u03af\u03b1\u03c2, \u03c3\u03b5\u03bb. 23-27, \u03a0\u03bb\u03b7\u03c1\u03bf\u03c6\u03bf\u03c1\u03b9\u03ba\u03ae, <\/em>\u03a3\u03b5\u03c0\u03c4\u03ad\u03bc\u03b2\u03c1\u03b9\u03bf\u03c2<\/li>
                4. \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2, \u039b\u03bf\u03b3\u03b9\u03ba\u03ac \u03a3\u03c5\u03c3\u03c4\u03ae\u03bc\u03b1\u03c4\u03b1 \u03ba\u03b1\u03b9 \u039a\u03b1\u03c4\u03b7\u03b3\u03bf\u03c1\u03af\u03b5\u03c2, \u039c\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae \u0395\u03c0\u03b9\u03b8\u03b5\u03ce\u03c1\u03b7\u03c3\u03b7<\/em>, \u03c4\u03b5\u03cd\u03c7\u03bf\u03c2 45, \u03c3\u03b5\u03bb. 6-19, 1996.<\/li>
                5. \u03a0. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2, \u03a3\u03c4\u03bf\u03b9\u03c7\u03b5\u03af\u03b1 \u03c4\u03b7\u03c2 \u0398\u03b5\u03c9\u03c1\u03af\u03b1\u03c2 \u03c4\u03c9\u03bd \u03a0\u03bf\u03bb\u03c5\u03b5\u03b9\u03b4\u03ce\u03bd \u0391\u03bb\u03b3\u03b5\u03b2\u03c1\u03ce\u03bd, \u03a0\u03b1\u03c1\u03ac\u03c3\u03c4\u03b7\u03bc\u03b1 \u0392, \u03c3\u03c4\u03bf \u03b2\u03b9\u03b2\u03bb\u03af\u03bf \u03c4\u03bf\u03c5 \u03a3.\u03a0. \u0396\u03b5\u03c1\u03b2\u03bf\u03cd \u039a\u03b1\u03b8\u03bf\u03bb\u03b9\u03ba\u03ae \u0386\u03bb\u03b3\u03b5\u03b2\u03c1\u03b1, \u03c3\u03b5\u03bb 413-419. \u0395\u03ba\u03b4\u03cc\u03c3\u03b5\u03b9\u03c2 \u039a\u03b1\u03c1\u03b4\u03b1\u03bc\u03af\u03c4\u03c3\u03b1\u03c2, 1994.<\/li><\/ol>

                  \u0394\u03b9\u03b4\u03b1\u03ba\u03c4\u03b9\u03ba\u03cc \u0392\u03b9\u03b2\u03bb\u03af\u03bf :<\/strong> <\/span><\/p>

                  1. \u03a3\u03c4\u03b5\u03c6\u03b1\u03bd\u03ad\u03b1\u03c2, \u03a0., \u039a\u03bf\u03bb\u03ad\u03c4\u03c3\u03bf\u03c2, \u0393., 2015.\u0395\u03c6\u03b1\u03c1\u03bc\u03bf\u03b3\u03ad\u03c2 \u03c4\u03b7\u03c2 \u03bb\u03bf\u03b3\u03b9\u03ba\u03ae\u03c2 \u03c3\u03c4\u03b7\u03bd \u03c0\u03bb\u03b7\u03c1\u03bf\u03c6\u03bf\u03c1\u03b9\u03ba\u03ae<\/em>. [\u03b7\u03bb\u03b5\u03ba\u03c4\u03c1\u03bf\u03bd\u03b9\u03ba\u03cc \u03b2\u03b9\u03b2\u03bb\u03af\u03bf] \u03a3\u03cd\u03bd\u03b4\u03b5\u03c3\u03bc\u03bf\u03c2 \u0395\u03bb\u03bb\u03b7\u03bd\u03b9\u03ba\u03ce\u03bd \u0391\u03ba\u03b1\u03b4\u03b7\u03bc\u03b1\u03ca\u03ba\u03ce\u03bd \u0392\u03b9\u03b2\u03bb\u03b9\u03bf\u03b8\u03b7\u03ba\u03ce\u03bd. \u0391\u03b8\u03ae\u03bd\u03b1: \u0391\u03c0\u03bf\u03b8\u03b5\u03c4\u03ae\u03c1\u03b9\u03bf \u039a\u03ac\u03bb\u03bb\u03b9\u03c0\u03bf\u03c2: http:\/\/hdl.handle.net\/11419\/4527<\/a><\/li><\/ol>

                    \u0395\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03bf\u03bd\u03b9\u03ba\u03ae \u0395\u03c0\u03b9\u03bc\u03ad\u03bb\u03b5\u03b9\u03b1 \u039c\u03b5\u03c4\u03ac\u03c6\u03c1\u03b1\u03c3\u03b7\u03c2 :<\/strong> <\/span><\/p>

                    1. \u0394\u03b9\u03b1\u03ba\u03c1\u03b9\u03c4\u03ac \u039c\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ac: \u03bc\u03b5 \u03b5\u03c6\u03b1\u03c1\u03bc\u03bf\u03b3\u03ad\u03c2, 2024 \u0395\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03bf\u03bd\u03b9\u03ba\u03ae \u03b5\u03c0\u03b9\u03bc\u03ad\u03bb\u03b5\u03b9\u03b1 \u03c4\u03b7\u03c2 \u03bc\u03b5\u03c4\u03ac\u03c6\u03c1\u03b1\u03c3\u03b7\u03c2 \u03c3\u03c5\u03bb\u03bb\u03bf\u03b3\u03ae\u03c2 \u03ba\u03b5\u03b9\u03bc\u03ad\u03bd\u03c9\u03bd \u03c4\u03c9\u03bd Kenneth Rosen, Shier Douglas, \u03ba\u03b1\u03b9 \u03ac\u03bb\u03bb\u03c9\u03bd (\u03bc\u03b1\u03b6\u03af \u03bc\u03b5 \u03a3\u03c0\u03cd\u03c1\u03bf \u039a\u03bf\u03bd\u03c4\u03bf\u03b3\u03b9\u03ac\u03bd\u03bd\u03b7 \u03ba\u03b1\u03b9 \u0394\u03b7\u03bc\u03ae\u03c4\u03c1\u03b7 \u039a\u03b1\u03b2\u03b2\u03b1\u03b4\u03af\u03b1). \u0395\u03ba\u03b4\u03cc\u03c3\u03b5\u03b9\u03c2 \u03a4\u03b6\u03b9\u03cc\u03bb\u03b1<\/li><\/ol>

                      \u03a4\u03b5\u03c7\u03bd\u03b9\u03ba\u03ad\u03c2 \u0391\u03bd\u03b1\u03ba\u03bf\u03b9\u03bd\u03ce\u03c3\u03b5\u03b9\u03c2 (Technical Reports) :<\/strong> <\/span><\/p>

                      1. Gatzounis and P. Stefaneas, Institutional Topological Inquiry, Technical Report submitted to PEVE Universal Logic 2024.<\/li>
                      2. Gatzounis and P. Stefaneas, Proofs and Proof Descriptions by Sheaves based on Institutions, Technical Report submitted to PEVE Universal Logic 2024.<\/li>
                      3. Pitsiladis and P. Stefaneas, A formalization of proof events in the theory of institutions, Technical Report submitted to PEVE Universal Logic 2024.<\/li>
                      4. Bournazos, G. Pitsiladis and P. Stefaneas, Dialogical institutions, Technical Report submitted to PEVE Universal Logic 2024.<\/li>
                      5. Dimitrousis, S. Almpani, P. Stefaneas, J.Veneman, K.Nizamis, A. Astaras Neurorobotics: Review of Underlying Technologies, Current Developments and Future Directions. The Institution of Engineering and Technology Publishing (IET Publishing) pp 1-36, 2019.<\/li>
                      6. Diaconescu and P. Stefaneas, Possible Worlds Semantics in arbitrary Institutions, Technical Report 7, Institute of Mathematics of the Romanian Academy<\/em>, 2003.<\/li>
                      7. J. Georgiou and P. Stefaneas, Strategies for accelerating the adoption of e-commerce by consumers worldwide, Research Report RC 21277, IBM Research,<\/em> 1998.<\/li>
                      8. Diaconescu and P. Stefaneas, Categorical Foundations of Modularisation for Multi-paradigm Languages, Research Report IS-RR-98-0014F, School of Information Science, Japan Advanced Institute of Science and Technology,<\/em> 1998.<\/li>
                      9. Diaconescu and P. Stefaneas, Modality in Open Institutions with Concrete Syntax, Research Report IS-RR-97-0046F, School of Information Science, Japan Advanced Institute of Science and Technology,<\/em> 1997.<\/li>
                      10. Stefaneas, The Second Order Parchment, PRG-TR–9-93, Programming Research Group, Oxford University Computing Laboratory<\/em>, 14 pp., 1993.<\/li>
                      11. Stefaneas, Chartering a Logic: An Introduction, Technical Note, Programming Research Group, Oxford University Computing Laboratory, 1993.<\/li>
                      12. Stefaneas, The First Order Parchment, PRG-TR–16-92, Programming Research Group, Oxford University Computing Laboratory<\/em>, 11 pp., 1992.<\/li>
                      13. Stefaneas, The Modal Charter, PRG-TR-29-92, Programming Research Group, Oxford University Computing Laboratory<\/em>, 8 pp., 1992.<\/li><\/ol>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
                        \n\t\t\t\t\t\t
                        \n\t\t\t\t\t
                        \n\t\t\t
                        \n\t\t\t\t\t\t
                        \n\t\t\t\t
                        \n\t\t\t\t\t\t\t
                        \n\t\t\t\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
                        \n\t\t\t\t\t\t
                        \n\t\t\t\t\t
                        \n\t\t\t
                        \n\t\t\t\t\t\t
                        \n\t\t\t\t
                        \n\t\t\t\t\t\t\t\t
                        \n\t\t\t\t
                        \n\t\t\t\t\tMenu<\/span>\n\t\t\t\t\t
                        \n\t\t\t\t\t\t<\/i>\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t