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 dEconomia 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 dEconomia 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: