 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Researchers Visiting in the Coming Months ... | ||||
Currently Visiting 4C... | ||||
| Giovanni Di Liberto | University of Padua (Università degli Studi di Padova) | (bio) |
|
|
| Marco Collautti | University of Padua (Università degli Studi di Padova) | (bio) |
|
|
| Simon de Givry | Unité de Biométrie et d'Intelligence Artificielle INRA | (bio) |
|
|
Past Visitors ... | ||||
| Denny Schneeweiss | Berlin University of Technology | (bio) |
|
|
| Petra Hofstedt | Brandenburg University of Technology Cottbus |
Cooperating Constraint Solvers
Declarative Languages (bio) |
|
|
| Vivien Rooney | School of Applied Psychology, University College Cork | (bio) |
|
|
| Laura Climent | Departamento de Sistemas Informáticos y Computación | (bio) |
|
|
| Farshid Hassani Bijarbooneh | Department of Information Technology Uppsala University | (bio) |
|
|
| Robert Woodward | University of Nebraska-Lincoln | (bio) |
|
|
| Milan de Cauwer | University of Nantes | (bio) |
|
|
| Lara Quijano Sánchez | Complutense University of Madrid | (bio) |
|
|
| Tias Guns | KU Leuven | (bio) |
|
|
| Massimiliano Cattafi | University of Ferrara | (bio) |
|
|
| Nicolas Beldiceanu | Ecole des Mines de Nantes | (bio) |
|
|
| Shant Karakashian | University of Nebraska-Lincoln | (bio) |
|
|
| Robert Woodward | University of Nebraska-Lincoln | (bio) |
|
|
| Javier Murillo | University of Girona | (bio) |
|
|
| VÃctor Muñoz | University of Girona | (bio) |
|
|
| Paola Campli | University G.d' Annunzio | (bio) |
|
|
| Nicolas Beldiceanu | Ecole des Mines de Nantes | (bio) |
|
|
| Jacopo Mauro | University of Bologna |
Constraint Programming
Constraint Handling Rules (CHR) Concurrent Languages (bio) |
|
|
| Susan Epstein | Hunter College, City University of New York |
Problem Solving
Machine Learning Cognitive Modeling (FORR) Knowledge Representation (bio) |
|
|
| Marc Pouly | University of Fribourg |
Valuation Algebra and Local Computation
NENOK: A generic Architecture for Local Computation Fixpoint Formalisms and Generic Constructions (bio) |
|
|
| Emanuele Di Rosa | STAR Lab - DIST - University of Genoa | (bio) |
|
|
| Barbara Smith | University of Leeds |
constraint satisfaction problems and how to solve them
modelling problems in constraint programming practical applications of constraint programming, especially to scheduling. (bio) |
|
|
| Raphael Finkel | University of Kentucky | (bio) |
|
|
| Beth Goldstein | University of Kentuky - College of Education | (bio) |
|
|
| Robin Burke | College of Computing and Digital Media, DePaul University, Chicago |
Case-based reasoning and User modeling
Collaborative filtering and Intelligent information access Intelligent agents and Applications of case-based reasoning Recommender systems Security and robustness of recommender systems Temporal properties of recommender systems (bio) |
|
|
| Wheeler Ruml | University of New Hampshire | (bio) |
|
|
| Daniel Marx | Budapest University of Technology and Economics |
parameterized complexity
constraint satisfaction problems graph coloring algorithmic graph theory combinatorial optimization & computational complexity (bio) |
|
|
| David Aha | Naval Research Laboratory, Washington D.C. |
Case-based reasoning (CBR)
Knowledge extraction (e.g., from text documents) Machine learning (e.g., statistical relational learning, instance-based learning) Knowledge management (e.g., intelligent lessons learned systems) AI and simulation (e.g., complex games, training simulators) (bio) |
|
|
| Mike Trick | Carnegie Mellon University |
Social Capital and Operations Research
Modeling Issues Constraint Programming Scheduling and Network Flows Stochastic dynamic programming (bio) |
|
|
| Narendra Jussien | Ècole des Mines de Nantes | (bio) |
|
|
| Charles PrudHomme | Ecole des Mines de Nantes | (bio) |
|
|
| Guillaume Rochart | e-lab, Bouygues | (bio) |
|
|
| Francois Laburthe | Amadeus | (bio) |
|
|
| Ines Lynce | IST/INESC-ID | (bio) |
|
|
| Brent Venable | University of Padova |
Preferences
Soft and uncertain constraints Temporal reasoning (bio) |
|
|
| Francesca Rossi | University of Padova |
Constraint solving
Constraint Programming Soft Constraints Logic Programming (bio) |
|
|
| Eugenia Furems | Institute for System Analysis (ISA) of the Russian Academy of Sciences |
Multicriteria Decision Making
Decision Support Systems Multiattribute Classification Knowledge Acquisition Combinatorial Optimization (bio) |
|
|
| John Hooker | Carnegie Mellon University |
A Framework for Combining Solution Methods
(bio) |
|
|
| Francesco Santini | IMT Lucca Institute for Advanced Studies | (bio) |
|
|
| J. Christopher Beck | University of Toronto | (bio) |
|
|
| Mark Wallace | Monash University, Australia |
CSP Modelling
ECLiPSe (bio) |
|
|
| Helene Fargier | Toulouse Research Institute in Computer Science (IRIT-CNRS) |
Decision under uncertainty
Reasoning under uncertainty and/or inconsistency Preference representation Constraint Satisfaction Problems Configuration , Scheduling and Production Planning (bio) |
|
|
| Simon de Givry | Unité de Biométrie et d'Intelligence Artificielle INRA | (bio) |
|
|
| Barbara Smith | University of Leeds |
constraint satisfaction problems and how to solve them
modelling problems in constraint programming practical applications of constraint programming, especially to scheduling. (bio) |
|
|
| Peter Tiedemann | IT University of Copenhagen |
Interactive Configuration and decision support
Compilation of constraint problems Using constraint compilation techniques in search (bio) |
|
|
| Esben Rune Hansen | The IT University of Copenhagen | (bio) |
|
|
| Jim Duggan | NUI Galway | (bio) |
|
|
| Alessandro Sperduti | University of Pisa |
Neural Networks
Hybrid Systems Pattern Recognition (bio) |
|
|
| Francesca Rossi | University of Padova |
Constraint solving
Constraint Programming Soft Constraints Logic Programming (bio) |
|
|
| Brian Williams | Massachusetts Institute of Technology (MIT) |
Cooperative and space robotics
Applications include deep space explorers, distributed satellites, Model-based Autonomy Model-based programming and cooperative robotics Intelligent embedded systems/Model-based programming/data-driven exploratory modeling/hybrid system (bio) |
|
|
| Tracy Anne Hammond | Texas A&M University |
perception, cognitive behavior
computer human interaction, artificial intelligence, concept learning computer graphics the gender gap in computer science sketch recognition (bio) |
|
|
| Roman Bartak | Charles University |
constraints
logic programming artificial intelligence (bio) |
|
|
| Judy Goldsmith | University of Kentucky |
decision-theoretic planning
preferences knowledge elicitation knowledge-based model construction dancing (bio) |
|
|
| Glen Murphy | Oregon State University |
Harvesting system productivity
economic evaluation of environmental impacts caused by harvesting value recovery supply chain management (bio) |
|
|
| Pascal Van Hentenryck | Brown University | (bio) |
|
|
| Helmut Simonis | CrossCore | (bio) |
|
|
| Leonid Ioffe | Technical University of Berlin | (bio) |
|
|
| Hubie Chen | Universitat Pompeu Fabra, Spain | (bio) |
|
|
| Susan Epstein | Hunter College, City University of New York |
Problem Solving
Machine Learning Cognitive Modeling (FORR) Knowledge Representation (bio) |
|
|
| Daria Terekhov | University of Toronto, Mechanical & Industrial Eng. | (bio) |
|
|
| Antoine Desbordes | Ecole de Mines de Nantes | (bio) |
|
|
| Ashok Gupta | Indian Institute of Technology Kharagpur |
Software Engineering
Database Management Systems Machine Learning (bio) |
|
|
| Ramesh Bollapragada | SFSU College of Business | (bio) |
|
|
| Pablo Trinidad | Universidad De Sevilla |
Software Product Lines
Feature Modelling and Debugging Automated Reasoning (bio) |
|
|
| Stuart Bain. | Griffith University | (bio) |
|
|
| Mats Petter Pettersson | Lund University |
Constraint Satisfaction Problems
Planning (bio) |
|
|
| Mathijs de Weerdt | University of Delft | (bio) |
|
|
| Nesim Erkip | Bilkent University | (bio) |
|
|
| Josef Vancza | Hungarian Academy of Sciences |
Intelligent CAD
Artificial Intelligence in manufacturing planning domains Genetic algorithms in in geometric designs Multi-agent models of manufacturing control Large-scale transaction processing (bio) |
|
|
| Maria Fox | University of Strathclyde- Glasgow |
teach an introductory course in Complexity Theory and advanced courses in Planning and Scientific M
(bio) |
|
|
| Pascal Van Hentenryck | Brown University | (bio) |
|
|
| Simon de Givry | Unité de Biométrie et d'Intelligence Artificielle INRA | (bio) |
|
|
| Helene Fargier | Toulouse Research Institute in Computer Science (IRIT-CNRS) |
Decision under uncertainty
Reasoning under uncertainty and/or inconsistency Preference representation Constraint Satisfaction Problems Configuration , Scheduling and Production Planning (bio) |
|
|
| Helene Fargier | Toulouse Research Institute in Computer Science (IRIT-CNRS) |
Decision under uncertainty
Reasoning under uncertainty and/or inconsistency Preference representation Constraint Satisfaction Problems Configuration , Scheduling and Production Planning (bio) |
|
|
| Jerome Lang | IRIT/CNRS |
computational aspects of social choice;
preference representation and decision making; logical models of agent interaction; reasoning about belief and knowledge, belief change; planning under partial observability (bio) |
|
|
| Ryszard Michalski | George Mason University |
Machine Learning
Data Mining and Knowledge Discovery Inductive Databases and Knowledge Scouts Non-Darwinian Evolutionary Computation Plausible Reasoning (bio) |
|
|
| J. Christopher Beck | University of Toronto | (bio) |
|
|
| Peter Jeavons | Oxford University |
Algorithms and Computational Complexity
Peter is founder member of ConsNet - the network of UK constraint researchers supported by EPSRC (bio) |
|
|
| Alan Bundy | University of Edinburgh | (bio) |
|
|
| Ines Lynce | IST/INESC-ID | (bio) |
|
|
| Maria Fox | University of Strathclyde- Glasgow |
teach an introductory course in Complexity Theory and advanced courses in Planning and Scientific M
(bio) |
|
|
| Derek Long | University of Strathclyde- Glasgow |
My research interests lie in planning and problem solving.
(bio) |
|
|
| David McSherry | University of Ulster, Coleraine | (bio) |
|
|
| Remi Coletta | LIRMM |
Constraint Programming
Machine Learning (bio) |
|
|
| Christian Bessiere | LIRMM |
Constraint programming and over-constrained problems
(bio) |
|
|
| Chris Jefferson | University of St. Andrews |
CP propagation methods
representation of abstract data structures for CP group theory, complexity and software engineering (bio) |
|
|
| Steven Tanimoto | University of Washington |
computer analysis of images
educational technology visual programming artificial intelligence (bio) |
|
|
| Les Proll | Leeds University |
Computational and modelling aspects of mathematical programming
(bio) |
|
|
| Susan Epstein | Hunter College, City University of New York |
Problem Solving
Machine Learning Cognitive Modeling (FORR) Knowledge Representation (bio) |
|
|
| Berthe Y. Choueiry | Department of Computer Science and Engineering, University of Nebraska-Lincoln |
constrained-based reasoning and constraint satisfaction
scheduling and resource allocation complexity and graph theory interactive and distributed problem-solving abstraction, reformulation and approximation (bio) |
|
|
| Jacob Feldman | OpenRules, Inc. |
A hybrid use of rules and constraint programming for enterprise-level web applications.
(bio) |
|
|
| Gilles Pesant | University of Montreal | (bio) |
|
|
| J. Christopher Beck | University of Toronto | (bio) |
|
|
| Jean-Charles Regin | Cornell University | (bio) |
|
|
| Steven Minton | University of Southern California | (bio) |
|
|
| Ben Weiner | University of Wisconsin-Madison | (bio) |
|
|
| Ambrish Saxena | Indian Institute of Technology Kanpur |
Combinatorial Optimization Algorithms
Artificial Agent programming (bio) |
|
|
| David Benavides | University of Seville |
Software Product Lines
Feature Modelling Automated Reasoning Configurators Web Service Procurement. (bio) |
|
|
| Roberto Rossi | Università degli Studi di Bologna, Facoltà di Ingegneria - DEIS |
Artificial Intelligence
Constraint programming (bio) |
|
|
| Refik Güllü | Bogazici University | (bio) |
|
|
| Olga Tveretina | Technical University of Eindhoven | (bio) |
|
|
| Giorgio Giantommasi | University of Bologna | (bio) |
|
|
| Tomas Snäckerström | DIS, Uppsala University | (bio) |
|
|
| Mathias Paulin | LIRMM |
Constraint Programming
Machine Learning (bio) |
|
|
| Remi Coletta | LIRMM |
Constraint Programming
Machine Learning (bio) |
|
|
| Christian Bessiere | LIRMM |
Constraint programming and over-constrained problems
(bio) |
|
|
| Hadrien Cambazard | Ècole des Mines de Nantes | (bio) |
|
|
| Narendra Jussien | Ècole des Mines de Nantes | (bio) |
|
|
| Barak A. Pearlmutter | Hamilton Institute, NUI Maynooth | (bio) |
|
|
| Jeffrey Mark Siskind | Purdue University |
AI
CogSci NLP machine vision; machine learning programming languages & compilers (bio) |
|
|
| Patrick Prosser | Glasgow University |
10 years of Conflict-directed Back Jumping
(bio) |
|
|
| J. Christopher Beck | University of Toronto | (bio) |
|
|
| Susan Epstein | Hunter College, City University of New York |
Problem Solving
Machine Learning Cognitive Modeling (FORR) Knowledge Representation (bio) |
|
|
| Rica Gonen | The Hebrew University of Jerusalem |
Mechanism Design
Combinatorial Auctions & Markets Online Algorithms & Computation Approximation Algorithms & Game theory (bio) |
|
|
| Remi Coletta | LIRMM |
Constraint Programming
Machine Learning (bio) |
|
|
| Christian Bessiere | LIRMM |
Constraint programming and over-constrained problems
(bio) |
|
|
| Andrew J Page | NUI Maynooth | (bio) |
|
|
| Karen Petrie | Huddersfield University | (bio) |
|
|
| Armin Wolf | Fraunhofer Institute FIRST | (bio) |
|
|
| Richard Dearden | University of California at Santa Cruz / NASA Ames Research Center | (bio) |
|
|
| Eliezer L. Lozinskii | The Hebrew University of Jerusalem, Israel |
Automated reasoning and Knowledge representation
Intelligent systems and Databases Artificial Intelligence Computer architecture (bio) |
|
|
| Patrick Prosser | Glasgow University |
10 years of Conflict-directed Back Jumping
(bio) |
|
|
| Barbara Smith | University of Leeds |
constraint satisfaction problems and how to solve them
modelling problems in constraint programming practical applications of constraint programming, especially to scheduling. (bio) |
|
|
| Paul Williams | The London School of Economics |
Mathematical Programming Modelling
Methods of Allocating Shared Fixed Costs Mathematical Programming Modelling Methods of Allocating Shared Fixed Costs Logical Linear + Integer Programming Duality and Integer Programming Fourier-Motzkin Elimination + Revenue (Yield )Management (bio) |
|
|
| Stefano Bistarelli | Istituto di Informatica e Telematica, C.N.R., Pisa, Italy |
Constraint Solving
Constraint Programming Soft Constraints Security (bio) |
|
|
| Alasdair MacLeod | University of the Highlands and Islands, Lews Castle College | (bio) |
|
|
| Stefania Verachi | University of Bologna | (bio) |
|
|
| Julien Bidot | Ecole Nationale d'Ingenieurs de Tarbes |
planning
scheduling reasoning under uncertainty constraint programming (bio) |
|
|
| Christian Bessiere | LIRMM |
Constraint programming and over-constrained problems
(bio) |
|
|
| Remi Coletta | LIRMM |
Constraint Programming
Machine Learning (bio) |
|
|
| Diego Moya | Universidad Autónoma de Madrid |
Adaptive CSP solving
(bio) |
|
|
| Alessandro Sperduti | University of Pisa |
Neural Networks
Hybrid Systems Pattern Recognition (bio) |
|
|
| Francesca Rossi | University of Padova |
Constraint solving
Constraint Programming Soft Constraints Logic Programming (bio) |
|
|
| Alexander Nareyek | Carnegie Mellon University |
Artificial Intelligence ,Intelligent Agents
(bio) |
|
|
| Iver Bailly-Salins | INSA Toulouse | (bio) |
|
|
| Tomas Nordlander | University of Aberdeen | (bio) |
|
|
| Thomas Nagy | Ecole des Mines de Nantes |
Constraints
Local search methods (bio) |
|
|
| Prof Martin Charles Golumbic | University of Haifa | (bio) |
|
|
| Amnon Meisels | Ben_Gurion University |
Distributed Constraint Networks; Distributed Search; Timetabling Problems;
(bio) |
|
|
| Derek Long | University of Strathclyde- Glasgow |
My research interests lie in planning and problem solving.
(bio) |
|
|
| Jennifer J. Preece | University of Maryland |
Online Communities
Empathy and trust Participation and Lurking Heuristics and tools for evaluating success (bio) |
|
|
| Ben Shneiderman | University of Maryland | (bio) |
|
|
| Pearl Pu | Ecole Polytechnique Fédérale de Lausanne |
intelligent user interfaces
preference elicitation in information visualization constraint satisfaction (bio) |
|
|
| Julio Brito | Universidad de la Laguna |
Framework modelling combinatorial problems
Constraint-based Language Meta-heuristics Heuristics (bio) |
|
|
| Frederic Benhamou | Universite de Nantes |
Decision support systems
constraint programming interval constraints (bio) |
|
|
| Laurent Zimmer | Dassault Aviation, France |
Constraints
Conceptual Design Model-based Reasoning (bio) |
|
|
| Pedro Barahona | New University of Lisbon |
Constraint Programming
Interval Constraints Applications in Medicine (bio) |
|
|
| Nikola S. Nikolov | University of Limerick |
EvoILP: Evolving Constraints for Integer Linear Programming Problems
(bio) |
|
|
| John Hooker | Carnegie Mellon University |
A Framework for Combining Solution Methods
(bio) |
|
|
| Nic Wilson | Keele University |
Computation and foundations of uncertain reasoning
Logical and uncertainty formalisms for Geographic Information Uncertainty and soft constraints (bio) |
|
|
| Prof. Robert Kowalski | Imperial College |
Logic in Cognitive Science and its Application to Game Theory and Conflict Resolution
(bio) |
|
|
| Pragnesh J. Modi | University of Southern California. |
Multi-Agent Systems and Constraint Programming.
(bio) |
|
|
| Zeynep Kiziltan | Uppsala University |
Constraints
(bio) |
|
|
| Christian Bessiere | LIRMM |
Constraint programming and over-constrained problems
(bio) |
|
|
| Alan Frisch | University of York |
Non-boolean satisfiability problems
Automatic generation of implied constraints (bio) |
|
|
| APES group |
By lunchtime on wednesday we will have most of the APES group visiting.
They have scheduled a number of talks and a discussion session (bio) |
|
||
| Manuela Moretti | University of Padova, Italy |
Soft constraints in configuration problems
Explanations (bio) |
|
|
| Maria Sole Franzin | University of Padova, Italy |
Distributed multi-agent scheduling
Soft Constraints (bio) |
|
|
| Magali Ruet | Enit College, Tarbes, France. |
mixing case-based reasoning (CBR) and CSP
reuse of configuration experiences (bio) |
|
|
| Mohammed H. Sqalli | King Fahd University of Petroleum & Minerals |
Constraint Based Reasoning
Case Based Reasoning Computer Networks Data Communication Diagnosis and Debugging (bio) |
|
|
|
|
© Cork Constraint Computation Centre, University College Cork. |