Savas Konur

Scientific Activities

Seminars & Invited Talks

Department of Computer Science, University of Sheffield - May, 2015
School of Electrical Engineering and Computer Science, University of Bradford - February, 2015
Department of Computing Science, Newcastle University - September, 2014
Department of Computer Science, Brunel University - August, 2014
Department of Computer Science, University of Sheffield - April, 2013
Department of Computing, Imperial College - August, 2011
Department of Computer Science, University of Liverpool - November, 2010
Department of Computer Science, University of Swansea - September, 2009
Department of Informatics, University of Oslo - July, 2009
Department of Computer Science, University of Liverpool - November, 2008
School of Computer Science, University of Manchester - June, 2008
School of Computer Science, University of Manchester - December, 2006
Deparment of Computer Science, RWTH Aachen - January, 2004
Faculty of Sciences, VU University of Amsterdam - January, 2004

Programme Committee

Track Chair and PC Member of 16th IEEE Int. Conf. on High Perf. Comp. and Comm., HPCC'15
Track Chair of 16th IEEE Int. Conf. on High Performance Comp. and Comm., HPCC'14
PC Member of Workshop on Formal Methods for Pervasive Systems at FM'11
PC Member of Int. Symposium on Temporal Representation and Reasoning, TIME'10

Review (Journal):

ACM Transactions on Autonomous and Adaptive Systems
Journal of Autonomous Agents and Multi-Agent Systems
Theoretical Computer Science
IEEE Transactions on Systems, Man, and Cybernetics, Part A
Journal of Membrane Computing
Journal of Ambient Intelligence and Smart Environments
Logic Journal of the IGPL
Turkish Journal of Electrical Engineering and Computer Sciences

Review (Conference): Logic in Computer Science
International Conference on Foundations of Software Science and Computation Structures
European Summer School in Logic, Language and Information
International Conference on Formal Engineering Methods
International Conference on Autonomous Agents and Multi-Agent Systems
European Conference on Artificial Intelligence
International Conference on Intelligent Agent Technology