Special Sessions

ISAIM 2014 will feature several special sessions:

Proposals for additional Special Sessions may be sent to the Organizers by September 15, 2013.

Boolean and pseudo-Boolean Functions

Organizers: Endre Boros and Yves Crama

Boolean and pseudo-Boolean functions are pervasive today in all areas of mathematics, computer science, operations research, various sciences and engineering. An ever increasing number and areas of applications demand new results from both structural and algorithmic points of views. The special sessions aim at bringing together researchers from all walks of science to discuss the latest results and the most important open problems.

Computational Social Choice

Organizers: Francesca Rossi and Kristen Brent Venable

Collective decisions making is more and more common in our everyday life, since we are connected all the times, we usually post our opinions, and we use them to take decisions together with our friends or colleagues. Computational social choice is a relatively new research area which aims at formally modelling and supporting collective decision making, by taking and adapting frameworks, techniques, and results from artificial intelligence, multi-agent systems, social networks, mathematics, political science, voting theory, and computational complexity. This session is intended to bring together researchers interested in all aspects of computational social choice, to discuss the latest results, the open problems, and the main challenges for the future.

Mathematical Theories of Natural Language Processing

Organizer: András Kornai

Since the 1990s the practice of natural language processing (NLP) has gradually shifted from logic-based symbol manipulation systems first to purely statistical, and more recently to hybrid systems that combine structural and statistical methods. The mathematical theory of hybrid NLP is still not fully mature, and the special session intends to bring together mathematicians, computer scientists, theoretical and computational linguists and AI researchers with an interest in its foundations. Subjects of the special session include, but are not limited to, NLP-related advances in
  • inductive learning
  • spectral techniques
  • formal grammars
  • commonsense reasoning
  • low-pass semantics
  • sparse models
  • LSTM, deep learning
  • compressed sensing
  • cvs/distributional theories

Theory of Machine Learning

Organizer: Lev Reyzin

Machine learning theory focuses on deriving algorithms with provable guarantees and on developing models that capture various learning phenomena. Its advances have lead to new insights and practical approaches to a variety of machine learning and AI challenges. Machine learning theory, as a field, draws on a variety of tools from theoretical computer science, mathematics, optimization, and statistics. This special session aims to bring together scientists across these disciplines to discuss the latest results and research challenges.
 
ISAIM 2014

International Symposium on Artificial Intelligence and Mathematics

Fort Lauderdale, FL. January 6–8, 2014