conferences

CP 2021

Conference on Principles and Practice of Constraint Programming 2021
October 25 – October 29, online
regular talk: Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms

MCCMB 2021

Moscow Conference on Computational Molecular Biology 2021
July 30 – August 02, Moscow, Russia
poster: New features in GADMA for efficient and flexible inference of demographic history

MCCMB 2019

Moscow Conference on Computational Molecular Biology 2019
July 27–30, Moscow, Russia
poster: Demographic Inference from the Allele Frequency Spectrum

METANANO 2019

IV International Conference on Metamaterials and Nanophotonics
July 15–19, St. Petersburg, Russia
regular talk: Evolutionary and genetic algorithms for design of metadevices working on electric dipole resonance

GECCO 2019

Genetic and Evolutionary Computation Conference 2019
July 13–17, Prague, Czech Republic
regular talk: Fitness Comparison by Statistical Testing in Construction of SAT-Based Guess-and-Determine Cryptographic Attacks

MIPRO 2019

42nd International Convention on Information and Communication Technology, Electronics and Microelectronics
May 20–24, Opatija, Croatia
regular talk: Parallel framework for evolutionary black-box optimization with application to algebraic cryptanalysis

EvoApps 2019

22nd International Conference on the Applications of Evolutionary Computation (part of the EvoStar 2019)
April 24–26, Leipzig, Germany
regular talk & poster: Evolutionary Computation Techniques for Constructing SAT-based Attacks in Algebraic Cryptanalysis

LATA 2019

13th International Conference on Language and Automata Theory and Applications
March 26–29, St. Petersburg, Russia
regular talk: Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference

METANANO 2018

International Conference on Metamaterials and Nanophotonics
September 17–21, Sochi, Russia
invited talk: Genetic Algorithms for Complex Structures Inference

ETFA 2018

23rd IEEE International Conference on Emerging Technologies and Factory Automation
September 4–7, Torino, Italy
regular talk: Counterexample-guided inference of controller logic from execution traces and temporal formulas

INDIN 2018

16th IEEE International Conference on Industrial Informatics
July 18–20, Porto, Portugal
regular talk: Active learning of formal plant models for cyber-physical systems

BiATA 2018

Bioinformatics: from Algorithms to Applications
July 16–19, St. Petersburg, Russia
poster: Improving metagenomic assembly using Nanopore Read-Until technology

ICMLA 2017

16th IEEE International Conference on Machine Learning and Applications
December 18–21, Cancun, Mexico
regular talk & poster: Applying Reinforcement Learning and Supervised Learning Techniques to Play Hearthstone

ETFA 2017

22nd IEEE International Conference on Emerging Technologies and Factory Automation
September 12–15, Limassol, Cyprus
regular talk: Closed-loop verification of a compensating group drive model using synthesized formal plant model

DataMod @ SEFM 2017

6th International Symposium "From Data to Models and Back" (SEFM’17 Affiliated Workshop)
September 4–5, Trento, Italy
regular talk: Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach

INDIN 2017

15th IEEE International Conference on Industrial Informatics
July 24–26, Emden, Germany
regular talk: CSP-based inference of function block finite-state models from execution traces
regular talk: Plant trace generation for formal plant model inference: methods and case study

AlCoB 2015

2nd International Conference on Algorithms for Computational Biology
August 4–5, Mexico City, Mexico
regular talk: Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver

LATA 2015

9th International Conference on Language and Automata Theory and Applications
March 2–6, Nice, France
regular talk: BFS-based Symmetry Breaking Predicates for DFA Identification

ICMLA 2013

13th International Conference on Machine Learning and Applications
December 3–5, Detroit, MI USA
regular talk: Combining Exact And Metaheuristic Techniques For Learning Extended Finite-State Machines From Test Scenarios and Temporal Properties

GECCO 2014

The Genetic and Evolutionary Computation Conference 2014
July 12–16, Vancouver, Canada
poster: Inferring Automata-Based Programs from Specification With Mutation-Based Ant Colony Optimization
poster: Improving the Quality of Supervised Finite-State Machine Construction Using Real-Valued Variables

BIOMA @ PPSN 2014

International Student Workshop on Bioinspired Optimization Methods and their Applications (part of PPSN 2014)
September 13, Ljubljana, Slovenia
regular talk: Extended Finite-State Machine Inference With Parallel Ant Colony Based Algorithms

ICMLA 2013

12th International Conference on Machine Learning and Applications
December 4–7, Miami, Florida, USA
regular talk: Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions

GECCO 2013

Genetic and Evolutionary Computation Conference 2013
July 6–10, Amsterdam, Netherlands
regular talk: MuACOsm – A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
poster: Search-Based Construction of Finite-State Machines with Real-Valued Actions: New Representation Model

MIM 2013

IFAC Conference on Manufacturing Modelling, Management and Control
June 19–21, St. Petersburg, Russia
poster: Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization
poster: Test-Based Induction of Finite-State Machines with Continuous Output Actions

BRICS-CCI 2013

1st BRICS Countries Congress on Computational Intelligence
September 8–11, Recife, Brazil
regular talk: Learning Finite-State Machines with Classical and Mutation-Based Ant Colony Optimization: Experimental Evaluation

ANTS 2012

Eighth International Conference on Swarm Intelligence
September 12–14, Brussels, Belgium
regular talk: Learning Finite-State Machines with Ant Colony Optimization

GECCO 2012

Graduate Students Workshop @ Genetic and Evolutionary Computation Conference 2012
July 7–11, Philadelphia, USA
regular talk: Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization

INCOM 2012

14th IFAC Symposium on Information Control Problems in Manufacturing
May 23–25, Bucharest, Romania
regular talk: Extended Finite-State Machine Induction using SAT-Solver

ICMLA 2011

Tenth International Conference on Machine Learning and Applications
December 18–22, Honolulu, Hawaii USA
workshop talk: Extended Finite-State Machine Induction using SAT-Solver