Tutorials

	Sarit Kraus, Bar Ilan University, Israel T1: Automated negotiation Part 1: Coordination and cooperation of automated agents Monday morning, 16th August, 2010, Room 6.2.53 Part 2: Automated agents that interact proficiently with people Monday afternoon, 16th August, 2010, Room 6.2.53
SHORT BIO Sarit Kraus (Ph.D. Computer Science, Hebrew University, 1989) is a Professor of Computer Science at Bar-Ilan University and Adjunct Professor at the Institute for Advanced Computer Studies, University of Maryland (UMIACS). Her research interests are in multi-agent systems, specially negotiation and cooperation among agents, open agent environments, learning and information agents, personalization and optimization of complex systems. In 1995 Kraus was awarded the IJCAI Computers and Thought Award (the premier award for a young AI scientist). In 2001 she was awarded the IBM Faculty Partnership Award and in 2002 she was elected as AAAI fellow. In 2007 she was awarded the ACM SIGART Agents Research award and her paper with Prof. Barbara Grosz was a winner of the IFAAMAS influential paper award (joint winner). In 2008 she was elected as ECCAI fellow. She has published over 250 papers in leading journals and major conferences and is an author of the book Strategic Negotiation in Multiagent Environments(2001) and a co-author of a book on Heterogeneous Active Agents (2000); both published in MIT Press. She served as an associate editor of the Artificial Intelligence journal during 2004- 2008 and since 2002 she is the Senior Associate Editor of the Annals of Mathematics and Artificial Intelligence.
	Automated negotiation - part 1 Sarit Kraus
	Automated negotiation - part 2 Sarit Kraus
	Ilkka Niemelä, Aalto University, Finland T2: Answer set programming Tuesday afternoon, 17th August, 2010, Room 6.2.53
SHORT BIO Ilkka Niemelä is Professor of Computer Science at Aalto University School of Science and Technology where he is the Chair of the Degree Program of Computer Science and Engineering. Dr. Niemelä received his doctoral degree in computer science in 1993 from Helsinki University of Technology and has worked in 1993 as an International Fellow at SRI International, in 1995-1996 as a research scientist and acting professor in the Department of Computer Science of the University of Koblenz-Landau, Germany and in 1998-2000 as a senior research fellow of the Academy of Finland. Dr. Niemelä's current research interests include automated reasoning, knowledge representation, computational complexity, computer aided verification, automated testing and product configuration. At Aalto University he leads the computational logic group which has developed a number of the state-of-the-art software tools for automated reasoning, such as the Smodels system for answer set programming and BCSat for Boolean circuit satisfiability checking, leading to applications in areas like automated planning, product configuration, and bounded model checking. Dr. Niemelä is an author of more than 150 papers, has been a member of the program committee for over 50 international conferences, has given several invited talks and tutorials and is serving as the Editor-in-Chief of Theory and Practice of Logic Programming.
	Answer set programming Ilkka Niemelä
	João Marques-Silva, University College Dublin, Ireland T3: Boolean Satisfiability & Optimization Monday morning, 16th August, 2010, Room 6.1.36
SHORT BIO João Marques-Silva is SFI Stokes Professor at University College Dublin, Ireland, and has held academic positions at the University of Southampton, UK, and at IST, Portugal. He holds a PhD degree from the University of Michigan, USA, and the Habilitation, MSc and BSc degrees from IST, Portugal. Joao Marques-Silva is co-recipient of the CAV 2009 Award, for fundamental contributions to the development of high-performance Boolean satisfiability solvers. His research interests include decision and optimization procedures, with applications in Artificial Intelligence, Bioinformatics, Formal Methods and Design Automation.
	Boolean Satisfiability & Optimization J. Marques-Silva
	Rina Dechter, University of California, USA T4: Advances in Search and Inference for Graphical Models Tuesday morning, 17th August, 2010, Room 6.1.36
SHORT BIO Rina Dechter is a professor of Computer Science at the University of California, Irvine. She received her PhD in Computer Science at UCLA in 1985, an MS degree in Applied Mathematic from the Weizmann Institute and a B.S in Mathematics and Statistics from the Hebrew University, Jerusalem. Her research centers on computational aspects of automated reasoning and knowledge representation including search, constraint processing and probabilistic reasoning. Professor Dechter is an author of Constraint Processing published by Morgan Kaufmann, 2003, has authored over 100 research papers, and has served on the editorial boards of: Artificial Intelligence, the Constraint Journal, Journal of Artificial Intelligence Research and Logical Method in Computer Science (LMCS). She was awarded the Presidential Young investigator award in 1991, is a fellow of the American association of Artificial Intelligence since 1994, was a Radcliffe Fellowship 2005-2006 and received the 2007 Association of Constraint Programming (ACP) research excellence award.
	Robert Mateescu, Microsoft Research Cambridge, UK
SHORT BIO Robert Mateescu is a postdoc researcher at Microsoft Research Cambridge UK. He received his PhD and MS degrees in Information and Computer Science (in 2007 and 2003) from the University of California Irvine, advised by Professor Rina Dechter. Between 2007-2009 he was a postdoc at Caltech, hosted by Professor Jehoshua Bruck. His current research is focused on efficiently solving very large scale optimization problems, and in particular SAT solving. Some of the topics of the past work include AND/OR search for graphical models, message-passing algorithms, compilation schemes for graphical models, data representation and coding for flash memory.
	Radu Marinescu, University College Cork, Ireland
SHORT BIO Radu Marinescu is a postdoctoral scholar at the Cork Constraint Computation Centre (4C), University College Cork, Ireland working with Professor Eugene Freuder. He received his PhD and MS degrees in Computer Science from the University of California Irvine (in 2004 and 2008, respectively) working with Professor Rina Dechter. His research focuses on automated reasoning with emphasis on high performance methods exploiting AND/OR search spaces for solving optimization tasks in probabilistic and deterministic graphical models. His recent interests are centered on decision analysis and multi-objective optimization. He co-authored papers appearing in the AIJ, JAIR, AAAI, IJCAI, UAI, CP and CPAIOR.
	Advances in Search and Inference for Graphical Models Rina Dechter, Robert Mateescu and Radu Marinescu
	Ulle Endriss, University of Amsterdam, The Netherlands T5: Computational Social Choice Tuesday morning, 17th August, 2010, Room 6.2.53
SHORT BIO Ulle Endriss is an assistant professor at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, where he carries out research at the interface of logic, AI, and mathematical economics. In 2006, he organised the inaugural edition of the International Workshop on Computational Social Choice (COMSOC).
	Tutorial on Computational Social Choice Ulle Endriss
	Paul E. Dunne, University of Liverpool, UK T6: Argumentation in AI Monday afternoon, 16th August, 2010, Room 6.1.36
SHORT BIO Paul Dunne is a professor of Computer Science at the University of Liverpool where he has been a member of the Dept. of Computer Science since 1985. His current research focuses on algorithmic and complexity aspects of argumentation with particular reference to semantics and developments of Dung's abstract argumentation frameworks, a field in which he has published extensively over the last decade.
	Argumentation in Artificial Intelligence - part 1 Paul E. Dunne
	Argumentation in Artificial Intelligence - part 2 Paul E. Dunne
	Argumentation in Artificial Intelligence - part 3 Paul E. Dunne
	Argumentation in Artificial Intelligence - part 4 Paul E. Dunne
	Argumentation in Artificial Intelligence - part 5 Paul E. Dunne
	Argumentation in Artificial Intelligence - part 6 Paul E. Dunne
	Argumentation in Artificial Intelligence - Bibliography with Selected Annotations Paul E. Dunne