https://www.euro-online.org/enog/inoc mac https://www.euro-online.org/enog/inoc2007/Papers/mac
ALBCOM: Research
   ALBCOM: Algorithms, Bioinformatics, Complexity and Formal Methods
 Sections
  Homepage
  People
  Research
  Publications
  Prizes & Distinctions
  Projects
  In the media
  Agenda
  Visitors
  Former members
  Contact
 Research

The primary mission of ALBCOM is to do research in computation and formal methods, broadly. It is organized into four broad research groups:

More specific research topics include, parallel and sequential algorithms, complex networks, verification, combinatorics, complexity, data structure, game theory, algorithms for VSLI design, metaheuristics and other approximate algorithms for tackling combinatorial optimization problems, graph theory, and logic verification.