EULiST |

Hellenic-Romanian Logic and Computation Seminar

05/12/2025

http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.ht

Monday 15th of December at 18.00 GR/RO time

link: https://meet.jit.si/HRLogicComputSeminar

Title: Abstract Foundations for Non-Monotonic Systems
Speaker: Prof. George Voutsadakis

Abstract: Ordinarily in logical studies, logical consequence is abstractly represented in the form of a closure operator on the formula algebra or, more generally on any algebra of a specific type. This representation requires that the logic satisfies the axioms of inflationarity and monotonicity. However, in a number of applied contexts one needs to study logical systems that do not necessarily conform to these requirements, most notably non-monotonic logics. We provide the rudiments of an abstract experimental framework that could serve as a platform for formalizing and studying an abstract algebraic hierarchy of non-monotonic logics akin to the Leibniz hierarchy, which forms the cornerstone of the traditional theory of Abstract Algebraic Logic.

Short bio: George Voutsadakis did his undergraduate studies in Computer Engineering and Informatics at the University of Patras and his graduate studies in Mathematics and in Computer Science at Iowa State University. He is currently teaching Mathematics at Lake Superior State University in Michigan’s Upper Peninsula. His main area of interest is Algebraic Logic. For the 2025-26 Academic Year he is on Sabbatical visiting the School of Applied Mathematical and Physical Sciences of the National Technical University of Athens.

First EULiST Lunch Lecture at Leibniz University Hannover

05/12/2025

Join us for the first EULiST Lunch Lecture and discover the pioneering research at Leibniz University Hannover. This engaging online event will feature a series of lectures that highlight the expertise and innovations at our university.

We will begin with an introduction to LUH’s research profile by the president of LUH Prof. Dr. Volker Epping, setting the stage for a dive into three fascinating topics: from green hydrogen via academia in times of disruptive change to the relation of quantum physics and gravitation.

The event will take place on January 30, 2026, from 12:30 PM to 2:00 PM CET and will be accessible online via Webex.

Whether you are a student, researcher or staff member of a EULiST University, don’t miss this opportunity to gain valuable insights and engage with leading researchers.

This event is for everyone who is interested in the research profile of LUH.

Mark your calendar and join us for a noon of learning and inspiration. Access the event through the Webex link and become a part of this enlightening experience!

10th EULiST “Fridays for Research” event on “Water-Energy Nexus”

04/12/2025

The 10th EULiST “Fridays for Research” event on ““Water-Energy Nexus” ” will be held as a joint online meeting on Friday, 9th January, 12:00 – 14:00 CET.

More specifically, representatives from the EULiST member universities will deliver concise 5-minute presentations on the following indicative topics:

Water-carbon footprint
Water and energy infrastructures
Water and energy system modeling
Water efficiency optimization in energy production
Data sharing and modeling tools for water–energy planning
Low-energy desalination, smart water grids, wastewater energy recovery
Water-intensive industries and water-efficient technologies

After that, there will be a ten-minute conversation to encourage more research partnerships.

A review of the main results and a presentation of the next actions will wrap up the session.

Participants may connect using this TEAMS link:

https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZmViNjIzMGQtODBiNi00ZTFmLTlmMmEtYjVkNmJmNDMwNjlh%40thread.v2/0?context=%7b%22Tid%22%3a%22075e0cb3-752a-4320-b367-6d08b7918c40%22%2c%22Oid%22%3a%22595874eb-528b-4576-aeba-c0d777225704%22%7d

For more information regarding the event, contact Angelos Markopoulos amark@mail.ntua.gr.

EULiST BIP at LUT: Developing Global Citizenship through Interculturality and Sustainability, May 2026

01/12/2025 Deadline: Jauary 31, 2026

18 – 23.05.2026 at LUT University in Lappeenranta, Finland

LEARNING OBJECTIVES:

To learn about global citizenship and its role in sustainable development goals
To understand cultural similarities and differences and theoretical frameworks connected with them
To develop a global mindset and intercultural competence through working in multicultural teams
To learn about how to manage diversity and boost inclusion at workplaces

KEY CONTENTS:

Understanding global citizenship, sustainable development goals and cultural implications relevant to their implementation
Understanding culture, cultural differences and similarities and developing intercultural sensitivity
Awareness of inequalities for selected groups of minorities
How to manage especially cultural diversity at work
Developing intercultural competence through multicultural teamwork

FUNDING OPPORTUNITIES:

Students can get an Erasmus+ grant from their home university to cover expenses during the BIP. This grant consists of a daily allowance of 79€/day and a travel support which depends on distance and will be between 300-580€. Daily allowance will be paid also for the travel days.

This funding enables intensive learning with cultural fun in Finland! Host’s project funding covers for expenses for activities in Finland.

PRE-REQUIREMENTS:

Target group: Students in their 2nd or 3rd year of studies in Technology, Business, or Social Sciences.
At least B2 level in English
CV
Motivation letter

NOTICE: A minimum of 20, maximum of 30 incoming students from EULiST partners are accepted to this BIP.

GETTING TO KNOW LUT AND LAPPEENRANTA:

Welcome to Lappeenranta Campus and LUT: https://www.youtube.com/watch?v=EXWbgToo1X4.

Lappeenranta in summer: https://www.youtube.com/watch?v=Sutu9u0U76k.

Accommodation has been pre-booked for participants at CityMotel: www.citimotel.fi. Price per student about 220€/stay.

BEFORE THE MOBILITY:

3-4 Zoom meetings will be organized before arrival
- to start learning the course contents
- to get to know fellow students from partner universities
- to get detailed instructions for the pre-assignment to be completed in national teams.

A research-based pre-assignment connected with sustainability.

All students will be granted access to LUT Moodle and online study materials.

WHAT TO EXPECT / PRELIMINARY PROGRAMME:

Sunday: Arrival in Lappeenranta

Monday: ICC-related teambuilding activities and presentations of pre-assignment, welcome dinner

Tuesday: Lessons, activities related to the course theme

Wednesday: Lessons, work on the assignment, cultural activities

Thursday: Lessons, work on the assignment, cultural activities

Friday: Final group work presentations, feedback event

Saturday: Departure

ECTS / REWARDS:

Each student will get 5 ECTS for the BIP when following criteria are met:
- Successful completion of assignments such as pre-assignment, assignment to be completed in a multicultural team, reflective essay at the end + active participation in the activities and lessons organized during the BIP.
- Grading: pass/fail

The best pre-assignment and the best multicultural team assignment will be rewarded with gift bags.

DEADLINE IN EXPRESSION OF INTEREST:

January 31^st, 2026

IMPORTANT:

Interested students should contact their university’s local coordinator for more institution-specific information such as different application deadlines due to internal procedures.

LUT PRESENTATION

URJC Launches Event on Computational Thinking in the Classroom

27/11/2025 Deadline: November 30, 2025

The Rey Juan Carlos University, through the COTEDI group, announces the upcoming event “Computational Thinking Education for Diversity and Inclusion,” an initiative focused on the role of Computational Thinking in the classroom and its impact on fostering educational inclusion and diversity.

The event is open to the entire academic community—students, researchers, and administrative staff—who are interested in promoting inclusive practices within their universities.

The full programme is now available, and participants are invited to register until the 30th at 23:00 (CET) through the following link:

👉 Registration form: Computational Thinking Education for Diversity and Inclusion

After the registration period closes, all registered participants will receive the ZOOM access link and further instructions by email.

Discover the programme below:

17:00 – 17:10 OPENING OF THE EVENT
17:10 – 17:20 Bernardino Muñoz Valadés
The European Alliance EULIST
The European Alliance EULiST, of which URJC is a member, is a group of 10 European universities comprising a total of 200,000 students. One of its main focuses is sustainability, connecting STEM knowledge with the Social Sciences and Humanities (SSH) to develop solutions to today’s and tomorrow’s major societal challenges—in particular climate change, the digital transition, and social cohesion. EULiST promotes challenge-based learning to educate future generations of students, researchers, academics, and lifelong learners in order to build a more sustainable and globally engaged Europe.

17:20 – 17:45 María Zapata Cáceres
What is Computational Thinking? The CoTEDI Project
We present the CoTEDI project: Computational Thinking in Education with Diversity and Inclusion. Our goal is to create accessible educational packages for developing Computational Thinking in the classroom, as well as teacher training in this competence.

17:45 – 18:15 Gema Jiménez González
CodeFarm: an educational proposal for computational thinking in early childhood
CodeFarm is an educational application designed to introduce computational thinking to children aged five to seven through video games. It develops key skills such as sequencing, problem decomposition, and data analysis, and adapts to pre-literate children. We will address how accessible design and a video game approach enable young learners to develop digital competencies from an early age.

18:15 – 18:35 Emy Quintanar Ferreira
Attention! Little ones programming
Computational thinking allows us, from very early ages, to bring many kinds of learning to students within a playful approach that increases their interest and, as a result, improves the teaching–learning process.

18:35 – 18:55 Marta Torres Bañón and Elisabet Montesinos Nicás
Think, create, and play: introducing computational thinking with True True in Primary Education
In this talk we will explore how True True devices can become a powerful tool to develop computational thinking from the early years of primary school. Through playful, hands-on activities, students learn to sequence actions, recognize patterns, and solve problems creatively—without screens. We will reflect on how to integrate these experiences in the classroom, connect them to curriculum areas, and foster autonomy, collaboration, and technological curiosity from an early age. We will also share practical examples and real activities that show that programming also means thinking, creating, and playing.

18:55 – 19:05 BREAK
19:05 – 19:25 Laura Guijorro Ramos
Multiples calculator, technology, and play in primary education
Discover how programming and computational thinking can become powerful allies in the classroom. Did you know that concepts such as prime and composite numbers, multiples and divisors, or even electrical circuits can come to life through technology? In this talk we will explore activities that connect mathematics with robotics, electronics, and basic programming. An invitation to look at the curriculum with new eyes… Are you interested?

19:25 – 19:45 Belén Orihuela Pantoja
Time Travelers: a practical proposal to work on computational thinking through the Ages of History in primary education
In Time Travelers, Computational Thinking is developed without screens through unplugged activities: building prehistoric shelters with LEGO, designing symmetrical heraldic shields, creating Renaissance choreographies, and deciphering messages in Morse code, culminating in a collaborative timeline. These proposals develop decomposition, pattern recognition, algorithmic thinking, and debugging, with high student motivation and improvement in historical chronology and computational skills.

19:45 – 20:00 AWARDS CEREMONY
20:00 – 20:20 Presentation of the first-prize winning experience
20:20 – 20:30 CLOSING OF THE EVENT

URJC encourages members of the educational community to join the event and help disseminate this initiative within their Schools/Faculties of Education and among colleagues involved in inclusion and diversity projects. We look forward to seeing you!

Jönköping University Summer School 2026

26/11/2025 Application opens: 1st December 2025, closes: 1st April 2026

Jönköping University Summer School offers students a 4-week course from 1^st – 26^th June. The programme includes visits to local companies, as well as a Social and Cultural Package filled with activities and Swedish traditions! All 3 courses are taught in English.

Students can choose 1 of 3 courses:

Purchasing Logistics with a Global Perspective, 10 ECTS
Human-centered Cybersecurity and Privacy, 10 ECTS
Project Management and Leadership, 10 ECTS

You can find the prerequisites for the courses, as well as more information about JU Summer school here: ju.se/summerschool

Registration

Application opens: 1^st December 2025
Closes: 1^st April 2026

Contact

General questions: incoming.student@ju.se

Application queries: Admissions.Office@ju.se

Hellenic-Romanian Logic and Computation Seminar

21/11/2025

http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.ht

Monday 24th of November at 18.00 GR/RO time

link: https://meet.jit.si/HRLogicComputSeminar

Title: Shadowy institutions

Speaker: Prof. Siddarth Bhaskar

Abstract: In finite model theory, we are interested in logics which make use of some additional structure (such as a linear ordering of the universe), but whose semantics are invariant with respect to which linear order is chosen. (Such logics capture several important complexity classes.) While these logics generally have badly behaved (undecidable) syntax, there is no in-principle obstruction to doing model theory with them. However, progress is “notoriously difficult” due to lack of logical tools.

After many years of thinking about how to lift (finitary) order-invariance to arbitrary infinite structures, I discovered that institution-independent model theory was exactly the right level of generality to couch the basic definitions and results. I will describe the fundamental object, which I am now calling a “shadow,” and describe how to construct a new institution out of a given one where shadows play the role of signatures. This is still very preliminary work, but it holds the promise that we can make progress in finite model theory and perhaps ultimately computational complexity by developing the model theory of shadowy institutions.

Bio: Siddharth Bhaskar is an assistant professor in the Department of Mathematics and Computer Science at the University of Southern Denmark. His research focuses on the interaction of logic with foundational aspects of computer science, such as in finite model theory and implicit computational complexity. His interests also extend to broader topics such as mathematical phonology and CS education. He received his PhD in mathematical logic from UCLA in 2015.

2nd PRO-SLO PhD School – CALL FOR STUDENTS IS OPEN!

18/11/2025 Deadline: December 15, 2025

After a very successful 1^rst edition in 2025, the Call for student applications for the 2nd PRO-SLO PhD School, that is funded by EIT RawMaterials, is open!

From the 4^th of November to the 15^th of December 2025, students can apply for participation through the link: 2nd PRO-SLO PhD School Student Application

The School is a specialized education programme in the topic of Social Licence to Operate (SLO), comprising online and onsite parts, exclusively for PhD students in the field of raw materials, engineering, social, business, economic and environmental sciences.

The 2026 School edition comprises an online part, from 9th to 13th of February 2026, with lectures on the basic SLO principles and terminology from various perspectives, such as policy, societal, ethical and environmental and SLO examples related to the Raw Materials sector. During the onsite part, from the 19th to the 24th of April 2026, to be held in Kassandra Mines of Hellas Gold S.A in Greece, students will interact with stakeholders to develop a methodology to obtain SLO, with the support of academic and industry mentors. Between the two parts, in the interval period, from the 23rd of February to the 27th of March, students will work in groups and will be assigned with an SLO-related project with frequent online mentorship meetings.

At the completion of the PRO-SLO PhD school, students will know and understand:

Concept, principles and business case for a SLO in the Raw Materials industry, and the risks involved in ignoring the importance of a social license;
Nature and dynamics of stakeholders, the role of social capital, and how to interact with communities to gain and maintain a SLO.

The PhD School is beginner level; no previous knowledge and experience on the topic of SLO is needed. The students are also exempt from paying any participation fees.

All information about the PRO-SLO PhD School programme, organisation and structure, learning outcomes, eligibility criteria and more can be found in the Call document.

Please check your eligibility and apply now!

In case of any questions, do not hesitate to contact us at: christod@metal.ntua.gr

EULiST GLOBAL CONFERENCE 2025 Pre-conference for PhD students (and Postdocs within 2 year after obtaining PhD)

17/11/2025

November 19th 13.00-16.00 online

We invite all PhD students, researchers and staff to join the pre-conference session and interact with the speakers (PhD students and young postdocs) through the following link:

EULiST Global Conference – Pre-conference Online Event | Microsoft Teams

Please find the programme attached:

Programme

13:00 – Welcome to the pre-conference (Organisers: Kerstin Johansen (JU), M. Benedetta Mattei (UNIVAQ)

Background
Structure of the afternoon
Expectations

13:10 – Keynote speaker (15 min) Kateryna Kryzhanivska (LUT), “Research for Impact: Empowering Early-Career Researchers to Shape Climate-Resilient Futures”.

13:25 – Question and discussions with the keynote speaker

13:35 – Parallel session introduction

13:40 – Track 1 / Track 2 / Track 3 / Track 4 –themes based on the EULiST Fridays for Research

Track 1. Renewable energy systems: hydrogen, renewable energy sources, storage solutions, societal impacts

This session covers: hydrogen economy, storage technologies (including underground storage), fuel cells, electrolyzers, hydrogen carriers, renewable energy integration, electricity markets, LCA, and social dimensions of the hydrogen transition.

Moderator: Andrea Di Carlo (UNIVAQ)

Speakers:

Armando Vitale (UNIVAQ) “Experimental assessment of a 100 kWth dual bubbling fluidized bed biomass gasifier integrated with catalytic hot gas cleaning”

Alejandro Pérez Domínguez (URJC) “Green hydrogen production by solar thermochemical water splitting with non stoichiometric oxides”

Barbara Malsegna (UNIVAQ) “Hydrotalcite-Based Sorbents for green hydrogen production with simultaneous capture and separation of CO2 by Sorption-Enhanced Water-Gas Shift”

Sanni Sipinen (LUT) “Electrifying stories: The economy, the environment and global change in news media discourse on the developing Finnish battery industry”

Pantelis Manakas (NTUA) “Comparability Index among LCA studies”

Ting Pan (BUT) “Renewable Heating and Power Systems for Low-Carbon Residential Energy Transition”

Track 2. Innovations in advanced materials and smart manufacturing for Sustainable Industry 4.0

This session includes: advanced and additive manufacturing, hybrid and micro machining, surface modification processes, green and smart manufacturing, advanced materials, AI-driven product realization, predictive maintenance, supply chain optimization, and Industry 4.0 applications.

Moderator: (JU, to be confirmed)

Speakers:

Simon Fetzel (STUBA) “Robot Imitation Learning from Videos for small scale production”

Lotfi Makhlouf (IMT) “Hybrid Additive Manufacturing for Agile and Sustainable Tooling: The AGILITY Project”

Meysam Norouzi Inallu (LUT) “Effect of laser powder bed fusion parameters on the functional properties of Ni-Mn-Ga magnetic shape memory alloys”

Michal Križo (STUBA) “Mycelium-Based Composites and Digital Fabrication: Exploring New Pathways for Sustainable Architecture”

Ilias Theodoropoulos (NTUA) “Developing an Integrated Management and Evaluation Standard for Megaprojects across their Spatial Life Cycle”

Track 3. Climate change, environmental resilience, and green urban transitions: technologies and strategies for a sustainable future

This session integrates: climate adaptation and mitigation, disaster risk reduction, biodiversity and ecosystem resilience, sustainable urbanization, green cities, deforestation, water management, and the socio-economic impacts of climate change, including health and societal resilience.

Moderator: (UNIVAQ, to be confirmed)

Speakers:

Angeliki I. Chronopoulou (NTUA) “Climate Crisis and existing buildings’ resilience: The Athenian Polykatoikias of the period 1920 – 1960”

Raghad Awad (STUBA) “Green Infrastructure for Climate-Resilient Cities: Pathways Toward Sustainable Urban Futures”

Vanessa Tomei (UNIVAQ) “Urban Metabolism and connectivity in polycentric urban systems: A Systems-Engineering approach to analyzing the Urban Energy Footprint within Italy’s complex settlement pattern”

Fernanda Gomez Saenz (LUH) “Territorial regeneration and settlement patterns in a rapidly growing Chilean urban agglomeration. The case of Puerto Montt and Puerto Varas”

Ivy Londa (LUT) “Orchestrating Cross-Sector Collaboration for Regenerative Futures: Success Factors Strategies in Multi-Stakeholder Partnerships”

Lenka Pálešová (BUT) “Material Flow Analysis as an Approach to Battery Classification for Effective Waste Management: A Case Study in the Czech Republic”

Track 4. Bioengineering, biotechnology, and smart systems for health, mobility, and sustainable communities

This session brings together: biomedical engineering (biomaterials, tissue engineering, neurotechnology, bioinformatics), biocomputing, wearable devices, bioinspired robotics, smart mobility and transportation, e-governance, digital citizenship, smart energy systems, cybersecurity in healthcare, and AI in sustainability and public well-being.

Moderator: Ioanna Giouroudi (TUW)

Speakers:

Tayyab Rehman (UNIVAQ) “Adaptive Multi-Agent Anomaly Detection for Smart Mobility and Sustainable Communities”

Rabia Altunay Kan (LUT) “Mathematical modeling of biomedical applications and optimization”

Neziha Akalin (JU) “Safety, Trust, and Transparency in Socially Assistive Robots”

Konstantinos Gounaridis (NTUA) “The Spatial Dimension of Accessibility: Digital and Technological Tools in the Potential Redefinition of the Means of Achieving Accessibility”

Víctor Díaz Mena (URJC) “Advanced conductive polymer composites for wearable sensing applications”

13:45 – Each track starts their presentations which are coordinated by one chair (moderator)

Each presenter presents their idea summarized in 2 ppt-slides (according to a template) – in 3 minutes + 1 minute changeover to the next presenter

14:25 – Short break

14:45 – Discussions in each track related to the presentations – moderated by a chair

Purpose is to summaries 2-4 joint ideas for future collaborations (joint paper writing, mobility activities, research proposal writing, joint educational activities etc)
Depending on the number of participants – this could be organized by breakout rooms related to each presenter (who in that case will be the moderator)

15:15 – All are welcome to a final summary

Short summary of each track – chair (moderator) and participants
Virtual assessment via a virtual tool / questionnaire (ideas of questions are on the conceptual level)

15:55 – Thank you for a nice session – and goodbye.

16:00 – End of session.

EULiST Blended Intensive Program “Point Clouds for Society: Cultural Heritage, Infrastructure, and Environment”, Organised by NTUA, TUW, STU, Spring 2026

11/11/2025 Deadline: December 31, 2025

March 4 to April 27, 2026 – Online and Onsite in Athens, NTUA

Within the framework of the Alliance EULiST “European Universities Linking Society and Technology”, the National Technical University of Athens (NTUA), organizes in cooperation with the Technische Universität Wien (TUW) and the Slovak University of Technology, Bratislava (STU) a Blended Intensive Program (BIP) with the title “POINT CLOUDS FOR SOCIETY: Cultural Heritage, Infrastructure, and Environment”.

The call for applications is now launched, addressed to the students of the EULiST Universities.

TOPICS ADDRESSED

Participating academics and teaching staff members will share, as lecturers and mentors, best practices and methodologies for the acquisition, processing, and application of 3D point clouds in diverse domains such as Cultural Heritage Documentation, Infrastructure Monitoring, and Environmental Analysis. Key topics include photogrammetry and laser scanning techniques, geodetic control and data integration, scan-to-BIM and digital twins, as well as SLAM and UAV-based LiDAR applications. The program promotes sustainable digital practices in line with SDG 9 and SDG 11, contributing to smart and resilient societies within the EULiST alliance.

PARTICIPATION PROFILE

The BIP Program is addressed to undergraduate, postgraduate and PhD students from all EULiST Universities, who are interested in 3D technologies and their applications in Cultural Heritage, Infrastructure, and Environmental monitoring. Eligible fields of study include Geomatics, Civil and Environmental Engineering, Architecture, Computer Science, and related disciplines.

Students are expected to demonstrate motivation for interdisciplinary collaboration, a basic understanding of spatial data or 3D modelling. Proficiency in English (min. B1) is required. (min. B1).

STRUCTURE

Action 1: Online Lectures: Wednesdays March 4, 11, 18, 2026 14:00–17:00 CEST
Action 2: Onsite Workshops | Athens NTUA: Monday April 20 until Monday April 27, 2026
Action 3: Online Project Presentation: May 2026

CONTENT – LEARNING OUTCOMES

Action 1 includes online lectures by academics and teaching staff from the co-organizing universities on 3D point cloud generation methods, photogrammetry, laser scanning, and geodetic principles for data referencing.

Action 2 consists of onsite workshops and demonstrations at NTUA campus. Students will apply point clouds in real world contexts, including cultural heritage sites and sustainable environments, focusing on data acquisition, registration, and visualization using terrestrial, mobile, and aerial systems, and environmental modelling.

Action 3 includes online project presentations and assessment.

Students will work collaboratively with experts in the field of geomatics, digital documentation, and sustainable infrastructure. Participants will acquire practical and analytical skills in 3D spatial data handling, learn how to apply modern tools for digital twin creation, and develop interdisciplinary competences linking technology, environment, and cultural heritage in line with the EULiST vision.

ECTS

Upon successful completion of the BIP Program, students will receive 4 ECTS and Certificate of attendance from the National Technical University of Athens (NTUA).

SUPPORT

For the onsite component, participating students from the EULiST Universities will receive support from their home institutions, in accordance with Erasmus+ regulations, while free meals and local transportation will be provided by the organizing University (NTUA).

ENTRY REQUIREMENTS – CRITERIA

✓ Certificate of studies