Seminars

Coming Seminars

NO.220

November 17 - 20, 2025

Next Generation Cognitive Robotics: Nurturing Embodied Intelligence for a Symbiotic Future with Humans and AI
NO.229

December 8 - 11, 2025

A Tale of Two Cities: Large Language Models and Computer Programming
NO.239

January 19 - 22, 2026

Building Trustworthy and Interactive Recommender Systems through Argumentation
NO.238

February 2 - 6, 2026

Model Counting: Theory meets Practice
NO.241

February 9 - 12, 2026

Patterns and Practices in AI Engineering and Governance
NO.240

February 23 - 26, 2026

New Era of Data Structures: From Strings to Graphs, and more
NO.232

March 2 - 5, 2026

Uncertainty Interaction in Software-intensive Systems (UNISON)
NO.235

March 9 - 12, 2026

LLM-guided Synthesis, Verification, and Testing of Learning-Enabled CPS
NO.236

March 16 - 19, 2026

Provable Security for Trustworthy Embedded Systems against Physical Attacks - From Theory to Practice
NO.225

May 12 - 15, 2026

State-based Development of Safety-Critical Systems: Experience Feedback and New Challenges
NO.249

May 18 - 22, 2026

Fast, furious, and yet correct tensor processing
NO.246

May 25 - 29, 2026

Tensor Isomorphism: Algorithms, Geometry and Applications
NO.242

June 1 - 4, 2026

Seamless Reality
NO.244

June 8 - 11, 2026

AR and AI: Everyday AR through AI-in-the-Loop
NO.237

June 22 - 26, 2026

Frontiers of Formal Methods for Probabilistic Models and Programs
NO.250

June 29 - July 2, 2026

Advances and opportunities in artificial intelligence for computational metabolomics
NO.251

August 31 - September 4, 2026

Green Intelligence: Sustainable Development and Operations of Intelligent Systems
NO.254

September 7 - 11, 2026

Redesigning Traffic Rules to Accommodate Autonomous Vehicles
NO.253

September 14 - 17, 2026

Cutting-edge AI and Hardware Security
NO.228

October 5 - 8, 2026

Envisioning the Future of (eXtended Reality) Software Engineering
NO.252

October 19 - 23, 2026

Exploring Responsible AI through Security and Privacy
NO.243

October 26 - 29, 2026

Digital Twins for Predictive Geosciences, Theory and Applications
NO.248

November 2 - 5, 2026

Diversity and Inclusion in the Era of Artificial Intelligence and Quantum Computing
NO.257

November 9 - 12, 2026

Crafting the Future of Developer Experience

Past Seminars

NO.227

November 3 - 6, 2025

Engineering Trustworthy Foundation Models
NO.223

October 20 - 24, 2025

Advancing Automated Machine Learning
NO.230

October 13 - 16, 2025

Large Language Models for Health
NO.222

October 6 - 9, 2025

The Future of Development Environments with AI Foundation Models
NO.233

September 29 - October 2, 2025

Foundations of Computation and Creative Computing
NO.224

July 28 - 31, 2025

Quantum Software Engineering
NO.234

June 30 - July 4, 2025

Path Planning and Routing in Geometric Environments
NO.216

June 23 - 26, 2025

Human-Computer-Interfaces x Neuroscience
NO.231

May 26 - 29, 2025

Bidirectional Transformations: Foundations and Applications
NO.226

May 19 - 22, 2025

The Power of Geometric Algebra in Modern Computer Vision
NO.212

May 12 - 16, 2025

Colors and Visualization Strategies in Structural and Cellular Biology
NO.221

March 24 - 28, 2025

Algorithmic tools and their applications in emerging models of computation
NO.190

March 17 - 20, 2025

Engineering Dependable Ubiquitous Systems
NO.219

March 10 - 14, 2025

Using multi-* modelling to manage complexity in systems engineering
NO.210

February 17 - 20, 2025

Advancing Mobility Data Science and Mobility AI
NO.217

January 20 - 23, 2025

Trusted Automatic Programming
NO.207

December 2 - 5, 2024

Anti-patterns and Defects: Synergies, Challenges, and Opportunities
NO.164

October 28 - November 1, 2024

Differential Privacy and its Applications
NO.195

October 21 - 25, 2024

Workshop on Encrypted Computation / Enhancing Functionality in Cryptography
NO.208

October 14 - 17, 2024

Trustworthy Machine Learning System Engineering Techniques for Practical Applications
NO.209

September 30 - October 3, 2024

Empowering Local Open Source LLMs
NO.183

September 16 - 20, 2024

Understanding the “Why” of Data and Knowledge Models
NO.211

September 2 - 6, 2024

Theory and Algorithms in Graph Rigidity and Algebraic Statistics
NO.215

July 22 - 25, 2024

Microarchitectural Attacks and Defenses
NO.187

July 1 - 4, 2024

Theoretical Foundations of Nonvolatile Memory
NO.213

June 24 - 27, 2024

Augmented Multimodal Interaction for Synchronous Presentation, Collaboration, and Education with Remote Audiences
NO.201

June 2 - 6, 2024

Deep Tissue Mining: A Roadmap to Enable the Curation, Analysis, and Visualization of Petabyte-Scale Whole-Organ Multiplex 3D Tissue Images
NO.188

May 27 - 30, 2024

Intelligent Interaction with Autonomous Assistants in the Wild
NO.175

May 20 - 23, 2024

New Directions and Challenges in Interactive Semantics
NO.189

May 13 - 17, 2024

Advancing Visual Computing in Materials Science
NO.181

May 7 - 10, 2024

Programming Language Support for Emerging Memory Technologies
NO.176

March 25 - 28, 2024

Foundation Models and Software Engineering: Challenges and Opportunities
NO.159

March 18 - 21, 2024

Web Application Security
NO.206

March 11 - 14, 2024

Human-Centered Machine Translation
NO.214

March 4 - 7, 2024

The Future of Education with AI
NO.193

February 12 - 16, 2024

The Moving Target of Visualization Software - Closing the Gap between Research and Application
NO.198

December 11 - 15, 2023

New Directions in Provable Quantum Advantages
NO.192

November 27 - 30, 2023

Augmented Software Visualization
NO.205

November 13 - 16, 2023

Formal Method Extensions to Support Domain Theories
NO.204

November 6 - 10, 2023

DevOps for Cyber-physical Systems
NO.182

October 30 - November 2, 2023

Biggest Failures in Privacy
NO.202

October 23 - 26, 2023

Conversational Qualities in Dyadic and Group interactions
NO.178

October 16 - 19, 2023

Formal Methods for Trustworthy AI-based Autonomous Systems
NO.180

October 2 - 5, 2023

The Art of SAT
NO.203

September 25 - 29, 2023

Effect Handlers and General-Purpose Languages
NO.200

September 18 - 21, 2023

Social Explainable AI: Designing Multimodal and Interactive Communication to Tailor Human–AI Collaborations
NO.173

September 11 - 14, 2023

TAT: Toughening the Foundation of Abstraction in Visualization Techniques
NO.186

September 4 - 7, 2023

Markov Chain Monte Carlo 2.0
NO.168

July 3 - 7, 2023

［Cancelled] Uncertainty in Self-Adaptive Systems (USAS)
NO.194

June 26 - 29, 2023

Software Developer Diversity and Inclusion Workshop
NO.174

May 29 - June 1, 2023

Augmented Perception
NO.179

May 8 - 11, 2023

Computational metabolomics and machine learning
NO.184

March 20 - 23, 2023

New Frontiers in Locality in Computation
NO.196

March 13 - 16, 2023

Everlasting Social Signal Processing - From Labs into the Real World
NO.191

March 6 - 9, 2023

Human Aspects in Software Engineering
NO.172

February 27 - March 2, 2023

Policy Modelling and Reasoning
NO.197

February 20 - 24, 2023

Computational Pangenomics
NO.185

February 13 - 16, 2023

The Science of Esports: Technology Improving Human Performance
NO.166

February 6 - 9, 2023

Visualization for XAI (Explainable AI)
NO.177

January 23 - 26, 2023

Natural Interaction with Humanoid Robots
NO.165

September 20 - 23, 2021

[Cancelled] Leveraging Multidisciplinary Expertise for Visual Computing of Urban Mobility Data
NO.155

May 17 - 20, 2021

[Cancelled] Engineering methods and techniques for interactive systems
NO.170

March 23 - 27, 2020

[Cancelled] Privacy, Ethics, and Legislation for Speech Communication
NO.158

March 16 - 19, 2020

[Cancelled] New Tools for Markets: Information Design and Blockchains
NO.167

February 24 - 27, 2020

Formalizing Biological and Medical Visualization
NO.171

February 17 - 20, 2020

Trends and Perspectives for Graph Drawing and Network Visualization
NO.153

January 13 - 17, 2020

The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS)
NO.152

December 9 - 12, 2019

Release Engineering for Mobile Applications
NO.161

November 18 - 21, 2019

Interactive Visualization for Interpretable Machine Learning ~ Beyond Visualization and Steering of the Parametric Space
NO.137

November 11 - 15, 2019

From natural to artificial embodied intelligence: is Deep Learning the solution?
NO.162

November 4 - 7, 2019

Distributed Graph Algorithms
NO.156

October 14 - 17, 2019

Software Engineering for Machine Learning Systems (SEMLS)
NO.151

October 7 - 10, 2019

Higher-order Complexity Theory and its Applications
NO.163

September 30 - October 3, 2019

Spoken Multimodal Dialogue Systems Technology for Pervasive Computing
NO.160

September 24 - 27, 2019

Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities
NO.154

September 9 - 12, 2019

Human-in-the-loop Big Data and AI: Connecting Theories and Practices for a Better Future of Work
NO.157

September 2 - 6, 2019

Formal methods for the synthesis of biomolecular circuits
NO.143

July 1 - 5, 2019

Programming Language Support for Data-intensive Applications
NO.139

June 24 - 27, 2019

Causal Reasoning in Systems
NO.149

May 27 - 30, 2019

Programming Languages for Distributed Systems
NO.141

May 20 - 23, 2019

Language as Goal-Directed Sequential Behavior: Computational Theories, Brain Mechanisms, Evolutionary Roots
NO.133

May 16 - 19, 2019

Asynchronous Circuit Design and its Applications: Past, Present and Future
NO.146

March 25 - 29, 2019

Programming and Reasoning with Algebraic Effects and Effect Handlers
NO.130

March 18 - 21, 2019

Artificial General Intelligence in Games: Where Play Meets Design and User Experience
NO.132

March 11 - 14, 2019

Modelling Cultural Processes
NO.144

March 4 - 8, 2019

Parameterized Graph Algorithms & Data Reduction: Theory Meets Practice
NO.147

February 25 - 28, 2019

Self-supporting, Extensible Programming Languages and Environments for Exploratory, Live Software Development
NO.150

February 18 - 22, 2019

Learning to Communicate: Challenges in Language Learning by AI, Robots and Humans
NO.145

February 11 - 15, 2019

The Moving Target of Visualization Software for an Ever More Complex World
NO.140

January 28 - 31, 2019

Optimization Methods in Geometric Vision
NO.118

December 17 - 20, 2018

Modelling and Analysing Resilient Cyber-Physical Systems
NO.131

December 10 - 13, 2018

Immersive Analytics for Network and Trail Sets Data Analysis
NO.142

December 3 - 6, 2018

Web Molecular Graphics: Emerging Technologies & Standards
NO.109

November 26 - 29, 2018

Diagrammatic methods for linear and nonlinear systems
NO.128

November 12 - 15, 2018

Workshop on Patient Similitude: Combining Histopathological Images & Multiple-Scale Molecular Phenotypes
NO.121

November 5 - 8, 2018

Towards industrial application of advanced formal methods for cyber-physical system engineering
NO.117

October 29 - November 1, 2018

Multimodal Agents for Ageing and Multicultural Societies
NO.136

October 22 - 25, 2018

Functional Stream Libraries and Fusion: What's Next?
NO.123

October 15 - 18, 2018

Data Dependent Dissimilarity Measures
NO.127

September 10 - 13, 2018

Reimagining the Mental Map and Drawing Stability
NO.134

September 3 - 6, 2018

Advances in Heterogeneous Computing from Hardware to Software
NO.138

July 30 - August 2, 2018

Graph Database Systems: Bridging Theory, Practice, and Engineering
NO.125

June 25 - 28, 2018

Piecewise smooth system and optimization with piecewise linearization via algorithmic differentiation
NO.135

June 4 - 7, 2018

Augmented Reality in Human-Computer Interaction
NO.113

May 22 - 25, 2018

Meta-Programming for Statistical Machine Learning
NO.114

March 26 - 29, 2018

Resilient Machine-to-Machine communication
NO.116

March 5 - 8, 2018

Anonymization methods and inference attacks: theory and practice
NO.112

February 26 - March 1, 2018

Theory and Practice of Data Plane Programming
NO.122

February 12 - 15, 2018

Analysing Large Collections of Time Series
NO.120

January 29 - February 1, 2018

Visual Analytics: Towards Effective Human-Machine Intelligence
NO.115

January 22 - 25, 2018

Intensional and extensional aspects of computation: From computability and complexity to program analysis and security
NO.105

December 11 - 14, 2017

Data-Driven Search-Based Software Engineering
NO.124

December 4 - 7, 2017

Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications
NO.097

November 13 - 17, 2017

Enhanced coinduction
NO.106

October 30 - November 2, 2017

Geometric Graphs: Theory and Applications
NO.126

October 9 - 12, 2017

Computation over Compressed Structured Data
NO.100

October 2 - 5, 2017

Analysis and Verification of Pointer Programs
NO.096

September 18 - 22, 2017

Logic and Computational Complexity
NO.108

September 11 - 14, 2017

Memory Abstraction, Emerging Techniques and Applications
NO.104

August 21 - 24, 2017

Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS)
NO.110

July 24 - 28, 2017

The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017)
NO.102

July 3 - 6, 2017

Reverse Execution in Testing –Improving Security and Reliability
NO.099

June 26 - 29, 2017

Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability
NO.087

June 5 - 8, 2017

Processing Big Data Streams
NO.098

May 29 - June 1, 2017

Language integrated queries: towards standard logics for big data analytics
NO.094

May 22 - 25, 2017

Algorithms and Optimization under Uncertainty
NO.103

May 15 - 19, 2017

Semantics of Effects, Resources, and Applications (NII Shonan School)
NO.093

March 20 - 23, 2017

Computational Metabolomics
NO.095

March 6 - 10, 2017

Mining Software Repositories: Accomplishments, Challenges and Future Trends (NII Shonan School)
NO.081

February 27 - March 2, 2017

Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering
NO.089

November 28 - December 1, 2016

Algorithmics for Beyond Planar Graphs
NO.090

November 22 - 25, 2016

Implicit and explicit semantics integration in proof based developments of discrete systems
NO.088

November 14 - 18, 2016

Perception in Augmented Reality
NO.092

October 3 - 7, 2016

Cognitive Development and Symbol Emergence in Humans and Robots
NO.091

September 26 - 29, 2016

Bidirectional Transformations
NO.086

September 5 - 8, 2016

Web-based Molecular Graphics
NO.085

August 1 - 4, 2016

Dynamic Networks Visual Analytics: Approaches to facilitate visual analysis of complex and dynamic network data.
NO.080

July 25 - 28, 2016

Recent Advances in Randomized Numerical Linear Algebra
NO.079

May 30 - June 2, 2016

Theory and Applications of Geometric Optimization
NO.077

April 25 - 28, 2016

Controlled Adaptation of Self-adaptive Systems (CASaS)
NO.071

April 11 - 14, 2016

Current Trends in Combinatorial Optimization
NO.082

March 28 - 31, 2016

Big Data: Challenges and Opportunities for Disaster Recovery
NO.073

March 21 - 24, 2016

Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems
NO.078

March 14 - 17, 2016

Higher-Order Model Checking
NO.084

March 7 - 10, 2016

Mining & Modeling Unstructured Data in Software ‐ Challenges for the Future
NO.074

February 15 - 18, 2016

Immersive Analytics: A new multidisciplinary initiative to explore future interaction technologies for data analytics
NO.072

February 8 - 11, 2016

Analytics on complex networks: scalable solutions for empirical questions
NO.075

November 17 - 20, 2015

Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts
NO.064

November 8 - 11, 2015

Big Data Visual Analytics
NO.069

October 26 - 29, 2015

Logic and Verification Methods in Security and Privacy
NO.070

October 19 - 22, 2015

Mobile App Store Analytics
NO.076

September 28 - October 1, 2015

Validated Numerics Meets Reachability Analysis for CPS Design
NO.063

September 21 - 25, 2015

Semantics and Verification of Object-Oriented Languages
NO.066

September 14 - 17, 2015

Challenges for real-time human activity recognition
NO.052

September 7 - 10, 2015

Engineering Adaptive Software Systems (EASSy)
NO.068

August 3 - 6, 2015

Synchronous Machine Translation
NO.061

June 29 - July 2, 2015

Dimensionality and Scalability II: Hands-On Intrinsic Dimensionality
NO.059

March 26 - 28, 2015

The Future of Human-Robot Spoken Dialogue: from Information Services to Virtual Assistants
NO.067

March 19 - 21, 2015

Instruction and instructed action: Embodied reciprocity in interaction
NO.062

March 16 - 19, 2015

Static analysis meets runtime verification
NO.065

March 2 - 5, 2015

Low level code analysis and applications to computer security
NO.060

February 23 - 26, 2015

Systems Resilience – Bridging the Gap Between Social and Mathematical
NO.042

January 26 - 29, 2015

Logical analysis of descriptions and their presentations – a computational logic approach
NO.054

January 12 - 15, 2015

Big Graph Drawing: Metrics and Methods
NO.048

December 1 - 4, 2014

Integration of Formal Methods and Testing for Model-based Systems Engineering
NO.057

November 27 - 30, 2014

Towards Explanation Production Combining Natural Language Processing and Logical Reasoning
NO.055

October 27 - 30, 2014

Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS)
NO.053

October 20 - 23, 2014

Computational Intelligence for Software Engineering
NO.049

October 14 - 17, 2014

Algorithms for Large Scale Graphs
NO.028

September 15 - 19, 2014

Design Methods for Secure Hardware
NO.047

September 8 - 12, 2014

Algorithmic Randomness and Complexity
NO.041

August 25 - 29, 2014

NII Shonan School on Coq
NO.051

July 7 - 10, 2014

Water Disaster Management and Big Data
NO.056

May 27 - 30, 2014

Staging and high-performance computing: theory and practice
NO.050

May 26 - 30, 2014

Software Contracts for Communication, Monitoring, and Security
NO.040

May 19 - 22, 2014

Deep Learning: Theory, Algorithms, and Applications
NO.043

April 28 - May 1, 2014

Knot theory: Algorithms, complexity and computation
NO.044

March 24 - 27, 2014

Grid and Cloud Security: A Confluence
NO.045

March 17 - 20, 2014

Towards the ground truth: Exact algorithms for bioinformatics research
NO.046

March 10 - 13, 2014

Computer Visualization – Concepts and Challenges
NO.034

November 18 - 21, 2013

Intelligent Information Processing – Chances of Crowdsourcing
NO.038

November 11 - 14, 2013

Cognitive Social Robotics: Intelligence based on Embodied Experience and Social Interaction
NO.033

November 4 - 7, 2013

Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation
NO.037

October 21 - 25, 2013

Software Analytics: Principles and Practice
NO.026

October 7 - 10, 2013

Coinduction for Computation Structures and Programming Languages
NO.029

September 27 - 30, 2013

Compact Data structures for Big Data
NO.039

September 26 - 28, 2013

First International Symposium on Computational Behavioral Science
NO.031

September 23 - 25, 2013

Many-cores and On-chip Interconnects
NO.027

September 9 - 12, 2013

Engineering Adaptive Software Systems (EASSy)
NO.036

August 10 - 13, 2013

Discrete Algorithms Meet Machine Learning
NO.032

August 6 - 8, 2013

Privacy by Transparency for Data-Centric Services
NO.024

May 20 - 23, 2013

Dimensionality and Scalability
NO.016

May 13 - 16, 2013

The Java Modeling Language (JML)
NO.018

May 6 - 11, 2013

Parameterized Complexity and the Understanding, Design, and Analysis of Heuristics
NO.030

February 18 - 20, 2013

Multi-activity in Interaction: A Multimodal Perspective on the Complaexity of Human Action
NO.022

December 17 - 20, 2012

Social Issues in Computational Transportation Science
NO.025

November 12 - 15, 2012

NII Shonan Configurable Computing Workshop
NO.017

November 9 - 12, 2012

Quantitative methods in security and safety critical applications
NO.002

November 3 - 6, 2012

The Future of Multimedia Analysis and Mining
NO.015

October 15 - 18, 2012

Grid and Cloud Security: A Confluence
NO.020

October 9 - 12, 2012

Whole-Session Evaluation of Interactive Information Retrieval Systems
NO.021

July 30 - August 2, 2012

A meeting of IT-enable Services (ITeS)
NO.014

May 28 - 31, 2012

Parallel Methods for Constraint Solving and Combinatorial Optimization
NO.019

May 19 - 22, 2012

Bridging the theory of staged programming languages and the practice of high-performance computing
NO.004

May 15 - 17, 2012

Engineering Autonomic Systems (EASy)
NO.023

April 23 - 26, 2012

Hybrid Systems: Theory and Practice, Seriously
NO.011

January 12 - 15, 2012

Large-scale Distributed Computation
NO.010

November 14 - 17, 2011

International Symposium on Symbolic Systems Biology
NO.006

November 6 - 9, 2011

Hybrid Quantum Devices
NO.005

September 23 - 26, 2011

Automated Techniques for Higher-Order Program Verification
NO.012

September 19 - 21, 2011

Knowledge-leveraged Computational Thinking through Natural Language Processing and Statistical Logic
NO.007

September 14 - 17, 2011

Dependently Typed Programming
NO.008

September 8 - 14, 2011

Agda Implementors Meeting
NO.001

February 13 - 18, 2011

Graph Algorithm and Combinatorial Optimization

view more