Tuesday, April 3, 2012

[DMANET] || Academic MindTrek Conference 2012 || CfP || 30th April: Papers, Extended Abstracts, Posters, Demonstrations, Workshops, Tutorials due

============================================================================================
Academic MindTrek Conference 2012:
Call for Papers, Extended Abstracts, Posters, Demonstrations, Workshops, Tutorials
3rd-5th October, 2012
Tampere, Finland

http://www.academicmindtrek.org, http://www.mindtrek.org

Long and short papers, posters, demonstrations, and extended abstracts due on:
30th April 2012

Tutorials and Workshops due on:
1st June 2012

in cooperation with ACM, ACM SIGMM, and ACM SIGCHI

contributions will be published in the ACM digital library and a selected set of high-level
work will be published as book chapters or in journals
============================================================================================

CALL FOR PAPERS, EXTENDED ABSTRACTS, POSTERS, DEMONSTRATIONS, WORKSHOPS & TUTORIALS

We are pleased to invite you to the Academic MindTrek conference, 3rd ? 5th October 2012,
which brings together a cross-disciplinary crowd of people to investigate current and emerging
topics of media in the ubiquitous arena. The conference explores academically the emerging and
frontier-breaking applications of new media in everyday contexts of leisure, business and
organizational life. October 3rd is the main Academic MindTrek day. Due increasing popularity
of the conference, we are extending the scope of Academic MindTrek 2012! The academic conference
features six major themes:

* Social Media
* Ambient & Ubiquitous Media
* Business & Media
* Human-Computer Interaction (new track!)
* Open Source
* Digital Games

SOCIAL MEDIA
?Get social!? Social media and Web 2.0 technologies are applied in ever diverse practices both
in private and public communities. Totally new business models are emerging, traditional
communication and expression modalities are challenged, and new practices are constructed
in the collaborative, interactive media space.

AMBIENT AND UBIQUITOUS MEDIA
?The medium is the message!? ? This conference track focuses on the definition of ambient and
ubiquitous media with a cross-disciplinary viewpoint: ambient media between technology, art,
and content. The focus of this track is on applications, location based services, ubiquitous
computation, augmented reality, theory, art-works, mixed reality concepts, the Web 3.0, and
user experiences that make ubiquitous and ambient media tick.

MEDIA BUSINESS, MEDIA PRODUCTION AND MEDIA MANAGEMENT
Media business and media management face the challenges of the emergence of new forms of
digital media. This theme focuses on business studies, policies, practices, and organizational
structure of media firms. It discusses competition, patterns of media usage, advertising models,
and how traditional media can cope with the challenges coming from digital media focusing on
media business and media management issues.

HUMAN-COMPUTER INTERACTION (HCI)
The wide field of HCI is to discuss issues around human computer interaction modalities,
consumer experience, design of computer systems, human aspects, universal media access,
ergonomics, communication, novel interaction modalities, privacy, trusted systems, interaction
theories, and sociological and psychological factors. This theme of devotes to several of these
aspects, and is targeted to the scientific community dealing with several applied and theoretical
aspects of HCI and user experience.

OPEN SOURCE
The last decade has seen a significant increase in open source initiatives such as open source
software, open standards, open content, open media, or even open source hardware. On the one
hand, the open movement has created new kinds of opportunities such as new business models and
development approaches. On the other hand, it has introduced new kinds of technical and
non-technical challenges.

DIGITAL GAMES
The culture and business of digital games is becoming increasingly varied. The current trends
range from novel interface innovations and digital distribution channels to social game dynamics
and player-generated content. The games track is open for theoretical works, empirical case
studies and constructive projects.

DEMONSTRATIONS
The aim is to gather demonstrations from researchers and professionals from the communities
related to the topics of MindTrek. The objective for the demonstrations is to provide a forum
for exchanging experiences, practical projects, or media demonstrators. The target audience
includes members of the academic community, industry, or laboratories who can demonstrate
the results of their research projects with a practical implementation.

ACADEMIC MINDTREK AS A CONFERENCE

In addition, special academic sessions (e.g. tutorials, demonstrations, workshops, and
multidisciplinary sessions) will be held parallel to the MindTrek business conference.
Academic speakers and authors are warmly welcome to register for the business conference
tracks as part of the academic conference with our special registration rate. The Academic
MindTrek registration includes full service such as coffees, lunches, and social gatherings.

The MindTrek Association hosts MindTrek as a yearly conference, where the Academic MindTrek
conference has been a part of this unique set of events comprising competitions, world famous
keynote speakers, plenary sessions, media festivals, and workshops since 1997. It is a meeting
place where experts and thinkers present results from their latest work regarding the development
of Internet, interactive media, and the information society. MindTrek brings together researchers
and practitioners from diverse disciplines that are involved in the development of media in
various fields, ranging from sociology and the economy, to technology.

The organizing committee invites you to submit original high quality full papers, long or short,
addressing the special theme and the topics, for presentation at the conference and inclusion
in the proceedings.

CONFERENCE PUBLICATIONS
The scientific part of the conference is organized in cooperation with ACM SIGMM, and ACM SIGCHI.
Conference proceedings will be published in the ACM Digital Library, which includes short and
long papers, workshop proposals, demonstration proposals, and tutorial proposals. Extended
abstracts will be published in the adjunct conference proceedings; however, they will not
be published within the ACM Digital Library. Selected high quality papers will be published
in international journals, as book chapters, edited books, or via open access journals.
There will also be a reward for the overall best paper from the academic conference. Several
papers should follow the style guidelines of the conference.

SHORT AND LONG PAPER PROPOSALS
All submissions will be peer-reviewed double blinded, therefore please remove any information
that could give an indication of the authorship. Short papers should be between 2-4 pages long
and the paper presentation will be 15 minutes plus 5 minutes discussion within a session; long
papers should be 6-8 pages and will be presented in 20 minutes slots, plus 5 minutes discussion.

WORKSHOP PROPOSALS
Feel free to suggest workshops which are co-organized with the Academic MindTrek. Workshop
proposals should include the organizing committee, a 2 page description of the theme of the
workshop, a short CV of organizers, duration, the proceedings publisher, and the schedule.
Workshop organizers also have the possibility to add publications to the main conference
proceedings. Depending on the attracted number of papers for each workshop, we provide space
for either half-day or full-day workshops.

DEMONSTRATIONS PROPOSALS
Demonstration proposals shall be 2-3 pages and include: a) a description and motivation of the
demonstration; b) general architecture of the demonstration; c) description of the main features;
d) a brief comparison with other existing related demonstrations; e) audio-visual materials to
illustrate the demonstration (if applicable); f) the type of license, and g) the Internet address
of the demonstration (if applicable). It is strongly recommended that the authors make the
demonstration (or a suitable version or movie) on the Internet during the evaluation.

TUTORIAL PROPOSALS
Tutorial proposals should include a 2-page description of the tutorial, intended audience, a
short CV, timetable, required equipment, references, and a track record of previous tutorials.
The target length of tutorials is 2-4 hours.

EXTENDED ABSTRACTS
Extended abstracts should be between 1-2 pages long and contain 500-800 words. They should
describe the research problem, background, research questions, and the contribution to the
conference. Extended abstracts will not be published within the ACM digital library.

POSTER PRESENTATIONS
Posters should be between 2-3 pages long and a poster should be presented during the conference.
Attendees have the possibility to exhibit their posters on a A0 poster wall during the conference.

SUBMISSION DEADLINES
- 30th April 2012: deadline for long papers (6-8 pages), short papers (3-4 pages),
extended abstracts (1-2 pages), posters (1-2 pages) and
demonstrations (2-3 pages)
- 1st June 2012: deadline for tutorial proposals and workshop proposals
- 20 July: camera ready papers and copyright forms

KEY-DATES
- 30th June 2012: notification of acceptance/rejection for papers, extended abstracts, posters,
and demos, tutorials
- 5th August 2012: submission of camera ready papers
- 3rd-5th October 2012: Academic MindTrek and MindTrek Business Conference

Suggested key-dates for workshop organizers
- 15th August 2012: deadline for workshop papers
- 10th September 2012: deadline for camera-ready papers

CONFERENCE THEMES

1. Social Media
- business models, service models, and policies
- social media in innovation and business
- intra- and interorganizational use of social media
- questions related to identity, motivation and values
- blogs, wikis, collaboration and social platform designs in practice
- knowledge management and learning with social media
- experience management with social media
- crowdsourcing, user-created content and social networks
- enterprise 2.0 and social computing in work organizations
- evaluation and research methods of social media
- social media and community design
- benefits and limitations of social media applications

2. Ambient and Ubiquitous Media - between Technology, Services, and Users
- applications and services utilizing ubiquitous and pervasive technology
- ubicom in eLearning, leisure, storytelling, art works, advertising, and mixed reality contexts
- next generation user interfaces, ergonomics, multimodality, and human-computer interaction
- art works for smart public or indoor spaces, mobile phones, museums, or cultural applications
- context awareness, sensor perception, context sensitive Internet, and smart daily objects
- personalization, multimodal interaction, smart user interfaces, and ergonomics
- ambient human computer interaction, experience design, usability, and audience research
- software, hardware, middleware, and technologies for pervasive and ubiquitous
- theoretical methods and algorithms in ubiquitous and ambient systems
- business models, service models, media economics, regulations, x-commerce, and policies
- user positioning, location awareness
- augmented reality in ubiquitous applications
- device interoperability, remote user interfaces, inter-device connections

3. Media Business, Media Studies, and Media Management
- media policy, politics, practices, conception, and media regulation
- organizational structures, practices, and strategies
- production technology, processes, and optimization
- business models, service models, public funding, and media economics
- patterns of media use, engagement, and consumer experiences
- advertising, media consumption, new audience models, and media user models
- competition analysis, media governing, assessment, performance indicators
- business and media management: gaming, social media, Internet, digital cinema, iTV
- traditional media business and management: broadcasting,
publishing, journalism, and movie industry
- innovative service designs, strategies, and ideas
- teaching & training of media management and media business

4. Human-Computer Interaction
- user experience and experience design
- interaction design techniques and methods
- user interaction and HCI design
- creativity, practices and innovation in HCI
- analysis, theories, and procedures in interaction design
- methods, systems, and toolkits supporting HCI
- human centered computing and understanding interaction
- interactivity methods
- designing for experience and interactivity
- design, evaluation, and implementation of interactive systems
- phenomena surrounding interactivity

5. Open Source
- forms of openness: open source software, open standards,
open content, open media, open source hardware, and open access
- establishment of an open source community
- practices on developing open source systems
- practices for maintaining a successful project
- open source processes and techniques
- differences on open source and closed source systems
- using open source in commercial context
- challenges of open source development
- teaching open source in academia and industry

6. Digital Games
- theoretical and analytical approaches on games and play
- analysis of player experience
- game design research
- economy and business models in the game industry
- innovation in and around games
- digital distribution of games
- online gaming
- social and casual gaming
- player-created content
- pervasive and ubiquitous gaming
- mobile and cross-media gaming
- gamification, funware and playful designs

PAPER SUBMISSION
- Please follow the style guidelines on http://www.acm.org/sigs/publications/proceedings-templates
for formatting your paper
- Note that since the papers will be published by the ACM digital library all authors need to
sign an ACM copyright form. (For further guidelines see: http://www.acm.org/pubs/copyright_form.html)
- Submit papers here http://webhotel2.tut.fi/emmi/Conferences/2012mindtrek/

ORGANIZING COMMITTEE
Artur Lugmayr, Tampere Univ. of Technology (TUT), FIN
Helj? Franssila, Tampere Univ. (UTA), FIN
Karsten Wolf, Univ. Bremen, GER
Hannu K?rkk?inen, Tampere Univ. of Technology (TUT), FIN
Janne Paavilainen, University of Tampere (UTA), FIN
Theresa Champel, Univ. of Lisbon, PT
Yuan Fu, Tampere Univ. of Technology (TUT), FIN

CONTACT
Questions concerning academic content, papers, tutorials, workshops, scientific contributions:
Email:academic-mindtrek-chairs@listmail.tut.fi

General questions concerning payments, administration, copyright forms, local arrangements, and the venue:
Email: academic-mindtrek-info@listmail.tut.fi

PAPER SUBMISSIONS
http://webhotel2.tut.fi/emmi/Conferences/2012mindtrek/

FURTHER INFORMATION
http://www.academicmindtrek.org

SUPPORTED BY
MindTrek Association, City of Tampere, Tampere University of Technology (TUT), Tampere University (UTA),
Tampere University of Applied Sciences (TAMK), Ambient Media Association (AMEA).

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CFP] ACM MobiWac 2012

** We apologize if you receive multiple copies of this message **

==================================================================
The 10th ACM* International Symposium on Mobility Management
and Wireless Access (MobiWac 2012)
www.mobiwac.org

==================================================================

The 10th ACM* International Symposium on Mobility Management and
Wireless Access (MobiWac 2012) will be held in conjunction with MSWiM
2012 (the 15th ACM International Symposium on Modeling, Analysis and
Simulation of Wireless and Mobile Systems) from October 21 to 25, 2012
at Paphos, Cyprus Island.

The MOBIWAC series of events are intended to provide an international
forum for the discussion and presentation of original ideas, recent
results and achievements by researchers, students, and systems
developers on issues and challenges related to mobility management and
wireless access protocols. To keep up with the technological
developments, we also open up new areas such as mobile cloud computing
starting from this year.

Authors are encouraged to submit both theoretical and practical results
of significance on all aspects of wireless and mobile access
technologies, with an emphasis on mobility management and wireless
access. Authors are invited to submit full papers describing original
research. Submitted papers must neither have been published elsewhere
nor currently be under review by another conference or journal.

TOPICS OF INTEREST include, but are not limited to:

- Mobile Cloud Computing
- Wireless/Mobile Access Protocols
- Wireless/Mobile Web Access
- Wireless Internet and All-IP integration
- Next Generation Wireless systems
- Mobile Broadband Wireless Access
- Pervasive Communication and Computing
- Ubiquitous and mobile access
- Wireless Applications and testbeds
- Multi-Homing and Vertical Handoff
- Multi-Channel Multi-Radio MAC / network layer management
- Channels and resources allocation algorithms
- Energy and power management algorithms
- Multi-technology switching using Software Defined Radios
- Context-aware services and applications
- Context-aware protocols and protocol architectures
- Interactive applications
- Mobile database management
- Wireless Multimedia Protocols
- Mobile and Wireless Entertainment
- Mobile Info-services
- QoS management
- Mobility Control and Management
- Localization and tracking
- Mobile/Vehicular environment access
- Wireless ad hoc and sensor networks
- Security,Trust management and Privacy issues
- Fault Tolerance solutions
- Wireless Systems' Design
- Analysis/Simulation of wireless mobile systems
- Testbeds for experimental and simulation analysis

FOR MORE INFORMATION about the conference, organizing committee,
submission instructions, and venue please see the conference website
(http://www.mobiwac.org/).

=========================

ORGANIZING COMMITTEE:

General Chair

Jose Rolim, University of Geneva, Switzerland

Program Co-Chairs

Jun Luo, Nanyang Technological University, Singapore
Sotiris Nikoletseas, U. of Patras and CTI, Greece

Technical Program Committee (tentative)

Habib M. Ammari University of
Michigan-Dearborn
Jalel Ben-othman University of Paris 13
Azzedine Boukerche University of Ottawa
Costas Busch Louisiana State
University
Levente Buttyan Budapest University of Technology and
Economics
Claude Chaudet Telecom Paristech
Yu Cheng Illinois
Institute of Technology
Marcelo Dias de Amorim UPMC Sorbonne Universités
Amit Dvir College of
Management Academic Studies
Thomas Erlebach University of Leicester
Damianos Gavalas University of the Aegean
Charalampos Konstantopoulos University of Piraeus
Dariusz Kowalski University of
Liverpool
Peter Langendoerfer IHP Microelectronics
Long Le University of
Quebec
Pierre Leone University of
Geneva
Mo Li Nanyang
Technological University
Antonio A.F. Loureiro Federal University of Minas
Gerais
Paulo Mendes SITI, University
Lusofona
Lynda Mokdad Université de Paris 12
Ai-Chun Pang National Taiwan
University
Grammati Pantziou Technological Educational
Institution of Athens
Panagiotis (Panos) Papadimitratos KTH
Cristina M. Pinotti University of Perugia
Marius Portmann University of Queensland
Christoforos Raptopoulos U. of Patras and CTI
Theodoros Salonidis Technicolor
Paolo Santi IIT-CNR
Emmanouel Varvarigos University of Patras & Computer
Technology Institute
Thiemo Voigt Swedish Institute of
Computer Science
Adam Wolisz Technical University
of Berlin
Hongyi Wu University of
Louisiana at Lafayette
Zainab Zaidi National ICT
Australia, Ltd


Posters/Demo Chair

Vinay Kolar, Carnegie Mellon University, Qatar

Web Chair

Dimitra Patroumpa, U. of Patras and CTI, Greece

Publicity Chairs

Constantinos Marios Angelopoulos, U. of Patras and CTI, Greece
Mo Li, Nanyang Technological University, Singapore

Publications Chair

Gaotao Shi, Tianjin University, China

Steering Committee Co-Chairs

Azzedine Boukerche, U. of Ottawa, Canada
Albert Zomaya, University of Sydney, Australia

=========================

Paper Submission, Publication and Important Dates:

High-quality original papers are solicited. Papers must be unpublished
and must not be submitted for publication elsewhere. All papers will be
reviewed by Technical Program Committee members and other experts active
in the field to ensure high quality and relevance to the Symposium. The
symposium will Have a single track for regular papers and in addition, a
separate interwoven track with short papers / posters. A paper should be
no more than 10 pages, double column, ACM style including tables and
figures. Only PDF format is accepted. All accepted papers will appear in
the Symposium proceedings published by ACM press.

- Paper registration due: June 3, 2012 (11:59PM EST)

- Submission Deadline: June 10, 2012 (11:59PM EST)

- Notification of Acceptance: July 18, 2012

- Camera Ready version due: July 25, 2012


CONFIDENTIALITY:This email is intended solely for the person(s) named
and may be confidential and/or privileged.If you are not the intended
recipient,please delete it,notify us and do not copy,use,or disclose its
content.

Towards A Sustainable Earth:Print Only When Necessary.Thank you.

--
Constantinos Marios Angelopoulos

Phd student
Department of Computer Engineering & Informatics
University of Patras & CTI
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Postdoctoral Research Fellow (Masaryk University)

Postdoctoral Research Fellow

The Parallel and Distributed Systems Laboratory at the Faculty of Informatics, Masaryk University (Brno, Czech Republic) is currently expanding its research team and is looking for highly motivated and talented individuals to a three year-fixed term post. The position is available to participate in a project focused on formal verification of complex computational systems with special emphasis on combination of explicit and symbolic methods.

The Parallel and Distributed Systems Laboratory aims at intensifying the basic and applied research in the area of parallel and distributed methods for the specification, modelling, analysis, and verification of parallel and distributed systems. The mainspring of the research is the development and application of theories which underlie mentioned system development activities. The objective is to bridge the gap between academics and industry by exploiting academically well-founded formal methods and by promoting theory formation in the academic sense on the major issues of selected industrial areas. We want to come-up with practical solutions and tooling to address the needs found in current and innovative development industry projects.

The topic of the advertised research position is the development of new original methods and techniques for the automated verification and analysis of large-scale computer systems. The main obstacle in reaching the goal is the computational complexity of the task. Several methods have been proposed to fight the problem, however only few of them are used in combination. Our goal is to employ a synergy of explicit and symbolic methods in disstributed and parallel verifications to overcome the computational barrier.
Requirements

Candidates must hold a PhD degree (or equivalent) awarded after 1 April 2008, should be highly motivated and have a strong background in informatics. Candidate must have excellent analytical skills, and strong interpersonal and communication skills.

The deadline for applications is April 30, 2012. The gross salary is about 2200 € per month. The post is available from 1 September 2012, but the precise starting date is negotiable.

Interested candidates should email their CV, list of publications, brief statement of interest and career goals, names and contact information for 3 references contained in one single PDF file to:
Prof. Ivana Cerna
Masaryk University Brno
Faculty of Informatics
Botanicka 68a, 602 00 Brno
Czech Republic
Email: cerna at fi dot muni dot cz
http://paradise.fi.muni.cz/

Monday, April 2, 2012

[DMANET] CFP: (CSD&M 2012) 3rd INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS DESIGN & MANAGEMENT

---------------------------------------------------------------------------
3rd INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS DESIGN & MANAGEMENT
(CSD&M 2012)

December 12-14, 2012 – Cité Internationale Universitaire de Paris (France)

------------------------------------------------------------------------
Website: http://www.csdm2012.csdm.fr/
Call for Papers section: http://www.csdm2012.csdm.fr/-Submission-.html
Contact: contact@csdm.fr
------------------------------------------------------------------------

CALL FOR PAPERS # 3

The management of large-scale complex industrial systems has considerable
strategic importance for many enterprises in the world. This has spawned
the relatively new academic field of "system architecture & engineering",
producing a body of research that allows engineers to manage the increasing
complexity of the technical systems they design. By its very nature, this
field is at the interface between industry and academia and requires its
practitioners to be well versed in industrial applications as well as
theoretical
knowledge. The ambition of the CSD&M conference is to be the meeting point of
reference for industrial and academic circles working in the design and
management
of complex industrial systems.

IMPORTANT DATES

• Optional abstract pre-submission deadline : April 6, 2012
• Submission deadline : April 20, 2012
• Acceptance notice for all contributions: June 29, 2012
• Final version submission deadline: August 31, 2012
• Conference: December 12-14, 2012
• "Best papers" awards: December 14, 2012

SUBMISSION PROCEDURE AND BEST PAPERS AWARDS

As the CSD&M conference is both industrial and academic, the papers' topics
could be industrial, academic or both in transverse.
Selected papers will be presented by their authors either on the format
of a 30-minute talk or as a poster during a special session.

The program committee is pleased to inform you of the following awards
for the best CSD&M 2012 papers in 2 categories : 1 prize of 2.000€ for
the best academic or/and industrial paper and 1 prize of 1.000€ for the best
student paper.

For more details, see http://www.csdm2012.csdm.fr/-Submission-.html.

CONFERENCE TOPICS

•Industrial domains: Transport constructors & operators, Defense &
security, Electronics & robotics, Energy & environment, Health & welfare
services, Media & communications, Software & e-services.

•Scientific and technical topics: Systems fundamentals, Systems modelling,
Systems architecture, Systems engineering, Industrial projects, Systems
metrics, Systems quality, Systemic tools.

•Systems types: Embedded systems, Transportation systems, Software systems,
Information systems, Systems of systems, Artificial eco-systems.

MORE DETAILS

More information can be found on the conference website:
http://www.csdm2012.csdm.fr.
For any question, please write an email to: contact@csdm.fr.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

CL&C 2012: deadline extension

International Workshop on Classical Logic and Computation (CL&C'12)              http://www.doc.ic.ac.uk/~svb/CLaC12                        July, 8 2012                      Warwick, England   CL&C'12 is a satellite workshop of ICALP'12.  IMPORTANT DATES Abstract submission			  (canceled) Deadline for submission:        April,    23, 2012 (new) Notification of acceptance:     June,     18, 2012 (new) Final version due:              June,     28, 2012 (new) Workshop date:                  July,      8, 2012  INTRODUCTION CL&C'12 is the fourth of a conference series on Classical Logic and Computation. It intends to cover all work aiming to explore computational aspects of classical logic and mathematics.  This year CL&C will be held as satellite workshop of ICALP'12 in Warwick:       http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012/  CL&C is focused on the interplay between program extraction from classical the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas.  SCOPE OF CL&C This workshop aims to support a fruitful exchange of ideas between the various lines of research on Classical Logic and Computation. Topics of interest include, but are not limited to,  - version of lambda calculi adapted to represent classical logic; - design of programming languages inspired by classical logic; - cut-elimination for classical systems; - proof representation and proof search for classical logic; - translations of classical to intuitionistic proofs; - constructive interpretation of non-constructive principles; - witness extraction from classical proofs; - constructive semantics for classical logic (e.g. game semantics); - case studies (for any of the previous points).  SUBMISSION AND PUBLICATION. This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic / position papers, as well as completed projects. We therefore ask for submission both of short abstracts and of longer papers.  All submitted papers will be reviewed to normal standards. The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, and presentations of (short) papers about work in progress. The accepted papers will appear in EPTCS.  In order to make a submission: - Format your file using the LNCS guidelines; there is a 15 page limit. - Use the submission instructions at  	https://www.easychair.org/conferences/?conf=clc2012  A participants' proceedings will be distributed at the workshop.   PROGRAMME COMMITTEE * Herman Geuvers (Nijmegen) - chair * Stefano Berardi (Turin) * Steffen van Bakel (Imperial College London) * Silvia Ghilezan (Novi Sad) * Koji Nakazawa (Kyoto Univeristy) * Ugo de'Liguoro (Turin)  CONTACT deligu@di.unito.it  

CFP - Euler Diagrams 2012: paper submission deadline

CALL FOR PAPERS


EULER DIAGRAMS 2012: 3rd International Workshop on Euler Diagrams

Held in conjunction with Diagrams 2012
July 2, 2012
Canterbury, UK




***** PAPER DEADLINE THIS FRIDAY! *****

Paper submission deadline: Friday, April 6, 2012

Authors who did not submit abstracts can still submit papers.


Proceedings to be published by CEUR.
Best papers will be invited to submit to a special issue of the Journal of Visual Languages and Computing: Visualization and Reasoning with Euler Diagrams.

Early registration is available until the 11th May.


Please consider forwarding this call for papers to the appropriate groups or individuals.
Apologies if you receive multiple copies of this message.


--------------------------------------------------------------------

Euler diagrams represent relationships between sets, including intersection, containment, and disjointness. These diagrams have become the foundations of various visual languages and have notably facilitated  the modelling of, and logical reasoning about, complex systems. Over the years, they have been extensively used in areas such as biosciences, business, criminology and national security to intuitively visualize relationships and relative cardinalities of sets.  This widespread adoption has allowed analysis of complex collections of data. 

The workshop will cover all aspects of Euler diagram research, including, but not limited to: 

- theoretical advances: 
     o drawability, 
     o layouts, 
     o logic,
     o reasoning,

- software support: 
     o diagram generation, 
     o automated reasoning,
     o data exploration,

- real-world applications: 
     o system modelling, 
     o information visualization,
     o education,

- cognition and perceptual principles: 
     o readability, 
     o aesthetics, 
     o evaluation including comparison to other representations.

Recently, there have been significant advances in all of the above areas.  This workshop of peer-reviewed submissions will afford the growing Euler diagrams community the opportunity to present and discuss new research, and share expertise. It is envisaged that this will stimulate collaborations on current and future research needs. This will be the third Euler diagrams workshop (after two successful workshops in 2004 and 2005) and will again bring together researchers with diverse backgrounds, from both academic and industry including: mathematicians, computer scientists, artificial intelligence experts, information designers, visualization experts, human-computer interaction experts and users from various application areas. 


SUBMISSIONS

We solicit submission of: 

- full papers (15 pages), consisting of original research and surveys, 

- short papers (7 pages), consisting of systems descriptions, software demonstrations, and position statements, as well as original research contributions.

The formatting style is LNCS. The necessary style files are available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
Submissions are now open! Papers should be submitted via EasyChair (https://www.easychair.org/conferences/?conf=ed2012).


PROCEEDINGS

A preprint of the proceedings will be available at the workshop.
The proceedings will be published by CEUR, and will be available after the workshop.
In addition, authors of best papers will be invited to submit an extended version of their paper to a special issue of the Journal of Visual Languages and Computing called Visualization and Reasoning with Euler Diagrams.


IMPORTANT DATES

For both full and short papers:

Abstract submission (optional): Friday, March 30, 2012
Paper submission: Friday, April 6, 2012
Notification: Friday, May 4, 2012
Early registration: Friday, May 11, 2012
Camera ready copy: Friday, May 25, 2012
Workshop: Monday, July 2, 2012


REGISTRATION

Attendees can register for the workshop only.
However, there will be a discount for those registering for both the workshop and main Diagrams conference.


ORGANIZERS

Peter Chapman  (University of Brighton, UK)
Luana Micallef (University of Kent, UK)


PROGRAM COMMITTEE

* Rosario de Chiara (Universite degli Studi di Salerno, Italy)
* Gennaro Cordasco (Seconda Università degli studi di Napoli, Italy)
* Tim Dwyer (Microsoft, USA)
* Mateja Jamnik (University of Cambridge, UK)
* Stephen North (AT&T Research, USA)
* Mitsuhiro Okada (Keio University, Japan)
* Nathalie Henry Riche (Microsoft Research, USA)
* Peter Rodgers (University of Kent, UK)
* Frank Ruskey (University of Victoria, Canada)
* Paolo Simonetto (INRIA, France)
* Bettina Speckmann (TU Eindhoven, Netherlands)
* Gem Stapleton (University of Brighton, UK)


CONTACT

If you have any questions, please contact the workshop organizers ed2012@easychair.org.

Research Positions: Project "Reusable Deep Neural Networks: Applications to biomedical data"

Dear colleagues,

I kindly ask you to forward this e-mail to whom may be interested.

Two research positions (1 Post-Doc and 1 research assistant) are
available at INEB (www.ineb.up.pt), Portugal under the project "Reusable
Deep Neural Networks: Applications to biomedical data". You can find
more details here
http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=28919

and here

http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=28917

or at
www.ineb.up.pt (Positions Available)


The Call is open from March, 27 till April, 9.

Best wishes
Luis Silva

[DMANET] Computational Optimization

[Please post - apologies for multiple copies.]

------------

Call for Papers

5th Workshop on Computational Optimization (WCO 2012)
Wroclaw, Poland, September 9 - 12, 2012

organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2012

http://www.fedcsis.org/

====================

We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:

* unconstrained and constrained optimization
* combinatorial optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant
colony optimization, particle swarm optimization, immune artificial
systems etc)
* hybrid optimization algorithms involving natural computing
techniques and other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics,
finance, physics, medicine, engineering etc

====================

Important dates:

22.04.2012 (April 22, 2012) – Full paper submission

17.06.2011 (June 17, 2012) – Notification of acceptance

8.07.2012 (July 8, 2012) – Camera-ready version of the accepted paper
and registration

====================

Submission and Publication


* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 8 pages (IEEE style).
IEEE style templates are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their
scientific merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and
indexed in the DBLP.
* Extended versions of selected papers presented during the conference
will be published as Special Issue(s) of Studies of Computational
Intelligence of Springer.
====================

If you have any question do not hesitate to send a mail to wco2012@fedcsis.org .

Organizing Committee

Stefka Fidanova, Bulgaria
Josef Tvrdik, Czech Republicc
Daniela Zaharie, Romania
Antonio Mucherino, France


--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

2nd CFP: 8th Scandinavian Logic Symposium

8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University,
DENMARK

Second Announcement and Call for Papers

The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner,
Denmark, 20-21 August 2012.

After a gap of fifteen years, the Scandinavian Logic Symposium is back. The
Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS,
http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark.

As with previous editions of this conference, the aim of the programme is to reflect current
activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic
countries and Northwestern Russia will take the opportunity to contribute a talk and to meet
with fellow logicians from the area. But needless to say, we also extend a warm welcome to
logicians from further afield and plan to present a varied and interesting collection of invited and
contributed talks.


TOPICS

The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science. Suitable topics include (but are not limited to):
  • Proof Theory and Constructivism
  • Model Theory (including Finite Model Theory)
  • Set Theory
  • Computability Theory
  • Categorical Logic
  • Logic and Provability
  • Logic and Computer Science
  • Logic and Linguistics
  • Modal, Hybrid, Temporal, and Description Logic
  • Logics of Games, Dynamics and Interaction
  • Philosophy of Mathematics
  • Philosophy of Computation
  • Philosophy of Logic
  • Philosophical Logic


PREVIOUS SCANDINAVIAN LOGIC SYMPOSIA:

7th Scandinavian Logic Symposium: Uppsala in 1996
6th Scandinavian Logic Symposium: Telemark in 1982
5th Scandinavian Logic Symposium: Aalborg in 1979
4th Scandinavian Logic Symposium: Jyväskylä in 1976
3rd Scandinavian Logic Symposium: Uppsala in 1973
2nd Scandinavian Logic Symposium: Oslo in 1971
1st Scandinavian Logic Symposium: Åbo in 1968
The proceedings of several of these meetings have been published in book form.

INVITED SPEAKERS

The Program Committee is delighted to announce the names of the four invited speakers:
SLS TUTORIALS
On August 22nd,  the day after the symposium finishes, a number of tutorials for PhD-students (or anyone else who is interested) will be given. These are intended to start from a relatively elementary level and lead on to current research problems.
The following tutorial lectures have been confirmed so far:

RELATED EVENTS:
Also note that Advances in Modal Logic (AiML) will be held on 22-25
August 2012, Copenhagen, Denmark. URL: http://hylocore.ruc.dk/aiml2012/ 




PROGRAM COMMITTEE

Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm)

Members:
Torben Brauner (Roskilde)
Peter Dybjer (Chalmers)
Lars Kristiansen (Oslo)
Øystein Linnebo (Birkbeck)
Sara Negri (Helsinki)
Dag Normann (Oslo)
Asger Törnquist, (Vienna)
Jouko Väänänen (Helsinki)

ORGANISING COMMITTEE

Patrick Blackburn (RUC), Klaus Frovin Jørgensen (RUC), Stig Andur Petersen (RUC)

SUBMISSIONS

Abstracts of talks should be submitted by May 1, 2012 using the EasyChair system
https://www.easychair.org/conferences/?conf=sls2012
The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format.

LOCATION

Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from
Central Copenhagen, and five minutes by train from Roskilde.

ACCOMMODATION

Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting
to RUC is an easy train journey from the centre of Copenhagen. We anticipate that most
conference attendees will book hotels in central Copenhagen, where there are many hotels
in many price ranges. Hotel accommodation can also be found in Roskilde, though there the
options are more limited.

REGISTRATION

The conference website will be found at:
http://scandinavianlogic.weebly.com/
Details concerning registration will be posted there in due course.

[DMANET] CfP --- EWG-ORD Workshop --- July 7, Vilnius, Lithuania

EWG-ORD PhD Workshop

"OR for Developing Countries: times of economic crises"

and Annual General Meeting 2012

Date: Saturday July 7th, 2012
Venue: Radisson Blu Hotel Lietuva, Vilnius, Lithuania (the EURO XXV
conference venue!)
Time: 10am to 5pm
----------------------------------------------------------------------------

We announce the EWG-ORD PhD Workshop and Annual General Meeting 2012. You
are invited to make presentations on aspects of OR for Developing Countries.
Applications in fields such as transportation, energy, agriculture or
healthcare are welcomed. Please email your abstracts (100-150 words) to
Honora Smith (honora.smith@soton.ac.uk). Note that we are particularly
looking for presentations that reflect OR methodologies applied in the
context of development. The closing date for abstracts is 25 May 2012.

Free registration is also now open. To register, please email the following
details to Honora Smith (honora.smith@soton.ac.uk): First name, family name,
title; affiliation (university or other establishment); home country. The
closing date for registration is 15 June 2012.
----------------------------------------------------------------------------


----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Sunday, April 1, 2012

Two postdoc positions in quantitative verification at Oxford

[Apologies for multiple mailings.]


The Verification theme is offering two Grade 7 postdoctoral researcher
posts to work on projects under the direction of Professor Marta
Kwiatkowska in the Department of Computer Science, University of Oxford.

One post is available in quantitative software verification in
association with the ERC Advanced Grant project "VERIWARE: From software
verification to everyware verification".

The second post concerns application to and experimental evaluation of
quantitative verification to sensor-enabled systems, and is in
association with the project "Autonomous Ubiquitous Sensing", part of
Institute for the Future of Computing at the Oxford Martin School.

Both positions are available immediately.

The closing date for applications is 12 noon on Wednesday, 25th April 2012.

For further details and to apply please visit:

VERIWARE post
http://www.cs.ox.ac.uk/news/474-full.html

Autonomous Ubiquitous Sensing
http://www.cs.ox.ac.uk/news/475-full.html


Informal enquiries should be directed to Marta Kwiatkowska, see contact
details at the end of this message.


------------------
The policy and practice of the University of Oxford require that all
staff are offered equal opportunities within employment. Entry into
employment with the University and progression within employment will be
determined only by personal merit and the application of criteria which
are related to the duties of each particular post and the relevant
salary structure. In all cases, ability to perform the job will be the
primary consideration. Subject to statutory provisions, no applicant or
member of staff will be treated less favourably than another because of
his or her age, sex, marital or civil partnership status, sexual
orientation, religion or belief, racial group or disability.

--
Professor Marta Kwiatkowska
and Fellow of Trinity College
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509
Email: Marta.Kwiatkowska@cs.ox.ac.uk
URL: http://www.cs.ox.ac.uk/people/marta.kwiatkowska/

PA/Project Administrator: Liz Gresham
Email: Liz.Gresham@cs.ox.ac.uk
Tel: +44 (0)1865 283586

Algorithmic game theory PhD Studentship at University of Liverpool

One algorithmic game theory PhD Studentship is available at University
of Liverpool

Project title: Automated Design of Revenue-Maximizing Ad Auctions.

The project is funded by Microsoft Research Cambridge and the
candidate will be co-supervised by Microsoft researchers.

About the Economics and Computation Group at University of Liverpool
http://www.csc.liv.ac.uk/research/ecco/

About myself
http://www.csc.liv.ac.uk/~mingyu/

Interested candidates please send your CV to Mingyu.Guo@liverpool.ac.uk

Best,
Mingyu

Mingyu Guo
Department of Computer Science
University of Liverpool
Mingyu.Guo@liverpool.ac.uk
http://www.csc.liv.ac.uk/~mingyu/

[DMANET] Algorithmic game theory PhD Studentship at University of Liverpool

One algorithmic game theory PhD Studentship is available at University
of Liverpool

Project title: Automated Design of Revenue-Maximizing Ad Auctions.

The project is funded by Microsoft Research Cambridge and the
candidate will be co-supervised by Microsoft researchers.

About the Economics and Computation Group at University of Liverpool
http://www.csc.liv.ac.uk/research/ecco/

About myself
http://www.csc.liv.ac.uk/~mingyu/

Interested candidates please send your CV to Mingyu.Guo@liverpool.ac.uk

Best,
Mingyu

Mingyu Guo
Department of Computer Science
University of Liverpool
Mingyu.Guo@liverpool.ac.uk
http://www.csc.liv.ac.uk/~mingyu/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************