Conferences

The European Consortium for Mathematics in Industry (ECMI) conferences aim to encourage the interaction between academy and industry, leading to innovations in both fields. These events have attracted leading experts from business, science and academia, and have promoted the application of novel mathematical technologies to industry. We hope that ECMI 2023 will further enhance multidisciplinary research and development both in academia and industry, leading to the formulation of challenging real-life problems, where mathematics may provide significant new insights and, at the same time, may be inspired by those interactions.

https://ecmi2023.org/

We welcome your participation and contribution to the 2023 6th International Conference on Mathematics and Statistics (ICoMS 2023) to be held in Leipzig, Germany during July 14–16, 2023.

ICoMS 2023 is organized to bring together worldwide leading researchers and practitioners interested in advancing the state of the art in Mathematics and Statistics, to exchange knowledge that encompasses a broad range of disciplines among various distinct communities. It is hoped that researchers and practitioners will bring new prospects for collaboration across disciplines and gain inspiration to facilitate novel breakthroughs. The themes for this conference are thus focused on "Mathematics of Digital Twins - Analysis, Stochastics and Numerics".

The annually held conference is expected to provide an opportunity for researchers to meet and discuss the latest solutions, scientific results and methods in solving intriguing problems in the fields of Mathematics and Statistics. The conference programme will include prominent keynote speakers, invited speakers and regular paper presentations in parallel tracks. The General Chairs, along with the entire team, cordially invite you to submit your latest research results and to take part in the upcoming conference.

Due to the current COVID-19 pandemic, registered authors are able to present their works through the online platform. Please identify the official email address and phone number of the conference. Unofficial emails or phone calls do not represent the conference and may involve fraud using the conference’s name. Please feel free to contact us.

General Chairs – ICoMS 2023

http://www.icoms.org/index.html

Introduction:

The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, which has been organized since 1989. An ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science. Courses (foundational, introductory and advanced) and workshops cover a wide variety of topics within three interdisciplinary areas of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses, there are usually four evening lectures, given by prominent researchers, on topics that are at the forefront of research in logic, language and computer science, as well as from wider scientific, historical and philosophical perspectives. Its relevance to students of artificial intelligence is evident.

The event lasts two full weeks and is traditionally held around the beginning or middle of August. ESSLLI attracts around 400 participants every year from all parts of Europe, as well as from North and Latin America, and Asia. The event is unique in its interdisciplinary set-up, with no equivalents in Europe. It is organized under the auspices of the Association for Logic, Language and Information (FoLLI).

In addition to regular courses and workshops, four evening lectures are organized. Since 2018, one of the evening lectures has been the Dick Oehrle Memorial Lecture. All evening lectures are open to the general public. Since 1996, PhD and advanced students have had their own daily meeting place at ESSLLI's student session, organized by and for the students, and with its own yearly prizes. The Beth Prize award ceremony and lecture is organized by the FoLLI board. All ESSLLI participants are welcome to attend.

Courses

    Week 1

• Lorenzo Rossi and Paolo Santorio: Trivalent and Dynamic Theories of Conditionals
• Deniz Özyıldız and Ciyang Qing: Semantic Properties and Combinatorial Restrictions of Attitude Predicates
• Antonio Toral and Arianna Bisazza: Neural Machine Translation
• Gasper Begus: Deep Language Learning: Modeling language from raw speech
• Tobias Kappé: Elements of Kleene Algebra
• Luca Geatti and Angelo Montanari: The Safety Fragment of Temporal Logics of Infinite Sequences
• Salvatore Florio and Carlo Nicolai: Formal Theories of Properties
• Giuseppe Sanfilippo: Logical Operations Among Conditionals as Conditional Random Quantities
• Kata Balogh and Simon Petitjean: Tree-Adjoining Grammars: Theory and implementation
• Enrica Troiano and Valerio Basile: Data Perspectivism in Computational Linguistics
• Francesca Poggiolesi: Proofs and explanations
• Alessio Mansutti and Christoph Haase: Linear arithmetic theories: algorithms and applications
• Milica Denić: Workshop on Internal and external pressures shaping language
• Merel Semeijn and Louis Rouillé: Let’s talk about Frodo: Foundations of the Semantics of Fiction
• Keny Chatain and Benjamin Spector: Current topics in the semantics and pragmatics of plural expressions
• Mehrnoosh Sadrzadeh and Gijs Wijnholds: Natural Language Syntax and Statistical Semantics with Modal Lambek Calculus
• Michael Roth: Limitations in NLP: Disagreements, Misunderstandings, and other Challenges
• Aleks Knoks and Eric Pacuit: Tools for Formal Epistemology: Doxastic Logic, Probability and Default Logic (LoCo; Foundational)
• Valentin Goranko and Dmitry Shkatov: First-order Modal and Temporal Logics: Philosophical and Computational Aspects
• Peter Fritz: Propositional Quantifiers
• Yoad Winter: The Semantics of Reciprocity
• Eric Pacuit: Computational Game Theory in Julia
• Kyle Richardson and Vivek Srikumar: Formal Techniques for Neural-symbolic Modeling
• Wesley Holliday: Possibility Semantics
• Brian Logan: Logics for Safe AI
• Nebojša Ikodinović and Dragan Doder: Logics with Probability Operators and Quantifiers
• Sonia Ramotowska and Fabian Schlotterbeck: Procedural and computational models of semantic and pragmatic processes

Week 2

• Bart Geurts: Common ground
• Niki Pfeifer: Probability logic, language, and cognition
• Bruno Guillaume and Kim Gerdes: Treebanking: methodology, tools and applications
• Ryan Cotterell: Formal Language Theory and Neural Networks
• Rustam Galimullin and Louwe B. Kuijer: Quantification in Dynamic Epistemic Logic
• Beniamino Accattoli: Time and Space for the lambda Calculus
• Valentin Goranko and Dmitry Shkatov: First-order Modal and Temporal Logics: state of the art and perspectives
• Elin Mccready and Grégoire Winterstein: Communitarian Semantics
• Luka Crnic and Yosef Grodzinsky: Monotonicity: Grammar, Processing, and Neural Reflections
• John P. McCrae: Introduction to Linguistic Data Science
• Lidia Pivovarova and Andrey Kutuzov: Computational approaches to semantic change detection
• Matteo Acclavio and Paolo Pistone: An Introduction to Proof Equivalence
• Balder Ten Cate and Carsten Lutz: Logic, Data Examples, and Learning
• Michael Moortgat and Mehrnoosh Sadrzadeh: Modalities in substructural logics: applications at the interfaces of logic, language and computation (Monday and Tuesday only)
• Annemarie van Dooren and Anouk Dieuleveut: Decomposing the meaning of modals
• Cornelia Ebert and Markus Steinbach: The semantics of visual communication. Theoretical approaches to visual meaning aspects in co-speech gestures and sign language
• Timothée Bernard and Pascal Amsili: Natural language syntax: parsing and complexity
• Martha Palmer and James Pustejovsky: A Uniform Meaning Representation for NLP Systems
• Giulio Guerrieri: The lambda-calculus: from simple types to non-idempotent intersection types
• Anupam Das: Proof theory of arithmetic
• Zhaohui Luo: Advanced Topics in Formal Semantics Based on Modern Type Theories
• Patrick Elliott and Lisa Hofmann: Explaining anaphoric accessibility: navigating non-veridical environments in dynamic semantics
• Tim Van de Cruys: Computational Creativity
• Fausto Carcassi and Michael Franke: The probabilistic Language of Thought
• Louwe B. Kuijer: Conditional logics of preference: how to make the best choice
• Fan Yang: Logics of dependence and independence

Registration

Participants can register in two stages. Early registration will be open until May 31, 2023, while late registration will be open from June 1, 2023. We recommend early registration to benefit from a lower registration fee.

https://2023.esslli.eu/

FedCSIS is an annual international conference, which has been organized jointly by the Polish Information Processing Society (PTI), IEEE Poland Section Computer Society Chapter and Department of Mathematics and Information Sciences, Warsaw University of Technology in 2023. It is technically sponsored by a number of IEEE units and other professional organizations (for the full list, see the conference site). The mission of the FedCSIS Conference Series is to provide a highly acclaimed forum in computer science and intelligence systems. We invite researchers from around the world to contribute their research results and participate in Technical Sessions, focused on their scientific and professional interests in computer science and intelligence systems.

➢ Tracks and Sessions

The following Tracks and Technical Sessions are confirmed to take place during the FedCSIS 2023 conference:

Track 1: Advanced Artificial Intelligence in Applications (18^th Symposium AAIA 2023)

• AI in Agriculture (1st Workshop AgriAI 2023)
• Challenges for Natural Language Processing (1st Symposium CNLPS?3)
• Distributed Edge AI Risks and Challenges (1st Workshop DE-AI 2023)
• Rough Sets: Theory and Applications (5th International Symposium RSTA 2023)
• Computational Optimization (16th Workshop WCO 2023)

Track 2: Computer Science & Systems (CSS 2023)

• Computer Aspects of Numerical Algorithms (16th Workshop CANA 2023)
• Multimedia Applications and Processing (16th International Symposium MMAP 2023)
• Scalable Computing (13th Workshop WSC 2023)

Track 3: Network Systems and Applications (NSA 2023)

• Complex Networks—Theory and Application (2^ndWorkshop CN‑TA'23)
• Internet of Things—Enablers, Challenges and Applications (7^thWorkshop IoT‑ECAW 2023)
• Cyber Security, Privacy and Trust (4^thInternational Forum NEMESIS 2023)

Track 4: Information Technology for Business and Society (ITBS 2023)

• International Workshop on AI in Digital Humanities, Computational Social Sciences and Economics Research (1st Workshop AI‑HuSo 2023)
• Data Science in Health, Ecology and Commerce (5th Workshop DSH 2023)
• Information Systems Management (18th Conference ISM 2023)
• Knowledge Acquisition and Management (29th Conference KAM 2023)
• Meta Environment for Citizens, Business and Entertainment (1st Conference MECBE 2023)

Track 5: Software, System and Service Engineering (S3E 2023)

• Cyber–Physical Systems (10th Workshop IWCPS‑10)
• Practical Aspects of and Solutions for Software Engineering (24th Conference KKIO 2023)
• Software Engineering (43rd IEEE Workshop SEW‑43)
• Advances in Programming Languages (8th Workshop WAPL 2023)

Recent Advances in Information Technology (8th Symposium DS‑RAIT 2023)

➢ Contact

Email: secretariat@fedcsis.org

For more details, please refer to: 

https://fedcsis.org/

The 17th International Symposium on Operations Research in Slovenia (SOR ’23) will be held in Bled, Slovenia on September 20–22, 2023.

SOR ’23 will provide an international forum for scientific exchange at the frontiers of operations research (OR) in mathematics, statistics, economics, engineering, education, environment, computer science, etc.

It will be organized by Slovenian Society Informatika, Section of Operations Research (SDI-SOR, Ljubljana, Slovenia); University of Maribor, Faculty of Organizational Sciences (UM-FOV, Kranj, Slovenia); and University of Ljubljana, Faculty of Mechanical Engineering (UL-FS, Ljubljana, Slovenia). 

Important Dates 

Submission of contributed papers: June 2, 2023.
Referee’s reports: July 3, 2023.
Submission of revised papers: August 25, 2023.

Social Programme 

Wednesday, September 20, 2023 (late afternoon): Get-together afternoon with an excursion and dinner.
Thursday, September 21, 2023 (late afternoon): Get-together afternoon.

Publications

The printed SOR’23 proceedings will be available to all registered participants at the symposium. Special Issues of the Central European Journal of Operational Research, Business Systems Research Journal, Organizacija, and Naše gospodarstvo / Our economy are planned where journal versions of selected papers will be published.

https://sor.fov.um.si/

The 17th Conference on Fuzzy Set Theory and Applications (FSTA 2024) will be held in Liptovský Ján under the auspices of the Department of Mathematics and Descriptive Geometry of the Faculty of Civil Engineering of Slovak University of Technology in Bratislava, the Armed Forces Academy of General Milan Rastislav Štefánik in Liptovský Mikuláš, the Institute for Research and Applications of Fuzzy Modeling (IRAFM), the University of Ostrava, and the Working Group for Fuzzy Set Theory and Applications of the Slovak Mathematical and Physical Association, in co-operation with EUSFLAT working group AGOP and SIPKES s.r.o.

The aim of the conference is to unite theoreticians and practitioners who are currently working on fuzzy logic, fuzzy systems, soft computing, and related areas. It will provide a platform for the exchange of ideas among scientists, engineers, and students. The topics addressed by the conference cover all aspects of fuzzy logic and soft computing, namely the following:

• Approximate reasoning;
• Clustering and classification;
• Cognitive modeling;
• Intelligent data analysis and data mining;
• Data aggregation and fusion;
• Database management and querying;
• Theory and applications of decision making;
• Forecasting and time series modeling;
• Fuzzy control;
• Theoretical foundations of fuzzy logic and fuzzy set theory;
• Imprecise probabilities and fuzzy methods in statistics;
• Image processing and computer vision;
• Information retrieval;
• Knowledge representation and knowledge engineering;
• Linguistic modelling;
• Machine learning;
• Natural language processing, generation and understanding;
• Neuro-fuzzy systems;
• Stochastic and fuzzy optimization;
• Possibility theory and applications;
• Rough sets theory;
• Semantic web;
• Uncertainty modeling.

For more details, please refer to the following:

https://fsta.sk