From pmt6sbc at maths.leeds.ac.uk Sat Nov 2 13:19:46 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Sat, 2 Nov 2013 12:19:46 GMT Subject: CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014 -1st CfP Message-ID: <201311021219.rA2CJkMa004008@maths.leeds.ac.uk> ******************************************************************* FIRST CALL FOR PAPERS: CiE 2014: Language, Life, Limits Budapest, Hungary June 23 - 27, 2014 http://cie2014.inf.elte.hu IMPORTANT DATES: Submission Deadline for LNCS: 10 January 2014 Notification of authors: 3 March 2014 Deadline for final revisions: 31 March 2014 CiE 2014 is the tenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013). The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural and biological computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches. As with previous CiE conferences the allover glueing perspective is to strengthen the mutual benefits of analyzing traditional and new computational paradigms in their corresponding frameworks both with respect to practical applications and a deeper theoretical understanding. TUTORIAL SPEAKERS: Wolfgang Thomas (RWTH Aachen) Peter Gruenwald (CWI, Amsterdam) INVITED SPEAKERS: Lev Beklemishev (Steklov Mathematical Institute, Moscow) Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris) Maribel Fernandez (King's College London) Przemyslaw Prusinkiewicz (University of Calgary) Eva Tardos (Cornell University) Albert Visser (Utrecht University) SPECIAL SESSIONS: History and Philosophy of Computing (organizers: Liesbeth de Mol, Giuseppe Primiero) Computational Linguistics (organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky) Computability Theory (organizers: Karen Lange, Barbara Csima) Bio-inspired Computation (organizers: Marian Gheorghe, Florin Manea) Online Algorithms (organizers: Joan Boyar, Csan??d Imreh) Complexity in Automata Theory (organizers: Markus Lohrey, Giovanni Pighizzini) CiE 2014 conference topics include, but not exclusively: * Admissible sets * Algebraic models of computation * Algorithms * Analog computation * Artificial intelligence * Automata theory * Bioinformatics and Bio-inspired computation * Bounded arithmetic * Classical computability and degree structures * Cognitive science and modelling * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational biology * Computational creativity * Computational learning and complexity * Computational linguistics * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Emerging and non-standard models of computation * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Machine learning * Mathematical models of emergence * Membrane computing * Molecular computation * Morphogenesis and developmental biology * Multi-agent systems * Natural computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebras and concurrent systems * Programming language semantics * Proof mining and applications * Proof theory and computability * Proof complexity * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Semantics and logic of computation * Swarm intelligence and self-organisation * Type systems and type theory * Uncertain reasoning * Weak systems of arithmetic and applications We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Gerard Alberts (Amsterdam) * Sandra Alves (Porto) * Hajnal Andreka (Budapest) * Luis Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau) * Vasco Brattka (Munich) * Bruno Codenotti (Pisa) * Barry Cooper (Leeds) * Erzsebet Csuhaj-Varju (Budapest, co-chair) * Michael J. Dinneen (Auckland) * Erich Gr??del (Aachen) * Marie Hicks (Chicago IL) * Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku) * Elham Kashefi (Edinburgh) * Viv Kendon (Leeds) * Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest) * Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA) * Georg Moser (Innsbruck) * Benedek Nagy (Debrecen) * Sara Negri (Helsinki) * Thomas Schwentick (Dortmund) * Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam) * Xizhong Zheng (Glenside PA) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2014. The submission site https://www.easychair.org/conferences/?conf=cie2014 is open. For submission instructions consult http://cie2014.inf.elte.hu/?Submission_Instructions We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu Website: http://cie2014.inf.elte.hu/ ************************************************************************ __________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu CiE Membership Application Form http://www.lix.polytechnique.fr/CIE AssociationCiE on Twitter http://twitter.com/AssociationCiE ALAN TURING YEAR http://www.turingcentenary.eu AlanTuringYears on Twitter http://twitter.com/AlanTuringYear __________________________________________________________________________ From thomas.agotnes at infomedia.uib.no Sun Nov 3 08:37:08 2013 From: thomas.agotnes at infomedia.uib.no (=?iso-8859-1?Q?Thomas_=C5gotnes?=) Date: Sun, 3 Nov 2013 08:37:08 +0100 Subject: CFP LOFT11: Logic and the Foundations of Game and Decision Theory, Bergen (Norway), 27-30 Jul 2014 Message-ID: <07F0D42C-02E9-4B99-AB8F-65DE80B1F3B8@infomedia.uib.no> *************************************************************************** LOFT11 2014: Call for Papers Eleventh Conference on Logic and the Foundations of Game and Decision Theory University of Bergen, Norway, July 27-30, 2014 http://folk.uib.no/nmita/LOFT11 Call for papers AIMS OF THE CONFERENCE This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous ten conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, and Sevilla (Spain), 2014 Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through https://www.easychair.org/conferences/?conf=loft11 The deadline for submission is March 1, 2014, and authors will be notified of acceptance decisions by April 9, 2014. PROGRAM CHAIRS: Thomas Ågotnes, University of Bergen, Norway Giacomo Bonanno, University of California Davis, U.S.A. Wiebe van der Hoek, University of Liverpool, United Kingdom PROGRAM COMMITTEE: Jan Broersen Cédric Dégremont Edith Elkind Spyros Galanis Olivier Gossner Paul Harrenstein Andreas Herzig Willemien Kets Piotr Krysta Jérôme Lang Emiliano Lorini Larry Moss Eric Pacuit Paul Pedersen Antonio Penta Andres Perea Martin Peterson Daniele Porello Bryan Renne Olivier Roy Burkhard Schipper Marija Slavkovik Paul Spirakis Wolfgang Spohn Elias Tsakas Hans van Ditmarsch Michael Wooldridge PUBLICATION OF CONTRIBUTED PAPERS: A selection of papers presented at LOFT11 will be published in special issues of two journals: Synthese and the Journal of Logic and Computation. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html IMPORTANT DATES: Deadline for submission: 1 March, 2014 Notification to authors: 9 April, 2014 Conference: 27-30 July 2014 ************************************************************************ From hastings at ebi.ac.uk Sun Nov 3 13:40:05 2013 From: hastings at ebi.ac.uk (Janna Hastings) Date: Sun, 3 Nov 2013 12:40:05 -0000 Subject: REMINDER: FOIS 2014: Call for Workshop Proposals, due 1 December In-Reply-To: <00d701ced891$bff97fa0$3fec7ee0$@ebi.ac.uk> References: <004101ced88e$f5472840$dfd578c0$@ebi.ac.uk> <005101ced88f$f4f9d620$deed8260$@ebi.ac.uk> <006101ced890$70dd61d0$52982570$@ebi.ac.uk> <007a01ced891$2009e520$601daf60$@ebi.ac.uk> <008a01ced891$4ae6cba0$e0b462e0$@ebi.ac.uk> <009a01ced891$6b7c2a40$42747ec0$@ebi.ac.uk> <00aa01ced891$7c58b950$750a2bf0$@ebi.ac.uk> <00c701ced891$ab7d0d80$02772880$@ebi.ac.uk> <00d701ced891$bff97fa0$3fec7ee0$@ebi.ac.uk> Message-ID: <00e201ced891$d339a130$79ace390$@ebi.ac.uk> (with apologies for cross-posting) CALL FOR WORKSHOP PROPOSALS 8th International Conference on Formal Ontology in Information Systems (FOIS 2014) September 22-25, 2014, Rio de Janeiro, Brazil http://fois2014.inf.ufes.br/p/home.html Email: fois2014 at gmail.com Relevant dates 1 December 2013: Workshop proposal submission deadline 15 January 2014: Notification of acceptance of workshop proposals 22 May 2014: Recommended workshop paper submission deadline (after FOIS notification deadline) 22 September 2014: FOIS Workshops 23-25 September 2014: FOIS main conference CALL FOR WORKSHOP PROPOSALS Workshops at FOIS are scientific events that are independently organized by the workshop organizers. The workshop organizers will be responsible for advertising the workshop and reviewing and selecting the contributions. Workshops can be events that provide a forum for the discussion of topics that may complement the main conference or focus on specialized sub-topics related to formal ontology and its application in information systems. We specifically invite proposals for workshops organized by IAOA Special Interest Groups and Technical Committees. ------------------------------ TOPICS OF INTEREST ------------------------------ Areas of interest to the conference include the following: - Specific Foundational Issues in Formal Ontology - Ontology Evaluation - Specific Issues in Ontology Methodologies - Scientific applications - Relations between Formal Ontology and the Semantic Web - Visualization and accessibility - Ontology Repositories A full list of topics can be found on the conference website: http://fois2014.inf.ufes.br/p/call-for-papers.html SUBMISSION Workshop proposals should be no more than 2 pages in length, and must contain the following information: - title of the workshop - names of the workshop organizers - brief description of experience in workshop organization - description of the workshop topic - brief statement on the relation and relevance of the workshop to FOIS - intended duration of the workshop (half-day, full-day) - timeline for the workshop (submission dates, notification dates) Please consider the notification date of FOIS and the proposed Workshop Submission Deadline. - plans for publishing workshop proceedings Workshop proposals should be submitted to the FOIS Workshop Track through Easychair: https://www.easychair.org/conferences/?conf=fois2014 EVALUATION Submissions for workshop proposals will be evaluated by members of the FOIS organizing and program committee, using the following criteria: - Relevance and utility to attendees - Quality of the proposal - Likelihood of success of the workshop - Complementarity with FOIS and overlap with other workshop WORKSHOP PROCEEDINGS The proceedings of the FOIS workshops are usually published on-line by the respective organizers and are not included in the main conference proceeding volume published by IOS Press. CONFERENCE ORGANIZATION General Chair: Laure Vieu (CNRS, France) Program Chairs: Pawel Garbacz (Catholic University of Lublin, Poland) Oliver Kutz (University of Bremen, Germany) Local Organization: Giancarlo Guizzardi (Federal University of Espirito Santo Brazil) Renato Rocha Souza (FGV, Brazil) Workshops: Robert Hoehndorf (University of Cambridge, UK) Ontology Competition: Till Mossakowski (DFKI Bremen and University of Bremen, Germany) Early Career Symposium: Marion Haemmerli (University of Lausanne, Switzerland) Torsten Hahmann (University of Toronto, Canada) Claudio Masolo (ISTC-CNR, Italy) Publicity: Janna Hastings (European Bioinformatics Institute, UK) Fernanda Baiao (Federal University of the State of Rio de Janeiro, Brazil) ---------------------------------------------------------------------------- ---------------------------------- Janna Hastings Email: hastings at ebi.ac.uk | Tel: +44 (0)1223 494411 | Fax: +44 (0)1223 494468 Twitter: @jannahastings | Web: www.ebi.ac.uk/~hastings | Blog: www.bioontology.ch Coordinator, Cheminformatics and Metabolism, European Bioinformatics Institute ---------------------------------------------------------------------------- ---------------------------------- Visit ChEBI at www.ebi.ac.uk/chebi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Mon Nov 4 14:35:24 2013 From: ecai2014 at guarant.cz (ecai2014) Date: Mon, 4 Nov 2013 13:35:24 +0000 Subject: ECAI 2014 - call for papers Message-ID: ECAI'14 Call for Papers The Twenty-first European Conference on Artificial Intelligence 18-22 August 2014, Prague, Czech Republic http://www.ecai2014.org The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI'14 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), the International Web Rule Symposium (RuleML) and an extensive programme of workshops, tutorials, and invited speakers. (Separate calls are issued for PAIS, STAIRS, tutorials, and workshops.) ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference. This call invites the submission of papers and posters for the technical programme of ECAI'14. High-quality original submissions are welcome from all areas of AI; the following list of topics is indicative only. - Agent-based and Multi-agent Systems - Constraints, Satisfiability, and Search - Knowledge Representation, Reasoning, and Logic - Machine Learning and Data Mining - Natural Language Processing - Planning and Scheduling - Robotics, Sensing, and Vision - Uncertainty in AI - Web and Knowledge-based Information Systems - Multidisciplinary Topics Both long (6-page) and short (2-page) papers can be submitted. Whereas long papers should report on substantial research results, short papers are intended for highly promising but possibly more preliminary work. Short papers will be presented in poster form. Rejected long papers will be considered for the short paper track. Submitted papers must be formatted according to ECAI'14 guidelines and submitted electronically through the ECAI'14 paper submission site. Full instructions including formatting guidelines and electronic templates are available on the ECAI'14 website. Paper submission: 1 March 2014 Author feedback: 14-18 April 2014 Notification of acceptance/rejection: 9 May 2014 Camera-ready copy due: 30 May 2014 The proceedings of ECAI'14 will be published by IOS Press. Best papers go AIJ The authors of the best papers (and runner ups) of ECAI'14 will be invited to submit an extended version of their paper to the Artificial Intelligence Journal. Conference Secretariat GUARANT International Na Pankráci 17 140 21 Prague 4 Tel: +420 284 001 444, Fax: +420 284 001 448 E-mail: ecai2014 at guarant.cz Web: www.ecai2014.org This email is not intended to be spam or to go to anyone who wishes not to receive it. If you do not wish to receive this letter and wish to remove your email address from our database please reply to this message with "Unsubscribe" in the subject line. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Mon Nov 4 15:54:37 2013 From: ecai2014 at guarant.cz (ecai2014) Date: Mon, 4 Nov 2013 14:54:37 +0000 Subject: ECAI 2014 - workshops call for papers Message-ID: <64f856dc448c47ae87ee68f307aabeb3@GUARANT-EX.guarant.ad> ECAI'14 Call for Papers The Twenty-first European Conference on Artificial Intelligence 18-22 August 2014, Prague, Czech Republic http://www.ecai2014.org The ECAI 2014 Organizing Committee invites proposals for workshops to be held in conjunction with the conference. The workshops will be scheduled on August 18 and 19, 2013. Proposals by all members of the international AI community are welcome. There is no restriction regarding topics, as long as there is a clear relevance to ECAI. We prefer a workshop programme that is as varied as possible. Most workshops will follow the classical format of presentations of peer-reviewed papers followed by discussion, but other formats (e.g., AI competitions) and entirely new ideas are also welcome. Whatever the format, all workshops should be interactive events and ample time should be allocated to discussion. The typical duration for a workshop is one full day, but two-day or shorter workshops can also be accommodated. If you are considering to propose a workshop or if you have any questions, please do not hesitate to get in touch with the ECAI-2014 Workshop Chairs, Marina De Vos (mdv at cs.bath.ac.uk) and Karl Tuyls (k.tuyls at liverpool.ac.uk). The deadline for submission of a workshop proposal is 12 January 2014. Detailed submission instructions and further information can be found on http://www.ecai2014.org/ ECAI Workshop Chairs Marina De Vos and Karl Tuyls -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Tue Nov 5 09:26:12 2013 From: ecai2014 at guarant.cz (ecai2014) Date: Tue, 5 Nov 2013 08:26:12 +0000 Subject: ECAI 2014 - tutorials poll Message-ID: <422795123518473bb8199a7d27ce5bf6@GUARANT-EX.guarant.ad> ECAI'14 Tutorials Call for Manifestations of Interest The Twenty-first European Conference on Artificial Intelligence 18-22 August 2014, Prague, Czech Republic http://www.ecai2014.org The next ECAI edition will take place on August 18-22, 2014, in Prague. The first two days of the event will be devoted to workshops and tutorials. This year, alongside "standard" half-day tutorials on established research areas, there will also be 90-minute "spotlight" tutorials on emerging and possibly more specialized topics. As in former editions, your ECAI registration will include free access to all tutorials. We are most committed to offer a fantastic tutorial programme to all ECAI attendees. To this end, we wish to know your opinion: If you had a choice, *** which tutorial would you really like to attend? *** Is there a truly excellent tutorial you have attended at a recent AI conference (e.g., IJCAI, AAAI), and you suggest be proposed again with ECAI 2014? Or a topic that was missing and you really would have loved it to be there? If you wish to contribute to this poll, please drop us a line, preferably by November 22. You can point out a topic or an area, or even a specific speaker. We will take all your answers into account in the definition of the ECAI tutorial programme. Thank you and see you in Prague! ECAI Tutorial chairs Agostino Dovier (agostino.dovier at uniud.it) Paolo Torroni (paolo.torroni at unibo.it) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Tue Nov 5 09:26:50 2013 From: ecai2014 at guarant.cz (ecai2014) Date: Tue, 5 Nov 2013 08:26:50 +0000 Subject: ECAI 2014 - tutorials call for papers Message-ID: ECAI'14 Call for Tutorials Proposals The Twenty-first European Conference on Artificial Intelligence 18-22 August 2014, Prague, Czech Republic http://www.ecai2014.org The ECAI 2014 Organizing Committee invites proposals for tutorials to be held in conjunction with the conference. The tutorials will be scheduled on August 18 and 19, 2013. In addition to "standard" half-day tutorials, ECAI 2014 will also feature "spotlight" tutorials, organized in a single 90-minute slot each. Spotlight tutorials are meant to address emerging areas, techniques, methodologies and perspectives in AI. Standard tutorials are meant to cover rather established material, with a broader scope. Deadline for (2-page abstract) Applications is December 1, 2013. All other details can be retrieved in http://www.ecai2014.org/ ECAI Tutorial chairs Agostino Dovier and Paolo Torroni -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From troels at ruc.dk Sat Nov 9 18:23:35 2013 From: troels at ruc.dk (Troels Andreasen) Date: Sat, 9 Nov 2013 17:23:35 +0000 Subject: =?Windows-1252?Q?ISMIS=9214_-_Call_for_Papers?= Message-ID: ISMIS'14 - Call for Papers: We invite you to submit a paper to ISMIS'14 International Symposium on Methodologies for Intelligent Systems which will be held in Roskilde, Denmark, June 25-27, 2014. Below is a short announcement. The full CfP is on ISMIS'14 website: http://isl.ruc.dk/ismis2014/ ISMIS'14 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas in the following areas: Active Media Human-Computer Interaction, Autonomic and Evolutionary Computation, Digital Libraries, Intelligent Agent Technology, Intelligent Information Retrieval, Intelligent Information Systems, Intelligent Language Processing, Knowledge Representation and Integration, Knowledge Discovery and Data Mining, Knowledge Visualization, Logic for Artificial Intelligence, Music Information Retrieval, Social Networs, Soft Computing, Text Mining, Web Intelligence, Web Mining, and Web Services In addition, we solicit papers dealing with Applications of Intelligent Systems in complex/novel domains, e.g. human genome, global change, manufacturing, health care, etc. Important Dates: Proposals for special sessions: November 22, 2013 Paper submission deadline: February 3, 2014 Notification of the review results: March 17, 2014 Final Paper due: April 14, 2011 >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Troels Andreasen, Roskilde University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ecai2014 at guarant.cz Mon Nov 11 12:52:51 2013 From: ecai2014 at guarant.cz (ecai2014) Date: Mon, 11 Nov 2013 11:52:51 +0000 Subject: PAIS'14 Call for Papers Message-ID: PAIS'14 Call for Papers Conference on Prestigious Applications of Intelligent Systems 20 - 21 August 2014, Prague, Czech Republic http://www.ecai2014.org The PAIS'14 Programme Committee invites papers describing innovative applications of AI techniques to real-world systems and problems to be submitted to the Technical Programme of the 8th International Conference on the Prestigious Applications of Intelligent Systems - a subconference of the 21st European Conference on Artificial Intelligence (ECAI'14). Papers highlighting all aspects of the application of intelligent systems technology are most welcome. Our aim is to provide a forum for academic and industrial researchers and practitioners to share experience and insight on the applicability, development and deployment of intelligent systems. PAIS is the largest showcase in Europe of real applications using AI technology and is the ideal place to meet developers of successful applications. Papers on all novel and significant applications of intelligent systems are welcome. We encourage submissions on deployed (in production use for some period) and emerging (in field testing) applications. Both long (6-page) and short (2-page) papers can be submitted. Whereas long papers should report on substantial results, short papers are intended for highly promising but possibly more preliminary work. Short papers will be presented in poster form. Rejected long papers will also be considered for the short paper track. Submitted papers must be formatted according to ECAI'14 guidelines and submitted electronically through the ECAI'14 paper submission site. Full instructions including formatting guidelines and electronic templates are available on the ECAI'14 website. End of submission period: 1 March 2014 Author feedback: 14-18 April 2014 Notification of acceptance/rejection: 9 May 2014 Camera-ready copy due: 30 May 2014 The proceedings of PAIS'14 will be included in ECAI'14 and will be published by IOS Press. PAIS'14/ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference. PAIS'14 Conference Chairs: Gerhard Friedrich, Universitaet Klagenfurt, Austria Barry O'Sullivan, University College Cork, Ireland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From autexier at mbp-autexier.informatik.uni-bremen.de Mon Nov 11 13:28:31 2013 From: autexier at mbp-autexier.informatik.uni-bremen.de (Serge Autexier) Date: Mon, 11 Nov 2013 13:28:31 +0100 (CET) Subject: Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2014) Message-ID: <20131111122831.8C6681D0F6C3@mbp-autexier.informatik.uni-bremen.de> CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 *** Call for Workshop Proposals *** ---------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics (CICM) offer a venue for discussing these areas and their synergy. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012) and Bath (U.K. 2013). This is a call for proposals for workshops to be held at CICM 2014, which will be held in Coimbra (Portugal), July 7-11 next year. The principal tracks of the 2014 meeting will be Calculemus (Symbolic Computation and Mechanised Reasoning) DML (Towards a Digital Mathematics Library) MKM (Mathematical Knowledge Management) Systems and Projects Some of the workshops that have been held at past CICM meetings are: Automated Reasoning: Bridging the Gap between Theory and Practice Compact Computer Algebra Empirically Successful Automated Reasoning for Mathematics Intelligent Proof Search Mathematical user Interfaces OpenMath Pen-Based Mathematical Computation Programming languages for Mechanized Mathematics Systems SCIEnce Proposals for workshops to be held at CICM 2014 are solicited. Both well-established workshops and newer or brand new ones are encouraged. Please provide the following information: + Workshop title. + Names and affiliations of organizers. + Brief description of workshop goals and/or topics. + Proposed workshop duration (half a day up to two days is possible). + If the workshop has met previously, please include the conference affiliation for the previous meeting. If the workshop is new, please indicate so. Fees for conference participants will be levied on a per-day basis, so workshop-only participation is possible. The CICM organizers plan to make available a small amount towards partial reimbursement for travel expenses of invited speakers. Also, CICM will take care of copying and distributing informal printed proceedings for workshops that would like this service, as well as permanently archived open access online proceedings with CEUR-WS.org. All proposals should be sent via email to cicm-organizers at lists.jacobs-university.de for consideration by the CICM 2014 organizers: Local Organization Chair: Pedro Quaresma (U. Coimbra, Portugal) General Program Chair: Stephen Watt (U. Western Ontario, Canada) Calculemus Track Chair: James Davenport (U. Bath, UK) DML Track Chair: Petr Sojka (Masaryk U., CZ) MKM Track Chair: Josef Urban (Radboud U., NL) System & Projects Track Chair: Alan Sexton (U. Birmingham, UK) Important dates: Deadline for proposal submissions: January 17, 2014 Acceptance/rejection notification: February 3, 2014 Workshop dates: July 7-11, 2014 ---------------------------------------------------------------------- From grlmc at urv.cat Sat Nov 9 21:58:44 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 9 Nov 2013 21:58:44 +0100 Subject: AlCoB 2014: 2nd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 1st INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2014 Tarragona, Spain July 1-3, 2014 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/alcob2014/ ********************************************************************* AIMS: AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction. The conference will address several of the current challenges in computational biology by investigating algorithms aimed at: 1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species. Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career. VENUE: AlCoB 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be the Catalunya Campus. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks ... Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics ... Microbiome analysis Systems biology STRUCTURE: AlCoB 2014 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Michael Galperin (National Center for Biotechnology Information, Bethesda), Comparative Genomics Approaches to Identifying Functionally Related Genes Uwe Ohler (Max-Delbrück Centre for Molecular Medicine, Berlin), Decoding Non-coding Regulatory Regions in DNA and RNA (tutorial) Jason Papin (University of Virginia, Charlottesville), Network Analysis of Microbial Pathogens PROGRAMME COMMITTEE: Tatsuya Akutsu (Kyoto, JP) Amihood Amir (Ramat-Gan, IL) Alberto Apostolico (Atlanta, US) Joel Bader (Baltimore, US) Pierre Baldi (Irvine, US) Serafim Batzoglou (Stanford, US) Bonnie Berger (Cambridge, US) Francis Y.L. Chin (Hong Kong, HK) Benny Chor (Tel Aviv, IL) Keith A. Crandall (Washington, US) Bhaskar DasGupta (Chicago, US) Joaquín Dopazo (Valencia, ES) Liliana Florea (Baltimore, US) Olivier Gascuel (Montpellier, FR) David Gilbert (Uxbridge, UK) Gaston H. Gonnet (Zurich, CH) Roderic Guigó (Barcelona, ES) Dan Gusfield (Davis, US) Vasant Honavar (University College, US) Sorin Istrail (Providence, US) Tao Jiang (Riverside, US) Inge Jonassen (Bergen, NO) Anders Krogh (Copenhagen, DK) Giovanni Manzini (Alessandria, IT) Carlos Martín-Vide (Tarragona, ES, chair) Satoru Miyano (Tokyo, JP) Burkhard Morgenstern (Göttingen, DE) Shinichi Morishita (Tokyo, JP) Cédric Notredame (Barcelona, ES) Graziano Pesole (Bari, IT) Mark Ragan (Brisbane, AU) Timothy Ravasi (Thuwal, SA) Allen G. Rodrigo (Durham, US) Steven Salzberg (Baltimore, US) David Sankoff (Ottawa, CA) Thomas Schiex (Toulouse, FR) João C. Setubal (São Paulo, BR) Steven Skiena (Stony Brook, US) Peter F. Stadler (Leipzig, DE) Wing-Kin Sung (Singapore, SG) Alfonso Valencia (Madrid, ES) Jacques van Helden (Marseille, FR) Arndt von Haeseler (Vienna, AT) Lusheng Wang (Hong Kong, HK) Limsoon Wong (Singapore, SG) Xiaohui Xie (Irvine, US) Dong Xu (Columbia, US) Zohar Yakhini (Santa Clara, US) Alex Zelikovsky (Atlanta, US) Michael Q. Zhang (Dallas, US) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Bianca Truthe (Magdeburg) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=alcob2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from September 21, 2013 to July 1, 2014. The registration form can be found at: http://grammars.grlmc.com/alcob2014/Registration.php DEADLINES: Paper submission: February 4, 2014 (23:59 CET) Notification of paper acceptance or rejection: March 15, 2014 Final version of the paper for the LNCS/LNBI proceedings: March 22, 2014 Early registration: March 29, 2014 Late registration: June 17, 2014 Starting of the conference: July 1, 2014 End of the conference: July 3, 2014 Submission to the post-conference journal special issue: October 3, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: AlCoB 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559543 Fax: +34 977 558386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili From icics_cfp at just.edu.jo Tue Nov 12 10:30:15 2013 From: icics_cfp at just.edu.jo (SDS - 2014) Date: Tue, 12 Nov 2013 11:30:15 +0200 Subject: SDS 2014: IEEE International Workshop on Software Defined Systems (SDS -2014), March 11-14, 2014, Boston, Massachusetts, USA Message-ID: <5628170244983@CIT-SamerSuleiman-M2L-1.just.edu.jo> IEEE International Workshop on Software Defined Systems (SDS -2014) in conjunction with 2014 IEEE International Conference on Cloud Engineering (IC2E 2014) March 11, 2014, Boston, Massachusetts, USA Call for papers Next generation cloud systems will require a paradigm shift in how they are constructed and managed. Conventional control and management platforms are facing considerable challenges regarding flexibility, dependability and security that next generation systems will require. The cloud computing paradigm has gone part of the way towards alleviating some of the problems associated with resource allocation, utilization and managements (e.g., via elasticity). However, many of the elements of a well-designed cloud environment remain “stiff” and hard to modify and adapt in an integrated fashion. This includes underlying networking topologies, many aspects of the user control over IaaS, PaaS or SaaS layers when such is needed, construction of XaaS services, provenance and meta-data collection, and so on. In many situations the problem may be because service abstraction is inadequate. Software Defined Systems (SDS) are systems that have added software components which help abstract actual IT equipment and other layers. One classical example, of course, are hypervisors. Such separation provides a great opportunity for system administrators to more easily construct and managing their systems through flexible software layers. Software Defined Systems include Software Defined Networking (SDN), Software Defined Storage, Software Defined Servers (Virtualization), Software Defined Datacenters (SDD), Software Defined Security (SDSec), and ultimately Software Defined Clouds (SDCloud) to name a few possibilities. Individual solutions and seamless integration of these abstractions remains in many respects a challenge. The first International workshop on Software Defined Systems (SDS -2014) is a forum for scientists, researchers, students, and practitioners to present their latest research results, ideas, and developments in the area of software defined systems – both components and their integration - and by implication advancement of next generation clouds. SDS 2014 link: http://www.staffs.ac.uk/personal/engineering_and_technology/eb26/SDS-2014/default.php Topics of interest ===== Researchers are encouraged to submit original research contributions in all major areas, whichinclude, but not limited to: * Software Defined Systems support for Cloud Computing * Software Defined Networking (SDN): * SDN concepts, architecture, and APIs * Network Virtualization * SDN and OpenFlow protocol * Software Defined Storage: * Storage Automation andAbstraction * Policy-driven storage provisioning * Software Defined Servers: * Virtualization * VM migration techniques and challenges * Software Defined Datacenters: * Facility control integration * Large scale sensor system management * Software Defined Security o Security policies automation * Self-management systems * Autonomic Computing techniques. * Software Defined Systems Scalability * Software Defined Systems optimization * Software tools and frameworks to support SDS * Software Defined Systems challenges and opportunities. * Software Defined Systems surveys Important Dates : =========== Paper Submission: December 1, 2013 Author's Notification: January 1, 2014 Camera-ready paper submission : January 17, 2014 Papers Submissions Guidelines: Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11" two-column format. All papers should be in PDF format, and submitted electronically at Paper Submission Link.A full paper should not exceed 6 pages (including all figures, tables and references).A paper submitted to SDS 2014 cannot be under review for any other conference or journal during the entire time it is considered for SDS 2014. All submissions are peer-reviewed by at least three reviewers. Accepted papers will be published by the IEEE Computer Society Conference Publishing Services. The best papers will be selected for a special? issue of IEEE Transactions on Cloud Computing (TCC). IEEE reserves the right to exclude a paper from distribution after the conference (e.g., removal from IEEE Xplore) if none of the authors attends the conference to present their paper. Accepted papers will be invited to submit extended versions to the Special Issue of the International Journal of Grid and High Performance Computing (IJGHPC). IJGHPC Link General co-Chairs: * Yaser Jararweh, Jordan University of Science and Technology, Jordan. * Mladen Vouk, N.C. State University, USA. Technical Program co-Chairs: * Andy Rindos, IBM research, USA. * Abdullah Khreishah, New Jersey Institute of Technology, USA. * Yojiro UO, IIJ Innovation Institute Inc., Japan. Invited Speaker and Panel co-Chairs: * Elhadj Benkhelifa, Staffordshire University, UK. * Mahmoud Al-Ayyoub, Jordan University of Science and Technology, Jordan Publicity Chair: * Hideaki Nii, IIJ Innovation Institute Inc., Japan. * Al-Sakib Khan Pathan, International Islamic University Malaysia (IIUM), Malaysia Please send any inquiry on SDS 2014 to yijararweh at just.edu.jo ________________________________ Jordan University of Science and Technology accepts no liability for any damage caused by any virus transmitted by this email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp2014a at cicling.org Thu Nov 14 12:54:02 2013 From: cfp2014a at cicling.org (Alexander Gelbukh (CFP)) Date: Thu, 14 Nov 2013 05:54:02 -0600 Subject: CFP: CICLing 2014 / NLP - Nepal - Springer LNCS Message-ID: <000b01cee130$3a010bf0$ae0323d0$@cicling.org> CICLing 2014 15th International Conference on Intelligent Text Processing and Computational Linguistics Kathmandu, Nepal - April 6-12, 2014 Springer LNCS, journals Deadline: Dec 31 / Jan 7 www.CICLing.org/2014 TOPICS: All topics related to computational linguistics, natural language processing, human language technologies, information retrieval, opinion mining, etc. PUBLICATION: LNCS - Springer Lecture Notes in Computer Science; poster session: special issues of journals KEYNOTE SPEAKERS: Four first-class experts, see webpage. CULTURAL PROGRAM: Three days of cultural activities: tours by Kathmandu, Buddhist monasteries, Chariot festival AWARDS: Best paper, best student paper, best presentation, best poster, best software SUBMISSION DEADLINES: December 31: registration of tentative abstract (why not register your tentative abstract now?), January 7: full text of the registered papers See complete CFP and contact on www.CICLing.org/2014 PLEASE CIRCULATE this CFP among your colleagues and students. I apologize if you receive multiple copies. Respond to this message to be removed from my list. From lembo at dis.uniroma1.it Fri Nov 15 10:15:18 2013 From: lembo at dis.uniroma1.it (Domenico Lembo) Date: Fri, 15 Nov 2013 10:15:18 +0100 Subject: DEADLINE EXTENSION: Special issue of the Semantic Web Journal on Web Reasoning and Rule Systems Message-ID: ======================== EXTENDED DEADLINE ======================== Deadline for submissions has been extended to December 15, 2013 ==================================================================== Call for papers: Special issue of the Semantic Web Journal on WEB REASONING AND RULE SYSTEMS On the occasion of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), this special issue will collect contributions on the major topics that will be discussed at the conference, which include original research from all areas of Web Reasoning, with an emphasis on combinations with Rule Systems. Submissions may include, but are not restricted to, extended RR 2013 conference papers. Topics of particular interest are: * Semantic Web, Rule and Ontology Languages, and related logics * Reasoning, Querying, Searching and Optimization * Incompleteness, Inconsistency and Uncertainty * Non-monotonic, Commonsense, and Closed-World Reasoning for the Web * Dynamic information, Stream Reasoning and Complex Event Processing * Decision Making, Planning, and Intelligent Agents * Reasoning, Machine Learning, Knowledge Extraction and IR Technologies * Large-scale data management and reasoning on the Web of Data * Data Integration, Dataspaces and Ontology-Based Data Access * Non-Standard Reasoning * Algorithms for distributed, parallelized, and scalable reasoning * System Descriptions and Experimentation * Application and Experience Papers Submissions Deadline (Extended): December 15, 2013 Submissions shall be made through the Semantic Web journal website at http://www.semantic-web-journal.net. Note that you need to request an account on the website for submitting a paper. Please indicate in the cover letter that it is for the "Web Reasoning and Rule Systems" special issue. Submissions are possible in all standing paper type of the journal, see http://www.semantic-web-journal.net/authors for descriptions: full research papers, surveys, linked dataset descriptions, ontology descriptions, application reports, tool/systems reports. Guest Editors Wolfgang Faber, University of Calabria, Italy Domenico Lembo, Sapienza University of Rome, Italy The editors can be reached by emailing rr2013 at wfaber.com . Guest Editorial Board The following list is subject to extension. Leopoldo Bertossi, Carleton University, USA Francois Bry, University of Munich, Germany Claudia d'Amato, University of Bari, Italy Michael Fink, Vienna University of Technology, Austria Sergio Flesca, University of Calabria, Italy Gerhard Friedrich, Alpen-Adria-Universitaet Klagenfurt, Austria Stijn Heymans, SRI International, Menlo Park, USA Roman Kontchakov, Birkbeck College, UK Manolis Koubarakis, National and Kapodistrian University of Athens, Greece Marie-Laure Mugnier, LIRMM (CNRS - UM2), France Umberto Straccia, ISTI-CNR, Italy Ivan Varzinczak, CSIR Meraka Institute, South Africa -- Domenico Lembo Sapienza Università di Roma Dip. di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti" Via Ariosto 25, 00185 Roma (stanza B209) Tel: +39 0677274027 Fax: +39 0677274002 email: lembo at dis.uniroma1.it home: http://www.dis.uniroma1.it/~lembo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From donotreply at dcmrf.net Mon Nov 18 12:00:22 2013 From: donotreply at dcmrf.net (The International Conference on Electrical and Electronics Engineering, Clean Energy and Green Computing (EEECEGC 2013)) Date: Mon, 18 Nov 2013 04:00:22 -0700 Subject: Extended Deadline (Nov.30, 2013):: CFP::EEECEGC 2013- Dubai- UAE Message-ID: <123059c7daf62d103b9720726f2800ee@localhost.localdomain> Please accept our apology for multiple posting. THANK YOU. =================================================================== CALL FOR PAPERS (EEECEGC2013) Islamic Azad University, U.A.E Branch, Dubai, U. A.E December 11-13, 2013. http://sdiwc.net/conferences/2013/eeecegc2013/ =================================================================== You are invited to participate in The International Conference on Electrical and Electronics Engineering, Clean Energy and Green Computing EEECEGC2013, The event will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures. The conference welcomes papers on the following (but not limited to) main research topics: Track 1: Electronics Engineering Track 2: Electrical Engineering Track 3: Clean Energy/Green Computing 1. All accepted papers will be published in the proceedings CD of the conference. 2. Accepted papers will be published in SDIWC Digital Library 3- The published proceedings will be indexed by at least five or more ofthe following: DBLP, EI, INSPEC, Research Bible, Scirus, Microsoft Academic Research, ResearchGate, and Google Scholar Databases. Important Dates ============== Submission Deadline: November 30, 2013 Notification of Acceptance: December 03, 2013 Camera Ready Submission: December 05, 2013 Last Day for Registration: December 05, 2013 Conference Dates: December 11-13, 2013 ---------------------------------------- If you want to unsubscribe to this mail message from SDIWC, just follow this link http://dcmrf.net/Filemailer2/sdiwc-mailer/unsubscribe.php?id=f61694ca9cc9f4f57dfe49f35689747f -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alachhab at gmail.com Mon Nov 18 12:30:59 2013 From: alachhab at gmail.com (Mohammed Al Achhab) Date: Mon, 18 Nov 2013 11:30:59 +0000 Subject: 3rd IEEE International Colloquium in Information Science and Technology, October, 20-22, 2014 Tetuan-Chefchaouen, Morocco In-Reply-To: <1383523215-997c0152767b72520bb902497cdef061@ieee.ma> References: <1383523215-997c0152767b72520bb902497cdef061@ieee.ma> Message-ID: *First Call for Papers: IEEE CIST’14* * 3rd IEEE International Colloquium in Information Science and Technology (CIST '14) *October. 20-22, 2014 Tetuan-Chefchaouen, Morocco *Innovative Systems and Technologies for the Future* http://www.ieee.ma/cist14/ Click here to download the CFP *The 3rd IEEE CIST’14* will be held from October 20 to 22, 2014, in Tetuan-Chefchaouen, Morocco. It aims to provide a comprehensive global forum for researchers and experts from academia and industry to exchange expertise and present results of ongoing research in the most state-of-the-art areas of *IT modeling and computer based solutions, enterprise architectures, technology and software for learning.*Specialized sessions on Natural Language Processing, Internet of Things and Smart systems will also be held during the conference. The Industrial track and the Panel sessions will provide focused discussions on Innovative Research and Business & Entrepreneur! ship in ICT. Tutorials and invited lectures will be held by distinguished keynote speakers. Keynotes confirmed so far: Marie-Aude Aufaure : Ecole Centrale Paris, MAS Laboratory, Chatenay-Malabry, France Vito Pirrelli: ILC-CNR, National Research Council, Pisa, Italy *Submissions should address specific range of topics:* *DATABASE AND INFORMATION SYSTEMS: ANALYSIS, SPECIFICATION AND INTEGRATION* • Requirement Engineering and Information Modeling Concepts • Foundations and Concept Formalization for Database Schemas • Distributed Database Systems and Mobile Database Applications • Big Data, Data Warehouses, and Business Intelligence • Knowledge Management Systems, Data mining and Knowledge discovery *ENTERPRISE ARCHITECTURE* • Enterprise Engineering, Models and Frameworks • Enterprise Resource Planning and Enterprise Application Integration • Enterprise Knowledge Engineering, Management and Security • Business Modeling and Business Process Management • Governance and Business-IT Alignment • EA and Service Oriented Architecture (SOA) • Measurements, Metrics and Evaluation of EA Artifacts and Processes • Architectures and Design Principles for Enterprise Repositories *AMBIENT INTELLIGENCE & SOFTWARE AGENTS AND MOBILE COMPUTING* • Mobile & Wireless Computing • Web Services and cloud computing • Social Networking and Collaborative Computing • Profiling and Recommendation Systems • Semantic Web Technologies and Applications • Ontology Modeling and Deployment • Natural Language Interfaces and Systems • Multi-Agent Systems and Case-Based Reasoning Systems *INNOVATIVE TRENDS IN DISTANCE LEARNING AND ONLINE EDUCATION* • Systems and methodologies for Learning / Education and Assessment • Architectures and Frameworks for Distributed e-learning environments • Systems & Evaluation of Learning technologies and Learning Management Systems • Organizational Learning, E-Learning and E-Teaching • Social and collaborative e-Learning • Online education Content Management *Important Dates and Deadlines* Paper Submission March 16, 2014 Acceptance Notification May 19, 2014 Camera-ready Submission June 15, 2014 Author Registration July 18 2014 Conference Dates ! October 20-22, 2014 *Invited and Industrial Sessions* • Natural Language Processing: Models, systems and applications • Internet of Things (IoT) and Smart Systems: Research opportunities and Applications • Business Innovation and Entrepreneurship in ICT: Best practices and Ingredients for Successful Development *Call for Attendees* Prospective authors should submit by using the online abstract submission platform an extended abstract of up to 6 pages describing their original work using the IEEE template. * Publication and Presentation* All Accepted papers will be published in the proceeding in the IEEE Digital Xplore Library. Furthermore, Authors of high quality papers will be invited to submit an extended version of their work for potential publication in a special issue/section of an international journal. *Contact Us* E-mail: sc-cist14 at ieee.ma www.ieee.ma/cist14 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From donotreply at sdiwc.us Tue Nov 19 13:01:05 2013 From: donotreply at sdiwc.us (The Second World Congress on Computing and Information Technology (WCIT2014)) Date: Tue, 19 Nov 2013 04:01:05 -0800 Subject: Call For Papers:: 2nd Congress (WCIT2014):: Malaysia Message-ID: Please Accept our Apology for Multiple Posting. THANK YOU. Call For Papers and Participation:: 2nd WCIT2014:: Malaysia- Kuala Lumpur All the registered papers will be published in the Digital Library of SDIWC http://sdiwc.net/conferences/2014/wcit2014/ +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+- *** The Asia Pacific University of Technology and Innovation (APU) would like to invite you to participate in The Second World Congress on Computing and Information Technology (WCIT2014) that will be held in Kuala Lumpur, Malaysia, on March 18-20, 2014. Please consider submitting a paper or more. THANK YOU. ***The Congress will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures. Important Dates ============== Submission Deadline : Feb. 18, 2014 Notification of Acceptance: March 04, 2014 Camera Ready Submission : March 08, 2014 Last Day for Registration : March 08, 2014 Conference Dates : March 18-20, 2014 ---------------------------------------- If you want to unsubscribe to this mail message from SDIWC, just follow this link http://sdiwc.us/Filemailer2/sdiwc-mailer/unsubscribe.php?id=76e17fab5c08e8d933397e6a30c4f9fa -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaprogram.org Tue Nov 19 20:21:15 2013 From: invitation at iariaprogram.org (ICNS 2014) Date: Tue, 19 Nov 2013 14:21:15 -0500 Subject: Deadline Extension: ICNS 2014 || April 20 - 24, 2014 - Chamonix, France Message-ID: <1384888875009.473@iariaprogram.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICNS 2014. The submission deadline is extended to December 12, 2013. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICNS 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICNS 2014, The Tenth International Conference on Networking and Services April 20 - 24, 2014 - Chamonix, France General page: http://www.iaria.org/conferences2014/ICNS14.html Call for Papers: http://www.iaria.org/conferences2014/CfPICNS14.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2014/SubmitICNS14.html Submission deadline: December 12, 2013 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICNS 2014 Topics (topics and submission details: see CfP on the site) ENCOT: Emerging Network Communications and Technologies Access and home networks; Ad hoc networks; Application-specific networks (e.g. SANs); Autonomic Networks; Delay-tolerant Networking; Distributed communications systems & applications; Energy-efficient networking; High-speed & optical networks; Mobile networking and systems; MPLS-VPN & IPSec-VPN networks; Multimedia and multicast communications; Networking Communication theory; Network modeling & simulation; Network monitoring techniques; Network security; Next Generation Networks (NGN); Overlay networks; Peer-to-peer networking; Programmable and Active Networks; Sensor networks; Switching and routing; Wireless and Satellite Networks COMAN: Network Control and Management Network, control and service architectures; Network signaling, pricing and billing; Network middleware; Network management, monitoring and control; Network resource scheduling; Networks policy-based management; Management of autonomic networks and systems; Telecommunication networks architectures; On-demand networks, utility computing architectures; Applications and case studies SERVI: Multi-technology service deployment and assurance Service-oriented architectures; Service definition, creation, bundling, deployment; Service reuse, composition and service feature interaction; Service orchestration and federation; Inter-provider service dependency; Intra-provider service dependency and service interaction; Service middleware and service development platforms (SDPs); Service open architecture (SOA); Profiling and service adaptation; Service privacy and security; Quality of service, service level agreement [QoS/SLA]; Service agreement violations; Mobile services and service migration; Reliability, availability, serviceability [RAS]; Service performance metrics; Traffic engineering, metering, monitoring; Voice over IP services; IP Multimedia services; Real-time/not-real-rime services; real-time services over IP/IPv6; Service performance evaluation, tools, simulation NGNUS: Next Generation Networks and Ubiquitous Services Methodologies, development support, and tools for NGN and converging services; NGN and convergence of ubiquitous services; NGN frameworks, architectures, and concepts; NGN technologies and mechanisms; QoS/SLA, traffic in NGN; NGN transport/service layered capabilities and operations; NGN concepts for active, ad hoc, mobile, and wireless networks; 3G and 4G Mobile networks; Fixed/mobile networks integration and internetworking; Services and service differentiation over NGN; Managing ubiquitous services in NGN; NGN interworking, non-NGN interoperability, migration; Regulatory services in NGN and standard activities; NGN device instrumentation; NGN policy-based control; Next Generation Internet MPQSI: Multi Provider QoS/SLA Internetworking Architectures, frameworks, mechanisms for admission control and measurement; QoS in multi-provider and multi-technology networks; Service classes and multi-provider service class discovery; Service level agreement and service assurance in multi-provider environments; Carrier-class end-to-end SLA and QoS monitoring and management; Multi provider accounting/billing/cost sharing; Management, monitoring, and measurements in multi-provider networks; End-to-end QoS/SLA advanced network services in multi-provider networks; End-to-end QoS/SLA for multimedia applications and services in multi-provider networks; Security issues in multi-service provider networks; Business models for multi-providers under QoS/SLA constraints; Standards and fora activities SDN: Software Defined Networking SDN architectures; Openflow protocols; SDN switches and routers; SDN controllers; Network operating systems; SDN scalability; Virtualization; Flow based operation; Distributed Controllers; State distribution in SDN control; Fault tolerance in SDN; Secure and dependable SDN; Openflow vulnerabilities; Software defined Internet architectures;Scaling virtualized functions; Traffic engineering with SDN; Abstractions for SDN; Network programming languages; Information centric networking and SDN; SDN in cloud computing; SDN applications; SDN in wireless environment; Controller performance evaluations; Mobility solutions GRIDNS: Grid Networks and Services GRID theory, frameworks, methodologies, architecture, ontology; GRID infrastructure and technologies; GRID middleware; GRID protocols and networking; GRID computing, utility computing, autonomic computing, metacomputing; Programmable GRID; Data GRID; Context ontology and management in GRIDs; Distributed decisions in GRID networks; GRID services and applications; Virtualization, modeling, and metadata in GRID; Resource management, scheduling, and scalability in GRID; GRID monitoring, control, and management; Traffic and load balancing in GRID; User profiles and priorities in GRID; Performance and security in GRID systems; Fault tolerance, resilience, survivability, robustness in GRID; QoS/SLA in GRID networks; GRID fora, standards, development, evolution; GRID case studies, validation testbeds, prototypes, and lessons learned EDNA: Emergency Services and Disaster Recovery of Networks and Applications Theory on disaster-tolerant robust networks; Recovery by disruption resource procedures; Security issues with emergency services and disaster recovery; Networks resiliency methods; Formal methods for safety-critical systems; Networks emergency services; Public safety, reliable emergency communications, and applications; Response to the networks emergency services; Disaster prevention and recovery; Fighting mechanisms for disaster of networks and applications; Notifications and recovery in various network technologies; Customer protection and serviceability perception; Cost models and business impact; Cultural and legal aspects; Future advanced network development and evolution; Standards and guidelines; Lawful interception and defense strategies; IPv6DFI: Deploying the Future Infrastructure IP Upgrade - An Engineering Exercise or a Necessity?; Worldwide IPv6 Adoption - Trends and Policies; National Strategies in Stimulating IPv6 Adoption; IPv6 in Government Infrastructures - Specific Requirements; IPv6 Infrastructures for Emergency Response and Law Enforcement - MetroNet6; Communications Equipment Certification for IPv6 Support; IPv6 in Broadband Networks; IPv6 Programs, from Research to Knowledge Dissemination; IPv6 Technology - Practical Information; Advanced Topics and Latest Developments in IPv6; IPv6 Deployment Experiences and Case Studies; IPv6 Enabled Applications and Devices IPDy: Internet Packet Dynamics Measurement of stream characteristics (reordering, delay, losses, jitter, etc.); Measurement and estimation of network characteristics; Tools, metrics and benchmarks; End-to-end packet dynamics; Timing aspects in packet dynamics; Impact of load balancing, parallelism within nodes, etc. on packet dynamics; QoS mechanisms and their impact on packet dynamics; Models (e.g., relating protocols, resources and architectures to packet dynamics); Mitigation of adverse effects of reordering, jitter, etc.; Traffic engineering; Impact of packet dynamics on application performance GOBS: GRID over Optical Burst Switching Networks Terabit burst switching; Burst assembly for IP DiffServ over optical burst switching networks; Optical network infrastructure for Grid; Synchronous stream optical burst switching; Optical burst switching based GRID architecture; Reliable optical burst switching for next-generation Grid networks; Throughput for Grid optical burst switching Grid networks; Resiliency paths over the optical Grid networks; Consumer oriented Grids using optical burst switching; Protocols for optical burst switched Grid networks; Hybrid optical switching for data-intensive media Grid; Anycast routing in optical burst switched Grid networks; Optical burst switching for IP-over-WDM/DWDM; Customizable Grid-to-optical network; Ultra high capacity optical networks; Hybrid optical burst/circuit switched for Grid-enabled optical networks; Job scheduling in optical burst switching Grid networks; Architecture and middleware for Grid-Over-OBS LEARN: Learning Methodologies and Platforms New learning methodologies; Blended learning; Accessibility in Learning; Online laboratories; Virtual laboratories; Remote laboratories; Learning strategies to enhance online courses; Learning Content adaptation for blended learning; Learning platforms and their compatibility with cisco.netacad.net Committee: http://www.iaria.org/conferences2014/ComICNS14.html ================================================ From palsm at fe.up.pt Wed Nov 20 05:23:42 2013 From: palsm at fe.up.pt (palsm at fe.up.pt) Date: Wed, 20 Nov 2013 04:23:42 +0000 (GMT) Subject: WCCM-ECCM-ECFD 2013 Congress, Barcelona, Spain, 20-25 July 2014 - Thematic session: Computational models for soft tissues Message-ID: <921807546.32911384921422470.JavaMail.palsm@BB2> Dear Colleague, we would like to invite you to submit an abstract to the thematic session "Computational models for soft tissues", as part of the WCCM-ECCM-ECFD 2014 Congress, Barcelona, Spain, 20-25 July 2014. The main goal of the symposium is to attract scientists -from a wide variety of scientific areas -across a broad field of topics -from diverse geographical locations. Participants in this symposium should present and discuss their work in the fields related to "Computational models for soft tissues", bringing the state of the art and the future developments and evaluation in computational biomechanics of soft tissues. This symposium should be a good opportunity to refine ideas for future work and to establish connections for cooperation. Knowing your research activities in the field, we would like to invite you to contribute to this session with a presentation, and we would be very pleased if you accept our invitation. The deadline for submitting an abstract is 29th November, 2013. Please upload your abstract file according to the instructions found in the web page: http://www.wccm-eccm-ecfd2014.org Thanking you in advance, we are looking forward to welcome you in Barcelona. Best wishes, Estefanía Peña Renato Natal Miguel A. Martínez Pedro A. L. S. Martins From agi.kurucz at kcl.ac.uk Wed Nov 20 16:13:27 2013 From: agi.kurucz at kcl.ac.uk (Agi Kurucz) Date: Wed, 20 Nov 2013 15:13:27 +0000 Subject: AiML-2014: Call for Papers Message-ID: <528CD197.3050603@kcl.ac.uk> *** Apologies for cross-postings **** AiML-2014: CALL FOR PAPERS 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2014 http://www.philos.rug.nl/AiML2014/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2014 is the tenth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. INVITED SPEAKERS: Franz Baader (TU Dresden, Germany) Stephane Demri (New York University, US & CNRS, France) Joseph Halpern (Cornell University, US) Sara Negri (University of Helsinki, Finland) Frank Wolter (University of Liverpool, UK) PAPER SUBMISSIONS There will be two types of submissions to AiML-2014: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://www.easychair.org/account/signin.cgi?conf=aiml2014 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML-2014 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that are provided on the AiML-2014 website http://www.philos.rug.nl/AiML2014/ We also ask authors of full papers to submit the abstract in plain text via EasyChair by 14 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. IMPORTANT DATES Abstracts of full papers submission deadline: 14 March 2014 Full papers submission deadline: 21 March 2014 Full papers acceptance notification: 2 May 2014 Short presentations submission deadline: 12 May 2014 Short presentations acceptance notification: 2 June 2014 Final version of full papers and short presentations due: 9 June 2014 Conference: 5-8 August, 2014. LOCAL ORGANIZING COMMITTEE Dave Gilbert Barteld Kooi Bouke Kuijer Paolo Maffezioli Allard Tamminga PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Alexandru Baltag (ILLC, University of Amsterdam, The Netherlands) Nick Bezhanishvili (Utrecht University, The Netherlands) Patrick Blackburn (Roskilde University, Denmark) Hans van Ditmarsch (LORIA, France) David Fernández-Duque (ITAM, Mexico) Melvin Fitting (Lehman College, CUNY, USA) Mai Gehrke (LIAFA, Université Paris Diderot, France) Silvio Ghilardi (Università degli Studi di Milano, Italy) Rob Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Guido Governatori (NICTA Queensland, Australia) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University, The Netherlands) Roman Kontchakov (Birkbeck College London, UK) Barteld Kooi (University of Groningen) Marcus Kracht (Universität Bielefeld, Germany) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Universität Bremen, Germany) Jakub Michaliszyn (Imperial College London, UK) Larry Moss (Indiana University, USA) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Revantha Ramanayake (Technical University of Vienna) Mark Reynolds (University of Western Australia) Vladimir Rybakov (Manchester Metropolitan University, UK) Renate Schmidt (University of Manchester, UK) Jeremy Seligman (University of Auckland, New Zealand) Ilya Shapirovsky (Institute for Information Transmission Problems, Moscow, Russia) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Rajeev Gore (The Australian National University, Australia) Agi Kurucz (King's College London, UK) FURTHER INFORMATION. Please see http://www.philos.rug.nl/AiML2014 ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml2014 at easychair.org From a.artikis at gmail.com Wed Nov 20 18:24:41 2013 From: a.artikis at gmail.com (Alexander Artikis) Date: Wed, 20 Nov 2013 19:24:41 +0200 Subject: job: junior researcher in complex event processing Message-ID: The Software & Knowledge Engineering Laboratory (SKEL) of the Institute of Informatics & Telecommunications (IIT) of NCSR Demokritos is offering a junior research position in the Complex Event Recognition group. The successful candidate will have a MSc in Computer Science and experience in at least one of the following fields: Event Processing. Knowledge Representation and Reasoning. Probabilistic Reasoning. Machine Learning. The successful candidate will also have excellent programming skills. More information on the research activities of the Complex Event Recognition group may be found at: http://cer.iit.demokritos.gr. Interested candidates should send their CVs by email to gram_skel at iit.demokritos.gr by December 10, 2013 mentioning 'CER PHD' in the subject. Shortlisted candidates will be invited to an interview in the first week of December. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Wed Nov 20 18:25:29 2013 From: a.artikis at gmail.com (Alexander Artikis) Date: Wed, 20 Nov 2013 19:25:29 +0200 Subject: job: research assistant in complex event processing Message-ID: The Software & Knowledge Engineering Laboratory (SKEL) of the Institute of Informatics & Telecommunications (IIT) of NCSR Demokritos is looking for a research assistant in the Complex Event Recognition group. The successful candidate will have excellent programming skills and experience in EU-funded projects. Furthermore, the successful candidate will have very good communication skills in English, and a strong track record in event processing and at least one of the following fields: Knowledge Representation and Reasoning. Probabilistic Reasoning. Machine Learning. More information on the research activities of the Complex Event Recognition group may be found at: http://cer.iit.demokritos.gr. Interested candidates should send their CVs by email to gram_skel at iit.demokritos.gr by December 10, 2013 mentioning 'CER RA' in the subject. Shortlisted candidates will be invited to an interview in December. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas14publicity at gmail.com Thu Nov 21 04:15:10 2013 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Wed, 20 Nov 2013 19:15:10 -0800 Subject: [AAMAS-14] Doctoral Consortium Message-ID: Call for Submissions to the Doctoral Mentoring Program part of The Thirteenth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2014) Paris, France Symposium Date: May 5, 2014 Conference Dates: May 5-9, 2014 http://aamas2014.lip6.fr/ Following past successful editions, AAMAS 2014 will again include a doctoral mentoring program, intended for PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: * To match each student with an established researcher in the community, who will act as a mentor. The mentor will interact closely with the student, to provide feedback on the student's research, help form new contacts, etc. * To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. * To provide students with suggestions for managing their careers, contacts and professional networking opportunities. * To provide ample opportunities for interactions between mentors and their students prior to the conference, as well as a one day doctoral symposium. Those students selected to take part in the mentoring program will be invited to submit a 2-page extended abstract which will be included in the AAMAS 2014 proceedings. Submissions We encourage submissions from PhD students in advanced stages of their research within the Autonomous Agents and Multi Agent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Those students selected will be expected to take active part in all program activities. Submissions consist of documents which students should provide, together with a recommendation letter from the advisor/supervisor. The submission materials consist of: 1. A two-page extended abstract of the student's thesis (in the AAMAS submission format) 2. A short (2-page) resume (Curriculum Vitae) 3. A recommendation letter from the advisor/supervisor. The first two items should be submitted via EasyChair: https://www.easychair.org/conferences/?conf=dcaamas14 The student advisor/supervisor should send their letter of recommendation (third item) via email to the Doctoral Mentoring Program chairs: Edith Elkind (elkind at cs.ox.ac.uk ) Karl Tuyls (k.tuyls at liverpool.ac.uk) Wamberto Vasconcelos (w.w.vasconcelos at abdn.ac.uk) by February 9, 2014. The letter should address the expected benefit of the student attending, the significance of the research, and the expected date for thesis submission. This letter can be sent in either plain text or PDF format. The student's name must be clearly pointed out in the letter. Important Dates * February 9: Submission package due * March 3: Acceptance notifications * March 11: Camera-ready copy due * May 5: Doctoral Mentoring Symposium The one-day symposium will be held on one day. Doctoral Mentoring Chairs Edith Elkind Department of Computer Science, University of Oxford, United Kingdom elkind at cs.ox.ac.uk Karl Tuyls Department of Computer Science, University of Liverpool, United Kingdom k.tuyls at liverpool.ac.uk Wamberto Vasconcelos Department of Computing Science, University of Aberdeen, United Kingdom w.w.vasconcelos at abdn.ac.uk Web page: http://aamas2014.lip6.fr/doctoral-symposium.php -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fink at kr.tuwien.ac.at Thu Nov 21 21:26:24 2013 From: fink at kr.tuwien.ac.at (fink at kr.tuwien.ac.at) Date: Thu, 21 Nov 2013 21:26:24 +0100 Subject: Final Call for Papers KR 2014: 14th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: <201311212026.rALKQO6X003651@mahler.kr.tuwien.ac.at> FINAL CALL FOR PAPERS *** KR 2014 *** 14th International Conference on Principles of Knowledge Representation and Reasoning Vienna, Austria July 20-24, 2014 http://kr.org/KR2014/ Co-located with DL 2014 [http://www.dbai.tuwien.ac.at/dl2014/], NMR 2014 [http://www.kr.tuwien.ac.at/nmr14], FLoC 2014 [http://vsl2014.at/logic-in-computer-science/] (CAV, CSF, ICLP, IJCAR, ITP, LICS, RTA, SAT), and Logic Colloquium 2014. KR 2014 is part of Vienna Summer of Logic [http://vsl2014.at/] *** See submission information at the bottom of this message *** KR 2014 IMPORTANT DATES ----------------------- * Submission of title and abstract: November 28, 2013 * Paper submission deadline: December 5, 2013 * Author response period: January 11-12, 2014 * Notification of acceptance: January 27, 2014 * Camera-ready papers due: March 4, 2014 * Conference date: July 20-24, 2014 The reference time for all deadlines is 23:59 UTC-12. If you are "on time" anywhere in the world, you are "on time". KEYNOTE LECTURES: ----------------- - Franz Baader, TU Dresden, Germany - Georg Gottlob, University of Oxford, UK - Sheila McIlraith, University of Toronto, Canada - Anthony Cohn, University of Leeds, UK Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. The underlying approach of explicitly representing knowledge in a tangible form, suitable for processing by dedicated reasoning engines, is a fundamental component of many modern intelligent systems. Foundational and applied research in KR&R contributes to the principles of artificial intelligence. It also contributes to the foundations of longstanding fields including automated planning, databases, and software engineering. In recent years KR&R has also derived challenges from new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2014 edition will be held as part of the Vienna Summer of Logic together with the Federated Conference on Logic, Logic Colloquium and other related events. The Vienna Summer of Logic is expected to be the largest convention in the history of logic. We solicit papers presenting novel results on the principles of KR&R that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also encourage "reports from the field" of applications experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation. The best paper of the conference will receive the 2014 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2014 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2014 will have the opportunity of fast-track publication in the AI Journal. TOPICS ------ Topics of interest include, but are not limited to: * Applications of KR * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents, multi-agent systems, logical models of agency * KR and data management, ontology-based data access, queries and updates over incomplete data * KR and decision making, decision theory, game theory and economic models * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and robotics, cognitive robotics * KR and the Web, Semantic Web, formal approaches to knowledge bases * KR in games, general game playing, reasoning in video games and virtual environments, believable agents * KR in natural language understanding and question answering * KR in image and video understanding * Logical approaches to planning and behavior synthesis * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Reasoning about norms and organizations, social knowledge and behavior * Philosophical foundations of KR * Ontology languages and modeling * Preference modeling and representation, reasoning about preferences, preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics, relational probability models SUBMISSION INFORMATION ---------------------- Papers must be submitted in AAAI style and PDF format. The maximum length of a submission is 9 pages including abstract, figures, and appendices (if any) but excluding references. Reviewing will be non-blind. AAAI author instructions: http://www.aaai.org/Publications/Author/author.php AAAI author kit: http://www.aaai.org/Publications/Templates/AuthorKit.zip Papers must be submitted via EASYCHAIR using the following URL: http://www.easychair.org/conferences/?conf=kr2014 The conference proceedings will be published by AAAI Press. For complete details, see the conference website: http://kr.org/KR2014/ [kr.org] CONFERENCE CHAIRS ----------------- General Chair: Thomas Eiter (TU Vienna, Austria) Program Chairs: Chitta Baral (Arizona State U, USA), Giuseppe De Giacomo (U "La Sapienza", Italy) Local Organization: Michael Fink, Stefan Woltran (TU Vienna, Austria) Doctoral Consortium: Birte Glimm (U Ulm, Germany), Adrian Pearce (U Melbourne, Australia) Sponsorship: Marco Maratea (U Genova, Italy) From serge.autexier at dfki.de Fri Nov 22 16:41:41 2013 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri, 22 Nov 2013 16:41:41 +0100 (CET) Subject: First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014) Message-ID: <20131122154141.70C1D1D9396F@mbp-autexier.informatik.uni-bremen.de> [Apologies for multiple copies] CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 First Call for Papers ------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics (CICM) offer a venue for discussing these areas and their synergy. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012) and Bath (U.K. 2013). This is a call for papers for CICM 2014, which will be held at the University of Coimbra, 7-11 July 2014, following the 10th International Workshop on Automated Deduction in Geometry. The principal tracks of the conference will be: Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: James Davenport DML (Digital Mathematical Libraries) Chair: Petr Sojka MKM (Mathematical Knowledge Management) Chair: Josef Urban Systems and Projects Chair: Alan Sexton The local arrangements will be coordinated by the Local Arrangements Chair, Paedro Quaresma (U. Coimbra, Portugal), and the overall programme will be organised by the General Program Chair, Stephen Watt (U. Western Ontario, Canada). The proceedings of the conference will be published by Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Conference submissions: Abstract submission: 28 February 2014 Submission deadline: 7 March 2014 Reviews sent to authors: 4 April 2014 Rebuttals due: 8 April 2014 Notification of acceptance: 14 April 2014 Camera ready copies due: 25 April 2014 Work in progress and Doctoral Programme submissions: Submission deadline: 28 April 2014 (Doctoral: Abstract+CV) Notification of acceptance: 19 May 2014 Camera ready copies due: 26 May 2014 Conference: 7-11 July 2014 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- ================================================================ Track Calculemus: Symbolic Computation and Mechanised Reasoning ================================================================ Calculemus 2014 invites the submission of original research contributions to be considered for publication and presentation at the conference. Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computer-supported mathematics in their every day business. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to: * Automated theorem proving in computer algebra systems. * Computer algebra in theorem proving systems. * Adding reasoning capabilities to computer algebra systems. * Adding computational capabilities to theorem proving systems. * Theory, design and implementation of interdisciplinary systems for computer mathematics. * Case studies and applications that involve a mix of computation and reasoning. * Case studies in formalization of mathematical theories. * Representation of mathematics in computer algebra systems. * Theory exploration techniques. * Combining methods of symbolic computation and formal deduction. * Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Homotopy type theory. * Infrastructure for mathematical services. ================================================================ Track DML: Digital Mathematical Libraries ================================================================ Mathematicians dream of a digital archive containing all validated mathematical literature ever published, reviewed, properly linked, and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The track objective is to provide a forum for the development of math-aware technologies, standards, algorithms and formats for the fulfillment of the dream of a global digital mathematical library (DML). Computer scientists (D) and librarians of the digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation. Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building, including the processing of mathematical knowledge expressed in scientific papers in natural languages: * Math-aware text mining (math mining) and MSC classification * Math-aware representations of mathematical knowledge * Math-aware computational linguistics and corpora * Math-aware tools for [meta]data and fulltext processing * Math-aware OCR and document analysis * Math-aware information retrieval * Math-aware indexing and search * Authoring languages and tools * MathML, OpenMath, TeX and other mathematical content markup languages * Web interfaces for DML content * Mathematics on the web, math crawling and indexing * Math-aware document processing workflows * Archives of written mathematics * DML management, business models * DML rights handling, funding, sustainability * DML content acquisition, validation and curation * Reports and experience from running existing DMLs ================================================================ Track MKM: Mathematical Knowledge Management ================================================================ Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The track is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ================================================================ Track Systems and Projects ================================================================ The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presenting available systems and new and ongoing projects in all areas and topics related to the CICM conferences: * Deduction and Computer Algebra (Calculemus) * Digital Mathematical Libraries (DML) * Mathematical Knowledge Management (MKM) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------- Electronic submission is done through Easychair http://www.easychair.org/conferences/?conf=cicm2014 All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Submissions to the research tracks (Calculemus, DML, MKM) must not exceed 15 pages in the LNCS style and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. System descriptions and projects descriptions should be 2-4 pages in the LNCS style and should present * newly developed systems, * systems not previously been presented to the CICM community, or * significant updates to existing systems. Systems must either be available for download or currently executable by the general public as a web application. Project presentations should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community or * significant new developments in ongoing previously presented projects. Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps. All project submissions must have a live project website and should contain links to demos, videos, downloadable systems or downloadable datasets. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not yet in a suitable form for submission as a full paper for a research track or system description. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5-10 pages. The programme committee may offer authors of rejected formal submissions the opportunity to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report, as well as online with CEUR-WS.org. ---------------------------------------------------------------- Doctoral Programme ---------------------------------------------------------------- Chair: David Wilson (University of Bath, UK) CICM is an excellent opportunity for graduate students to meet established researchers from the areas of computer algebra, automated deduction, and mathematical publishing. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. Students at any stage of their PhD can apply and should submit the following documents through EasyChair: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) Submission Deadline: 28 April 2014. ---------------------------------------------------------------- Programme Committee ---------------------------------------------------------------- General chair: Stephen Watt (University of Western Ontario, Canada) Calculemus track James Davenport, University of Bath, UK (Chair) Matthew England, University Of Bath, UK, Dejan Jovanović, SRI, USA Laura Kovács, Chalmers University of Technology, Sweden Assia Mahboubi, INRIA, France Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland Grant Passmore, U. Cambridge and U. Edinburgh, UK Florian Rabe, Jacobs University Bremen. Germany Claudio Sacerdoti Coen, University of Bologna, Italy Freek Wiedijk, Radboud University Nijmegen, Netherlands (Other invitations pending) DML track Petr Sojka, Masaryk University, Brno, CZ (Chair) Akiko Aizawa, NII, University of Tokyo, Japan Łukasz Bolikowski, ICM, University of Warsaw, Poland Thierry Bouche, Université Joseph Fourier, Grenoble, france Yannis Haralambous, Inst Mines-Télécom - Télécom Bretagne, France Janka Chlebíková, School of Computing, University of Portsmouth, UK Michael Kohlhase, Jacobs University Bremen, Germany Jiří Rákosník, Institute of Mathematics AS CR, CZ David Ruddy, Cornell University, USA Volker Sorge, University of Birmingham, UK Frank Tompa, University of Waterloo, Canada Richard Zanibbi, Rochester Institute of Technology, USA MKM track Josef Urban, Radboud University Nijmegen, The Netherlands (Chair) Rob Arthan, Queen Mary University of London, UK David Aspinall, Univerity of Edinburgh, UK Michael Beeson, San Jose State University, USA Claudio Sacerdoti Coen, University of Bologna, Italy Thomas Hales, University of Pittsburgh, USA Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL Peter Jipsen, Chapman University, USA Cezary Kaliszyk, University of Innsbruck, Austria Michael Kohlhase, Jacobs University Bremen, Germany Christoph Lange, University of Birmingham, UK Paul Libbrecht, Weingarten University of Education, Germany Ursula Martin, Queen Mary University of London, UK Bruce Miller, NIST, USA Adam Naumowicz, University of Bialystok, Poland Florian Rabe, Jacobs University Bremen, Germany Alan Sexton, University of Birmingham, UK Enrico Tassi, INRIA, France Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France Freek Wiedijk, Radboud University Nijmegen, The Netherlands Systems & Projects track Alan Sexton, University of Birmingham, UK (Chair) Christoph Lange, University of Bonn, Germany Jesse Alama, Technical University of Vienna, Austria Rob Arthan, Queen Mary University of London, UK Deyan Ginev, Jacobs University Bremen, Germany Jónathan Heras, University of Dundee, Scotland Mateja Jamnik, University of Cambridge, UK Predrag Janičić, University of Belgrade, Serbia Christoph Lüth, DFKI and University of Bremen, Germany Bruce Miller, NIST, Gaithersburg, Maryland, USA Hendrik Tews, TU Dresden, Germany From grlmc at urv.cat Sat Nov 23 23:17:06 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 23 Nov 2013 23:17:06 +0100 Subject: SSTiC 2014: 1st announcement Message-ID: <2473665BB8594E8F89CF9FB53D0FFC44@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 5 keynote lectures and 30 six-hour courses dealing with the hottest topics in the field. The organizers share the idea that outstanding speakers will really attract high-quality students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels in the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis George Karypis (U Minnesota, Twin Cities), Recommender Systems Past, Present, & Future Ronald R. Yager (Iona C, New Rochelle), tba ... more will come ... COURSES AND PROFESSORS: Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Arie E. Kaufman (U Stony Brook), [advanced] Visualization Sudhakar M. Reddy (U Iowa, Iowa City), [introductory] Test and Design for Test of Digital Logic Circuits Robert Sargent (Syracuse U), [introductory] Validation of Models Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd Analysis Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ... more will come ... ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Bianca Truthe (Magdeburg) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete. It is very convenient to register prior to the event. FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to attend all courses. They vary depending on the registration deadline. If seats will still be available, shortly prior to the event attending only a few days (part-time) may be permitted, with the appropriate adjustment of the fees. ACCOMMODATION: Information about accommodation will be available on the website of the School in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili From interlaken2014 at gmail.com Sun Nov 24 13:16:06 2013 From: interlaken2014 at gmail.com (CSPC'14) Date: Sun, 24 Nov 2013 14:16:06 +0200 Subject: CSPC 2014: The 2014 International Conference on Communications, Signal Processing and Computers will take place at Interlaken, Switzerland, February 22 (Saturday), February 23 (Sunday), February 24 (Monday), 2014 Message-ID: <20131124121618.1BE43340D64@sphinx.rz.tu-clausthal.de> CSPC 2014 The 2014 International Conference on Communications, Signal Processing and Computers will take place at Interlaken, Switzerland, February 22 (Saturday), February 23 (Sunday), February 24 (Monday), 2014 http://tinyurl.com/cspc2014 The conference proceedings will be published on hard copy and CD The Proceedings of the Conference with all the accepted and registered papers of the conferences will be sent for indexing to: ISI (Thomson Reuters), ELSEVIER, SCOPUS, Zentralblatt MATH, British Library, EBSCO, SWETS, EMBASE, CAS - American Chemical Society, EI Compendex, Engineering Village, DoPP, GEOBASE, Biobase, TIB|UB - German National Library of Science and Technology, American Mathematical Society (AMS), Inspec - The IET, Ulrich's International Periodicals Directory, Scholar Google. As in all the Previous Conferences, extended Versions of all the accepted Papers will appear in well-known and reputable international scientific journals (Indexed in SCOPUS, EI Compendex, AMS, ACS, CiteSeerX, Zentralblatt, British Library, EBSCO, SWETS, EMBASE, CAS, Scholar Google etc) and in SPRINGER VERLAG Books Check our Previous Books in Springer via the conference web site All the articles will undergo thorough peer review, and the names of the reviewers will be published on the conference web page, as well as the proceedings (hard copy and CD). On our website (http://tinyurl.com/eurolib) you can already see reviewers' names from previous conferences, as well as the quality and international diversity of the submitted works: http://tinyurl.com/eurolib You can download 15 proceedings volumes from 2013, along with the reviewers' names from each volume: http://tinyurl.com/eurolib You can also browse papers without needing to download the entire volume. The acceptance rate of previous conferences (accepted papers over total submissions) was around 35%. Deadlines: Paper submission deadline: December 15, 2013 -------------- General Chairs (Editors of Proceedings) -------------------------- Professor Kleanthis Psarris, The City University of New York, USA Professor Ryszard S. Choras Institute of Telecommunications University of Technology & Life Sciences Bydgoszcz, Poland Professor Sandra Sendra Instituto de Inv. para la Gesti�n Integrada de Zonas Costeras (IGIC) Universidad Polit�cnica de Valencia Spain Senior Program Chair -------------------------- Professor Maurice Margenstern, Universit� de Lorraine, France Program Chairs -------------------------- Professor Theodore B. Trafalis, University of Oklahoma, USA Professor Claudio Talarico, Gonzaga University, Spokane, WA, USA Professor Zhuo Li, Beijing University Of Technology, Beijing, China Tutorials Chair -------------------------- Professor Pradip Majumdar Department of Mechanical Engineering Northern Illinois University Dekalb, Illinois, USA Special Session Chair -------------------------- Professor Shuliang Li, The University of Westminster, London, UK Workshops Chair -------------------------- Professor Dimitrios A. Karras, Sterea Hellas Institute of Technology, Greece Local Organizing Chair -------------------------- Professor Jan Awrejcewicz, Technical University of Lodz, Lodz, Poland Publication Chair -------------------------- Professor Vincenzo Niola Departement of Mechanical Engineering for Energetics University of Naples "Federico II" Naples, Italy Publicity Committee -------------------------- Professor Reinhard Neck Department of Economics Klagenfurt University Klagenfurt, Austria Professor Myriam Lazard Institut Superieur d' Ingenierie de la Conception Saint Die, France International Liaisons Professor Ka-Lok Ng Department of Bioinformatics Asia University Taichung, Taiwan Professor Olga Martin Applied Sciences Faculty Politehnica University of Bucharest Romania Professor Eduardo Mario Dias Electrical Energy and Automation Engineering Department Escola Politecnica da Universidade de Sao Paulo Brazil Steering Committee -------------------------- Professor Aida Bulucea, University of Craiova, Romania (Chair) Professor Zoran Bojkovic, Univ. of Belgrade, Serbia Professor Claudio Talarico, Gonzaga University, Spokane, USA Professor Imre Rudas, Obuda University, Budapest, Hungary Program Committee -------------------------- Prof. Bharat Doshi, John Hopkins University, Mayrland, USA Prof. Gang Yao, University of Illinois at Urbana - Champaign, USA Prof. Lu Peng, Luisian State University, Baton Rouge, LA, USA Prof. Pavel Loskot, Swansea University, UK Prof. Abdullah Eroglu, Indiana University & Purdue University Fort Wayne (IPFW), USA Prof. Francesco Zirilli, Sapinenza Universitat di Roma, Rome, Italy Prof. Yoon-Ho Choi, Samsung Electronics Co. Ltd, South Korea Prof. Winai Jaikla, KMITL University, Bangkok, Thailand Prof. Ki Young Kim, Samsung Advanced Institute of Technology, Korea Prof. Stamatios Kartalopoulos, The University of Oklahoma, USA Prof. Vyacheslav Tuzlukov, Kyungpook National University, South Korea Prof. Stevan Berber, The University of Auckland, New Zeland Prof. Alexander Zemliak, Autonomous University of Puebla, Mexico Prof. Zoran Bojkovic, University of Belgrade, Serbia Prof. Etsuji Tomita, The University of Electrocommunications, Japan Prof. Lawrence Mazlack, University of Cincinnati, USA Prof. Dragana Krstic, University of Nis, Serbia Prof. Natasa Zivic, University of Siegen, Siegen, Germany Prof. Tomas Zelinka, Czech technical University in Prague, Czech Republic Prof. Andrzej Chydzinski, Silesian University of Technology, Gliwice, Poland Prof. Winai Jaikla, King Mongkut's Institute of Technology Ladkrabang, Thailand Prof. Prof. Kemal Tutuncu, Selcuk University, Konya, Turkey Prof. Zhuo Li, Beijing University Of Technology, Beijing, China Prof. Charles Suffel, Stevens Institute of Technology, Hoboken, NJ, USA Prof. Shuliang Li, The University of Westminster, London, UK Prof. Kun Chang Lee, Sungkyunkwan University, Korea Prof. Dimitri Bertsekas,IEEE Fellow, MIT, USA Prof. Demetri Terzopoulos, IEEE Fellow, ACM Fellow, UCLA, USA Prof. Georgios B. Giannakis, IEEE Fellow, University of Minnesota, USA Prof. Jun Wang, Beijing Jiaotong University, P. R. China Prof. Josip Music, University of Split, Croatia Prof. Gen Qi Xu, Tianjin University, Tianjin, China Prof. Alexander Gelbukh, National Polytechnic Institute (IPN), Mexico Prof. Charles Suffel, Stevens Institute of Technology, Hoboken, NJ, USA Prof. Kun Chang Lee, Sungkyunkwan University, Korea Prof. Andre A. Keller, Universite de Lille Nord de France, France Prof. Vaclav Skala, University of West Bohemia, Czech Republic Prof. Bimal Kumar Bose (Life Fellow IEEE), The University of Tennessee, Knoxville, USA Prof. Wasfy B. Mikhael, IEEE Fellow, Vice President IEEE Circuits and Systems, University of Central Florida, Orlando, USA Prof. Yuriy S. Shmaliy (IEEE Fellow), Universidad de Guanajuato, MEXICO Prof. D. Subbaram Naidu (Fellow IEEE), Idaho State University, USA Prof. Narsingh Deo, IEEE Fellow, ACM Fellow, AAAS Fellow, ICA Fellowm Orlando, Florida, USA Prof. Panagiotis Agathoklis, University of Victoria, British Columbia, Canada Prof. Imre J. Rudas, �buda University, Budapest, Hungary Prof. Jiri Hrebicek, Masaryk University, Brno, Czech Republic Prof. Brett Nener, The University of Western Australia, Australia Prof. Branimir Reljin, University of Belgrade, Serbia Prof. Humberto Varum, University of Aveiro, Aveiro, Portugal Prof. Ronald Tetzlaff, Technical University Dresden, Germany Prof. Peter Szolgay, Pazmany Peter Catholic University, Hungary Prof. Xiang Bai, Huazhong University of Science and Technology, China Prof. Carla Pinto, Polytechnic of Porto, Porto, Portugal Prof. Hung-Yuan Chung, National Central University, Taiwan Prof. Sorinel Oprisan, College of Charleston, Charleston, South Carolina, USA Prof. Brian Barsky (IEEE Fellow, University of Berkeley, USA) Prof. Aggelos Katsaggelos (IEEE Fellow, Northwestern University, USA) Prof. Leonid Kazovsky (Stanford University, USA) Prof. Anastassios Venetsanopoulos (Fellow IEEE, University of Toronto, Canada) Prof. Steven Collicott (Purdue University, West Lafayette, IN, USA) Prof. Nikolaos G. Bourbakis (IEEE Fellow, Wright State University, USA) Prof. Hashem Akbari (University of California, Berkeley, USA) Prof. Lei Xu (IEEE Fellow, Chinese University of Hong Kong, Hong Kong) Prof. Patrick Wang (MIT, USA) Prof. Sunil Das (IEEE Fellow, University of Ottawa, Canada) Prof. Nikolaos D. Katopodes (University of Michigan, USA) Prof. Biswa N. Datta (IEEE Fellow, Northern Illinois University, USA) Prof. Mihai Putinar (University of California at Santa Barbara, USA) Prof. Wlodzislaw Duch (Nicolaus Copernicus University, Poland) Prof. Michael N. Katehakis (Rutgers, The State University of New Jersey, USA) Prof. Dimitri Kazakos, Dean, (Texas Southern University, USA) Prof. Ronald Yager (Iona College, USA) Prof. Alexey L Sadovski (IEEE Fellow, Texas A&M University, USA) Prof. Ryszard S. Choras (University of Technology and Life Sciences Bydgoszcz, Poland) Prof. Remi Leandre (Universite de Bourgogne, Dijon, France) Prof. Alexander Grebennikov (Autonomous University of Puebla, Mexico) Prof. Guennadi A. Kouzaev (Norwegian University of Science and Technology, Norway) Prof. Weilian Su (Naval Postgraduate School, USA) Topics of Interest -------------------------- Communications: -------------------------- Microwave Theory and techniques, CAD design for Microwave Systems, Antennas and Radars, Lightwave technology, Submillimeter-Wave techniques, Microwave High-Power techniques, Microwave and millimeter-Wave Integrated Circuits, Microwave and millimeter-Wave Integrated Solid State Devices, Microwave Acoustics, Filter and Passive Components, Microwave and Antennas Measurements, Microwave Superconductivity, RFIC's, Wave-guides, Microwave propagation, Ferrites devices. Cavities. Microwave Circuits, Periodic Structures and Filters, Tubes, Masers, Amplifiers, HF-VHF-UHF Engineering, Antennas, Reflectors and Lens Antennas, Arrays, Scattering, Propagation, Diffraction, Electromagnetic Compatibility Problems, Applied Electromagnetics, Electromagnetic Field, Numerical Methods for Electromagnetics, Mathematical Methods and Computational techniues for Microwaves, Mathematical Methods and Computational techniues for Antennas and Radars, Radio Engineering applications in Astronomy, Navigation, Aerospace Systems, Low noise techniques, Optical Fiber Systems, Communication Electronics, Signal Processing for Wireless Communication., Communications Switching and Routing, Physical Layer, ISDN, Computer Networks, Architectural Aspects, ATM Networks, Protocols, Network Architecture, Network Reliability, Narrow band and Broad band Networks, Modern Routing Problems, Privacy and Security Problems, Queuing Theory and Communications, Traffic Problems, Wireless and Mobile Computing, Communication Systems Integration, Cryptology, Military Communications, Internet, Programming Techniques in Communications Networks, Simulation Techniques in Telecommunications, Software for Communications Development and Simulation, Social Implications of Modern Communications, Soft Computing and Communications, Smart Interfaces, Computer/Communications Integration, Others ... Signal Processing: -------------------------- Filter design and structures, Fast algorithms, Adaptive filters, Nonlinear Signals and Systems, Multirate filtering and filter banks, Signal reconstruction, Time-frequency analysis, Spectral estimation, Higher order spectrum analysis, Parameter estimation, Detection, Array signal processing, Statistical signal analysis, Signal and system modeling, Cyclostationary signal analysis, Speech production and perception, Speech analysis, Speech synthesis, Speech coding, Speech recognition, Speech enhancement and noise reduction, Active noise control, Active noise reduction, Echo cancellation, Psychoacoustics, Broadband audio coding, Signal processing for music, Binaural systems, Room acoustics, Digital transforms, HDTV, Multidimensional systems, Machine vision, Image coding, Image motion / sequence / video, Computed imaging, Geophysical and seismic processing, Image analysis and segmentation, Image filtering, restoration and enhancement, Image representation and modeling, Pattern recognition, Neural networks, Fuzzy Systems, Evolutionary computation, Expert systems, Multisensor Data Fusion, Architectures and VLSI hardware, Programmable signal processors, Algorithms and applications mappings, Design methology and CAD tools, Languages and real time software, Real time system estimation, Optimization problems in signal processing, Radar, Sonar, Biomedical processing, Geophysical signal processing, Underwater signal processing, Remote sensing, Robotics, Astronomy, Classification, Crime on the Web, Security. Publicity. Privacy. Reputation, Frauds in Business Reputation, Satellite signals processing, Measure and Instrumentation. Others... Computers: -------------------------- Computer Languages, Software Engineering, Data Structures, File Structures and Design, Data Bases, Compilers, Knowledge and Data Technology, Pattern Analysis and Machine Intelligence, File Structures for on-line Systems, Operating Systems, Parallel and Distributed Systems, Information Systems, Complexity Theory, Computing Theory, Numerical and Semi-Numerical Algorithms, Object-Oriented Programming, Parallel Programming, Computerised Signal Processing, Computer Graphics, Computational Geometry, Machine Vision, Computer Elements, Computer Architecture, Computer Packaging, Fault Tolerance Computing, Mass Storage Systems, Microprocessors and microcomputers, Multiple valued Logic, Numerical Analysis, Finite Element, Genetic Algorithms, Game Theory, Operations Research, Optimization Techniques, Real Time Systems, Virtual Reality, Computer Algebra, Symbolic Computation, Simulation, Pattern Analysis, Machine Intelligence, Adaptive and Learning Systems, Classification, Identification, Chaos Fractals and Bifurcations, Analysis and design tools, Simulation, modelling, Emulation, Visualization, Digital Libraries, Hardware Engineering, Programming Techniques in Communications, Networks, Management and Economic Systems, Multimedia, Video technologies, Simulation Techniques Tools, Computers in Armed Forces, Software for Communications Development and Simulation, Social Implications of Modern Communications, Soft Computing and Communications, Smart Interfaces, Intelligent Systems, Supercomputers and Supercomputing, Internet and Internet Computing, Intelligent Agents, Mobile Computing, E-commerce, Privacy Problems, Hardware/Software Codesign,Cryptography, Computer/Communications Integration, Education, Others ... Location and Conference Venue: http://tinyurl.com/cspc2014 --------------------------------- About Interlaken, Map of Interlaken, Photos From Interlaken, Hotel (Conference Venue) How to get to Interlaken, Interlaken Travel Guide Conference Publications -------------------------- Accepted Papers are going to be published in (a) Book, Hard-Copy Proceedings (will be sent to the following indexes: ISI, SCOPUS, EI Compendex, AMS, ACS, CiteSeerX, Zentralblatt, British Library, EBSCO, SWETS, EMBASE, CAS, Scholar Google etc) (b) CD-ROM Proceedings (will be sent to the following indexes: ISI, SCOPUS, EI Compendex, AMS, ACS, CiteSeerX, Zentralblatt, British Library, EBSCO, SWETS, EMBASE, CAS, Scholar Google etc) Review Procees for Book and CD-ROM: Papers will undergo thorough peer review by 3 international experts. Reviewers have always proper academic qualifications (recent publications in SCOPUS and ISI). You will receive comments from those 3 reviewers and your paper might be * a) accepted as it is (unaltered) * b) accepted after minor revision * c) accepted after major revision * d) rejected We cannot guarantee acceptance for cases b) and c), if the reviewers are not satisfied by your response and your (minor or major) modifications to your conference paper. (c) After new peer thorough review of their extended versions in well-known and reputable international scientific journals (Indexed in SCOPUS, EI Compendex, AMS, ACS, CiteSeerX, Zentralblatt, British Library, EBSCO, SWETS, EMBASE, CAS, Scholar Google etc) and SPRINGER VERLAG Review Process for Extended Version in collaborating journals: Extended Versions of high-quality journals will undergo again thorough peer review by 3 international experts. You will receive comments from other reviewers and your extended paper might be * a) accepted as it is (unaltered) * b) accepted after minor revision * c) accepted after major revision * d) rejected We cannot guarantee acceptance for cases b) and c), if the reviewers are not satisfied by your response and your (minor or major) modifications to your extended paper. (d) E-Library with free access -------------------------------------- Should you want to unsubscribe, send an email to info at europment.org with the command: UNSUBSCRIBE event at in.tu-clausthal.de From J.M.Broersen at uu.nl Mon Nov 25 23:21:17 2013 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Mon, 25 Nov 2013 23:21:17 +0100 Subject: CFP: Norms, Actions and Games (NAG 2014), London Message-ID: <5293CD5D.8040909@uu.nl> NAG 2014: Call for papers Norms Actions Games King's College London, London (April, 1-2 2014) http://www.doc.ic.ac.uk/~pturrini/NAG/ *AIMS OF THE WORKSHOP* In strategic interaction, where multiple agents pursue personal objectives, conflict is bound to arise, as the actions of the individual agents have an effect on the welfare of the others. In such situations the need arises for the explicit regulation of individual and collective behaviour which has traditionally followed two alternative approaches, well-known in the economics literature: the spontaneous order approach, which studies how norms result from endogenous agreements among rational individuals, and the mechanism design approach, which studies how norms are exogenously designed in order to reach desirable properties. The present workshop is motivated by the conviction that the two paradigms to understand norms in strategic interaction are by no means incompatible and can be effectively used together for regulative purposes. The aim of the symposium is to gather researchers looking at norms in strategic interaction from different perspectives, i.e. philosophy, computer science, game theory, logic, fostering discussion and interdisciplinary collaboration. Researchers will be given the opportunity of presenting their work in a stimulating environment, without novelty constraints on their contribution. The workshop will encourage submissions in (but will not be limited to) the following areas: Normative multi-agent systems Norms in experimental game theory Theories of agency and responsibility Action formalisms Theories of collective responsibility and norms Theories of contracts Bargaining and negotiation Coalition formation Norms and preferences Theories of compliance Norm emergence and simulation Norm change Deontic logic The workshop is sponsored by SINTELNET, the European Network for Social Intelligence, and NIBS, the ESRC Network for Integrated Behavioural Science. *WORKSHOP CHAIRS* Jan Broersen (Department of Information and Computing Science, Utrecht University) Alex Possajennikov (School of Economics, University of Nottingham) Paolo Turrini (Department of Computing, Imperial College London) *INVITED SPEAKERS* Cristina Bicchieri (Department of Philosophy, University of Pennsylvania) Urs Fischbacher (Thurgau Institute of Economics, University of Konstanz) Martin van Hees (Faculty of Social and Behavioural Sciences, University of Amsterdam) Marek Sergot (Department of Computing, Imperial College London) Kai Spiekermann (Department of Government, London School of Economics) Jorgen Weibull (Department of Economics, Stockholm School of Economics) Michael Wooldridge (Department of Computer Science, University of Oxford) *SUBMISSION INSTRUCTIONS* We welcome contributions on the conference topics from all relevant disciplines, with special emphasis on interdisciplinary approaches. The deadline for submission is January 30, 2014, and we will accept short papers/extended abstract (max 3000 words). Pdf files should be submitted through EasyChair via the linkhttps://www.easychair.org/conferences/?conf=nag2014 *RELEVANT DATES* January 30, 2014 Submission of short papers to the conference (max. 3000 words) February 28, 2014 Notification of acceptance April 1-2, 2014 Workshop in London *PROGRAMME COMMITTEE* Thomas Agotnes (University of Bergen) Uwe Aickelin (University of Nottingham) Natasha Alechina (University of Nottingham) Jason M. Alexander (London School of Economics) Giulia Andrighetto (Italian National Research Council) Tina Balke (University of Surrey) Cristina Bicchieri (University of Pennsylvania) Guido Boella (University of Torino) Jordi Brandts (Universitat Autonoma de Barcelona) Jan Broersen (Utrecht University) Fabrizio Cariani (University of California Berkeley) Cristiano Castelfranchi (Italian National Resarch Council) Alex Chavez (University of Michigan) Rosaria Conte (Italian National Resarch Council) Robert Craven (Imperial College London) Giuseppe Dari-Mattiacci (University of Amsterdam) Mehdi Dastani (Utrecht University) Edith Elkind (University of Oxford) Enrique Fatas (University of East Anglia) Urs Fischbacher (University of Konstanz) Simon Gaechter (University of Nottingham) John Gathergood (University of Nottingham) Lou Goble (Willamette University) Valentin Goranko (Technical University of Denmark) Davide Grossi (University of Liverpool) Shaun Hargreaves Heap (King's College London) Paul Harrenstein (University of Oxford) Martin van Hees (University of Amsterdam) Andreas Herzig (French National Centre for Scientific Research) Wiebe van der Hoek (University of Liverpool) Jeff Horty (University of Maryland) Steffen Huck (University College London) Barteld Kooi (University of Groningen) Dorothea Kuebler (University of Berlin) Jerome Lang (French National Centre for Scientific Research) Azi Lev-On (Ariel University Center) Brian Logan (University of Nottingham) Emiliano Lorini (French National Centre for Scientific Research) Michael Luck (King's College London) Robert MacKay (University of Warwick) John-Jules Meyer (Utrecht University) Ryan Muldoon (University of Pennsylvania) Sten Nyberg (Stockholm University) Nardine Osman (Spanish Research Council) Julian Padget (University of Bath) Anders Poulsen (University of East Anglia) Alex Possajennikov (University of Nottingham) David Rand (Yale University) Regis Riveret (Imperial College London) Antonino Rotolo (University of Bologna) Olivier Roy (Munich Center for Mathematical Philosophy) Giovanni Sartor (University of Bologna) Martin Sefton (University of Nottingham) Marek Sergot (Imperial College London) Carles Sierra (Spanish Research Council) Kai Spiekermann (London School of Economics) Chris Starmer (University of Nottingham) Robert Sugden (University of East Anglia) Allard Tamminga (University of Groningen) Leon van der Torre (University of Luxembourg) Luca Tummolini (Italian National Resarch Council) Theodore Turocy (University of East Anglia) Paolo Turrini (Imperial College London) Jorgen Weibull (Stockholm University) Michael Wooldridge (University of Oxford) Erte Xiao (Carnegie Mellon University) Peyton Young (University of Oxford) Daniel Zizzo (University of East Anglia) *FURTHER INFORMATION* For more information please have a look at the workshop website http://www.doc.ic.ac.uk/~pturrini/NAG/index.html From konieczny at cril.fr Wed Nov 27 19:21:14 2013 From: konieczny at cril.fr (=?windows-1252?Q?S=E9bastien_Konieczny?=) Date: Wed, 27 Nov 2013 19:21:14 +0100 Subject: CFP 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) Message-ID: <869625ED-545A-4E90-A38A-80F190FBC028@cril.fr> ______________________________________________________________________ CALL FOR PAPERS 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) http://www.kr.tuwien.ac.at/nmr14/ Vienna, Austria, July 17–19, 2014 Co-located with KR 2014 [http://kr.org/KR2014/], DL 2014 [http://www.dbai.tuwien.ac.at/dl2014/], FLoC 2014, and Logic Colloquium 2014. KR 2014 is part of the Vienna Summer of Logic [http://vsl2014.at/] ______________________________________________________________________ * Aims and Scope * The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics. NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014). * Topics * NMR 2014 welcomes the submission of papers broadly centered on issues and research in non-monotonic reasoning. We welcome papers of either theoretical or practical nature. Topics of interest include (but are not limited to): - abductive reasoning and diagnosis, - algorithms and complexity analysis, - argumentation and dialog, - answer-set programming, - belief revision, belief update, and belief merging, - benchmarks for non-monotonic reasoning, - declarative programming for non-monotonic reasoning, - default reasoning, - empirical studies of reasoning strategies, - foundations of non-monotonic reasoning, - hybrid approaches (non-monotonic reasoning combined with other computing paradigms), - inconsistency handling, - implementations and systems, - non-monotonic logics in multi-agent interaction, including negotiation and dispute resolution, - non-monotonic reasoning for ontologies, - reasoning and decision making under uncertainty, - reasoning with preferences, - representing actions and planning, - causal reasoning, and - similarity based-reasoning. * Tracks * To focus the different topics of submissions, the workshop comprises the following thematic tracks: 1. Actions, Causality, and Belief Change; 2. Declarative Programming; 3. Argumentation and Dialog; 4. Preferences, Norms, and Trust; 5. NMR and Uncertainty; 6. Commonsense and NMR for Ontologies; as well as the following special tracks: 7. Systems and Applications; 8. Benchmarks for NMR. * Systems and Applications Track * Recent years witnessed the development of mature solver technology for some NMR based formalisms and, accordingly, successful real-world applications. This track welcomes papers on describing implemented NMR systems as well as papers presenting applications of NMR formalisms and systems. Topics of interest include pure system descriptions (providing information on the basic functionality and usability of the respective systems), the comparison and evaluation of NMR systems, NMR applications in industry and academia, software engineering and modeling methodology aspects, and reports from the field. * Benchmarks for NMR special track * The aim of the Benchmarks for NMR special track is to discuss the construction of benchmarks for NMR. Benchmarks proved useful in a variety of domains in order to develop efficient algorithms and methods. They are for the moment insufficiently developed for main NMR areas. We want to discuss this issue in NMR 2014. Typical questions of interested could be: - How to obtain benchmarks from real application cases? - How to build sensible random benchmarks? - How to export existing benchmarks in some formalism into other domains formalisms? - Etc. Papers related to these issues, description of existing systems of benchmarks, etc., are welcome. * Submissions * Papers should be between 4 and 10 pages in AAAI style (http://www.aaai.org/Publications/Author/author.php) including references, figures, and appendixes if any. System descriptions can typically be on the lower bound of the page range. Papers submission will be handled electronically by means of the easychair system. Papers must be submitted in PDF only. The submission page is available at http://www.easychair.org/conferences/?conf=nmr2014 Papers already published at other conferences and that can be of interest for an NMR audience are welcomed to NMR 2014, provided that the initial publication is mentioned in a footnote on the first page. Submissions will have to indicate to which of the above listed tracks it is intended to belong to, as well as whether it constitutes new research or recently published research. * Proceedings * There are no formal proceedings for NMR. The accepted papers will be published as a technical report and will be made available in the CoRR Computing Research Repository, see http://arxiv.org/corr/home. The copyright of the papers lies with the authors, and as far as NMR is concerned, they are free to submit to other conferences and workshops as well. Similarly, papers already published can be submitted (but this has to be indicated in the submission). * Important Dates * Submission deadline: February 14, 2014 Notification: April 2, 2014 Camera-ready articles due: April 25, 2014 NMR 2014: July 17-19, 2014 * Location * NMR 2014 will be held at the Vienna University of Technology and is part of the Vienna Summer of Logic, http://vsl2014.at/, which will probably be the largest scientific logic event in known history. * Workshop Chairs * Sébastien Konieczny (CNRS, Université d'Artois, France) Hans Tompits (Vienna University of Technology, Austria) Email: nmr14 [at] kr [dot] tuwien [dot] ac [dot] at * Homepage * http://www.kr.tuwien.ac.at/nmr14/ From hastings at ebi.ac.uk Wed Nov 27 23:09:20 2013 From: hastings at ebi.ac.uk (Janna Hastings) Date: Wed, 27 Nov 2013 22:09:20 -0000 Subject: FINAL REMINDER: FOIS 2014: Call for Workshop Proposals, due 1 December In-Reply-To: <006701ceebbc$68422f30$38c68d90$@ebi.ac.uk> References: <006701ceebbc$68422f30$38c68d90$@ebi.ac.uk> Message-ID: <00e701ceebbd$52eb4620$f8c1d260$@ebi.ac.uk> (with apologies for cross-posting) CALL FOR WORKSHOP PROPOSALS 8th International Conference on Formal Ontology in Information Systems (FOIS 2014) September 22-25, 2014, Rio de Janeiro, Brazil http://fois2014.inf.ufes.br/p/home.html Email: fois2014 at gmail.com Relevant dates 1 December 2013: Workshop proposal submission deadline 15 January 2014: Notification of acceptance of workshop proposals 22 May 2014: Recommended workshop paper submission deadline (after FOIS notification deadline) 22 September 2014: FOIS Workshops 23-25 September 2014: FOIS main conference CALL FOR WORKSHOP PROPOSALS Workshops at FOIS are scientific events that are independently organized by the workshop organizers. The workshop organizers will be responsible for advertising the workshop and reviewing and selecting the contributions. Workshops can be events that provide a forum for the discussion of topics that may complement the main conference or focus on specialized sub-topics related to formal ontology and its application in information systems. We specifically invite proposals for workshops organized by IAOA Special Interest Groups and Technical Committees. ------------------------------ TOPICS OF INTEREST ------------------------------ Areas of interest to the conference include the following: - Specific Foundational Issues in Formal Ontology - Ontology Evaluation - Specific Issues in Ontology Methodologies - Scientific applications - Relations between Formal Ontology and the Semantic Web - Visualization and accessibility - Ontology Repositories A full list of topics can be found on the conference website: http://fois2014.inf.ufes.br/p/call-for-papers.html SUBMISSION Workshop proposals should be no more than 2 pages in length, and must contain the following information: - title of the workshop - names of the workshop organizers - brief description of experience in workshop organization - description of the workshop topic - brief statement on the relation and relevance of the workshop to FOIS - intended duration of the workshop (half-day, full-day) - timeline for the workshop (submission dates, notification dates) Please consider the notification date of FOIS and the proposed Workshop Submission Deadline. - plans for publishing workshop proceedings Workshop proposals should be submitted to the FOIS Workshop Track through Easychair: https://www.easychair.org/conferences/?conf=fois2014 EVALUATION Submissions for workshop proposals will be evaluated by members of the FOIS organizing and program committee, using the following criteria: - Relevance and utility to attendees - Quality of the proposal - Likelihood of success of the workshop - Complementarity with FOIS and overlap with other workshop WORKSHOP PROCEEDINGS The proceedings of the FOIS workshops are usually published on-line by the respective organizers and are not included in the main conference proceeding volume published by IOS Press. CONFERENCE ORGANIZATION General Chair: Laure Vieu (CNRS, France) Program Chairs: Pawel Garbacz (Catholic University of Lublin, Poland) Oliver Kutz (University of Bremen, Germany) Local Organization: Giancarlo Guizzardi (Federal University of Espirito Santo Brazil) Renato Rocha Souza (FGV, Brazil) Workshops: Robert Hoehndorf (University of Cambridge, UK) Ontology Competition: Till Mossakowski (DFKI Bremen and University of Bremen, Germany) Early Career Symposium: Marion Haemmerli (University of Lausanne, Switzerland) Torsten Hahmann (University of Toronto, Canada) Claudio Masolo (ISTC-CNR, Italy) Publicity: Janna Hastings (European Bioinformatics Institute, UK) Fernanda Baiao (Federal University of the State of Rio de Janeiro, Brazil) ---------------------------------------------------------------------------- ---------------------------------- Janna Hastings Email: hastings at ebi.ac.uk | Tel: +44 (0)1223 494411 | Fax: +44 (0)1223 494468 Twitter: @jannahastings | Web: www.ebi.ac.uk/~hastings | Blog: www.bioontology.ch Coordinator, Cheminformatics and Metabolism, European Bioinformatics Institute ---------------------------------------------------------------------------- ---------------------------------- Visit ChEBI at www.ebi.ac.uk/chebi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iariaannounce.org Thu Nov 28 06:22:26 2013 From: invitation at iariaannounce.org (INTERNET 2014) Date: Thu, 28 Nov 2013 00:22:26 -0500 Subject: 2nd CfP: INTERNET 2014 || June 22 - 26, 2014 - Seville, Spain Message-ID: <1385616146441.2674@iariaannounce.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to INTERNET 2014. The submission deadline is January 28, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== INTERNET 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS INTERNET 2014, The Sixth International Conference on Evolving Internet June 22 - 26, 2014 - Seville, Spain General page: http://www.iaria.org/conferences2014/INTERNET14.html Call for Papers: http://www.iaria.org/conferences2014/CfPINTERNET14.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2014/SubmitINTERNET14.html Submission deadline: January 28, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html INTERNET 2014 Topics (topics and submission details: see CfP on the site) Advanced Internet mechanisms Access: call admission control vs. QoE vs. structural QoS / capability-based access control vs. role-based access control vs. attribute-based access control; Routing and pricing models: BGP, pricing peering agreements using microeconomics, topological routing vs. table-based routing vs. network coding, power-efficient routing; Optimization in P2P/CDN networks: peer placement for streaming P2P, analysis of P2P networks; Traffic engineering: estimating traffic matrices, constrained routing, exponentially bounded burstness; Behavioral traffic recognition: identifying applications from traffic behavior; Traffic analysis: methods for analysis and visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications of machine learning; Cognitive radio: medium access, spatiotemporality, complexity, spectrum sharing and leasing, channel selection, multi-stage pricing, cyclostationary signatures, frame synchronization; Streaming video: learning from video, techniques for in-network modulation; Location: statistical location, partial measurements, delay estimation Graph theory/topology/routing Internet support Information theory: distributed network coding, Shannon's entropy, Nash equilibrium; Optimization: LP, NLP, NeuroP, quadratic, convex programming, compressed sensing; Graph theory: random graphs, spectra graph theory, percolations and phase transitions, methods from statistical physics, geometric random graphs; Algebraic techniques: tensor analysis, matrix decomposition; Processing: signal processing techniques, equalization, point-process, source coding vs. network coding, recoverability; Statistical machine learning: probabilistic graphical models, classification, clustering, regression, classification, neural networks, support vector machines, decision forests; Game Theory/Microeconomic theory: social choice theory, equilibria, arbitrage and incentive oriented distributed mechanism design, cooperative games, and games on graphs; Stochastic network calculus; Fractal behavior and stability mechanisms; Kolmogorov complexity for performance evaluation; Complexity theory Internet security mechanisms Cryptography: design and analysis of cryptographic algorithms, applied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics and computational models for security and trust, business models in security management, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, attacks and risks: methods of detection, analysis, prevention, intrusion detection, tolerance, response and prevention, attacks and prevention of on-line fraud, denial of services attacks and prevention methods; Access Control: authentication and non-repudiation, accounting and audit, anonymity and pseudonymity; identity and trust management, biometric methods; Anti-malware techniques: detection, analysis, prevention; Cyber-crime response: anti-phishing, anti-spam, anti-fraud methods Internet trust, security, and dependability levels Network and transport level security; Network edge security controls: firewalls, packet filters, application gateways; Wireless and mobile network security: risks of wireless insecurity, wireless vulnerabilities and intrusion detection, WLAN and WMAN MAC layer security technologies, key management mechanisms and protocols, security in ad hoc, sensor, mesh and personal communication networks; Security of Internet protocols: routing security, naming, network management, signaling security, transport layer security; Network security policies: specification, implementation, deployment and management; Security of P2P and overlay/middleware systems; Security for multiple domains, large-scale systems and critical infrastructures; Applications and high level services security: Web-based applications and services, VoIP, multimedia streaming services, VoD and IPTV, collaborative applications (conferencing), electronic commerce and eBusiness, eVoting, grid computing, security of eGovern ment; Intellectual property protection: digital rights management, licensing, metering, watermarking, information hiding, implementations; Security services integration in complex architectures; Tradeoffs between security and efficiency, usability, reliability and cost. Internet performance Performance degradation and anomaly detection mechanisms; User-oriented performance metrics; Network and service provider-oriented performance metrics; Hybrid (chip and network) performance calculi; Intrusive and non-intrusive performance measurement mechanisms; Mechanisms for performance degradation-tolerant applications; Mechanisms for application performance and network performance; Performance enhancement mechanisms; Performance and traffic entropy algorithms; Performance prediction algorithms Internet AQM/QoS Buffer sizing, majorization, QoS routing, finite buffer queue vs. infinite buffer queue and performance; Control theoretic framework for modeling of TCP and AQM schemes; Discrete mathematics to model buffer occupancy at queues of a network (given workloads); Game theoretic modeling of AQMs (mathematics to model selfish traffic); Fairness models (proportional fairness, max-min fairness, low state global fairness); Optimization framework for congestion control, fairness and utility maximization; Modeling and simulation of large network scenarios using queuing theory Internet monitoring and control Visualization mechanisms; Sub-network/device isolation mechanisms; Control feedback mechanisms (limited feedback, delay and disruption tolerance, optimal and adaptive feedback); Optimal control; Adaptive behavior control; Network resiliency; Self-adaptable and tunable performance; Mechanisms for anticipative measurements and control Internet and wireless Capacity of wireless networks; Potential based routing; Algebraic techniques to mine patterns from wireless networks; QoS/QoE translation; Wireless ad hoc / mesh networks: MAC protocols, routing, congestion control, P2P CDNs on wireless meshes Internet and data streaming/mining algorithms Mathematics for clustering massive data streams; Randomized algorithms etc and impossibility results; Dimension reduction in metric spaces; Tensor and multidimensional algebraic techniques; Non linear dimension reduction; Optimal collector positioning; Data fusion and correlation algorithms Internet and sensor-oriented networks/algorithms Optimal sensor placement; Inference models for sensing; Congestion control; Resource allocation; Mathematics to model different diffusion processes and applications to routing; Algorithms for data fusion; Algorithms for computing dormant/active sending periods; Energy-driven adaptive communication protocols Internet challenges Future Internet architecture and design; Next generation Internet infrastructure; Internet cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet-scale overlay content hosting; Internet citizen-centric services; End-user customizable Internet; Mobile Internet; Internet imaging; Internet coding; Internet resilience; Internet QoS/QoE; Context-aware, ambient, and adaptive Internet; Virtualization and Internet; Privacy Enhancing Technologies - PETs Committee: http://www.iaria.org/conferences2014/ComINTERNET14.html ================================================ To stop receiving notices about INTERNET, please reply with "DROP INTERNET event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From invitation at iariainfo.org Thu Nov 28 20:49:02 2013 From: invitation at iariainfo.org (ICWMC 2014) Date: Thu, 28 Nov 2013 11:49:02 -0800 Subject: 2nd CfP: ICWMC 2014 || June 22 - 26, 2014 - Seville, Spain Message-ID: <1385668142963.1969@iariainfo.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICWMC 2014. The submission deadline is January 28, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICWMC 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICWMC 2014, The Tenth International Conference on Wireless and Mobile Communications June 22 - 26, 2014 - Seville, Spain General page: http://www.iaria.org/conferences2014/ICWMC14.html Call for Papers: http://www.iaria.org/conferences2014/CfPICWMC14.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2014/SubmitICWMC14.html Submission deadline: January 28, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICWMC 2014 Topics (topics and submission details: see CfP on the site) Wireless Communications Basics Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Transform-domain communication; Multiple access algorithms and schemes; Antenna and RF subsystems; Smart antennas, adaptive antennas, MIMO and beam forming; MIMO and OFDM Based PHY Layer technologies; CDMA Systems Radio Interfaces and Systems Radio communications systems; Radio resource management; Radio transmission technologies; Power and interference control; Interference Cancellation for Wireless Mobile Systems; Power management for small terminals; Energy map; Channel Measurement and Characterization Spectrum Allocation and Management Spectrum efficiency analyses; Dynamic spectrum access networks; Spectrum management; Interference mitigation and management techniques Circuits for Wireless Communications Wireless ASICs; Wireless technologies; RF Design issues Wireless and Mobility Mobility management; Location-based services and positioning; Micro and macro-mobility; Mobility, location and handoff management; Mobile and wireless IP; Wireless broadband mobile access; Routing in multihop, ad hoc and sensor networks; Wireless multicasting; Wireless mesh networks; Topology control in wireless Protocols for wireless and mobility Wireless protocols, architectural and design concepts; Protocols for air interfaces and networks; Wireless MAC protocols: Design and analysis; Transport layer issues in mobile and wireless networks; Middleware for handhelds and mobile services nodes; Proxies and middleware for wireless networks Traffic and congestion control, QoS, Resource Management Traffic Modeling and Analysis; 3G/4G Bandwidth on Demand; QoS and mobility; End-to-end QoS; QoS profiling and pricing; Traffic Engineering; Congestion and admission control Wireless and mobile technologies Micro-mobility and macro-mobility; Wireless LANs; Home and Personal Area Networks: Bluetooth, ZigBeee, etc; Wireless MANs:802.16, 802.20; Wireless WANs: 2G/3G/4G; Mobile ad hoc networks and multi-hop wireless; Sensor networks and applications; Ultra-wideband and short-range networks; High altitude platforms and satellites; Emergency wireless communications; Wireless real-time communications; RFID systems (including readers and transponders in LF, HF and UHF bands) Performance Evaluation, Simulation and Modeling of wireless networks and systems Performance and QoS in wireless networks; Radio channel modeling (wave propagation and measurements); Mobile/wireless networks modeling and simulation; Performance of end-to-end protocols over wireless networks Management of wireless and mobile networks Mobility and QoS management; Billing technologies and tools; Policy Based Management in wireless LANS and MANs; Wireless and Mobile Network Planning; Mobile Database Access and Design Security in wireless and mobile environment Security and robustness in wireless networks; Privacy, Authentication Authorization and Accounting (AAA); Encryption and Cryptography; Key Management Protocols; Digital Rights Management and Multimedia Protection Networks convergence and integration 2G/3G/4G integration; Convergence of 3G wireless and Internet cross-layer design in wireless networks; WLAN/3G/4G integration; Wireless-wireline convergence; Heterogeneous Networks (WAN, Wireless MAN, WLAN); IP Multimedia subsystems (IMS); Next Generation Network Architecture- mobility issues; Coexistence of mobile radio networks; End to End QoS in Heterogeneous environment; Signaling for integrated wireline/wireless networks Applications and services based on wireless infrastructures Mobile & Wireless applications & services; Service discovery: protocols and frameworks; Personalized services and applications; Audio-visual and mobile multimedia applications; Media and content distribution over wireless networks Standardization and regulations Position on standards & fora on wireless and mobile networks; Wireless Networks Standards and Protocols; Communications regulations; 802.11 WLAN Standards; 802.16 WMAN Standards; 3GPP and 3GPP2 standards; HSDPA Technology and Standards; Next Generation Network standards Design and implementation Emerging wireless technologies; Cross-layer optimizations in wireless networks; Design and implementation of mobile information systems; Software defined radio and re-configurability; Joint PHY/MAC design Wireless and mobile network deployment Business models on wireless networks; Market trends and regional developments; M-commerce; Lessons learnt for wireless deployment in schools Lessons learnt for wireless deployment in special regions; Specialized wireless networks; Heterogeneous wireless network deployment (e.g., combining 802.11, 802.16 and 3G networks) Cooperative and Cognitive Vehicular Networks Architectures and platforms of cognitive vehicular network; Distributed artificial intelligence techniques for cognitive networks; Cognitive vehicular routing metrics and supporting protocols; Reduced complexity cognitive networks; Physical and MAC layer issues; Protocols design for cognitive vehicular networks; Cross-layer optimization in cognitive networks; Security issues for vehicular and cognitive networks; Testbed experiment, applications and new advances; Cooperative vehicular networks; QoS provisioning in heterogeneous networks ; Managing vertical handover; Multihoming; IPv6 GeoNetworking; Vehicular network architectures and protocols ; Cross-layer design and optimization for vehicular networks and cognitive networks; Mobility management and topology control; Standardization and Development of vehicular networks Convergence and social mobility Convergence of mobile networks with the Web 2.0; Convergence on architecture and services; Open service capabilities; Open exposure of telco capabilities; Open Web APIs, SOA and SDP); Interworking strategies; Mobile terminals as sources for User-generated content; Architecture and services for user-generated content; Auto-description and metadata synthesis for telecom-generated for user-generated content; Social mobile networks; User behavior profiling; Social connections (social graphs, contacts, etc); Services and architectures/solutions for social mobile services Committee: http://www.iaria.org/conferences2014/ComICWMC14.html ================================================ To stop receiving notices about ICWMC, please reply with "DROP ICWMC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From invitation at iariaevent.org Sat Nov 30 05:11:46 2013 From: invitation at iariaevent.org (ACCESS 2014) Date: Fri, 29 Nov 2013 23:11:46 -0500 Subject: 2nd CfP: ACCESS 2014 || June 22 - 26, 2014 - Seville, Spain Message-ID: <1385784706359.535@iariaevent.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ACCESS 2014. The submission deadline is January 28, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ACCESS 2014 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ACCESS 2014, The Fifth International Conference on Access Networks June 22 - 26, 2014 - Seville, Spain General page: http://www.iaria.org/conferences2014/ACCESS14.html Call for Papers: http://www.iaria.org/conferences2014/CfPACCESS14.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2014/SubmitACCESS14.html Submission deadline: January 28, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ACCESS 2014 Topics (topics and submission details: see CfP on the site) NEXTACCESS: Next generation access technologies Interactivity, unlimited access and full-scale media support; Energy-aware and efficiency-oriented technologies; Sustainable access network business (standard DSL vs. fiber vs. wireless access); 3G/4G wireless technologies; Multiservice access (DSL, fiber, WiMAX, POTS); FTTH; Ethernet P2P vs. xPON; FTTx with VDSL2, or Ethernet, or DOCSIS 3.0; Radio extension, 802.xx (Wi-Fi, WiMax, etc.); LTE, LTE-advanced; IMT-advanced networks; Mesh and relay networks (IEEE 802.11s, IEEE802.16j, etc.); Quality of experience (QoE) FEMTO: Femtocells-based access Femtocells architectures; Femtocells requirements ands specifications; Femtocells protocols; Femtocells services and applications; Traffic and QoS in Femtocells; Performance analysis in Femtocells; Femtocells control and management; Interoperability of Femtocells devices; Femtocells operation optimization; Femtocells specific solutions for mobility; OFDMA Femtocells: interference avoidance; Macrocell-Femto cell interference issues and mitigation; Macrocell-Femto cell handover strategies; WiMAX Fentocells; Standardization of Femtocells BROADBAND: Broadband wireless Internet access New architectures, technologies, protocols for broadband wireless access; QoS in mobile and broadband wireless access networks; Broadcast and multicast support; Physical and data link layer issues; Medium access control, SLA and QoS; Radio resource management and call admission control; Space-time coding for broadband wireless Internet; Modulation, coding and antennas (MIMO); Spectrum management; Scalability and reliability issues; Wireless mesh networks; Capacity planning and traffic engineering; Security and privacy issues; Interoperability aspects (fixed/mobile LANs/MANs, WANs); Experiences/lessons from recent deployments OPTICAL: Optical access networks Optical access network architecture design; Optical access network components and systems; New PON developments and testbeds; WDM and OFDM PON technologies; MAC and bandwidth allocation; RoF network architecture and MAC; RoF components and systems; Signal processing for new modulation formats; Optical spectral management; Multimode fiber technology and applications; Performance monitoring and diagnosis; Deployment and economic analysis MOBILE WIRELESS: Mobile wireless access Mobile Broadband Wireless Access; Wireless/Mobile Access Protocols; Wireless/Mobile Web Access; Ubiquitous and mobile access; Mobile/vehicular environment access; Multi-Homing and Vertical Handoff; Localization and tracking; Context-aware services and applications; Context-aware protocols and protocol architectures; Interactive applications; Mobile and Wireless Entertainment; Mobile Info-services; Wireless ad hoc and sensor networks DYNAMIC: Dynamic and cognitive access Dynamic spectrum access; Architectures and platforms for dynamic spectrum access networks; Spectrum sensing, measurement and models; Efficient and broadband spectrum sensing; Interference metrics and measurements; New spectrum protocols and models; Cognitive radio (cross-layer optimization); Multiple access schemes for cognitive radio networks; Radio resource management and dynamic spectrum access networks; Dynamic spectrum auction and economics; Business model, pricing, and regulations for dynamic spectrum HOWAN: Hybrid optical and wireless access networks Multi-hop wireless mesh networks; Passive optical networks; Node architecture and design of hybrid optical and wireless networks; Emerging wireless/optical applications QoS management for hybrid access networks; PON and WDM-PON network experiments; Radio over Fiber (RoF); FTTx network architecture and applications; Routing and multicast over hybrid optical and wireless networks; Service resilience and availability of hybrid optical and wireless networks; Applications and evolutions of hybrid access networks; Network design, control, and performance in HOWANs; Capacity analysis, flow and congestion control in HOWANs; Optimization of hybrid optical and wireless networks; Evolution of HOWAN access networks Broadband wireless access in HOWANs; Security and privacy in HOWANs; New services and applications; Test-bed and prototype implementation; Standardization issues COPPER: Copper Access Ubiquity via phone lines; Speed reaching 100 Mbps; DSL broadband access; Dynamic and joint optimization of resources (frequency, amplitude, space, and time); Attenuation and crosstalk bottlenecks; Management and control for the multi-user twisted pair networks GIGATERA: Giga/Tera Access Multi-antenna technologies (MIMO, Beamforming, Antenna Selection, etc); RF/Antenna propagation (RF beamforming, Tera-Hz signal generation, Propagation); Interoperability aspects (fixed/mobile LANs/MANs, WANs); Signal processing for millimeter and Tera-Hz wireless systems; NLOS avoidance techniques; Cooperative networks, repeaters and relaying; Error correction, equalization; Space division multiple access; Coexistence and interoperability; OFDM versus single-carrier systems; MIMO in mm-wave and Tera-Hz systems; OFDMA processing; Spread spectrum techniques; High-efficiency medium access control (MAC) protocol; Neighbor discovery in directional wireless networks CONTROL: Access Control Foundations for access control; Models for access control; Mechanisms for access control; Policy-driven and role-driven access control; Delegation and identity management; Privacy-drive control; Access control for advanced applications (cloud, autonomic, sensor, social networks, etc.); Standards for accesses control NEUTRAL: Neutral Access Networks Open access networks; Network neutrality; Operator-neutral residential access technologies; Operator-neutral nomadic access technologies; Operator-neutral mobile access technologies; Operator-neutral CPEs; Internet access regulation; NANs design and management; Multi-gateway traffic management; QoS management in shared infrastructures; Routing and multicast in NANs; Broadband business models for NANs; Broadband pricing models for NANs; Broadband market analysis for NANs; IP traffic models for NANs; Edge routers for NANs; Identity management in NANs; NANS and Digital divide; NANs and Digital inclusion; Inclusive services and applications; NAN testbeds and case studies LEGAL: Legal aspects on network and service access Network neutrality principle; Security and privacy rights; Institutional implications; Accessibility and social affordability; User responsibility Committee: http://www.iaria.org/conferences2014/ComACCESS14.html ================================================ To stop receiving notices about ACCESS, please reply with "DROP ACCESS event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From announce at cs.ucy.ac.cy Sat Nov 30 15:52:35 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 30 Nov 2013 16:52:35 +0200 Subject: Second CFP: 17th International Conference on Business Information Systems (BIS 2014) Message-ID: <03MGQHTT-QJLT-DH1U-OQUO-GOHJDHRUZ78U@cs.ucy.ac.cy> *** Second Call for Papers *** 17th International Conference on Business Information Systems BIS 2014 Golden Bay Hotel, Larnaca, Cyprus May 21-23, 2014 http://bis.kie.ue.poznan.pl/17th_bis/ Deadline for submissions: December 20, 2013 (Proceedings will be published in Springer's LNBIP series) THEME OF THE CONFERENCE Big Data: problems solved and remaining challenges The amount of data available for analysis, especially economy-related data, is increasing rapidly. According to MGI and McKinsey's Business Technology Group, Big Data is becoming a key basis of competition, important factor of productivity growth, innovation, consumer surplus as well as organizational effectiveness. Currently, Big Data is one of the hottest trends in the areas like recommendation engines, network monitoring, sentiment analysis, fraud detection, risk modeling, marketing campaign analysis, and social graph analysis. However, there is a need to remodel technologies, applications, infrastructure, and business processes in order to take full advantage of the possibilities offered by Big Data. It is our pleasure to invite you to submit your work to BIS 2014 conference. The BIS conference is a well-respected event joining international researchers to discuss the wide range of the development, implementation, application and improvement of business applications and systems. It is addressed to the scientific community, people involved in the development of business computer applications, consultants helping to properly implement computer technology and applications in the industry. TOPICS OF THE CONFERENCE Topics are restricted by the theme of the conference as defined above and they include: Ontologies * creation, learning, population, evolution and evaluation of ontologies * ontologies for enterprise content management * natural language processing and cognitive science * semantic integration of heterogeneous semi-structured information sources * interoperability of heterogeneous information systems * business models for Web information integration and aggregation * linked open data Contexts * location-aware and geography-centric information systems * wireless and mobile applications * multi-agent distributed systems * semantic web personalization * smart cities * ambient computing * RFID and localisation techniques Content retrieval and filtering * search over semi-structural Web sources * Deep Web search and crawling * data integration from Web information sources * modeling and describing evolving data sources * information gathering support for knowledge-intensive enterprises * business models for a content * unified data processing and communication systems * automatic identification and data collector systems Collaboration * knowledge-based collaboration * social networks and social wikis * enterprise mashups, Enterprise 2.0 * security in distributed systems * Web-based model for discoverability, consumption, and reuse * social networks for healthcare Services science * service oriented computing * semantic web services * composition, choreography and orchestration * trust and quality of service (QoS) * service level agreements * distributed computing for the smart grid Interoperability * digital ecosystem * e-infrastructure * cloud computing Business process management * semantic business process management * adaptive and dynamic processes * supply chain processes * ERP implementations * integration of data and processes * collaborative BPM Applications * policy modelling and simulation for e-governance * technologies for digital culture and cultural heritage * digital libraries and web archiving * access to cultural resources * technologies for a low carbon economy * safety and healthcare record information reuse * early warning systems and mobile monitoring * intelligent medical systems * business models for Future Internet SUBMISSION The BIS 2014 proceedings will be published as a volume in Lecture Notes in Business Information Processing (LNBIP) series by Springer Verlag. http://www.springer.com/computer?SGWID=0-146-6-450209-0 Information for LNBIP authors may be found at: http://www.springer.com/computer/lncs?SGWID=0-164-6-791344-0 Submission: http://bis.kie.ue.poznan.pl/17th_bis/submission.php * Language of publication: English * Paper should not exceed 12 LNBIP pages (including abstract and references) * Please include a 100-word abstract at the beginning of the paper, which clearly presents the achievement or contribution of the paper * Please include 4-7 keywords best describing your paper * We understand that you submit your original work that has not been published or submitted elsewhere, and that you agree to publish your work when it is accepted by the Program Committee; you will be required to send a signed copyright form as required by Springer at a later stage * At least one author should register for the conference and present the paper; only registered authors' papers will be included in the proceedings * The authors will prepare the final manuscript in time for its inclusion in conference proceedings IMPORTANT DATES Dec 20, 2013: Submission deadline for papers Feb 19, 2014: Nnotification of acceptance/rejection Mar 05, 2014: Submission of final papers May 21-23, 2014: The conference ORGANIZERS Poznan University of Economics, Department of Information Systems University of Cyprus, Department of Computer Science Poznan University of Economics Dept. of Information Systems Al. Niepodleglosci 10 61-875 Poznan, POLAND Phone: +48(61)854-3381 Fax: +48(61)854-3633 bis[at]kie[dot]ue[dot]poznan[dot]pl http://bis.kie.ue.poznan.pl University of Cyprus Department of Computer Science 1 University Avenue, Aglantzia CY-2109, Nicosia, Cyprus Tel: +357-22892693, Fax: +357-22892701 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: