Network Protocols and Algorithms is a free online international journal, peer-reviewed and published by Macrothink Institute. It publishes papers focused on the design, development, manage, optimize or monitoring any type of network protocol, communication system, algorithm for communication and any protocol and algorithm to communicate network devices in a computer network.

We solicit survey papers and tutorial papers of any topic related with Network Protocols or Algorithms.

Survey papers give an overview of all the research papers done on a particular topic. They should introduce the most relevant achievements from various researchers in a topic. They usually do not contribute anything new but try to sum up what is known about a subject. Survey papers provide a compact overview about the current state of the art in a specific or new emerging area, such as technology, algorithms, systems, etc.

Tutorial papers may address mature or emerging topics of interest related to a particular research or technology area of the journal. They must provide an in-depth survey of a well-defined topic with the option of describing a particular a particular technology or system. Tutorial papers may provide the reader some basic technical understanding and the breadth of research in an existing or emerging technology. Tutorial paper gives the readers the opportunity to gain new insights, knowledge and skills on evolving and emerging research topics in the scope of the journal. They are intended to inspire and guide the readers to better understand existing areas of research or pursue emerging research topics that can lead to creative solutions.

The scope of the journal include, but are not limited to, the following topic areas:

Submission Information:Only original and unpublished research papers will be considered in this journal. Manuscripts must be writen in English. All submissions will be reviewed based on technical merit and relevance. Instructions for authors and submissions can be found in http://www.macrothink.org/journal/index.php/npa/about/submissions

Jaime Lloret MauriEditor in Chief of Network Protocols and AlgorithmsAssociate ProfessorDepartment of CommunicationsPolytechnic University of Valencia

The Fourth International Frontiers of Algorithmics Workshop (FAW 2010) will be held on August 11-13, 2010 at Wuhan University, Wuhan, China.

The Workshop will provide a focused forum on current trends of research on algorithms, discrete structures, and their applications, and will bring together international experts at the research frontiers in these areas to exchange ideas and to present significant new results.

The mission of the Workshop is to stimulate the various fields for which algorithmics can become a crucial enabler, and to strengthen the ties between the Eastern and Western research communities of algorithmics and applications.

Interesting new results in all areas of algorithmics and their applications are welcome. In addition to theoretical work, we are also interested in results that report on experimentaland applied research of general algorithmic interest. Special considerations will be given to algorithmic research that is motivated by real-world applications. Experimental and applied papers are expected to show convincingly the usefulness and efficiency of the target algorithms in practical settings.

The submission deadline is March 1, 2010. FAW'2010 will only acceptelectronic (PS or PDF) submissions. For on-line submission, please go tohttp://www.faw2010.org/ for detailed instructions on submissions.

E-mails will be sent to the authors to confirm the receipt of their submissions within 24 hours. For any problem or question on submissions, please send e-mails to faw2010@sklse.org.

Only previously unpublished new results will be considered for publication.Papers that have already been published at another journal or conference with proceedings, or simultaneously submitted or accepted to another conference with proceedings will not be considered.

A submission should start with the title of the paper, each author's name,affiliation, and e-mail address, and a one-paragraph summary of the results.This should be followed by a scholarly exposition of the ideas, techniques,and a full description of the results achieved. A clear indication of themotivation and comparison with prior or related work should be presented.The paper should not exceed 10 pages, excluding bibliography and appendices,formatted for letter-size paper using 11 point or larger font, with at least one inch margins around.

Submissions that deviate significantly from these guidelines or areunprintable risk rejection without consideration of their merit.

The proceedings of the Workshop will be published by Springer-Verlag in theLecture Notes in Computer Science series, and will be available fordistribution at the Workshop.

Invited Speakers:

To be announced at the Workshop web page.

Special Issues:

Selected high quality papers will be invited to a special issue in the journal of Theoretical Computer Science and in the Journal of Combinatorial Optimization, respectively. The invited paperswill go through the normal reviewing process.

Awards

The Best Paper and the Best Student Paper will be selected for award.A paper is eligible for the Best Student Paper Award only if all authors are full-time students at the time of submission. To indicate the eligibility of a submission for the Best Student Paper Award, please add the phrase "Eligible for Best Student Paper Award" in a separate line at the end of the "Abstract" field in the web form on the submission server as well as in the submitted paper. The Committee reserves the right to decide whether to make an award or not.

Advanced Research Experience for Students and Young Researchers

To provide a unique opportunity for students and young researchers tolearn and develop advanced research perspective and skills, several world leading algorithmic researchers and experts will offer training sessions (1 or 2 hours per session) on how to conduct research and solve problems. The discussions include how to choose research topics, how to formulate models, how to identify specific research problems, how to approach solutions for the target problems, etc. Open problems will be posted, and preliminary possible directions for solving the posted problems will be suggested and discussed. Since the mainpurpose of these training sessions is to help students and young researchers to develop research experience, the style of the sessions will be highly flexible. Professor John Hopcroft, a world famous researcher in the algorithmics field and a Turing Award recipient, will offer a special interactive session called "Round Table with John Hopcroft". Interested researchers will be able to interact closely and work on selected research problems with world class research leaders during the Workshop or even after.

After-workshop Tour

A four-day tour will be organized after the Workshop to visit the beautiful Three Gorges scenic region along the Yangtze River,which is historically and culturally very famous in China and inthe world.

Important Dates:

New Paper Submission Deadline: March 15, 2010Notification of Acceptance/Rejection: April 30, 2010Final Camera-ready Version Due: May 21, 2010Conference: August 11-13, 2010

The Workshop web site http://www.faw2010.org provides moreinformation about the Workshop. For any questions, please e-mail tofaw2010@sklse.org. For more information and pictures of Wuhan and the Three Gorges region, please go to Local Information and Scenery.

Saturday, February 27, 2010

PRESENTATIONThe workshop on Mathematically Structured Functional Programming isdevoted to the derivation of functionality from structure. It is acelebration of the direct impact of Theoretical Computer Science onprograms as we write them today. Modern programming languages, and inparticular functional languages, support the direct expression ofmathematical structures, equipping programmers with tools of remarkablepower and abstraction. Monadic programming in Haskell is theparadigmatic example, but there are many more mathematical insightsmanifest in programs and in programming language design:Freyd-categories in reactive programming, symbolic differentiationyielding context structures, and comonadic presentations of dataflow, toname but three. This workshop is a forum for researchers who seek toreflect mathematical phenomena in data and control.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006.Selected papers were published as a special issue of the Journal ofFunctional Programming (volume 19, issue 3-4).The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP2008.

SUBMISSIONSPapers must report previously unpublished work and not be submittedconcurrently to another conference with refereed proceedings. ProgrammeCommittee members, barring the co-chairs, may (and indeed are encouragedto) contribute. Accepted papers must be presented at the workshop by oneof the authors.

There is no specific page limit, but authors should strive for brevity.

24TH EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH (EURO XXIV)Lisbon, Portugal, July 11-14, 2010www.euro2010lisbon.org

3RD ANNOUNCEMENT, AND EXTENSION OF THE SUBMISSION DEADLINE

*** The extended, and final deadline for the submission of abstracts is March 22, 2010 *** (Other deadlines were changed accordingly)

The 24th European Conference on Operational Research, EURO XXIV, will be held at the Faculty of Sciences of the University of Lisbon, FCUL. This large conference is organized by EURO (The Association of European OR Societies) and APDIO (The Portuguese OR Society), with the support of FCUL and CIO (Operational Research Centre, Portugal).

The Programme and Organizing Committees, chaired by Silvano Martello and Jose Paixao, respectively, are preparing a high quality scientific programme and an exciting social programme for the Conference.

We invite all researchers, academicians, practitioners, as well as students interested in any branch of operational research, mathematical modelling or economic analysis to participate in the conference and to present their papers.

Invited and contributed papers will be organized in parallel sessions. In general, sessions will be a part of conference streams, and streams are grouped by areas.Researchers who want to organize an invited session or contribute a paper within an invited session should contact the appropriate stream organizers.The list of areas, and the current list of accepted streams can be consulted at:http://www.euro2010lisbon.org/index.php?content=streamsContributed papers can be submitted freely.

Abstract submission and registration are done online, via the Conference web page.No participant can present more than one paper at the Conference (but may be a co-author for other papers).Abstracts are limited to max. 600 characters.

Deadline for abstract submission: March 22, 2010,- Notification of acceptance: March 31, 2010,Deadline for early registration: April 15, 2010,Deadline for author registration (for inclusion in the programme): May 7, 2010.

For more detailed information, namely the full Call for Papers and a list of Frequently Asked Questions, please consult the conference site, www.euro2010lisbon.org.

Further proposals for Book or Software Exhibitions, Workshops, and the edition of special issues of Journals are welcome.

We hope that the unique yet heterogeneous character of seductive Lisbon will tempt you to come, and help turning this into a memorable event, both scientifically and socially. See you soon !

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

Friday, February 26, 2010

--------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]]---------------------------------------------------------------------------

--------------------------------------------------------------PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED.--------------------------------------------------------------

Posted: February 26, 2010

One Doctoral Student Position in Information and Communication Technologieson the research project "WORD-LEVEL FORMAL VERIFICATION VIA SMT SOLVING"

is available at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of theUniversity of Trento, Italy, under the joint supervision of

The research activity will be carried out jointly within the Embedded Systems(ES) Research Unit of the Center for Scientific and TechnologicalResearch of the Fondazione Bruno Kessler (FBK), Trento, and the Software Engineering & Formal Methods (SE&FM) Research Program,at Department of Information Engineering and Computer Science (DISI) ofUniversity of Trento.

The research activity will aim at investigating and developing novel techniques, methodologies and support tools for Satisfiability Modulo Theories (SMT) for the verification of WORD-level circuit designs. This work will be part of the "Word-Level Formal Verification via SMT Solving" (WOLFLING) project, a three-year custom research project supported by SRC/GRC (http://grc.src.org/fr/S200802_Call.asp), in strict collaboration with the Formal Verification Group at Intel, Haifa, Israel.

SMT tools will be developed on top of the MathSAT SMT platform (http://mathsat4.disi.unitn.it), and Formal Verification tools will bedeveloped on top of the NuSMV Model Checking platform (http://nusmv.fbk.eu).Both platforms are jointly developed and maintained by ES and SE&FM.

The selected candidate will be initially enrolled in a stage and, ifhe/she passes the selection of the Ph.D. school, he/she will be enrolled asPh.D. students. Ph.D. courses will start in Autumn 2010, and thethesis must be completed in three or four years. People enrolled in astage and subsequent Ph.D. courses are expected to move to Trento, andwill receive monetary support during both phases of their activity.

Candidate Profile=================

The ideal candidate should have an MS or equivalent degree in computerscience, mathematics or electronic engineering, and combine solidtheoretical background and excellent software development skills.

The candidate should be able to work in a collaborative environment,with a strong commitment to reaching research excellence and achievingassigned objectives.

The Embedded Systems Unit is part of Fondazione Bruno Kessler,formerly Istituto Trentino di Cultura, a public research institute ofthe Autonomous Province of Trento (Italy), founded in 1976. Theinstitute, through its center for the scientific and technologicalresearch, is active in the areas of Information Technology,Microsystems, and Physical Chemistry of Surfaces andInterfaces. Today, FBK is an internationally recognized researchinstitute, collaborating with industries, universities, and public andprivate laboratories in Italy and abroad. The institute's applied andbasic research activities aim at resolving real-world problems, drivenby the need for technological innovation in society and industry.

The SW Engineering & Formal Methods Research Program at DISI============================================================

* Applications of Propositional Satisfiability (SAT) to various domains.

The R.P. is part of the Department of Information Engineering and Computer Science, DISI (http://disi.unitn.it/) of University of Trento. University of Trento in the latest years has always been rated among thetop-three small&medium-size universities in Italy. DISI currently consists of 50 faculties, 68 research staff and supportpeople, 21 postdocs and 146 Doctoral students, plus administrative andtechnical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. These disciplines above are studiedindividually but also with a strong focus on their integration,

Location========

Trento is a lively town of about 100.000 inhabitants, located 130 kmsouth of the border between Italy and Austria. It is well known forthe beauty of its mountains and lakes, and it offers the possibilityto practice a wide range of sports. Trento enjoys a rich cultural andhistorical heritage, and it is the ideal starting point for day tripsto famous towns such as Venice or Verona, as well as to enjoy greatnaturalistic journeys. Detailed information about Trento and itsregion can be found at http://www.trentino.to/home/index.html?_lang=en.

The 37th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place from 5-11 July 2010 in Bordeaux, France. The main conference will be preceded and followed by a series of Workshops. The workshops will take place on Monday 5 July 2010, and on Sunday 11 July 2010 (i.e., one day before and one day after ICALP).

Workshop proposals are invited for workshops

***** !!! TO BE HELD ON SUNDAY 11 JULY 2010 ONLY !!! ******

on topics related to all aspects of theoretical computer science. (A workshop may relate to any of the three tracks of ICALP, but also workshop proposals related to other aspects of theoretical computer science will be considered.) Typically, ICALP workshops feature a number of invited speakers and a number of contributed presentations. ICALP workshops do not necessarily produce formal proceedings. However, in the past there have been e.g. LNCS proceedings or special issues of journals based in part on some ICALP workshops. Workshop proposals should include:

* Title of the workshop * Person responsible for the workshop (name + email address) * A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the ICALP community. * A discussion of the proposed format and agenda. * The proposed duration (e.g. half a day or one day). This is important! (Please, note again that this 2nd call for workshops only concerns workshops to be held on Sunday 11 July 2010.) * Procedures for selecting participants and papers. * Expected number of participants. This is important! * If the workshop has taken place before, please provide the following information: - How often has the workshop taken place so far? - Which conference(s) has the workshop been collocated with so far? - Please provide the web address of the last workshop, if available. - How many participants took part in the last workshop? * Potential invited speakers. * Plans for dissemination (for example, special issues of journals).

Proposals are due on 15 March 2010, and should be submitted electronically to the Workshops Chair:

Notifications will be sent by 31 March 2010. The Workshops selection committee consists of the ICALP Conference Chairs and the ICALP Workshops Chair.

Further information:-------------------In accordance with EATCS policies, any workshop collocated with ICALP is expected to befinancially independent. However, the registration fee should be as low as possible.

We provide the following aspects of the workshop organisation:- registration- coffee breaks, wireless access, conference rooms, lunches, booklet, ... (as for ICALP)- a link to the web page of the workshop

We do NOT provide:- hotel reservation (as for ICALP)- All scientific aspects of the program of the workshop (e.g. call for papers, notification, program, workshop webpage, ...) are managed by the responsible of the workshop.- Call for Papers, neither Call for Participation- publicity for the workshop

ICALP 2010 is organised by the INRIA Bordeaux - Sud-Ouest research center in collaborationwith the LaBRI, computer science laboratory of CNRS and the University of Bordeaux.

SUBMISSIONS For the workshop, (extended) abstracts are to be submitted. They mustbe in English and should not exceed 4 pages in IEEE double columnformat. They must be unpublished and must not be submitted forpublication elsewhere. Those that are accepted will appear in theworkshop proceedings, and must be presented by one of the authors.Submissions will be handled by the EasyChair system. Full papers will besubmitted to a special issue of the journal Numerical LinearAlgebra with Applications (NLAA) after the workshop.

Selected papers will appear in a special issue of the Elsevier PerformanceEvaluation Journal.

SCOPE AND TOPICS:

The International Conference on Quantitative Evaluation of SysTems (QEST)is the leading forum on evaluation and verification of computer systemsand networks, through stochastic models and measurements. QEST has a broadrange of interest - the common thread is that the evaluation bequantitative. The range of performance metrics of interest spans classicalmeasures involving performance and reliability, as well as quantificationof properties that are classically qualitative, such as safety,correctness, and security. QEST welcomes measurement-based studies as wellas analytic studies. QEST welcomes diversity in the model formalisms andmethodologies employed, as well as development of new formalisms andmethodologies. QEST is keenly interested in case studies that highlightthe role of quantitative evaluation in the design of "systems", where thenotion of system is broad. Systems of interest include computer hardwareand software architectures, communication systems, embedded systems, andbiological systems. Moreover, tools for supporting the practicalapplication of research results in all of the above areas are of specialinterest, and therefore tool papers are sought. Tool demonstration papersthat describe a relevant tool, as well as its features,evaluation, or any other information that may demonstrate the merits ofthe tool.In short, QEST aims to create a sound methodological basis for assessingand designing systems using quantitative means.

SUBMISSIONS:

Submissions must be in English, IEEE double-column format, andmust indicate the above paper type. Electronic submission instructions maybe found at www.qest.org. Submitted papers should not exceed 10 pages (2for tool demonstrations). Additional material for the aid of the reviewers(e.g., proofs) can be included in a clearly marked appendix. Papers mustbe unpublished and must not be submitted for publication elsewhere. PCmembers, except program co-chairs, may submit papers.

All accepted papers (including tool demonstrations) will appear in theConference Proceedings published by the IEEE Computer Society Press, andmust be presented at the conference by one of the authors. A best-paperaward will be presented at the conference.

TUTORIALS:

There will be one day of tutorials at the start of the conference.Tutorial proposals (up to 4 pages) should be sent to the Tutorial Chair.

TOOL PRESENTATIONS:

Sessions will be arranged to present and demonstrate tools relevant to anyconference topic. Accepted tool descriptions will appear in the conferenceproceedings.

COLT 2010 will include a session devoted to the presentation of open problems.A description of these problems will also appear in the COLT proceedings.

The write-up of an open problem should include the following:

1. A clear, self-contained description of an open problem 2. Motivation for the study of this problem 3. The current state of understanding for this problem, including known partial solutions and citations of related published work

We especially encourage people to propose descriptions of new interesting research directions in areas that are currently outside the scope of COLT, such as bioinformatics, privacy and security, and vision, to name a few. Ideally, your open problems or research directions should include well-defined mathematical questions, nontrivial, and explainable without requiring too much specialized background knowledge in a 5-10 minutes talk. Monetary rewards for solving an open problem are encouraged but not required. Format and submission: The open problems should be 1-2 pages long in the COLT proceedings format.

Please submit them electronically to open@colt2010.org with subject line"open problem for Colt2010". The submissions, in pdf or ps, should be attached to the email.

This position is a mixed University/CNRS permanent position, which, besides, offers during a 5 year duration the following advantages:- a 64 h/year teaching duty ;- an individual 6000 Euros/year bonus for a young doctor and a 10000 Euros/year bonus for an experienced searcher (at least 5 in a previous academic position) ;- a 15000 Euros/year subside dedicated to scientific activity.

Applying for this position is open to young doctors as well as to experienced searchers, independently of their origin and nationality.

Profile: The candidate should be able to identify his activity with at least one of the following keywords : Operations Research, Combinatorial Optimization, Graphs/Algorithms, Applications to Emerging Systems (Web, Sensors Networks, Transportation Systems…).

Commentary.The LIMOS laboratory structures its activity around algorithm and sofware design for application related to the management of complex systems (telecommunication networks, transportation networks, ecosystems, production systems). So, it mixes fundamental and application oriented approaches, and focuses on the following topics:

The common feature which those projects share is related to modelling and to combinatorial algorithm and software design. The laboratory is interested in recruiting some high level searcher, who might be either a young doctor or some experienced searcher, with focus on discrete algorithms (Operations Research, Disc. Maths.) and who would try to link this research with new applications related to emerging data management technologies : sensor networks, web services, transportation systems, while contributing to the development of international partnerships with China, Canada, Australia.

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

Thursday, February 25, 2010

The 5th Conference on Logic, Computability and Randomness will be held at Notre Dame May 24-28, 2010. The arrival day is May 23 and the meeting will end by 1pm on the 28th. The meeting web page is http://math.nd.edu/conferences/AlgoRandomness/. This web page has new information about speakers, lodging, and the conference dinner.

This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness.

Ph.D. Positions in Algorithms, Computational Geometry at University ofLugano, Switzerland

At the Faculty of Informatics, University of Lugano, Switzerland,http://www.inf.usi.ch/, there is an immediate opening for a PhD studentin Computer Science in the area of Algorithms and Computational Geometry under a project entitled: "Generalized Voronoi diagrams of polygonalobjects: algorithms and applications". The project is funded by theSwiss National Science Foundation for a time period of three years(extension possible). More positions in the area of Algorithms maybecome available this Spring.

This project will investigate open problems on generalized Voronoidiagrams of polygonal objects as motivated by concrete applications.Voronoi diagrams are among the most fundamental structures inComputational Geometry and they have proved to be powerful tools insolving diverse and seemingly unrelated computational problems. Researchwill combine the design and analysis of efficient algorithms,combinatorial issues, as well as implementation and application issues.

Applicants should have a Masters degree in Computer Science (orequivalent) and an affinity with algorithms. Some experience inimplementation and experimentation is expected. Candidates with a strongbackground in the design and analysis of algorithms will be preferred.Fluency in English is required.

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

Wednesday, February 24, 2010

The Student Session is organized as part of the Fourth North AmericanSummer School in Logic, Language, and Information to be held inBloomington, IN USA from June 20-26, 2010.

ABOUT THE STUDENT SESSION

The NASSLLI Student Session provides an opportunity for pre-doctoralstudents to present original, unpublished work to an interdisciplinaryaudience. Authors will also receive useful feedback on theirsubmissions from multiple reviewers. We invite submissions in allareas related to the school: logic, computation, language, and anycombinations thereof.

Papers to the Student Session must represent original work. Theyshould be written with an eye towards two audiences: the widemulti-disciplinary body of students and researchers who will attendNASSLLI, and also the narrower set of people in the particular area ofthe paper. In short, they should be substantial contributions that canbe appreciated by both insiders and outsiders.

Submissions should be formatted as PDF files, and should not exceed 10pages.

All authors on the papers need to be pre-doctoral students.

Please make your submission at the EasyChair site for the NASSLLIStudent Session by the deadline listed below. Submissions will bereviewed by the Student Session's program committee and additionalreviewers.

All presenters at the Student Session will be required to register forNASSLLI.

The registration fee for authors presenting a paper will correspond tothe early student registration fee. There will be no reimbursement fortravel costs and accommodation. Presenters who have difficulty infinding funding should contact the local organizing committee to askfor the possibilities for a grant.

---Samuel FioriniAssistant ProfessorDepartment of MathematicsUniversite Libre de BruxellesURL : http://homepages.ulb.ac.be/~sfiorini*********************************************************** * 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/***********************************************************

Aims and Scope: The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems).

The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.

IMPORTANT DATES Submission deadline for abstracts: April 30, 2010 Notification of acceptance: May 23, 2010 Final abstract due: June 13, 2010 Workshop: July 1-4, 2010

Workshop Format and Location: The workshop will take place over four days, Thursday to Sunday, at Schloss Etelsen, www.schloss-etelsen.de, a castle located near Bremen. Presentations will be selected on the basis of submitted abstracts. Three talks will be given by invited speakers.

Submissions: The scientific program of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of the submitted abstracts according to originality, significance, and general interest.

The abstracts have to be submitted electronically according to the instructions published on the workshop web site. The final versions of the selected abstracts will be included in a hand-out for the workshop participants.

After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which is expected to be published as a volume of Lecture Notes in Computer Science (Springer Verlag).

Sponsorship: The workshop takes place under the auspices of IFIP WG 1.3, and is sponsored by IFIP TC1, University of Bremen, and DFKI GmbH. The event is organized by the Computer Science Department of the University of Bremen and the DFKI Bremen group Safe and Secure Cognitive Systems.

There will be an on-site book of abstracts. Post-conference proceedingsof selected extended abstracts (6 pages) will be published by Springer.All accepted abstracts shall be presented at the conference.

Space is still available for those wishing to participate in the workshop and stay at CIRM, especially if you are willing to share a double room. The price for a shared double room is 67 euros per night and per person. (It seems likely that the capacity forsingle rooms at CIRM has already been fully filled by thosealready registered.)

We hope to see you in Marseilles!

Sincerely,

The EWMINLP Program Committee

Pierre BonamiLeo LibertiAndrew MillerAnnick Sartenaer*********************************************************** * 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/***********************************************************

Lehigh University is seeking applications and nominations for a Presidential Endowed Professorship in Health in the Natural Sciences or Engineering fields as an important component of a university-wide health initiative. We encourage applications from established scholars open to cross-disciplinary collaboration and whose research activities intersect with those of existing groups at Lehigh University. We offer a uniquely supportive environment for cross-disciplinary research over a broad range of fields, and we seek a dynamic individual who would thrive in such an environment and could serve as a catalyst for new cross-cutting research collaborations. Candidates for the Presidential Chair must have a distinguished record in health-related research in the natural sciences or engineering disciplines and a record of external funding to support their research endeavors.

Appointment, at the Associate or Full Professor rank, will include a competitive salary and start-up package, and will be in the appropriate disciplinary department. A concurrent search is also underway in the social sciences and humanities. Additional information about the health initiative is available at *http://www.lehigh.edu/healthsearches/scienceandengineering/*.

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

part of the 33rd International Conference in Software Engineering (ICSE 2011) 21-28 May 2011, Waikiki, Honolulu, Hawaiihttp://2011.icse-conferences.org/content/score**********************************************************************

Finals of the second Student Contest on Software Engineering (SCORE)will be held at ICSE 2011 in Waikiki. Teams of undergraduate andM.S. students from all over the world will compete on projects chosenfrom a diverse list. SCORE projects can be undertaken in the contextof software engineering courses, and student teams will also interactwith a project stakeholder from the SCORE committee.

The SCORE Contest is aimed at promoting and fostering softwareengineering in universities worldwide. Evaluation of submittedprojects includes an assessment of overall project quality (not onlycode). Overall awards and special recognitions for projects usingformal methods and geographically distributed projects will be made.Students and instructors have enthusiastically reported thatparticipating in SCORE enlivens the project experience.

IMPORTANT DATES:* February 2010: Publication of the project topics on the SCORE website; team registrations open.* March 2010: Teams may start to submit summary reports (submissions open).* 30 November 2010: Registration for participation closes.* 15 January 2011: Submission for the summary reports closes.* 15 February 2011: Selection of the semi-finalist teams, among which the finalists of the contest will be selected.* 28 February 2011: Deadline for the submission of the final deliverable.* 28 March 2011: Announcement of the finalists, who will be invited to ICSE 2011.* ICSE 2011 (May 21-28 2011): Final evaluation and presentation of the awards.

The submission deadlines are designed to accommodate participationby teams in one-semester software engineering courses worldwide.

The ALGOSENSORS workshop series aims to bring together researchcontributions related to diverse algorithmic and complexity theoreticaspects of wireless sensor networks. Starting with ALGOSENSORS 2010, wealso strongly encourage submissions about related types of networkssuch as ad hoc wireless networks, mobile networks, radio networks anddistributed systems of robots. Topics include but are not limited to:

Authors are invited to submit manuscripts reporting original researchon topics related to the workshop. Simultaneous submission to otherconferences is not allowed. Papers should not exceed twelve (12) pagesof text using at least 11 point size type, including references,figures, tables, etc., preferably formatted in the LNCS style.Additional material may be added at a clearly marked appendix to beread at the discretion of the program committee members. Authors mustsubmit their papers electronically via Web page:http://www.algosensors.org. All papers will be peer reviewed andcomments will be provided to the authors. Authors need to make surethat for each accepted paper at least one author will attend theworkshop.

Josep Diaz, Technical University of Catalonia Jan van Leeuwen, University of Utrecht Sotiris Nikoletseas, University of Patras and CTI (Chair) Jose Rolim, University of Geneva Paul Spirakis, University of Patras and CTI

The ALGOSENSORS workshop series aims to bring together researchcontributions related to diverse algorithmic and complexity theoreticaspects of wireless sensor networks. Starting with ALGOSENSORS 2010, wealso strongly encourage submissions about related types of networkssuch as ad hoc wireless networks, mobile networks, radio networks anddistributed systems of robots. Topics include but are not limited to:

Authors are invited to submit manuscripts reporting original researchon topics related to the workshop. Simultaneous submission to otherconferences is not allowed. Papers should not exceed twelve (12) pagesof text using at least 11 point size type, including references,figures, tables, etc., preferably formatted in the LNCS style.Additional material may be added at a clearly marked appendix to beread at the discretion of the program committee members. Authors mustsubmit their papers electronically via Web page:http://www.algosensors.org. All papers will be peer reviewed andcomments will be provided to the authors. Authors need to make surethat for each accepted paper at least one author will attend theworkshop.

Josep Diaz, Technical University of Catalonia Jan van Leeuwen, University of Utrecht Sotiris Nikoletseas, University of Patras and CTI (Chair) Jose Rolim, University of Geneva Paul Spirakis, University of Patras and 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/***********************************************************

We would like to inform you of the upcoming 10th Canadian Summer School onQuantum Information & Research Workshop.

Save the dates: July 17-30, 2010Location: University of British Columbia, Vancouver, BCFor more information, visit our website: qi10.caContact us: info@qi10.ca

This summer school on quantum information marks the 10th anniversary of thehighly renowned series. This year the emphasis will be on quantum algorithmsand models of quantum computation, with particular attention to mathematicalmethods. This summer school also includes a research workshop on quantumalgorithms, computational models, and foundations of quantum mechanics, heldduring July 23 - 25. We would appreciate that you help to disseminate theinformation of this event to your colleauges, postdocs and students.

Modern sensor and wireless networks have been becoming more and morelarge-scaled and complicated. Due to their rapidly increasing scale and complexity, themanagement and maintenance of sensor and wireless networks have posed many grand challengesto both industrial and academic communication communities. To overcome these challenges, it isvery necessary to find new levels of autonomy and intelligence in deploying, managing, andmaintaining sensor and wireless networks.

The purpose of the 2010 International Workshop on Intelligent Sensor andWireless Networks (IntelNet 2010) is to bring together scientists, researchers, professionals,and practitioners from both industry and academia to exchange ideas, discuss solutions, shareexperiences, and report state-of-the-art research results on various aspects of intelligent sensorand wireless networks. The topics of interest include, but are not limited to:

Authors are invited to submit manuscripts reporting original unpublishedresearch and recent developments in the topics related to the workshop. The length of the papersshould not exceed 6 pages + 2 pages for overlength charges (IEEE Computer SocietyProceedings Manuscripts style: two columns, single-spaced), including figures andreferences, using 10 fonts, and number each page. Papers should be submitted electronically inPDF format by sending it as an e-mail attachment to Xiaolong Jin (x.jin@bradford.ac.uk).All papers will be peer reviewed and the comments will be provided to the authors. The acceptedpapers will be published together with those of other workshops by the IEEE ComputerSociety Press.

Distinguished papers, after further extensions, will be published in CIT2010's special issues of the following prestigious SCI-indexed journals:

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

Monday, February 22, 2010

Many positive changes in the last two years at NSF and CISE have led to increased funding opportunities for researchers in the areas of emerging computing models and technologies. These changes also serve to align better the intellectual agenda of these research areas with programs in the CISE Division of Computing and Communications Foundations (CCF).

First, widespread recognition that the era of continuous performance improvements in computing hardware is coming to an end led NSF to initiate a multi-directorate investment in Science and Engineering Beyond Moore's Law (SEBML). SEBML challenged the community not only to address how to exploit and manage parallelism in the multi- and many-core architectures of today, but also to explore non-silicon substrates of tomorrow, e.g., bio, nano, and quantum. The FY11 President's Request to Congress for SEBML is over $70 million, an increase of 50% over the FY10 level. FY11 funding will continue to support all areas in SEBML as before, with a specific spotlight on quantum information science.

Second, programmatic changes within CCF meant that research areas funded within the single former Emerging Models and Technologies (EMT) program are now funded by multiple CCF programs, to reflect a better alignment of shared research sensibilities and interests in the different communities. The realignment also enables former EMT researchers increased funding opportunities.

In the interests of transparency, we provide you with the details of this realignment. The core programs in CCF are now Algorithmic Foundations (AF), Communication and Information Foundations (CIF), and Software and Hardware Foundations (SHF). The former EMT program grouped together three different research areas: quantum computing and communication; nanocomputing, bionanocomputing and biocomputing; and computational biology. While the unifying theme for all areas (except computational biology) was that they had the goal of building computers with non-silicon substrates, we felt that in terms of research techniques and approaches these areas were not so closely related. The main criterion for our programmatic changes was to group together areas that had close intellectual affinity into the same programs.

Thus, quantum computing (where the major research emphasis is on algorithms and complexity) was put in the Algorithmic Foundations (AF) program and quantum communication (with its focus on topics like channel capacity) was put in the Communication and Information Foundations (CIF) program.

Since much of the CISE research on nanocomputing seeks to engineer nano "hardware" it was put in the Software and Hardware Foundations (SHF) program alongside other program areas focused on nanotechnology and design automation for nanotechnology. Similarly, bionanocomputing and biocomputing, which also explore building computing devices possibly out of biological molecules and/or inspired by living systems were placed in the SHF program.

Computational biology based on algorithmic research for biological problems naturally fit in with AF. Applications of formal methods to biology, along with other formal methods research falls within SHF. Research on communication and signal processing in biological systems naturally fit in CIF.

In summary, research in emerging models and technologies is classified into AF, CIF, and SHF by the CISE techniques and concepts used.

While we feel that this taxonomy makes scientific sense, the research community does not really need to remember the details of the changes. A small group of CCF Program Directors spanning the three core programs—AF, CIF, and SHF—handle all proposals in the former EMT. There is a lot of communication within this group to effect the optimal programmatic placement of proposals received. There is also a lot of communication with PDs in allied areas such as bioinformatics in CISE's Division of Information and Intelligent Systems (IIS). With the synchronized deadlines for all CISE core and cross-cutting programs, we make a concerted effort to ensure that your proposal will be managed by the most appropriate Program Director and get assigned reviewers with the relevant expertise.

Perhaps surprisingly, the former EMT did not jointly fund many proposals with other directorates or divisions within CISE. This new structure creates more opportunities for individual areas to build such bridges. In this past year, we have made concrete progress on two fronts. First, we work closely with the Directorates for Engineering, and Mathematical and Physical Sciences, and the Office for Cyberinfrastucture on research in quantum information science; indeed, NSF, with CISE leadership, also works with other federal agencies on QIS. Second, a team of Program Directors in CISE and the Directorate for the Biological Sciences (BIO) work closely to highlight the deep connections between fundamental concepts in the two fields; their aim is to encourage a new kind of partnership to jointly investigate these concepts. Overall, CISE and CCF continue to make a significant investment in the areas of the former EMT program and expect to support research in these areas at a level more than in previous years.