CL&C 2012 - Call for participation

************ CALL FOR PARTICIPATION ************

CL&C'12  - ICALP'12 Workshop

Fourth International Workshop on
Classical Logic and Computation

July 8, 2012, Warwick - England

http://www.doc.ic.ac.uk/~svb/CLaC12/

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.

The fact that classical mathematical proofs of simply existential statements can be read as programs was established by Goedel and Kreisel half a century ago. But the possibility of extracting useful computational content from classical proofs was taken seriously only from the 1990s on when it was discovered that proof interpretations based on Goedel's and Kreisel's ideas can provide new nontrivial algorithms and numerical results, and the Curry-Howard correspondence can be extended to classical logic via programming concepts such as continuations and control operators.

CL&C is focused on 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.

Contributed papers:

F. Aschieri, M. Zorzi: "Eliminating Skolem functions in Pano arithmetic with interactive realizability"
R. Krebbers: "A call-by-value lambda-calculus with lists and control"
K. Nakazawa, S.-Y. Katsumata: "Extensional Models of Untyped Lambda-Mu Calculus"
T. Powel: "Applying Goedel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma"

Short presentations:

G. Birolo: "A simple geometric example of interactive realizability"
H. Eades: "Hereditary Substitution for the Lambda-Mu Calculus"
S. Sanders: "Nonstandard Analysis: a New Vay to Compute (Constructively)"

Invited speaker: Paulo Oliva

[DMANET] SustainIT 2012 - Ph.D. Forum: Call for extended abstracts - Deadline Extended to June 30

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

PhD FORUM: CALL FOR EXTENDED ABSTRACTS

SustainIT 2012
Second IFIP Conference on
Sustainable Internet and ICT for Sustainability

http://cnd.iit.cnr.it/sustainit2012/

October 4-5, 2012
Pisa, Tuscany, Italy


******* PHD FORUM EXTENDED DEADLINE: June 30, 2012 *******

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


SustainIT 2012 hosts the PhD Forum on Sustainable Internet and ICT for Sustainability. The Forum will provide an opportunity for PhD students to present their dissertation research, including work in progress. In addition, it will be a platform for PhD students to interact both with their peers as well as with experienced researchers from industry and academia. The Forum will be organized as a poster session and will include a '1-minute madness' introduction by each student.

Current PhD students and researchers who completed their PhD dissertations after December 2011 are encouraged to submit extended abstracts. The PhD student and his/her advisor(s) can be the only authors. Submissions will be reviewed to ensure quality and relevance. Authors of accepted submissions are expected to attend SustainIT 2012 and present their poster at the PhD Forum. Accepted extended abstracts will appear in conference proceedings.


SUBMISSION GUIDELINES:

PhD students are invited to submit an extended abstract describing current research and potential contributions to theory and innovation in the areas of Sustainable Internet and ICT for Sustainability.

Extended abstracts should include the authors' names, affiliation, and email address. Submissions must be PDF files, written in English. Submissions should adhere to the IEEE format and be no more than 3 pages in size (all inclusive). Abstracts must be submitted by e-mail to the following address: sustainit2012-PHD@gerad.ca. Please send the PDF file as attachment of an e-mail having as subject: "PhD-Submission-AUTHORS(last names only, separated by a '-')".


IMPORTANT DATES:

Manuscript submissions: June 11, 2012 (Extended to June 30, 2012)
Notification of acceptance: July 9, 2012
Camera-ready copy due: July 30, 2012
Conference date: October 4-5, 2012


PhD Forum Co-Chairs
Franco Davoli, University of Genova, Italy
Brunilde Sanso, Ecole Polytechnique de Montreal, Canada

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

Valerio Arnaboldi - SUSTAINIT2012 Publicity Chair

Institute for Informatics and Telematics (IIT)
Italian National Research Council (CNR)
Via G. Moruzzi, 1 - 56124 Pisa, Italy
phone: +39 050 315 2195
email: valerio.arnaboldi@iit.cnr.it
**********************************************************
*
* 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] ATMOS 2012 submission deadline extension

One-week submission deadline extension for ATMOS12: submit by 5th July 2012

------------------------------------------------------------------
CALL FOR PAPERS

12th WORKSHOP ON ALGORITHMIC APPROACHES FOR TRANSPORTATION
MODELING, OPTIMIZATION, AND SYSTEMS (ATMOS 2012)

Dedicated to the memory of Alberto Caprara

September 13, 2012
Ljubljana, Slovenia

http://algo12.fri.uni-lj.si/?file=atmos

------------------------------------------------------------------
Scope
-----

The ATMOS 2012 workshop will be held in connection with ALGO 2012 in
Ljubljana, Slovenia, on September 13, 2012.

Since 2000, the series of ATMOS workshops brings together researchers
and practitioners who are interested in all aspects of algorithmic
methods and models for transportation optimization and provides a
forum for the exchange and dissemination of new ideas and techniques.

Transportation networks give rise to very complex and large-scale
network optimization problems requiring innovative solution techniques
and ideas from mathematical optimization, theoretical computer
science, and operations research. Applicable tools and concepts
include those from graph and network algorithms, combinatorial
optimization, approximation and online algorithms, stochastic and
robust optimization.

The scope of the workshop comprises all modes of transportation.

------------------------------------------------------------------
INVITED SPEAKER
---------------
Matthias Mueller-Hannemann, University of Halle-Wittenberg, Germany

------------------------------------------------------------------
IMPORTANT DATES
---------------
SUBMISSION DEADLINE: July 5, 2012, 23:59 PDT (extended from june 28)
NOTIFICATION TO AUTHORS: July 27, 2012
CAMERA READY SUBMISSION: August 22, 2012
WORKSHOP DATE: September 13, 2012

------------------------------------------------------------------
TOPICS
------
We invite papers for presentation at the workshop on optimization
problems for passenger and freight transport, including, but not
limited to:

* Infrastructure Planning
* Vehicle Scheduling
* Crew and Duty Scheduling
* Rostering
* Routing in Road Networks
* Novel Applications of Route Planning Techniques
* Demand Forecasting
* Design of Tariff Systems
* Delay Management
* Mobile Applications
* Humanitarian Logistics
* Simulation Tools
* Line Planning
* Timetable Generation
* Routing and Platform Assignment
* Transportation Systems

Of particular interest are: the successful integration of several
(sub)problems or planning stages, algorithms operating in an
online/realtime or stochastic setting, and heuristic approaches
(including approximation algorithms) for real-world instances.

------------------------------------------------------------------
SUBMISSIONS
-----------
Authors are invited to submit an extended abstract or full paper of
at most 12 pages. Papers must be formatted in LaTeX, using the OASIcs
(http://drops.dagstuhl.de/styles/oasics/oasics-authors.tgz) style
file. The paper should contain a succinct statement of the issues and
of their motivation, a summary of the main results, and a brief
explanation of their significance, accessible to non-specialist
readers. Proofs omitted due to space constraints can be put into an
appendix to be read by the program committee members at their
discretion. Papers must be submitted electronically at
https://www.easychair.org/conferences/?conf=atmos2012.
The submission must be received by 23:59 (PDT) on June 28, 2012. Each
accepted paper must be presented at the workshop by one of the
authors.

------------------------------------------------------------------
PROCEEDINGS
-----------
The proceedings will be published on the Dagstuhl OpenAccess Series
in Informatics (OASIcs) publication service.

------------------------------------------------------------------
PROGRAM COMMITTEE
-----------------

* Teodor Gabriel Crainic, Universite du Quebec a Montreal, Canada
* Daniel Delling, Microsoft Research Silicon Valley, USA (co-chair)
* Daniele Frigioni, University of L'Aquila, Italy
* Felix Koenig, TomTom, Germany
* Gilbert Laporte, HEC Montreal, Canada
* Leo Liberti, Ecole Polytechnique, France (co-chair)
* Marco Luebbecke, RWTH Aachen University, Germany
* Frederic Meunier, Ecole des Ponts ParisTech, France
* Giacomo Nannicini, SUTD, Singapore
* Carolina Osorio, MIT, USA
* Christian Sommer, MIT, USA
* Paolo Toth, University of Bologna, Italy
* Eduardo Uchoa, Universidade Federal Fluminense, Brazil
* Roberto Wolfler Calvo, Paris-Nord University, France


------------------------------------------------------------------
STEERING COMMITTEE
------------------

* Alberto Caprara, Universita di Bologna, Italy
* Alberto Marchetti-Spaccamela, Universita di Roma "La Sapienza", Italy
* Spyros Kontogiannis, University of Ioannina, Greece
* Rolf Moehring, TU Berlin, Germany
* Dorothea Wagner, Karlsruhe Institute of Technology (KIT), Germany
* Christos Zaroliagis, University of Patras, Greece
**********************************************************
*
* 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] Last days to register for PCC 15th - 17th August 2012

----------------------------------------------------------------------------------------
22nd Postgraduate Combinatorial Conference
15 - 17 August 2012, University of Warwick, UK
----------------------------------------------------------------------------------------

The Postgraduate Combinatorial Conference (PCC) is an established annual conference organised by, and for, current research students in all areas of combinatorial and discrete mathematics, under the auspices of the British Combinatorial Committee. The PCC is mainly aimed at UK-based students, but also open to those from abroad.

This year's PCC will be held at the University of Warwick from 15 to 17 August 2012. The aim of the conference is to allow research students to meet and discuss their research in a relaxed environment, to gain practice at presenting their research outside of their own department, and to meet pre-eminent researchers in their area. Each student is encouraged (but not forced) to contribute by giving a talk which will last 20 minutes (including five minutes question-and-answer time). Invited speakers will include:

Stefanie Gerke (Royal Holloway, University of London)
Konrad Swanepoel (LSE)
Andrew Thomason (University of Cambridge)

Registration Deadline: 1st July 2012 (or once we reach capacity)
Deadline for sending talk abstracts: 15th July 2012

The first 30 places will cost £30 GBP (7 such places remaining when this email was sent). After that, the cost will rise to £80 GBP. Optional accommodation will cost £25 GBP per night.

For further details visit the website at http://www2.warwick.ac.uk/fac/cross_fac/dimap/events/pcc2012 . The conference is funded by an LMS Scheme 8 (Postgraduate Research Conference) grant and a grant from the British Combinatorial Committee.

-------------------------------------------------------------------------------------------------------------
The British Combinatorial Committee is a charity registered in Scotland, number SC019723

**********************************************************
*
* 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/
*
**********************************************************

ICLA 2013: 5th Indian Conference on logic and its applications, Chennai, Jan 10-12, 2013: Call for papers

                         **Apologies for multiple posting**

5th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
January 10--12, 2013
The Institute of Mathematical Sciences,
Chennai, India

CALL FOR PAPERS

ALI, the Association for Logic in India, announces the next edition of
its biennial (International) Indian Conference on Logic and its Applications
(ICLA), to be held at the Institute of Mathematical Sciences, Chennai,
from January 10 to 12, 2013.

The conference proceedings are expected to be published in the Springer
Lecture Notes in Computer Science series.

ICLA is a forum for bringing together researchers from a wide variety of
fields that formal logic plays a significant role in, along with
mathematicians, philosophers and logicians studying foundations of
formal logic in itself.  The conference has also included studies in
systems of logic in the Indian tradition, and historical research on
logic. See the ALI page (http://ali.cmi.ac.in) for information on past
events as well as updates on this conference.

The earlier events in this series featured many eminent logicians as
invited speakers, and we are pleased to announce that this year's
speakers will include:

   Mirna Džamonja, University of East Anglia

   Joseph Halpern, Cornell University

   Agi Kurucz, King's College London

   Martin Otto, Technische Universität Darmstadt

   Mark Reynolds, University of Western Australia

   Adriane Rini, Massey University

   Gabriel Sandu, University of Helsinki


Scope
-----

Authors are invited to submit papers presenting original and unpublished
research in any area of logic and applications. Papers on topics of
current interest in pure and applied logic, foundations and philosophy
of mathematics and the sciences, set theory, model theory, proof theory,
areas of theoretical computer science, artificial intelligence and
other disciplines which are of direct interest to mathematical and
philosophical logic, as well as articles on the relationship between
logic and other branches of knowledge, or on history of logic,
are welcome.

Submitted papers will be peer-reviewed and accepted papers will be
published in the conference proceedings, which will be made available at
the time of the conference. The conference proceedings will appear as a
volume in the Springer Lecture Notes in Computer Science series.

************************************************************************
Deadline for Submission (in electronic form):            13 August  2012
Notification to Authors:                                              1 October 2012
Deadline for camera-ready papers:                           22 October 2012
************************************************************************

Submission
----------

Authors may submit drafts of full papers or extended abstracts. The
submission must not exceed 12 pages in Springer-Verlag Lecture Notes
LaTeX style. If appropriate, proof details omitted in the paper may be
added in an appendix meant for the reviewers. Concurrent submissions to
other conferences/journals are not admissible.

For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.

Important Links
---------------
http://www.imsc.res.in/~icla
http://ali.cmi.ac.in/

The conference poster is available at http://www.imsc.res.in/~icla/poster.pdf

Programme Committee
-------------------

Mihir Kr. Chakraborty (ISI-Kolkata, Jadavpur University)
Roy T. Cook (University of Minnesota)
Rajeev Goré (The Australian National University, Canberra)
Kamal Lodaya (IMSc, Chennai), Chair
David C. Makinson (London School of Economics)
Johann A. Makowsky (Technion)
Angelo Montanari (University of Udine)
Ranjan Mukhopadhyay (Visva Bharati, Santiniketan)
M. G. Nadkarni (IIT-Bombay)
Vineet Padmanabhan (University of Hyderabad)
Anand Pillay (University of Leeds)
R. Ramanujam (IMSc, Chennai)
Slawomir Solecki (University of Illinois, Urbana-Champaign)
Esko Turunen (Tampere University of Technology)
Rineke Verbrugge (University of Groningen)

Organization
------------

Sujata Ghosh (ISI Chennai)
Kamal Lodaya (IMSc, Chennai)
R Ramanujam (IMSc, Chennai), Chair
S P Suresh (CMI, Chennai)

Contact
-------

ICLA 2013
The Institute of Mathematical Sciences
CIT Campus
Chennai 600113, India
Email: icla@imsc.res.in
Phone:  +91 44 2254 3100
Fax:  +91 44 2254 1586
URL:  http://www.imsc.res.in/~icla

TARK 2013: 14th Conference on Theoretical Aspects of Rationality and Knowledge, Chennai, Jan 7-9, 2013: Call for papers

**Apologies for multiple posting**

*Call for Papers*    TARK 2013  14th Conference on Theoretical Aspects of Rationality and Knowledge  January 7-9, 2013  The Institute of Mathematical Sciences, Chennai, India    Conference website: http://www.imsc.res.in/tark/      About the Conference    The mission of the TARK conferences is to bring together researchers  from a wide variety of fields, including Artificial Intelligence,  Cryptography, Distributed Computing, Economics and Game Theory,  Linguistics, Philosophy, and Psychology, in order to further our  understanding of interdisciplinary issues involving reasoning about  rationality and knowledge. Topics of interest include, but are not  limited to, semantic models for knowledge, belief, awareness and  uncertainty, bounded rationality and resource-bounded reasoning,  commonsense epistemic reasoning, epistemic logic, epistemic game  theory, knowledge and action, applications of reasoning about  knowledge and other mental states, belief revision, and foundations of  multi-agent systems.    Invited Speakers  Pierpaolo Battigalli, Bocconi University  Lin Fangzhen, Hong Kong University of Science and Technology  Rineke Verbrugge, University of Groningen      Submissions are now invited to TARK 2013. Extended Abstracts can be  submitted here:  https://www.easychair.org/conferences/?conf=tark2013    Strong preference will be given to papers whose topic is of interest  to an interdisciplinary audience, and papers should be accessible to  such an audience. Papers will be held to the usual high standards of  research publications. In particular, they should 1) contain enough  information to enable the program committee to identify the main  contribution of the work; 2) explain the significance of the work --  its novelty and its practical or theoretical implications; and 3)  include comparisons with and references to relevant literature.    Abstracts should be no longer than ten double-spaced pages (4,000  words). Optional technical details such as proofs may be included in  an appendix. An email address of the contact author should be  included. Papers arriving late or departing significantly from these  guidelines risk immediate rejection.  One author of each accepted  paper will be expected to present the paper at the conference.    Economists should be aware that special arrangements have been made  with certain economics journals (in particular, with International  Journal of Game Theory, Games and Economic Behavior, Journal of  Economic Theory, and Mathematical Social Sciences, so that publication  of an extended abstract in TARK will not prejudice publication of a  full journal version.    TARK 2013 will precede the Indian Conference on Logics and  Applications (ICLA) held from January 10 - 12, 2013, also at the  Institute for Mathematical Sciences in Chennai, India.    TARK 2013 is the 14th conference of the TARK conference series.  Previous conferences have been held bi-annually around the world. The  most recent conference was held 2011 at the University of Groningen,  Netherlands, see http://www.philos.rug.nl/TARK2011/. The proceedings  of all previous TARK conferences can be accessed here  http://www.tark.org/.    TARK 2013 is the first TARK conference to be held in India. It is also  the first TARK conference to be held in January.      Key Dates for TARK 2013  Submission of abstracts: September 3, 2012  Notification of authors: October 29, 2012  Camera ready copy of accepted papers: November 30, 2012  Conference: January 7 - 9, 2013, Institute of Mathematical Sciences,  Chennai, India      Program Committee  Samson Abramsky, Oxford University  Thomas Agotnes, Universitetet i Bergen  Hans van Ditmarsch, Universidad de Sevilla  Amanda Friedenberg, Arizona State University  Aviad Heifetz, The Open University of Israel  Jerome Lang, CNRS and Université Paris-Dauphine  Fenrong Liu, Tsinghua University  Larry Moss, Indiana University, Bloomington  Antonio Penta, University of Wisconsin-Madison  Andres Perea, Maastricht University  Ramaswamy Ramanujam, Institute for Mathematical Sciences, Chennai  Olivier Roy, Ludwig-Maximilians-Universität München  Burkhard C. Schipper, University of California, Davis  Marciano Siniscalchi, Northwestern University  Giacomo Sillari, Scuola Normale Superiore, Pisa  Nobuyuki Suzuki,Shizuoka University  Jonathan Zvesper, London      Local Organizing Committee  Sujata Ghosh, Indian Statistical Institute, Chennai  Kamal Lodaya, Institute of Mathematical Sciences, Chennai  R. Ramanujam, Institute of Mathematical Sciences, Chennai  S. P. Suresh, Chennai Mathematical Institute      Program Chair  Burkhard C. Schipper  University of California, Davis  Department of Economics  One Shields Avenue  Davis, CA 95616, USA  Email: bcschipper-at-ucdavis-dot-edu      Local Organizing Chair  R. Ramanujam  Institute for Mathematical Sciences  CIT Campus, Taramani  Chennai 600 113, India.  Email: tark2013org at gmail dot com      Chair of the TARK Conference Series  Joe Halpern  Cornell University  Computer Science Department  

[DMANET] Postdoc position : "Berth Allocation Problem", "Single Row Facility Layout Problem".

A 1 year post-doc position, starting in October 1, 2012, is offered
jointly by the University of Avignon and the University of Le Havre.
The subject deals with the resolution of the combinatorial
optimization problem of optimally assigning and scheduling some
entities in such a way to minimize the assignment cost as well as the
waiting times. The problem has an application in the management of
port terminal operation. He is known in the academic litterature as
the « Berth Allocation Problem ». But if the scheduling aspect is
omitted then the problem can be classified as a "Single Row Facility
Layout Problem" for which some academical studies will be also
consider. We will focus on deriving, testing and comparing various
mathematical programming approaches in which : decomposition
techniques (lagrangean relaxation, column generation, benders
decomposition), and polyhedral description of a linear formulation.

The applicant is thus supposed to have a good background on
mathematical programming, as well as good programming skills.

The post-doc salary will be around 2200 Eur./Month (funded by FEDER
in the context of a regional project see
http://lmah.univ-lehavre.fr/~michel/wiki-passageportuaire/doku.php).

The applicant will be based in Avignon with some frequent meetings in
Le Havre.

Complementary informations may be asked to : Serigne Gueye
(serigne.gueye@univ-avignon.fr) or Sophie Michel
(sophie.michel@univ-lehavre.fr).

-----------------------------
Serigne Gueye
Maître de Conférences
Université d'Avignon LIA-CERI
339, chemin des Meinajaries
Agroparc BP 91228
84911 AVIGNON Cedex 9, FRANCE
Tél : +33 (0) 4 90 84 35 52
Fax : +33 (0) 4 90 84 35 01
**********************************************************
*
* 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] [WD'12] CFP : Wireless Days 2012 (IEEE Xplore Publication / IEEE & IFIP TCS)

[Announcing IEEE Technical co-Sponsorship and IEEE Xplore publication of
Wireless Days 2011 Proceedings]

[Apologies if you receive multiple copies]

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

CALL FOR PAPERS

IFIP Wireless Days 2012
November 21-23, 2012, Dublin, Ireland
http://www.wireless-days.org/

IEEE and IFIP Technical Co-sponsorship

Conference proceedings will be included in IEEE Xplore

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

Important Dates:
================

Final submission deadline: August 8, 2012
Notification of acceptance: September 12, 2012
Camera-ready version: September 28, 2012

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

Scope:
======

The Wireless Days Conference is a major international conference which
aims to bring together researchers, engineers, students, technologists
and visionaries from academia, research centers and industry, to
exchange, discuss, and share their experiences, ideas and research
results on both the theoretical and practical aspects of wireless
networking.
After the successful editions of Wireless Days 2008 in Dubai, UAE (43.8%
acceptance ratio), Wireless Days 2009 in Paris, France (37.6% acceptance
ratio), Wireless Days 2010 in Venice, Italy (32.6% acceptance ratio),
and Wireless Days 2011 in Niagara Falls, Canada (35% acceptance ratio),
the fifth edition of Wireless Days will be held in Dublin, Ireland, on
November 21-23, 2012. Wireless Days 2012 will include presentations of
both theoretical and experimental achievements, innovative wireless
systems, prototyping efforts, case studies and advances in technology
related to wireless networking and communication infrastructures.

Wireless Days 2012 is technically co-sponsored by IEEE and IFIP and all
accepted and presented Wireless Days 2012 papers will be published in
the IEEE Xplore.

The Wireless Days program will be split into the following six
conference tracks:

- Track 1: Ad Hoc and Sensor Networks
- Track 2: Wireless Network Protocols and Applications
- Track 3: Vehicular and Delay Tolerant Networks
- Track 4: Broadband Wireless
- Track 5: Wireless Models and Simulations
- Track 6: Wireless and Mobile Network Management

Papers Submission:
==================

Submissions should be original and limited to 6 double-column pages
(Maximum of 2 additional pages allowed - 8 pages in total - with
over-length page fee) and should follow IEEE paper templates. Papers are
to be submitted electronically on the EDAS web site of the conference in
PDF format.

http://edas.info//N12631

Special Issues of Journals:
===========================

Selected papers will be invited for publication in special issues of
international journals.

Contacts:
=========

General Chairs and Coordinators of Wireless Week Dublin:
=========================================================
John Fitzpatrick, University College Dublin, Ireland
Yacine Ghamri-Doudane, University Paris-Est (LIGM Lab) and ENSIIE, France
Hamid Nafaa University College Dublin, Ireland
John Murphy University College Dublin, Ireland
Liam Murphy University College Dublin, Ireland

Wireless Days General Chair:
============================

John Holland, Ericsson Ireland
Yacine Ghamri-Doudane, University Paris-Est (LIGM Lab) and ENSIIE, France

Technical Program co-Chairs:
============================

John Fitzpatrick, University College Dublin, Ireland
André-Luc Beylot, University of Toulouse, France

Publication Co-Chairs:
======================
Soufiene Djahel University College Dublin, Ireland
Sidi-Mohammed Senouci, University of Bourgogne, France

Publicity Co-Chairs:
====================
Hamid Nafaa University College Dublin
Carlos T. Calafate, University of Valencia, Spain

Track Chairs:
=============

Track 1: Ad Hoc and Sensor Networks
-----------------------------------
Thierry Gayraud, University of Toulouse, France
Yevgeni Koucheryavy, Tampere University of Technology, Finland
Juan-Carlos Cano, University of Valencia, Spain

Track 2: Wireless Network Protocols and Applications
----------------------------------------------------
Frank Zdarsky, NEC Labs Europe, Germany
David Malone, NUI Maynooth, Ireland

Track 3: Vehicular and Delay Tolerant Networks
----------------------------------------------
Piotr Szczechowiak, Ericsson/Telcordia, Poland
Luis Costa, Federal University of Rio de Janeiro, Brazil

Track 4: Broadband Wireless
---------------------------
Andreas Maeder, NEC Labs Europe, Germany
Marc St-Hilaire, Carleton University, Canada

Track 5: Wireless Models and Simulations
----------------------------------------
Guiseppe Bianchi, University of Roma Tor Vergata, Italy
Douglas Leith, NUI Maynooth, Ireland

Track 6: Wireless and Mobile Network Management
-----------------------------------------------
Michele Nogueira, Federal University of Parana (UFPR), Brazil
Brendan Jennings, TSSG, Waterford Institute of Technology, Ireland

Steering committee:
===================
Khaldoun Al-Agha, University Paris 11, France
Ian F. Akyildiz, Georgia Institute of Technology, USA
Boutaba Raouf, University of Waterloo
Tijani Chahed, Telecom & Management SudParis, France
Pedro Cuenca, Universidad de Castilla-la-Mancha, Spain
Luigi Fratta, Politecnico di Milano, Italy
Mario Gerla, University of California at Los Angeles, USA
Ulf Korner, Lund University, Sweden
Guy Pujolle, University of Paris 6, France
Nadjib Achir, University of Paris 13, France
Khaled Boussetta, University of Paris 13, France

Technical Program Committee:
============================
TBA

See www.wireless-days.org

--
Yacine Ghamri-Doudane, Ph.D
Associate Professor / Maître de conférences HDR

/Research:/
Gaspard Monge Computer Science Laboratory (LIGM)
University Paris-Est Marne-la-Vallée, 75420 Champs sur Marne - France
PASNet Research Group Website: http://igm.univ-mlv.fr/PASNet/

/Teaching:/
ENSIIE - 1 Sq. de la résistance, 91025 Evry CEDEX - France ENSIIE
Website: http://www.ensiie.fr/

/Contact:/
Tel: +33.6.85.93.34.69
Personal Website: http://www.ensiie.fr/~ghamri/.
----------------------------------------------------------------------------

You are receiving this call-for-papers from EDAS, based on your user
profile. To unsubscribe from call-for-paper messages such as this one,
go to "My profile" and update your areas of interest (link at top of
page - http://edas.info/editAreaInterest.php ).
**********************************************************
*
* 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] FPS'2012 CALL FOR PAPERS, Deadline Approaching, Springer LNCS, Montréal, Canada

[Apologies if you receive multiple copies of this message]

***Deadline July 1st, 2012***

******************************************************************
FPS 2012, CALL FOR PAPERS
5th International Symposium on
FOUNDATIONS & PRACTICE OF SECURITY,
(Proceedings by Springer LNCS series)

http://conferences.telecom-bretagne.eu/fps2012/
Montreal, QC, Canada, October 25-26, 2012
******************************************************************

Scope: Protecting the communication and data infrastructure of an
increasingly inter-connected world has become vital to the normal
functioning of all aspects of our world. Security has emerged as an
important scientific discipline whose many multifaceted complexities
deserve the attention and synergy of the mathematical, computer
science and engineering communities.

After the previous meetings held in Montreal, Grenoble, Toronto and
Paris, this fifth edition of the FPS symposium will be held at ETS
(Ecole de Technologie Superieure), in Montreal (QC, Canada), the 25th
and 26th of October of 2012.

The aim of this event is to discuss and exchange theoretical and
practical ideas that address security issues in inter-connected
systems. It aims to provide scientific presentations as well as to
establish links, promote scientific collaboration, joint research
programs, and student exchanges between institutions involved in this
important and fast moving research field.

Topics: we invite papers from researchers and practitioners working in
security, privacy, trustworthy data systems and related areas to
submit their original papers. The main topics, but not limited to,
include:

* Cryptography & Cryptanalysis
* Security in Service Oriented Architectures
* Security in Web Services
* Security Administration
* Policy-based Security Architectures
* Security of Distributed Embedded Middleware
* Access Control Languages
* Trust Management
* Game Theory
* Risk Assessment and Assurance
* Threat Analysis
* Distributed Security Protocols
* Security of Grid Computing
* Malware & Botnet Detection
* Protocol Verification
* Privacy & Sensitive Data Management
* Data Mining
* Security of Cloud Computing
* Watermarking
* Side Channel Attacks
* Monitoring and Auditing
* Privacy in Social Networks
* Information Theoretic Security
* Information Flow
* Security in Ambient Intelligence (AmI) Applications
* Security in Sensor Networks and RFIDs

Submission Guidelines: Papers should be at most 16 pages (using
11-point font), including the bibliography and well-marked appendices.
Committee members are not required to read the appendices, so the
paper should be intelligible without them. All submissions must be
written in English. Authors must submit their papers by the deadline
indicated below, using the EasyChair web site (using the link
http://www.easychair.org/conferences/?conf=fps2012) and following the
requirements stated there. All papers will be refereed. The submitted
contribution should be formatted according to Springer's LNCS style.

Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.

Publication: Proceedings will be published by Springer in
the Lecture Notes in Computer Science (LNCS) series. At least one
author of each accepted paper must register to the symposium, by the
early date indicated by the organizers, and present the paper.

Submission Website: http://www.easychair.org/conferences/?conf=fps2012

Important Dates:
* Paper Submission Deadline: July 1st, 2012
* Paper Acceptance Notification: August 20, 2012
* Camera Ready Version: September 10, 2012

Visit http://conferences.telecom-bretagne.eu/fps2012/ for further
information.
**********************************************************
*
* 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/
*
**********************************************************

Call For Participation: TCS 2012

Call for Participation:

We are pleased to inform you that you can now register for TCS 2012:

http://tcs.project.cwi.nl/Registration

===== General Info =====

The 7th IFIP Conference on Theoretical Computer Science 2012
September 26 - 28, Amsterdam, The Netherlands

The conference Theoretical Computer Science, which is held every two
years, either in conjunction or in the framework of the IFIP World
Computing Congress, is the meeting place of the TC1 community where
new results of computation theory are presented and more broadly experts
in theoretical computer science meet to share insights and ask questions
about the future directions of the field.

TCS Website: http://tcs.project.cwi.nl

TCS 2012 is associated with The Alan Turing Year 2012
(http://www.mathcomp.leeds.ac.uk/turing2012).

Previous conferences of this series were held in Sendai (2000), Montreal
(2002), Toulouse (2004), Santiago (2006), Milano (2008), Brisbane (2010).

===== Venue =====

TCS 2012 will be held at the Centrum Wiskunde & Informatica (CWI),
Amsterdam (http://www.cwi.nl), The Netherlands.

===== Invited Speakers =====

Rajeev Alur
Yuri Gurevich
Jiri Wiedermann

===== Accepted Papers =====

The list of accepted papers is available at:

http://tcs.project.cwi.nl/Program

===== Organisation =====

General chair:

Jos Baeten (http://www.cwi.nl/people/630)

PC co-chairs:

Tom Ball (http://research.microsoft.com/en-us/people/tball/) and
Frank de Boer (http://homepages.cwi.nl/~frb/)

PC committee:

Ahmed Bouajjani
Ana Cavalcanti
Peter Grünwald
Joseph Kiniry
Peter Mueller
David Naumann
Susanne Graf
Juraj  Hromkovic
Martin Kutrib
Aart Middeldorp
Jan Juerjens
Ugo Montanari
Catuscia Palamidessi
Jeff Shallit
Jan Rutten
Davide Sangiorgi
Igor Walukiewicz
Jim Woodcock
Leen Torenvliet

Local Organization:

Susanne van Dam
Michiel Helvensteijn
Hans Hidskes
Joost Winter

[DMANET] Postdoc positions

The CUGS National School of Computer Science (Linköping University, Sweden)
announces 1-3 postdoc positions in the following research areas:

- Autonomous systems and artificial intelligence (Professor Patrick Doherty)
- Security engineering, networks and database and web information systems (Professor Nahid Shahmehri)
- Embedded systems (Professor Zebo Peng)
- Dependable systems and networks (Professor Simin Nadjm-Tehrani)
- Software engineering (Professor Peter Fritzson)
- Theoretical computer science (Professor Peter Jonsson)


For additional information, see

http://www.liu.se/en/job/show.html?4662

**********************************************************
*
* 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/
*
**********************************************************

ToC Special Issue on Rajeev Motwani

Dear Colleagues:

We wish to announce the release of a special issue of the journal Theory of Computing in honor of Rajeev Motwani (1962-2009).

Motwani's outstanding contributions to Theoretical Computer Science, in diverse topics such as probabilistically checkable proofs, algorithmic combinatorics, streaming algorithms, and similarity search, to name just a few, have had an indelible influence on the field.

Rajeev Motwani died tragically on June 5, 2009, at the age of 47, and he is sorely missed by his family, friends, colleagues, and fellow researchers. The articles in this special issue commemorate Rajeev's life, research, and legacy and reflect the breadth of his work. The special issue includes a biographic article compiled by Prabhakar Raghavan, with contributions from friends, colleagues, and members of Rajeev's family. Starting on the 50th anniversary of Rajeev Motwani's birth, March 24 (1962), several articles of the special issue have already appeared and others will be published over the next several months.

We thank all authors for their contributions, and the anonymous reviewers for their meticulous and timely work. We also thank Laci Babai and Oded Regev for their constant support and careful attention to detail in many matters involving this special issue.

Samir Khuller
Sudipto Guha
Guest Editors
Theory of Computing

[DMANET] IPCO 2013 Call for Papers

Announcement and Call for Papers

Call for Papers for the 16th Conference on Integer Programming and
Combinatorial Optimization (IPCO XVI), March 18-20, 2013, to be held
at Universidad Tecnica Federico Santa Maria in Valparaiso, Chile.

Conference website for additional details: http://ipco2013.dim.uchile.cl

The IPCO conference is held every year, except for those in which the
International Symposium on Mathematical Programming takes place. The
conference is a forum for researchers and practitioners working on
various aspects of integer programming and combinatorial optimization.
The aim is to present recent developments in theory, computation, and
applications. The scope of IPCO is viewed in a broad sense, to include
algorithmic and structural results in integer programming and
combinatorial optimization as well as revealing computational studies
and novel applications of discrete optimization to practical problems.

Authors are invited to submit extended abstracts of their recent work
by October 24th, 2012 (note the unusual date); see the submission page
for more information. The program committee will select the papers to
be presented on the basis of the submitted extended abstracts.
Contributions are expected to be original, unpublished and not
submitted to journals or conferences with proceedings before the
notification date (December 13th, 2012). Papers violating these
requirements will not be considered by the Program Committee.

Imporant Dates:
Submission date: October 24th, 2012, noon EDT.
Notification date: December 13th, 2012
Conference: March 18-20, 2013.

Program Committee:
Chandra Chekuri (UIUC)
Bill Cook (Georgia Tech)
Jose Correa (U. Chile, local arrangements chair)
Jesus De Loera (UC Davis)
Michel Goemans (MIT, chair)
Volker Kaibel (U. Magdeburg)
Jon Lee (U. Michigan)
Francois Margot (CMU)
Thomas McCormick (UBC)
Andreas Schulz (MIT)
David Shmoys (Cornell)
Zoltan Szigeti (INP Grenoble)
Robert Weismantel (ETH)
Giacomo Zambelli (LSE)
**********************************************************
*
* 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] Postdoc Research Associate -- University of Liverpool, UK

Postdoc Research Associate -- University of Liverpool, UK
** AGENT-BASED MODELLING OF BANKING SYSTEMS **

Salary up to £35,939 per annum (pro rata)

Working on an ESRC-funded project (Modelling Intraday
Cash Liquidity), you will develop an agent-based model of
the market for inter-bank cash liquidity. The project
partners are the University of Liverpool, University of
Oxford, LSE, University of Warwick, Logica and the Royal
Bank of Scotland.

You will be based in the Economics & Computation Research
Group at the Department of Computer Science, University
of Liverpool, UK, and will work under the supervision of
Dr Rahul Savani.

You should have (or be about to obtain) a PhD in Computer
Science or a closely related discipline and have excellent
communication and programming skills. Experience in
agent-based modelling is desirable. You will be based
primarily at the University of Liverpool and make regular
trips to partner sites. The post is available for 10 months.

Informal enquiries about the position are welcome, and
should be directed to:

Dr Rahul Savani <rahul.savani@liverpool.ac.uk>

Please quote ref: R-579907/WWW

** Closing date for receipt of applications: 20 July 2012 **

FOR FURTHER INFORMATION AND DETAILS ON HOW TO APPLY, GO TO:

http://www.liv.ac.uk/working/job_vacancies/research/R-5799071.htm
**********************************************************
*
* 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] [last call for participation] - International Conference on Complex Systems || Agadir-Morocco

CALL FOR PAPERS
===================================================================
INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS
ICCS'12 is an IEEE technically co-sponsored conference
November 5-6, 2012
Agadir, Morocco
http://iccs12.org
Submission deadline: June 30, 2012
===================================================================

Ibn Zohr University organize in partnership with IEEE Morocco Section;
Spanish Society of General Systems and International Academy for
Systems and Cybernetic Science the International Conference on Complex
Systems.

The city of Agadir, Morocco is considered one of the most attractive
touristic areas on the African continent. Agadir enjoys clement
weather year-round, including the month of November.

ICCS'12 will provide a high-level, international forum for scientists,
researchers, industrial professionals, and students who will present
state-of-the-art research results, address new challenges, and discuss
trends in Computational Intelligence, Cybernetics, General Systems
Theory, and their applications in diverse fields.
==================================================================

PUBLICATION

All presented papers will be published in the conference proceedings
and included in IEEE Xplore Digital Library

Authors of selected papers will be invited to submit extended versions
of their papers to the
International Journal of Computational Intelligence Systems (IJCIS)
Impact Factor 1,471

Extended versions of selected papers will be published in the special
issue of the following journals:

1. International Journal of Artificial Intelligence and Soft
Computing (IJAISC)
2. International Journal of Systems, Control and Communications (IJSCC)
3. International Journal of Applied Evolutionary Computation (IJAEC)
4. International Journal on Information & Communication Technologies (IJICT)

===================================================================
TOPICS

The topics of interest include, but are not limited to:
- Fuzzy Set Theory and Fuzzy Systems
- Fractals, Chaos Theory and Chaotic Systems
- Artificial Neural Networks
- Genetic and Evolutionary Algorithms
- Adaptive Agents and Multi-agent Learning
- Multi-agent Social Simulation and Cognitive Modeling with Agents
- Agent-Based Modeling and Simulation
- Agent and Multi-agent Architectures
- Game Theory, Strategic Decision-Making in Competitive Environments
- Modeling and Control Systems
- Diagnosis and Fault-tolerant Control Systems
- Hardware-Software Co-Design, Embedded Systems
- Complex Biomedical Engineering
- Complex Dynamic Systems and Globalization
- General System Theory and Methodology
- Complex Social and Ecological Systems
- Economical, Political and Juridical Systems
- Socio-Cultural and Behavioral Modeling
- Mathematical Methods in Cybernetics and Systems Theory
- Sociocybernetics and Mathematical Sociology
==================================================================
CONTACT

M. Nemiche
nemiche@uv.es
===================================================================
DEADLINES

Paper Submission: June 30, 2012
ICCS'12 Conference: November 5-6, 2012
**********************************************************
*
* 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] Invitation to paper submission to the special issue of Networks & Spatial Economics on "Quantitative Approaches to Environmental Sustainability in Transportation Networks”

Call for papers

A special issue of Networks & Spatial Economics on "Quantitative Approaches to Environmental Sustainability in Transportation Networks"

Guest Editor: Dr. W.Y. Szeto
Department of Civil Engineering
The University of Hong Kong
Pokfulam
Hong Kong

Scope and topics

Environmental sustainability is closely related to transportation, especially the road network, because vehicle emissions and noise damage the environment and have adverse effects on human health. Some of vehicle emissions are even greenhouse gases that contribute to climate change. It is therefore important to quantify their effect and take their effect into account when designing, planning, managing and controlling transportation networks. Currently, environmental sustainability is a hot topic and many efforts have been put on developing quantitative approaches and transportation network models to address environmental sustainability issues related to transportation. This special issue focuses on the recent advances of quantitative approaches to environmental sustainability in transportation networks. Topics of interest include, but are not limited to, the following:
• bike network design
• bike sharing
• car sharing
• carbon footprint
• electric vehicles
• environmental impact assessment
• environmental-friendly parking fee
• Intelligent transportation systems
• road pricing with environmental externality
• tradable credit and emission pollution permits
• traffic assignment with environmental constraints
• transit network design
• transportation network design
• vehicle emissions
• vehicle noise
You are invited to submit a full paper to this special issue of Networks & Spatial Economics with Science Citation Index (SCI).


Submission method

The length of each paper, including the abstract and references, may not exceed 10,000 words (note that each table, figure, or photograph accompanying the text counts as 250 words). The paper should submit to the online system at
http://www.editorialmanager.com/nets/

and will go through a normal peer review process. During the submission, please choose the article type "S.I: Environmental Sustainability in Transportation Networks", and place "Sustainability SI:" in the original title of the paper. These words will be removed prior to publication.

Selection criteria and paper format

All manuscripts of high quality will be accepted for publication. Criteria for acceptance include originality, contribution, scientific merit, accuracy and readability. The final paper format must follow the standards found in Networks and Spatial Economics:
http://www.springer.com/economics/regional+science/journal/11067

Submission of full paper due: October 15, 2012
Feedback from first-round reviews issued: February 15, 2013
Revised manuscripts due: April 15, 2013
Feedback from second-round reviews issued (if needed): June 15, 2012
Final manuscripts due: August 15, 2012
Planned publication: early 2014

Inquires

Inquires should be directed to
Dr. W.Y. Szeto

Email: ceszeto@hku.hk
Phone: (852) 28578552
Fax: (852) 25595337
Office: RM 526, Haking Wong BLDG.

http://web.hku.hk/~ceszeto/
**********************************************************
*
* 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/
*
**********************************************************

[Researchers] Last CFP: ENIGMA – Brazilian Journal of Information Security and Cryptography - Celebrating Alan Turing Centenary!

 

Today, 23june2012, Celebrating Alan Turing Centenary!

 

ENIGMA – Brazilian Journal 

of Information Security and Cryptography

 

                 Call for Papers

Scope

ENIGMA – Brazilian Journal of Information Security and Cryptography – is a technical-scientific publication that aims at discussing theoretical aspect contributions and practical applications results in information security, cryptography and cyber defense as well as fundamental subjects in support of those issues.

This journal is directed to academia researchers, industry professionals, members of government and military organizations, and all people that have interest in the area of information security and cryptography in order to disseminate and share their new technologies, scientific discoveries and research contributions.

The creation of this periodical is due the necessity to solve a gap represented by the lack of a technical-scientific Brazilian journal that emphasizes information security and cryptography. In this manner, ENIGMA – Brazilian Journal of Information Security and Cryptography – must provide this demand, publishing papers of high quality within the international state-of-the-art.

In this manner, ENIGMA – Brazilian Journal of Information Security and Cryptography – will fulfill this demand, and will publish state-of-art and original research papers and timely review articles on the theory, design, and evaluation of all aspects of information, network and system security.

 

Important Dates

Submission deadline: 01 July 2012 (firm deadline)
Authors notification: 07 January 2013
Camera Ready version: 21 January 2013
Publishing: March 2013

Topics of Interest

Considering the goals presented above, ENIGMA – Brazilian Journal of Information Security and Cryptography – will publish original papers including (but not limited to) the following interest topics:

Authentication and Authorization
Anonymity and Privacy
Attacks on Information Systems
Attacks on Web Applications
Audit of Information Systems

Anti-Phishing, Anti-Spam, Anti-Fraud Techniques

Artificial Intelligence applied to Information Security
Biometrics in Security Systems
Combat Electronic Fraud
Computational Tools
Cryptographic Hash

Cryptographic Engineering
Cryptanalysis Methods
Critical Infrastructure Protection 
Context-Based Security

Database Security

Digital Forensics

Efficient Implementation of Cryptographic Algorithms

Ethical and Legal Implications

Formal Methods for Security

Firewall Evasion Techniques

Game Theory in Information Security

Hacking and Cybercrimes
Honeypots and Honeynets

Hardware Security

Hardware for Information Security

High Performance Computing applied to Information Security

Intrusion Detection and Prevention

Incident Detection and Response

Intellectual Property Protection

Language-Based Security
Large-scale Attacks and Defense
Malware Detection and Analysis
Network Vulnerabilities
Organizational Security Policies 
Public Key Cryptography
Public key infrastructure

Performance Security Solutions
Patents, Standards and Security Norms

Quantum Computing applied to Information Security
Quantum and Post-Quantum Cryptography 
Modeling and Simulation of Security Systems
Software Vulnerabilities

Symmetric Cryptography

Secure Multi-Party Computation
Secure Software Development

Security Measures and Metrics

Security Risk Analysis
Security Protocols
Security in Operating Systems
Security in Service-Oriented Architecture
Security in Cloud Computing
Security in Mobile Communications

Trust Management and Reputation Systems
Validation, Verification, and Security Testing

Instructions for Authors

The papers must represent original contribution and can not be, previous published (or in parallel submission) in any journals, magazines or conferences – printed or electronic.

The submissions can be written in Portuguese, Spanish or English; but, in any case, the title, the abstract and the keyword MUST be in English – since the best papers will be invited to submit extended version to be published at IEEE Latin America Transactions (Xplore, DOI, ISI http://thomsonreuters.com, Qualis). The submission must be in anonymous mode, without author names, affiliation, acknowledgement, or any other obvious reference to the authors. The paper size is from 8 to 12 pages long, and the detailed format instructions are available at http://www.ewh.ieee.org/reg/9/etrans/files/autor_revista_latin_america_r4.zip. All submissions shall be done via JEMS system, developed by SBC (Brazilian Computer Society) at https://submissoes.sbc.org.br/enigma. Late Submission shall not be accepted. For more information please contact journalenigma@gmail.com. The Journal's website is still under construction.

Support

Defense Ministry / Brazilian Army / Department of Science and Technology / Center of Cyber Defense

 

Editor-in-Chief
Eduardo Takeo Ueda

Associate Editor-in-Chief
Mirela Sechi Moretti Annoni Notare

FSTTCS 2012 Call For Papers

Call for Papers
---------------

32nd IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
December 15 to 17, 2012
Hyderabad, India.

Scope
-----

Authors are invited to submit papers presenting original and
unpublished research in any area of Theoretical Computer Science or
Foundational aspects of Software Technology.

Representative areas include, but are not limited to:

* Algorithms and data structures, including randomized and
approximation algorithms, distributed algorithms, geometry,
online and streaming algorithms, fixed-parameter algorithms,
graph algorithms, algorithmic game theory
* Automata and formal languages
* Combinatorial optimization
* Computational complexity, including circuits, communication,
derandomization, PCPs, inapproximability, proof complexity,
structural complexity
* Concurrent, timed and hybrid systems
* Cryptography and security
* Logic in computer science, including finite model theory, modal
and temporal logics, specification, verification, and synthesis
* Programming languages, including semantics, types, program
analysis and correctness


Invited Speakers
----------------

Dimitris Achlioptas (UC Santa Cruz)
Mikolaj Bojanczyk (Institute of Informatics, Warsaw University)
Patrice Godefroid (Microsoft Research, Redmond)
Jiri Matousek (Charles University, Prague)
Madhusudan Parthasarathy (Univ. of Illinois at Urbana-Champaign)
Yuval Rabani (Hebrew University of Jerusalem)


Submissions
-----------

Submissions will be in electronic form via the EasyChair site
(www.easychair.org/conferences/?conf=fsttcs2012). Submissions are
restricted to 12 pages using the LIPIcs LaTeX style file (see
drops.dagstuhl.de/styles/lipics/lipics-authors.tgz). Proofs omitted
due to space constraints may be put into an appendix to be read by
the program committee members/reviewers at their discretion. Authors
should upload pdf files generated using the style file.

Concurrent submissions are not allowed until accept/reject
notification (or submission of the final version, if the submission is
accepted at FSTTCS).

Important Dates
---------------

Submission deadline: July 13, 2012 (Anywhere-on-Earth Time).
Notification to authors: September 12, 2012.
Final version due: October 10, 2012.
Conference: December 15-17, 2012.


Proceedings
-----------

Accepted papers will be published as the proceedings of the Conference
in the Leibniz International Proceedings in Informatics (LIPIcs) (see
www.dagstuhl.de/en/publications/lipics) as a free, open, electronic
archive with access to all. Authors will retain full rights over their
work. The accepted papers will be licensed under the Creative Commons
Attribution-Noncommercial-No Derivative Works 2.5 License (see
creativecommons.org/licenses/by-nc-nd/2.5/in).

For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.

Program Committee
-----------------

Nikhil Bansal (TU Eindhoven)
Surender Baswana (IIT Kanpur)
Sourav Chakraborty (CMI, Chennai)
Thomas Colcombet (LIAFA, Paris)
Amit Deshpande (Microsoft Research, Bangalore)
Volker Diekert (University of Stuttgart)
Deepak D'Souza (IISc, Bangalore) Co-Chair
Chien-Chung Huang (Humboldt-University, Berlin)
Rahul Jain (NUS, Singapore)
Kishore Kothapalli (IIIT, Hyderabad)
Stefan Kratsch (University of Utrecht)
Steve Kremer (INRIA Nancy and LORIA
Marta Kwiatkowska (University of Oxford)
Christof Loeding (RWTH, Aachen)
Rupak Majumdar (MPI-SWS, Kaiserslautern)
Oded Maler (VERIMAG, Grenoble)
Nicolas Markey (LSV, Cachan)
Aranyak Mehta (Google Research)
Madhavan Mukund (CMI, Chennai)
Anca Muscholl (LABRI, Bordeaux)
Sanjiva Prasad (IIT Delhi)
Jaikumar Radhakrishnan (TIFR, Mumbai) Co-Chair
Harald Raecke (TU Munich)
G. Ramalingam (Microsoft Research, Bangalore)
Saurabh Ray (MPI, Saarbruecken)
Rahul Santhanam (University of Edinburgh)
Shubhangi Saraf (IAS Princeton)
Anil Seth (IIT Kanpur)
Nikhil Srivastava (Princeton/CCI)
Kavitha Telikepalli (TIFR, Mumbai) Co-Chair
Wolfgang Thomas (RWTH, Aachen)
Mahesh Viswanathan (Univ. of Illinois, Urbana-Champaign)

Organising Committee
--------------------

R K Bagga (IIIT Hyderabad) Chair
Bruhadeshwar Bezawada (IIIT Hyderabad)
Ashok Kumar Das (IIIT Hyderabad)
Kishore Kothapalli (IIIT Hyderabad)
P J Narayanan (IIIT Hyderabad)
Suresh Purini (IIIT Hyderabad)

For further details see the conference website at www.fsttcs.org.