Then, we would like to welcome you to our IBM Event next THURSDAY, 02.11.2017 - 4.20pm - Hall 214, Building 1.

The IBM Event has been initiated by our interdisciplinary BA Minor – focused on global communications ecatalog.nbu.bg/sde – and is oriented to wider audiences, not only students of Telecommunications and Information Technologies.

Please find further information in our Facebook group:
Social Networking – a New Strategy for an Old Tradition

Bertrand Meyer

Prof. Ph.D. Georgi Tuparov

Combining Proofs and Tests for Effective Software Verification

Bertrand Meyer

Constructor Institute, Schaffhausen, Switzerland

ABSTRACT

In the search for software quality through verification, proofs and tests have long been considered competing approaches, focused on different goals. In reality both have important contributions to make, and modern proof technology provides considerable help towards automatic test generation. In our work utilizing the AutoProof system for Eiffel, we have found that the underlying SMT solver, through its generation of counterexamples, can bring significant advances to testing. In particular, we use these techniques: for an incorrect program, to produce a set of failing tests entirely automatically; for a successful program, to generate (also automatically) a test suite guaranteeing 100% coverage; and, back in the case of a buggy program, to suggest automatic fixes (fault repairs) that are guaranteed to be correct. The talk will describe these and other advances combining the best of proving and testing techniques.


Participants:
Students and faculty staff of New Bulgarian University, business representatives, experts and researchers.

Prof. Bertrand Meyer is well-known researcher in the filed of informatics, inventor of Eiffel language. He has a significant contribution in software testing, requirements analysis and design of information systems. The lecture could be a matter of interest for students of the programme of informatics as well as other similar programmes, professionals and non-proffesionals.

Bertrand Meyer is professor and provost at Constructor Institute in Schaffhausen, Switzerland, and CTO of Eiffel Software, based in Santa Barbara. He was previous professor and head of department at ETH Zurich. He is well-known for his book, which have introduced object technology and modern software engineering techniques to a wide audience. He is the originator of the widely influential “Design by Contract” methodology for producing software that is guaranteed correct and robust, and of the Eiffel language implementing these ideas.

His contributions have spanned a wide range of topics across software engineering; his latest two books (Springer) are about agile methods (a tutorial and critique) and requirements. His many awards include the ACM Software System Award, the IEEE Harlan Mills prize for software engineering and the Dahl-Nygaard prize for object technology. He combines a strong taste for theory with a very practical slant as programmer and manager as well as technical expert in many software-related legal cases in the US and Europe. His focus is to help companies produce better software and produce software better.

EAI CSECS 2024 - EAI Conference on Computer Science and Education in Computer Science seeks to further understanding of the transformational impact of the computing sciences on the economy, society, and education. The emphasis is on the relatedness of the three major areas of foundations, appllications, and societal impact on industries, workforce structure, and education. Research that illuminates interdependencies, interdisciplinary problems, and case studies is of particular interest. We also welcome manuscripts on early research results and student projects.

Awards will be given for the Best Student Paper and the Best Mentor.

Topics

Topics of interest include but are not limited to:

Foundations:

• Theory of computation
• Information and coding theory
• Algorithms
• Formal methods
• Cryptology
• Learning theory and artificial intelligence

Applications

• Data and business analytics
• Data visualization
• Software development
• Computer architecture and engineering
• Health informatics and bioinformatics
• Financial informatics
• Blockchain and cryptocurrencies
• Natural Language Processing
• Machine Learning
• Computer vision
• Cybersecurity
• Computer and communication networks

Societal impact: Workforce, Industries, and Education

• Multimodal teaching and learning models
• AI and computing impact on economy and occupations
• Workforce changes and educational needs
• Curricula and pedagogic innovation
• AI and teaching and learning innovation
• Computing, ethics, and law including in cybersecurity, AI, and education

Conference proceedings are published by Springer Publishing House and indexed in Scopus with SJR.

28 – 29 September, 2025

Organizer:
Informatics Department

Lecturer:
Velina Slavova – chair

Members:
Scientists, PhD students, and students in the field of artificial intelligence, cognitive science, cognitive linguistics, robotics, etc., from many organizations in Bulgaria, Spain, Russia, Belgium, the Netherlands, etc.

Aims and Scope

The conference is centered on approaches and results obtained through the study of Cognition and Consciousness, their interpretation and application towards Artificial Intelligence.

Topics of the conference

Research, models in Cognitive Science as well as applications are welcome.

The topics of interest include but are not limited to:
― Mental representations and mental operations;
― Learning and Memory;
― Perception in humans, animals, and machines (vision and machine vision, auditory perception, etc.);
― Natural language (psycholinguistics, language acquisition, conceptualization, meaning, etc.) and Natural Language Processing;
― Emotions and emotion recognition;
― Sentiment analyses;
― Cognition and Consciousness;
― Social cognition and consciousness;
― Rethinking intelligence, including artificial.
This large spectrum includes results and models in cognitive science, cognitive neuroscience, biometrics, brain imaging etc., as well as developed applications in neurocomputing, signal processing, pattern recognition, brain-computer interfaces, biometric technologies for human identification, models of society and human behavior etc.

For more details, please visit the CSAI 2025 web page given above.

The template for papers can be downloaded from http://www.ithea.org/conferences/ithea_doc_template.doc.

The accepted papers are published in a journal with an ISSN and a DOI.

To submit a paper, use e-mail vslavova@nbu.bg

Action control is basically about how automatically prepared response tendencies underlie voluntary control. Stimulus-response compatibility tasks like the Stroop task or Eriksen flanker task are predestined to investigate cognitive mechanisms related to executive control over such automatically primed responses.

Event-related brain potentials represent electrical brain activity in real time and are, therefore, suitable to measure cognitive processes from early perception to late motor preparation. The lateralized readiness potential (LRP), for example, is measured over the primary motor cortex and can record cognitive processes related to central motor preparation. In stimulus-response compatibility tasks the LRP is used to differentiate between early activation related to stimulus-driven response priming whereas later activation is based on voluntary response selection rules.

In the first part of my talk, I will address basic cognitive mechanisms involved in monitoring conflicts between primed and voluntarily selected responses to exert behaviour control.

How such cognitive processes are involved in applied situations will then be addressed in two applied fields. One line of research addresses the question how different meal situations at lunch time affect cognitive processing afterwards. The other line investigates how basic cognitive processes are altered in the course of effective psychotherapy.

Prof. Dr. Birgit Stürmer is a cognitive psychologist and neuroscientist, currently serving as Vice President and Professor of General and Neurocognitive Psychology at the International Psychoanalytic University (IPU) Berlin. Her academic work bridges experimental psychology and neuroscience, focusing on the interaction between automatic and controlled actions in human cognition. She investigates how voluntary action processes override habitual responses, especially in situations involving cognitive conflict or performance monitoring.

Using methods such as event-related brain potentials (ERPs), Prof. Stürmer explores how internal goals and external stimuli influence action selection, conflict resolution, and error processing. Her research often extends to social and clinical contexts, including studies on anxiety, social interaction, and eating behavior. She has been involved in multiple interdisciplinary research collaborations, including the DFG-funded research group “Conflicts as Signals” and the Wolfgang-Köhler-Center for Conflict Research.

Through her teaching and research, Prof. Stürmer contributes to a deeper understanding of the neural mechanisms underlying cognition, behavior regulation, and mental health.

Organisers:
Department of Informatics and Department of Telecommunications, New Bulgarian University

Hosts:
Assoc. Prof. Rossitza Goleva, Ph.D., Prof. Nikolai Milovanov, Ph.D. and Emil Chaushev, MSc., A1, invited teacher at NBU

Moderators:
Assoc. Prof. Rossitza Goleva, Ph.D. and Assist. Prof. Nikolai Milovanov, Ph.D.

The workshop on 6G-VERSUS - Vertical Trials for Sustainability is organized under the general agreement between the New Bulgarian University and company A1 for cooperation and coordination of activities related to the education and research processes, including practical studies, internships, teaching, and advisory activities. 6G technology is under intensive research nowadays, and it has not implemented outside the labs yet. The workshop will discuss the possibility of technology validation in the real environment and the economic and social impact on the sustainability of the energy sector. The workshop will take place on the territory of the New Bulgarian University as well as online.  

6G-VERSUS is an innovation project aiming to experiment and validate in a real environment the implementation of 6G technology in the energy sector of the Republic of Bulgaria (https://6g-versus.eu/). The consortium consists of 34 partners from Finland, Spain, Portugal, France, Luxembourg, the UK, Greece, Cyprus, and Italy, and all of them validate the 6G technology in different economic sectors and test the sustainability of the solutions. The validation in Bulgaria is with wind turbines and aims at optimizing the energy sector. Students and teachers will be introduced to the novel 6G solutions and how they are implemented in the pilot in Bulgaria. The aim is to collect feedback from students in informatics, telecommunications, and economics concerning the future of digitalization in the energy sector and implementation of 6G technologies for sustainability and optimization of the electricity production and consumption. The emphasis is on the interdisciplinary approach towards applications and societal impact on industries, workforce structure, and education.