INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FUTURE COMPUTING 2013.
The submission deadline is January 29, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== FUTURE COMPUTING 2013 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
FUTURE COMPUTING 2013, The Fifth International Conference on Future Computational Technologies and Applications
May 27 - June 1, 2013 - Valencia, Spain
General page: http://www.iaria.org/conferences2013/FUTURECOMPUTING13.html
Call for Papers: http://www.iaria.org/conferences2013/CfPFUTURECOMPUTING13.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2013/SubmitFUTURECOMPUTING13.html
Submission deadline: January 29, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
Please note the Poster and Work in Progress options.
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html
FUTURE COMPUTING 2013 Topics (topics and submission details: see CfP on the site)
Computational intelligence strategies
Cognitive computing; Intelligent computation; Ambient computing; Unconventional computing; Indeterminist computing; Adaptive computation; Autonomic computation; Computation under uncertainty; Chaotic computation; Intentional computing; Anticipative computing; Evolutionary computing
Mechanism-oriented computing
Spatial computation; Elastic computing; Human-centered computing; Embedded computing; Entertainment computing; Time-sensitive/temporal computing; Soft computing (fuzzy logic, neural computing, evolutionary computation, machine learning, and probabilistic reasoning + belief networks, + chaos theory + learning theory)
Large-scale computing strategies
Distributed computing; Parallel computing; Macro- and micro-computing; Activity-based computing; Data intensive computing; Resource-constraint computing; Grid computing; Cloud computing; Cluster computing; On-demand computing; Ubiquitous/pervasive computing
Computing technologies
Quantum computing; Optical computing; DNA (genetic) computing; Molecular computing; Reversible computing; Billiard Ball computing; Neuronal computing; Magnetic computing; Gloopware computing; Moldy computing; Water wave-based computing; Graphene-based computing
Technology-oriented computing
Peer-to-Peer computing; Mobile computing; Sensor-based computing; Wireless computing; Trusted computing; Financial computing; Genetic computation
------------------------
Committee: http://www.iaria.org/conferences2013/ComFUTURECOMPUTING13.html
================================================
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Sunday, January 27, 2013
Saturday, January 26, 2013
[ISBRA-L] Full Professor - Bioinformatics
The Department of Computer Science at Georgia State University invites
applications for an anticipated position of Full Professor in the
bioinformatics area beginning Fall Semester 2013, pending budgetary
approval. Earned Ph.D. in Computer Science or a related discipline is
required. An offer of employment will be conditional on background
verification.
This position is part of a university-wide initiative that is seeking
to hire excellent faculty in several interdisciplinary areas.
Prospective candidates should demonstrate ability to bring national
and international recognition to the department as a center of
excellence for bioinformatics research and education. The hired
applicant is expected to to bring in major extramural funding, mentor
junior faculty, recruit top-quality Ph.D. students, and foster
interdisciplinary research collaborations among faculty in various
departments in GSU.
Georgia State University, founded in 1913, is a Carnegie RU/VH
(Research University/Very High Research Activity) institution. Located
in the heart of downtown Atlanta, this major research university has
an enrollment of more than 30,000 undergraduate and graduate students
in eight colleges. Georgia State is the second-largest university in
the state, with students coming from every county in Georgia, every
state in the nation, and from over 145 countries. Georgia State
University is currently embarking on a record $1 billion campus
expansion. The Computer Science Department offers programs leading to
the B.S., M.S., and Ph.D. degrees in computer science. Currently, 20
out of more than 60 Ph.D. students are involved in bioinformatics
research. They are supervised by 10 faculty members fully or
substantially involved in bioinformatics research through
collaboration with Computer Science and Biology faculty. Departmental
computing facilities for research and instruction include a
departmental network of PCs, Unix/Linux workstations, two
interconnected Beowulf clusters, and a 32-processor supercomputer.
The department?s faculty attracts substantial funding from many
federal agencies, including five NSF CAREER Awards.
Women and minorities are particularly encouraged to apply. Applicants
should send letter of interest, C.V., and three letters of
recommendation to:
Dr. Yi Pan, Chair
2CI Bioinformatics
Department of Computer Science
Georgia State University
34 Peachtree Street, Suite 1450
Atlanta, Georgia 30303
Applications can also be sent via email to search4bio@cs.gsu.edu and
will be accepted until position is filled.
_______________________________________________
To modify subscription preferences or unsubscribe from the ISBRA-L mailing list visit http://dna.engr.uconn.edu/cgi-bin/mailman/options/isbra-l/theorynt%40listserv.nodak.edu
applications for an anticipated position of Full Professor in the
bioinformatics area beginning Fall Semester 2013, pending budgetary
approval. Earned Ph.D. in Computer Science or a related discipline is
required. An offer of employment will be conditional on background
verification.
This position is part of a university-wide initiative that is seeking
to hire excellent faculty in several interdisciplinary areas.
Prospective candidates should demonstrate ability to bring national
and international recognition to the department as a center of
excellence for bioinformatics research and education. The hired
applicant is expected to to bring in major extramural funding, mentor
junior faculty, recruit top-quality Ph.D. students, and foster
interdisciplinary research collaborations among faculty in various
departments in GSU.
Georgia State University, founded in 1913, is a Carnegie RU/VH
(Research University/Very High Research Activity) institution. Located
in the heart of downtown Atlanta, this major research university has
an enrollment of more than 30,000 undergraduate and graduate students
in eight colleges. Georgia State is the second-largest university in
the state, with students coming from every county in Georgia, every
state in the nation, and from over 145 countries. Georgia State
University is currently embarking on a record $1 billion campus
expansion. The Computer Science Department offers programs leading to
the B.S., M.S., and Ph.D. degrees in computer science. Currently, 20
out of more than 60 Ph.D. students are involved in bioinformatics
research. They are supervised by 10 faculty members fully or
substantially involved in bioinformatics research through
collaboration with Computer Science and Biology faculty. Departmental
computing facilities for research and instruction include a
departmental network of PCs, Unix/Linux workstations, two
interconnected Beowulf clusters, and a 32-processor supercomputer.
The department?s faculty attracts substantial funding from many
federal agencies, including five NSF CAREER Awards.
Women and minorities are particularly encouraged to apply. Applicants
should send letter of interest, C.V., and three letters of
recommendation to:
Dr. Yi Pan, Chair
2CI Bioinformatics
Department of Computer Science
Georgia State University
34 Peachtree Street, Suite 1450
Atlanta, Georgia 30303
Applications can also be sent via email to search4bio@cs.gsu.edu and
will be accepted until position is filled.
_______________________________________________
To modify subscription preferences or unsubscribe from the ISBRA-L mailing list visit http://dna.engr.uconn.edu/cgi-bin/mailman/options/isbra-l/theorynt%40listserv.nodak.edu
Faculty position, CS Dept, U of Sao Paulo, Brazil
University of São Paulo
Institute of Mathematics and Statistics
Department of Computer Science
Tenure-Track Position
Assistant Professor
Application Dealine: April 10th 2013
Formal call:
http://www.ime.usp.br/dcc/faculty_position
Free translation:
http://www.vision.ime.usp.br/~cesar/usp/mac/chefia/tenure-instructions.html
The Institute of Mathematics and Statistics of the University of São
Paulo (IME-USP) invites applications for a faculty position at the
Assistant Professor level. The Department is accepting applications
in all areas of Computer Science.
Candidates with strong potential for research and teaching are
expected. Candidates should have a PhD in Computer Science or in a
related area. The selected candidate will be responsible for
developing research and for teaching in the undergraduate and graduate
programs of the department. For details on the application process,
visit www.ime.usp.br/dcc/faculty_position
The documents and selection interview may be in Portuguese or English.
The University of São Paulo (USP) is one of the most prestigious
educational institutions in South America. It is the best ranked
Brazilian university. The Department of Computer Science of IME-USP
is responsible for the BSc, MSc and PhD courses in Computer Science,
offering some of the most competitive programs in Brazil.
More information: http://www.ime.usp.br/dcc
Contact: mac@ime.usp.br
--
Yoshiharu Kohayakawa
U of Sao Paulo
Institute of Mathematics and Statistics
Department of Computer Science
Tenure-Track Position
Assistant Professor
Application Dealine: April 10th 2013
Formal call:
http://www.ime.usp.br/dcc/faculty_position
Free translation:
http://www.vision.ime.usp.br/~cesar/usp/mac/chefia/tenure-instructions.html
The Institute of Mathematics and Statistics of the University of São
Paulo (IME-USP) invites applications for a faculty position at the
Assistant Professor level. The Department is accepting applications
in all areas of Computer Science.
Candidates with strong potential for research and teaching are
expected. Candidates should have a PhD in Computer Science or in a
related area. The selected candidate will be responsible for
developing research and for teaching in the undergraduate and graduate
programs of the department. For details on the application process,
visit www.ime.usp.br/dcc/faculty_position
The documents and selection interview may be in Portuguese or English.
The University of São Paulo (USP) is one of the most prestigious
educational institutions in South America. It is the best ranked
Brazilian university. The Department of Computer Science of IME-USP
is responsible for the BSc, MSc and PhD courses in Computer Science,
offering some of the most competitive programs in Brazil.
More information: http://www.ime.usp.br/dcc
Contact: mac@ime.usp.br
--
Yoshiharu Kohayakawa
U of Sao Paulo
Postdoctoral Fellowship in Analytics and High Performance Computing (HPC)
Postdoctoral Fellowships in Analytics and High Performance Computing (HPC)
Applications are invited for Postdoctoral Fellowships (renewable) in Analytics and High Performance Computing
(HPC) under the supervision of Dr. Andrew Rau-Chaplin in the Risk Analytics Lab, Faculty of Computer Science at
Dalhousie University.
Candidates with a strong HPC background and an interest in one or more of the following areas are encouraged to
apply:
- Catastrophe Modeling and Risk,
- Mathematical Modeling, Simulation, and Optimization,
- Text Mining and Natural Language Processing
The Risk Analytics Lab (www.risk-analytics-lab.ca) is housed in the Faculty of Computer Science at Dalhousie and
is focussed on research questions at the intersection of analytics, risk management, and high performance
computing. Our research projects address challenges in catastrophe modeling, portfolio risk management, and
dynamic financial analysis, by drawing on a diverse set of technologies including stochastic simulation, high
performance computing, optimization, text mining, and data warehousing. The lab has strong links to industry and
frequent interactions with industrial research partners. Project involve a range of computing platforms including
multicore CPUs, distributed memory clusters, GPUs, & cloud based infrastructure.
Successful candidates will hold a recent Ph.D. in Computer Science, Mathematics, Statistics, or Engineering. They
will have experience working on HPC oriented projects and have developed algorithm design, implementation, and
evaluation skills. We are seeking individuals who can bring strong technical skills and enthusiasm to an area of
research ripe for innovation and who will be able to integrate well into a larger team.
Applicants should send a full Curriculum Vitae, letters from two referees and a cover letter highlighting their
prior achievements and a brief summary of their statement of their interest and experience in this area.
Electronic submissions are encouraged. Applicants are strongly encouraged to contact Dr. Rau-Chaplin as early as
possible to express interest and to ask any questions. Applications will be considered until the positions are
filled.
All qualified candidates are encouraged to apply; however, Canadians and permanent residents will be given
priority. Dalhousie University is an Employment Equity/Affirmative Action employer. The University encourages
applications from qualified Aboriginal people, persons with a disability, racially visible persons and women.
Applications for postdoctoral positions are accepted subject to funding.
Dr. Andrew Rau-Chaplin (arc [at] cs.dal.ca) Faculty of Computer Science Dalhousie University www.cs.dal.ca/~arc
Applications are invited for Postdoctoral Fellowships (renewable) in Analytics and High Performance Computing
(HPC) under the supervision of Dr. Andrew Rau-Chaplin in the Risk Analytics Lab, Faculty of Computer Science at
Dalhousie University.
Candidates with a strong HPC background and an interest in one or more of the following areas are encouraged to
apply:
- Catastrophe Modeling and Risk,
- Mathematical Modeling, Simulation, and Optimization,
- Text Mining and Natural Language Processing
The Risk Analytics Lab (www.risk-analytics-lab.ca) is housed in the Faculty of Computer Science at Dalhousie and
is focussed on research questions at the intersection of analytics, risk management, and high performance
computing. Our research projects address challenges in catastrophe modeling, portfolio risk management, and
dynamic financial analysis, by drawing on a diverse set of technologies including stochastic simulation, high
performance computing, optimization, text mining, and data warehousing. The lab has strong links to industry and
frequent interactions with industrial research partners. Project involve a range of computing platforms including
multicore CPUs, distributed memory clusters, GPUs, & cloud based infrastructure.
Successful candidates will hold a recent Ph.D. in Computer Science, Mathematics, Statistics, or Engineering. They
will have experience working on HPC oriented projects and have developed algorithm design, implementation, and
evaluation skills. We are seeking individuals who can bring strong technical skills and enthusiasm to an area of
research ripe for innovation and who will be able to integrate well into a larger team.
Applicants should send a full Curriculum Vitae, letters from two referees and a cover letter highlighting their
prior achievements and a brief summary of their statement of their interest and experience in this area.
Electronic submissions are encouraged. Applicants are strongly encouraged to contact Dr. Rau-Chaplin as early as
possible to express interest and to ask any questions. Applications will be considered until the positions are
filled.
All qualified candidates are encouraged to apply; however, Canadians and permanent residents will be given
priority. Dalhousie University is an Employment Equity/Affirmative Action employer. The University encourages
applications from qualified Aboriginal people, persons with a disability, racially visible persons and women.
Applications for postdoctoral positions are accepted subject to funding.
Dr. Andrew Rau-Chaplin (arc [at] cs.dal.ca) Faculty of Computer Science Dalhousie University www.cs.dal.ca/~arc
ACM MobiCom 2013_ Call for Workshop Proposals, Papers, Demos, Posters, & Panels
Apologies for multiple posting.
MobiCom 2013, the premier International Conference on Mobile Computing and Networking, is the nineteenth in a series of annual conferences sponsored by ACM SIGMOBILE dedicated to addressing the challenges in the areas of mobile computing and wireless and mobile networking. The MobiCom conference series serves as a highly selective, premier international forum addressing networks, systems, algorithms, and applications that support mobile computers and wireless networks.
In addition to the regular conference program, MobiCom 2013 will include a set of pre- and post-conference workshops, keynotes and panels. Also, two parallel programs will be included for research/technology demos and posters (including the ACM Student Research Competition). Students travel grants will be provided on competitive bases.
New in MobiCom 2013 will be:
- Mobile App Competition (details of the competition will be published shortly)
- Invited industry presentations in the regular conference program
- On site conference interaction smart space
The venue for MobiCom 2013 will be the Hyatt Regency Miami. A special hotel rate of $129 plus taxes has been negotiated (single or double including in-room wireless internet). The hotel is centrally located which will allow for easy access to a multitude of upscale restaurants, stores, leisure activities, and Miami attractions. Additionally, the hotel overlooks Biscayne Bay providing effortless access to everything from Brickell and Coral Gables to Coconut Grove and world-famous white sand beaches.
Important Dates:
=============================================================================
MobiCom 2013 -- The 19th Annual International Conference on Mobile Computing and Networking
September 30-October 4, 2013
Hyatt Regency Miami
Miami, Florida
http://www.sigmobile.org/mobicom/2013/
September 30-October 4, 2013
Hyatt Regency Miami
Miami, Florida
http://www.sigmobile.org/mobicom/2013/
=============================================================================
Earliest Deadline: March 1, 2013
|| Call FOR WORKSHOP PROPOSALS || Call for Papers || Call for Demos || Call for Posters & SRC ||
=============================================================================
In addition to the regular conference program, MobiCom 2013 will include a set of pre- and post-conference workshops, keynotes and panels. Also, two parallel programs will be included for research/technology demos and posters (including the ACM Student Research Competition). Students travel grants will be provided on competitive bases.
New in MobiCom 2013 will be:
- Mobile App Competition (details of the competition will be published shortly)
- Invited industry presentations in the regular conference program
- On site conference interaction smart space
The venue for MobiCom 2013 will be the Hyatt Regency Miami. A special hotel rate of $129 plus taxes has been negotiated (single or double including in-room wireless internet). The hotel is centrally located which will allow for easy access to a multitude of upscale restaurants, stores, leisure activities, and Miami attractions. Additionally, the hotel overlooks Biscayne Bay providing effortless access to everything from Brickell and Coral Gables to Coconut Grove and world-famous white sand beaches.
Important Dates:
Workshop proposals due:
March 1, 2013
Abstracts submission due:
March 8, 2013
Paper submissions due:
March 15, 2013
Poster/SRC submissions due:
July 1, 2013
Demo/exhibit submissions due:
July 3, 2013
Organizing Committee
For sponsorship requests or other inquiries, contact the conference chair at mobicom_info@acm.org
For sponsorship requests or other inquiries, contact the conference chair at mobicom_info@acm.org
------------------------------
Pei Zhang
Assistant Research Professor
Pei Zhang
Assistant Research Professor
ACM MobiCom 2013_ Call for Workshop Proposals, Papers, Demos, Posters, & Panels
Apologies for multiple posting.
MobiCom 2013, the premier International Conference on Mobile Computing and Networking, is the nineteenth in a series of annual conferences sponsored by ACM SIGMOBILE dedicated to addressing the challenges in the areas of mobile computing and wireless and mobile networking. The MobiCom conference series serves as a highly selective, premier international forum addressing networks, systems, algorithms, and applications that support mobile computers and wireless networks.
In addition to the regular conference program, MobiCom 2013 will include a set of pre- and post-conference workshops, keynotes and panels. Also, two parallel programs will be included for research/technology demos and posters (including the ACM Student Research Competition). Students travel grants will be provided on competitive bases.
New in MobiCom 2013 will be:
- Mobile App Competition (details of the competition will be published shortly)
- Invited industry presentations in the regular conference program
- On site conference interaction smart space
The venue for MobiCom 2013 will be the Hyatt Regency Miami. A special hotel rate of $129 plus taxes has been negotiated (single or double including in-room wireless internet). The hotel is centrally located which will allow for easy access to a multitude of upscale restaurants, stores, leisure activities, and Miami attractions. Additionally, the hotel overlooks Biscayne Bay providing effortless access to everything from Brickell and Coral Gables to Coconut Grove and world-famous white sand beaches.
Important Dates:
=============================================================================
MobiCom 2013 -- The 19th Annual International Conference on Mobile Computing and Networking
September 30-October 4, 2013
Hyatt Regency Miami
Miami, Florida
http://www.sigmobile.org/mobicom/2013/
September 30-October 4, 2013
Hyatt Regency Miami
Miami, Florida
http://www.sigmobile.org/mobicom/2013/
=============================================================================
Earliest Deadline: March 1, 2013
|| Call FOR WORKSHOP PROPOSALS || Call for Papers || Call for Demos || Call for Posters & SRC ||
=============================================================================
In addition to the regular conference program, MobiCom 2013 will include a set of pre- and post-conference workshops, keynotes and panels. Also, two parallel programs will be included for research/technology demos and posters (including the ACM Student Research Competition). Students travel grants will be provided on competitive bases.
New in MobiCom 2013 will be:
- Mobile App Competition (details of the competition will be published shortly)
- Invited industry presentations in the regular conference program
- On site conference interaction smart space
The venue for MobiCom 2013 will be the Hyatt Regency Miami. A special hotel rate of $129 plus taxes has been negotiated (single or double including in-room wireless internet). The hotel is centrally located which will allow for easy access to a multitude of upscale restaurants, stores, leisure activities, and Miami attractions. Additionally, the hotel overlooks Biscayne Bay providing effortless access to everything from Brickell and Coral Gables to Coconut Grove and world-famous white sand beaches.
Important Dates:
Workshop proposals due:
March 1, 2013
Abstracts submission due:
March 8, 2013
Paper submissions due:
March 15, 2013
Poster/SRC submissions due:
July 1, 2013
Demo/exhibit submissions due:
July 3, 2013
Organizing Committee
For sponsorship requests or other inquiries, contact the conference chair at mobicom_info@acm.org
For sponsorship requests or other inquiries, contact the conference chair at mobicom_info@acm.org
------------------------------
Pei Zhang
Assistant Research Professor
Pei Zhang
Assistant Research Professor
[DMANET] Last Days: COGNITIVE 2013 || May 27 - June 1, 2013 - Valencia, Spain
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to COGNITIVE 2013.
The submission deadline is January 29, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== COGNITIVE 2013 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
COGNITIVE 2013, The Fifth International Conference on Advanced Cognitive Technologies and Applications
May 27 - June 1, 2013 - Valencia, Spain
General page: http://www.iaria.org/conferences2013/COGNITIVE13.html
Call for Papers: http://www.iaria.org/conferences2013/CfPCOGNITIVE13.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2013/SubmitCOGNITIVE13.html
Submission deadline: January 29, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
Please note the Poster and Work in Progress options.
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html
COGNITIVE 2013 Topics (topics and submission details: see CfP on the site)
BRAIN: Brain information processing and informatics
Cognitive and computation models; Human reasoning mechanisms; Modeling brain information processing mechanisms; Brain learning mechanisms; Human cognitive functions and their relationships; Modeling human multi-perception mechanisms and visual, auditory, and tactile information processing; Neural structures and neurobiological process; Cognitive architectures; Brain information storage, collection, and processing; Formal conceptual models of human brain data; Knowledge representation and discovery in neuroimaging; Brain-computer interface; Cognition-inspired complex systems
COGNITION: Artificial intelligence and cognition
Expert systems, knowledge representation and reasoning; Reasoning techniques, constraint satisfaction and machine learning; Logic programming, fuzzy logic, neural networks, and uncertainty; State space search, ontologies and data mining; Games, planning and scheduling; Natural languages processing and advanced user interfaces; Cognitive, reactive and proactive systems; Ambient intelligence, perception and vision
AGENTS: Agent-based adaptive systems
Agent frameworks and development platforms; Agent models and architectures; Agent communication languages and protocols; Cooperation, coordination, and conversational agents; Group decision making and distributed problem solving; Mobile, cognitive and autonomous agents; Task planning and execution in multi-agent systems; Security, trust, reputation, privacy and safety in agent-based systems; Negotiation brokering and matchmaking in agent-oriented protocols; Web-oriented agents (mining, semantic discovery, navigation, etc.; SOA and software agents; Economic agent models and social adoption
AUTONOMY: Autonomous systems and autonomy-oriented computing
Self-organized intelligence nature-inspired thinking paradigms; Swarm intelligence and emergent behavior; Autonomy-oriented modeling and computation; Coordination, cooperation and collective group behavior; Agent-based complex systems modeling and development; Complex behavior aggregation and self-organization; Agent-based knowledge discovery and sharing; Autonomous and distributed knowledge systems; Autonomous knowledge via information agents; Ontology-based agent services; Knowledge evolution control and information filtering agents; Natural and social law discovery in multi-agent systems; Distributed problem solving in complex and dynamic environments; Auction, mediation, pricing, and agent-based market-places; Autonomous auctions and negotiations
APPLICATIONS
Agent-oriented modeling and methodologies; Agent-based interaction protocols and cognitive architectures; Emotional modeling and quality of experience techniques; Agent-based assistants and e-health; Agent-based interfaces; Knowledge and data intensive classification systems; Agent-based fault-tolerance systems; Learning and self-adaptation via multi-agent systems; Task-based and task-oriented agent-based systems; Agent-based virtual enterprise; Embodied agents and agent-based systems applications; Agent-based perceptive animated interfaces; Agent-based social simulation; Socially planning; E-Technology agent-based ubiquitous services and systems
------------------------------------
Committee: http://www.iaria.org/conferences2013/ComCOGNITIVE13.html
================================================
**********************************************************
*
* 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/
*
**********************************************************
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to COGNITIVE 2013.
The submission deadline is January 29, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== COGNITIVE 2013 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
COGNITIVE 2013, The Fifth International Conference on Advanced Cognitive Technologies and Applications
May 27 - June 1, 2013 - Valencia, Spain
General page: http://www.iaria.org/conferences2013/COGNITIVE13.html
Call for Papers: http://www.iaria.org/conferences2013/CfPCOGNITIVE13.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2013/SubmitCOGNITIVE13.html
Submission deadline: January 29, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
Please note the Poster and Work in Progress options.
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html
COGNITIVE 2013 Topics (topics and submission details: see CfP on the site)
BRAIN: Brain information processing and informatics
Cognitive and computation models; Human reasoning mechanisms; Modeling brain information processing mechanisms; Brain learning mechanisms; Human cognitive functions and their relationships; Modeling human multi-perception mechanisms and visual, auditory, and tactile information processing; Neural structures and neurobiological process; Cognitive architectures; Brain information storage, collection, and processing; Formal conceptual models of human brain data; Knowledge representation and discovery in neuroimaging; Brain-computer interface; Cognition-inspired complex systems
COGNITION: Artificial intelligence and cognition
Expert systems, knowledge representation and reasoning; Reasoning techniques, constraint satisfaction and machine learning; Logic programming, fuzzy logic, neural networks, and uncertainty; State space search, ontologies and data mining; Games, planning and scheduling; Natural languages processing and advanced user interfaces; Cognitive, reactive and proactive systems; Ambient intelligence, perception and vision
AGENTS: Agent-based adaptive systems
Agent frameworks and development platforms; Agent models and architectures; Agent communication languages and protocols; Cooperation, coordination, and conversational agents; Group decision making and distributed problem solving; Mobile, cognitive and autonomous agents; Task planning and execution in multi-agent systems; Security, trust, reputation, privacy and safety in agent-based systems; Negotiation brokering and matchmaking in agent-oriented protocols; Web-oriented agents (mining, semantic discovery, navigation, etc.; SOA and software agents; Economic agent models and social adoption
AUTONOMY: Autonomous systems and autonomy-oriented computing
Self-organized intelligence nature-inspired thinking paradigms; Swarm intelligence and emergent behavior; Autonomy-oriented modeling and computation; Coordination, cooperation and collective group behavior; Agent-based complex systems modeling and development; Complex behavior aggregation and self-organization; Agent-based knowledge discovery and sharing; Autonomous and distributed knowledge systems; Autonomous knowledge via information agents; Ontology-based agent services; Knowledge evolution control and information filtering agents; Natural and social law discovery in multi-agent systems; Distributed problem solving in complex and dynamic environments; Auction, mediation, pricing, and agent-based market-places; Autonomous auctions and negotiations
APPLICATIONS
Agent-oriented modeling and methodologies; Agent-based interaction protocols and cognitive architectures; Emotional modeling and quality of experience techniques; Agent-based assistants and e-health; Agent-based interfaces; Knowledge and data intensive classification systems; Agent-based fault-tolerance systems; Learning and self-adaptation via multi-agent systems; Task-based and task-oriented agent-based systems; Agent-based virtual enterprise; Embodied agents and agent-based systems applications; Agent-based perceptive animated interfaces; Agent-based social simulation; Socially planning; E-Technology agent-based ubiquitous services and systems
------------------------------------
Committee: http://www.iaria.org/conferences2013/ComCOGNITIVE13.html
================================================
**********************************************************
*
* 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: COMPUTATION TOOLS 2013 || May 27 - June 1, 2013 - Valencia, Spain
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to COMPUTATION TOOLS 2013.
The submission deadline is extended to January 29, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== COMPUTATION TOOLS 2013 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
May 27 - June 1, 2013 - Valencia, Spain
General page: http://www.iaria.org/conferences2013/COMPUTATIONTOOLS13.html
Call for Papers: http://www.iaria.org/conferences2013/CfPCOMPUTATIONTOOLS13.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2013/SubmitCOMPUTATIONTOOLS13.html
Submission deadline: January 29, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
Please note the Poster and Work in Progress options.
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html
COMPUTATION TOOLS 2013 Topics (topics and submission details: see CfP on the site)
Logics
Reasoning logics; Fuzzy logics; Semantic logics; Temporal logics; Emotion logics; Ambiant logics; Modal logics; Description logics; Computational tree logic; Computational logics and constraints; Quantum computational logics; Executable computational logics; Monadic computational logics; Many-valued computational logics; Computability logic
Algebras
Computational algebras; K-theories, C*-algebras, Index theory; Algebraic and topological K-theory; Geometric group theory and group C*-algebras; Noncommutative geometry and topology; Pseudodifferential operators on singular manifolds; Topological invariants of non-simply connected manifolds; Deformation quantization; Lambda calculus; Relation algebra; Algebras for symbolic computation; Constructive algebras
Advanced computation techniques
Machine learning; Fuzzy theory/computation/logic; (Artificial) neuronal networks; Distributed artificial intelligence; Genetic algorithms; Analytic tableaux; Autonomous agent-based techniques; Knowledge-based systems and automated reasoning; Logical issues in knowledge representation /non-monotonic reasoning/belief; Dempster-Shafer theory; Concurrent computation and planning; Deduction and reasoning
Specialized programming languages
Logic programming; Specialized computation languages; Real-time computation languages; Embedded-computing languages; Programming semantics; Content-driven programming; Multimedia-oriented programming; Context-driven programming; Service-oriented programming; Pattern-oriented programming; Regenerative programming; Progressive programming; Sensing-oriented programming; Mobile-ubiquity-oriented computing; Compilation issues
Tools for distributed computation
Platforms for distributed computing; Specification and verification of programs and systems; Techniques for cloud computing; On-request resource allocation mechanisms; Security and privacy techniques; Computational benchmarking metrics, criteria and methodologies; Distributed debug and on-fly repairing; Inference of schemas, integrity constraints in computational applications; Real-world applications, experiments, projects
-------------------------------------------
Committee: http://www.iaria.org/conferences2013/ComCOMPUTATIONTOOLS13.html
================================================
**********************************************************
*
* 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/
*
**********************************************************
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to COMPUTATION TOOLS 2013.
The submission deadline is extended to January 29, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== COMPUTATION TOOLS 2013 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
May 27 - June 1, 2013 - Valencia, Spain
General page: http://www.iaria.org/conferences2013/COMPUTATIONTOOLS13.html
Call for Papers: http://www.iaria.org/conferences2013/CfPCOMPUTATIONTOOLS13.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2013/SubmitCOMPUTATIONTOOLS13.html
Submission deadline: January 29, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
Please note the Poster and Work in Progress options.
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html
COMPUTATION TOOLS 2013 Topics (topics and submission details: see CfP on the site)
Logics
Reasoning logics; Fuzzy logics; Semantic logics; Temporal logics; Emotion logics; Ambiant logics; Modal logics; Description logics; Computational tree logic; Computational logics and constraints; Quantum computational logics; Executable computational logics; Monadic computational logics; Many-valued computational logics; Computability logic
Algebras
Computational algebras; K-theories, C*-algebras, Index theory; Algebraic and topological K-theory; Geometric group theory and group C*-algebras; Noncommutative geometry and topology; Pseudodifferential operators on singular manifolds; Topological invariants of non-simply connected manifolds; Deformation quantization; Lambda calculus; Relation algebra; Algebras for symbolic computation; Constructive algebras
Advanced computation techniques
Machine learning; Fuzzy theory/computation/logic; (Artificial) neuronal networks; Distributed artificial intelligence; Genetic algorithms; Analytic tableaux; Autonomous agent-based techniques; Knowledge-based systems and automated reasoning; Logical issues in knowledge representation /non-monotonic reasoning/belief; Dempster-Shafer theory; Concurrent computation and planning; Deduction and reasoning
Specialized programming languages
Logic programming; Specialized computation languages; Real-time computation languages; Embedded-computing languages; Programming semantics; Content-driven programming; Multimedia-oriented programming; Context-driven programming; Service-oriented programming; Pattern-oriented programming; Regenerative programming; Progressive programming; Sensing-oriented programming; Mobile-ubiquity-oriented computing; Compilation issues
Tools for distributed computation
Platforms for distributed computing; Specification and verification of programs and systems; Techniques for cloud computing; On-request resource allocation mechanisms; Security and privacy techniques; Computational benchmarking metrics, criteria and methodologies; Distributed debug and on-fly repairing; Inference of schemas, integrity constraints in computational applications; Real-world applications, experiments, projects
-------------------------------------------
Committee: http://www.iaria.org/conferences2013/ComCOMPUTATIONTOOLS13.html
================================================
**********************************************************
*
* 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, January 25, 2013
QCP 2013
QCP 2013
The 2013 International Workshop on
Quantified Constraint Programming
Date and Location: July 22-23, 2013, Las Vegas, USA
The 2013 International Workshop on Quantified Constraint Programming
(QCP 2013) will be held in Las Vegas, USA in July 22-23, 2013.
It will be co-located with the 2013 International Conference on
Foundations of Computer Science (FCS 2013). QCP 2013 is an informal
gathering to discuss problems of mutual interest in quantification
of constraints. Authors are invited to submit a full paper for
consideration. All accepted papers will be be made available online.
If there is interest, we can also have published proceedings.
SCOPE: Topics of interest include, but are not limited to, the following:
- Two person games
- Game theory and methods
- Computational Logic
- Logic in computer science
- Quantified Linear Programming
- Quantified Integer Programming
- Quantified Boolean Formulas
- Quantified Constraint Programs
- Open problems in Quantified Programming
- Quantified Logic and Program Verification
- Quantified Logic and Timed Automata
- Empirical studies of algorithms for quantified constraints
- Cutting plane methodologies with proofs
- Puzzle solving
- Computational Complexity
IMPORTANT DATES:
March 31, 2013 : Submission of full papers
April 18, 2013 : Notification of acceptance (+/- two days)
May 5, 2013 : Final papers + Copyright/Consent + Registrationuly 22-23, 2013 : QCP 2013 Workshop
Deadlines are firm; late submissions will not be considered.
All submissions will be electronic via:
https://www.easychair.org/conferences/?conf=qcp2013
SUBMISSION OF PAPERS:
Submissions must be in pdf formats (about 10 pages including all
figures, tables, and references - single space, font size of 10
to 12). All reasonable typesetting formats are acceptable.Later,
the authors of accepted papers will be asked to follow a particular
typesetting format to prepare their final papers for publication.
The first page of the paper should include: title of the paper,
name, affiliation, postal address, and email address for each author.
The first page should also identify the name of the Contact Author
and a maximum of 5 topical keywords that would best represent the
content of the paper.
Each paper will be peer-reviewed by two experts in the field for
originality, significance, clarity, impact, and soundness. You are
permitted to submit work that has appeared before, but indicate the
same in your submission.
The Call for Papers can also be found at:
http://www.csee.wvu.edu/~ksmani/qcp13/announce/cfp.pdf
MEMBERS OF PROGRAM COMMITTEE:
Wolfgang Bein, University of Nevada at Las Vegas
Stefano Bistarelli, University of Perugia
Andrei Bulatov, Simon Fraser University
Hans Kleine Buning, University of Paderborn
Berthe Y. Choueiry, University of Nebraska-Lincoln
Pavlos Eirinakis, Athens University of Economics and Business
John Franco, University of Cincinnati
Steve Homer, Boston University
Bakhadyr Khoussainov, University of Auckland
Daniel Kroening, University of Oxford
Orna Kupferman, Hebrew University
Dimitrios Magos, TEI of Athens
Victor Marek, University of Kentucky
Supratik Mukhopadhyay, Louisiana State University
Bart Selman, Cornell University
Natarajan Shankar, SRI International
Helmut Simonis, Cork Constraint Computation Center
Robert Sloan, University of Ilinois at Chicago
Ofer Strichman, Technion University
K. Subramani, West Virginia University
PROGRAM CHAIR:
K. Subramani, West Virginia University
PROGRAM co-CHAIR:
Pavlos Eirinakis, Athens University of Economics and Business
LOCAL ARRANGEMENTS CHAIR:
Wolfgang Bein, University of Nevada at Las Vegas
PUBLICITY CHAIR:
Steve Homer, Boston University
FINANCE CHAIR:
Pavlos Eirinakis, Athens University of Economics and Business
The 2013 International Workshop on
Quantified Constraint Programming
Date and Location: July 22-23, 2013, Las Vegas, USA
The 2013 International Workshop on Quantified Constraint Programming
(QCP 2013) will be held in Las Vegas, USA in July 22-23, 2013.
It will be co-located with the 2013 International Conference on
Foundations of Computer Science (FCS 2013). QCP 2013 is an informal
gathering to discuss problems of mutual interest in quantification
of constraints. Authors are invited to submit a full paper for
consideration. All accepted papers will be be made available online.
If there is interest, we can also have published proceedings.
SCOPE: Topics of interest include, but are not limited to, the following:
- Two person games
- Game theory and methods
- Computational Logic
- Logic in computer science
- Quantified Linear Programming
- Quantified Integer Programming
- Quantified Boolean Formulas
- Quantified Constraint Programs
- Open problems in Quantified Programming
- Quantified Logic and Program Verification
- Quantified Logic and Timed Automata
- Empirical studies of algorithms for quantified constraints
- Cutting plane methodologies with proofs
- Puzzle solving
- Computational Complexity
IMPORTANT DATES:
March 31, 2013 : Submission of full papers
April 18, 2013 : Notification of acceptance (+/- two days)
May 5, 2013 : Final papers + Copyright/Consent + Registrationuly 22-23, 2013 : QCP 2013 Workshop
Deadlines are firm; late submissions will not be considered.
All submissions will be electronic via:
https://www.easychair.org/conferences/?conf=qcp2013
SUBMISSION OF PAPERS:
Submissions must be in pdf formats (about 10 pages including all
figures, tables, and references - single space, font size of 10
to 12). All reasonable typesetting formats are acceptable.Later,
the authors of accepted papers will be asked to follow a particular
typesetting format to prepare their final papers for publication.
The first page of the paper should include: title of the paper,
name, affiliation, postal address, and email address for each author.
The first page should also identify the name of the Contact Author
and a maximum of 5 topical keywords that would best represent the
content of the paper.
Each paper will be peer-reviewed by two experts in the field for
originality, significance, clarity, impact, and soundness. You are
permitted to submit work that has appeared before, but indicate the
same in your submission.
The Call for Papers can also be found at:
http://www.csee.wvu.edu/~ksmani/qcp13/announce/cfp.pdf
MEMBERS OF PROGRAM COMMITTEE:
Wolfgang Bein, University of Nevada at Las Vegas
Stefano Bistarelli, University of Perugia
Andrei Bulatov, Simon Fraser University
Hans Kleine Buning, University of Paderborn
Berthe Y. Choueiry, University of Nebraska-Lincoln
Pavlos Eirinakis, Athens University of Economics and Business
John Franco, University of Cincinnati
Steve Homer, Boston University
Bakhadyr Khoussainov, University of Auckland
Daniel Kroening, University of Oxford
Orna Kupferman, Hebrew University
Dimitrios Magos, TEI of Athens
Victor Marek, University of Kentucky
Supratik Mukhopadhyay, Louisiana State University
Bart Selman, Cornell University
Natarajan Shankar, SRI International
Helmut Simonis, Cork Constraint Computation Center
Robert Sloan, University of Ilinois at Chicago
Ofer Strichman, Technion University
K. Subramani, West Virginia University
PROGRAM CHAIR:
K. Subramani, West Virginia University
PROGRAM co-CHAIR:
Pavlos Eirinakis, Athens University of Economics and Business
LOCAL ARRANGEMENTS CHAIR:
Wolfgang Bein, University of Nevada at Las Vegas
PUBLICITY CHAIR:
Steve Homer, Boston University
FINANCE CHAIR:
Pavlos Eirinakis, Athens University of Economics and Business
[DMANET] Faculty position, CS Dept, U of Sao Paulo, Brazil
University of São Paulo
Institute of Mathematics and Statistics
Department of Computer Science
Tenure-Track Position
Assistant Professor
Application Dealine: April 10th 2013
Formal call:
http://www.ime.usp.br/dcc/faculty_position
Free translation:
http://www.vision.ime.usp.br/~cesar/usp/mac/chefia/tenure-instructions.html
The Institute of Mathematics and Statistics of the University of São
Paulo (IME-USP) invites applications for a faculty position at the
Assistant Professor level. The Department is accepting applications
in all areas of Computer Science.
Candidates with strong potential for research and teaching are
expected. Candidates should have a PhD in Computer Science or in a
related area. The selected candidate will be responsible for
developing research and for teaching in the undergraduate and graduate
programs of the department. For details on the application process,
visit www.ime.usp.br/dcc/faculty_position
The documents and selection interview may be in Portuguese or English.
The University of São Paulo (USP) is one of the most prestigious
educational institutions in South America. It is the best ranked
Brazilian university. The Department of Computer Science of IME-USP
is responsible for the BSc, MSc and PhD courses in Computer Science,
offering some of the most competitive programs in Brazil.
More information: http://www.ime.usp.br/dcc
Contact: mac@ime.usp.br
--
Yoshiharu Kohayakawa
U of Sao Paulo
**********************************************************
*
* 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/
*
**********************************************************
Institute of Mathematics and Statistics
Department of Computer Science
Tenure-Track Position
Assistant Professor
Application Dealine: April 10th 2013
Formal call:
http://www.ime.usp.br/dcc/faculty_position
Free translation:
http://www.vision.ime.usp.br/~cesar/usp/mac/chefia/tenure-instructions.html
The Institute of Mathematics and Statistics of the University of São
Paulo (IME-USP) invites applications for a faculty position at the
Assistant Professor level. The Department is accepting applications
in all areas of Computer Science.
Candidates with strong potential for research and teaching are
expected. Candidates should have a PhD in Computer Science or in a
related area. The selected candidate will be responsible for
developing research and for teaching in the undergraduate and graduate
programs of the department. For details on the application process,
visit www.ime.usp.br/dcc/faculty_position
The documents and selection interview may be in Portuguese or English.
The University of São Paulo (USP) is one of the most prestigious
educational institutions in South America. It is the best ranked
Brazilian university. The Department of Computer Science of IME-USP
is responsible for the BSc, MSc and PhD courses in Computer Science,
offering some of the most competitive programs in Brazil.
More information: http://www.ime.usp.br/dcc
Contact: mac@ime.usp.br
--
Yoshiharu Kohayakawa
U of Sao Paulo
**********************************************************
*
* 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/
*
**********************************************************
PhD position at NICTA and UNSW, Sydney, Australia
In the context of a collaborative research project between National ICT
Australia (NICTA) and The University of New South Wales (UNSW), applications
are sought for the position of
one PhD candidate
to work on the computational complexity of resource allocation problems, with
a focus on parameterized complexity. The successful candidate will be jointly
supervised by the project leaders, Prof Toby Walsh at NICTA and Dr Serge
Gaspers at UNSW. She/he will be part of the Algorithmic Decision Theory
group,
http://www.cse.unsw.edu.au/~tw/adt/
To be eligible for this NICTA scholarship the candidate needs to be
admissible
to UNSW as a research candidate within the School of Computer Science and
Engineering (CSE). The expected start date is Semester 2 in 2013, i.e.,
around
the end of July 2013. More information on the NICTA scholarships is available
at http://www.nicta.com.au/nictascholarshipunsw
Interested applicants are invited to send an expression of interest to Prof
Toby Walsh <Toby.Walsh@nicta.com.au> and
Dr Serge Gaspers <sergeg@cse.unsw.edu.au>
including a CV, a research proposal (around 500 words), and recent
transcripts
by 15 February 2013. Please also organize for one reference letter/email
to be
sent to the same email addresses.
Australia (NICTA) and The University of New South Wales (UNSW), applications
are sought for the position of
one PhD candidate
to work on the computational complexity of resource allocation problems, with
a focus on parameterized complexity. The successful candidate will be jointly
supervised by the project leaders, Prof Toby Walsh at NICTA and Dr Serge
Gaspers at UNSW. She/he will be part of the Algorithmic Decision Theory
group,
http://www.cse.unsw.edu.au/~tw/adt/
To be eligible for this NICTA scholarship the candidate needs to be
admissible
to UNSW as a research candidate within the School of Computer Science and
Engineering (CSE). The expected start date is Semester 2 in 2013, i.e.,
around
the end of July 2013. More information on the NICTA scholarships is available
at http://www.nicta.com.au/nictascholarshipunsw
Interested applicants are invited to send an expression of interest to Prof
Toby Walsh <Toby.Walsh@nicta.com.au> and
Dr Serge Gaspers <sergeg@cse.unsw.edu.au>
including a CV, a research proposal (around 500 words), and recent
transcripts
by 15 February 2013. Please also organize for one reference letter/email
to be
sent to the same email addresses.
[DMANET] PhD position at NICTA and UNSW, Sydney, Australia
In the context of a collaborative research project between National ICT
Australia (NICTA) and The University of New South Wales (UNSW), applications
are sought for the position of
one PhD candidate
to work on the computational complexity of resource allocation problems, with
a focus on parameterized complexity. The successful candidate will be jointly
supervised by the project leaders, Prof Toby Walsh at NICTA and Dr Serge
Gaspers at UNSW. She/he will be part of the Algorithmic Decision Theory
group,
http://www.cse.unsw.edu.au/~tw/adt/
To be eligible for this NICTA scholarship the candidate needs to be
admissible
to UNSW as a research candidate within the School of Computer Science and
Engineering (CSE). The expected start date is Semester 2 in 2013, i.e.,
around
the end of July 2013. More information on the NICTA scholarships is available
at http://www.nicta.com.au/nictascholarshipunsw
Interested applicants are invited to send an expression of interest to Prof
Toby Walsh <Toby.Walsh@nicta.com.au> and
Dr Serge Gaspers <sergeg@cse.unsw.edu.au>
including a CV, a research proposal (around 500 words), and recent
transcripts
by 15 February 2013. Please also organize for one reference letter/email
to be
sent to the same email addresses.
**********************************************************
*
* 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/
*
**********************************************************
Australia (NICTA) and The University of New South Wales (UNSW), applications
are sought for the position of
one PhD candidate
to work on the computational complexity of resource allocation problems, with
a focus on parameterized complexity. The successful candidate will be jointly
supervised by the project leaders, Prof Toby Walsh at NICTA and Dr Serge
Gaspers at UNSW. She/he will be part of the Algorithmic Decision Theory
group,
http://www.cse.unsw.edu.au/~tw/adt/
To be eligible for this NICTA scholarship the candidate needs to be
admissible
to UNSW as a research candidate within the School of Computer Science and
Engineering (CSE). The expected start date is Semester 2 in 2013, i.e.,
around
the end of July 2013. More information on the NICTA scholarships is available
at http://www.nicta.com.au/nictascholarshipunsw
Interested applicants are invited to send an expression of interest to Prof
Toby Walsh <Toby.Walsh@nicta.com.au> and
Dr Serge Gaspers <sergeg@cse.unsw.edu.au>
including a CV, a research proposal (around 500 words), and recent
transcripts
by 15 February 2013. Please also organize for one reference letter/email
to be
sent to the same email addresses.
**********************************************************
*
* 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, January 24, 2013
[DMANET] LAST DAYS: CFP - 3rd IEEE SCPA 2013
Apologies for crossposting
-------------------- CALL FOR PAPERS -----------------
The 3rd IEEE International Workshop of Smart Communication Protocols and Algorithms (SCPA 2013)
June 9-13, 2013, Budapest, HUNGARY
In conjunction with IEEE ICC 2013
http://scpa.it.ubi.pt/2013/
Selected papers will be invited to the Special Issue on Smart Protocols and Algorithms of the International Journal Network Protocols and Algorithms (ISSN 1943-3581) or to the Special Issue on Recent Patents on Telecommunications Journal ((Online)ISSN 2211-7415, (Print) ISSN 2211-7407)
Communication protocols and algorithms are needed to communicate network devices and exchange data between them. The appearance of new technologies usually comes with a protocol procedure and communication rules that allows data communication while taking profit of this new technology. Recent advances in hardware and communication mediums allow proposing new rules, conventions and data structures which could be used by network devices to communicate across the network. Moreover, devices with higher processing capacity let us include more complex algorithms that can be used by the network device to enhance the communication procedure.
Smart communication protocols and algorithms make use of several methods and techniques (such as machine learning techniques, decision making techniques, knowledge representation, network management, network optimization, problem solution techniques, and so on), to communicate the network devices to transfer data between them. They can be used to perceive the network conditions, or the user behavior, in order to dynamically plan, adapt, decide, take the appropriate actions, and learn from the consequences of its actions. The algorithms can make use of the information gathered from the protocol in order to sense the environment, plan actions according to the input, take consciousness of what is happening in the environment, and take the appropriate decisions using a reasoning engine. Goals such as decide which scenario fits best its end-to-end purpose, or environment prediction, can be achieved with smart protocols and algorithms. Moreover, they could learn from the past and !
use this knowledge to improve futur
e decisions.
In this workshop, researchers are encouraged to submit papers focused on the design, development, analysis or optimization of smart communication protocols or algorithms at any communication layer. Algorithms and protocols based on artificial intelligence techniques for network management, network monitoring, quality of service enhancement, performance optimization and network secure are included in the workshop.
We welcome technical papers presenting analytical research, simulations, practical results, position papers addressing the pros and cons of specific proposals, and papers addressing the key problems and solutions. The topics suggested by the conference can be discussed in term of concepts, state of the art, standards, deployments, implementations, running experiments and applications.
Topics of interest:
Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal, including, but are not limited to, the following topic areas:
- Smart network protocols and algorithms for multimedia delivery
- Application layer, transport layer and network layer cognitive protocols
- Cognitive radio network protocols and algorithms
- Automatic protocols and algorithms for environment prediction.
- Algorithms and protocols to predict data network states.
- Intelligent synchronization techniques for network protocols and algorithms
- Smart protocols and algorithms for e-health
- Software applications for smart algorithms design and development.
- Dynamic protocols based on the perception of their performance
- Smart protocols and algorithms for Smartgrids
- Protocols and algorithms focused on building conclusions for taking the appropriate actions.
- Smart Automatic and self-autonomous ad-hoc and sensor networks.
- Artificial intelligence applied in protocols and algorithms for wireless, mobile and dynamic networks.
- Smart security protocols and algorithms
- Smart cryptographic algorithms for communication
- Artificial intelligence applied to power efficiency and energy saving protocols and algorithms
- Smart routing and switching protocols and algorithms
- Cognitive protocol and algorithm models for saving communication costs.
- Any kind of intelligent technique applied to QoS, content delivery, network Monitoring and network management.
- Smart collaborative protocols and algorithms
- Problem recognition and problem solving protocols
Genetic algorithms, fuzzy logic and neural networks applied to communication protocols and algorithms
Important Dates
Registration of abstracts: January 4, 2013
Submission Deadline: January 25, 2013
Acceptance Notification: February 22, 2013
Camera Ready Deadline: March 8, 2013
Submission guidelines:
All submissions must be full papers in PDF format and uploaded on EDAS (http://edas.info/N13469).
All submissions should be written in English with a maximum paper length of five (5) printed pages (10-point font) including figures without incurring additional page charges.
General Chairs
Jaime Lloret, Univ. Politecnica Valencia, Spain
Joel Rodrigues, Inst. of Telecommunications, Univ. of Beira Interior, Pt
TPC Chairs
Ivan Stojmenovic, University of Ottawa, Canada
Yevgeni Koucheryavy, University of Tampere, Finland
Panel Chairs
Mario Proen�a Jr, State University of Londrina
Sabu M. Thampi, Institute of Information Technology and Management - Kerala (IIITM-K), India
Industry Chairs
Felix Gomez-Marmol, NEC Laboratories Europe, Germany
Publicity Chairs
Sandra Sendra, Univ. Politecnica Valencia, Spain
Web Chair
Emilio Granell, Univ. Politecnica Valencia, Spain
-------------------- CALL FOR PAPERS -----------------
The 3rd IEEE International Workshop of Smart Communication Protocols and Algorithms (SCPA 2013)
June 9-13, 2013, Budapest, HUNGARY
In conjunction with IEEE ICC 2013
http://scpa.it.ubi.pt/2013/
Selected papers will be invited to the Special Issue on Smart Protocols and Algorithms of the International Journal Network Protocols and Algorithms (ISSN 1943-3581) or to the Special Issue on Recent Patents on Telecommunications Journal ((Online)ISSN 2211-7415, (Print) ISSN 2211-7407)
Communication protocols and algorithms are needed to communicate network devices and exchange data between them. The appearance of new technologies usually comes with a protocol procedure and communication rules that allows data communication while taking profit of this new technology. Recent advances in hardware and communication mediums allow proposing new rules, conventions and data structures which could be used by network devices to communicate across the network. Moreover, devices with higher processing capacity let us include more complex algorithms that can be used by the network device to enhance the communication procedure.
Smart communication protocols and algorithms make use of several methods and techniques (such as machine learning techniques, decision making techniques, knowledge representation, network management, network optimization, problem solution techniques, and so on), to communicate the network devices to transfer data between them. They can be used to perceive the network conditions, or the user behavior, in order to dynamically plan, adapt, decide, take the appropriate actions, and learn from the consequences of its actions. The algorithms can make use of the information gathered from the protocol in order to sense the environment, plan actions according to the input, take consciousness of what is happening in the environment, and take the appropriate decisions using a reasoning engine. Goals such as decide which scenario fits best its end-to-end purpose, or environment prediction, can be achieved with smart protocols and algorithms. Moreover, they could learn from the past and !
use this knowledge to improve futur
e decisions.
In this workshop, researchers are encouraged to submit papers focused on the design, development, analysis or optimization of smart communication protocols or algorithms at any communication layer. Algorithms and protocols based on artificial intelligence techniques for network management, network monitoring, quality of service enhancement, performance optimization and network secure are included in the workshop.
We welcome technical papers presenting analytical research, simulations, practical results, position papers addressing the pros and cons of specific proposals, and papers addressing the key problems and solutions. The topics suggested by the conference can be discussed in term of concepts, state of the art, standards, deployments, implementations, running experiments and applications.
Topics of interest:
Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal, including, but are not limited to, the following topic areas:
- Smart network protocols and algorithms for multimedia delivery
- Application layer, transport layer and network layer cognitive protocols
- Cognitive radio network protocols and algorithms
- Automatic protocols and algorithms for environment prediction.
- Algorithms and protocols to predict data network states.
- Intelligent synchronization techniques for network protocols and algorithms
- Smart protocols and algorithms for e-health
- Software applications for smart algorithms design and development.
- Dynamic protocols based on the perception of their performance
- Smart protocols and algorithms for Smartgrids
- Protocols and algorithms focused on building conclusions for taking the appropriate actions.
- Smart Automatic and self-autonomous ad-hoc and sensor networks.
- Artificial intelligence applied in protocols and algorithms for wireless, mobile and dynamic networks.
- Smart security protocols and algorithms
- Smart cryptographic algorithms for communication
- Artificial intelligence applied to power efficiency and energy saving protocols and algorithms
- Smart routing and switching protocols and algorithms
- Cognitive protocol and algorithm models for saving communication costs.
- Any kind of intelligent technique applied to QoS, content delivery, network Monitoring and network management.
- Smart collaborative protocols and algorithms
- Problem recognition and problem solving protocols
Genetic algorithms, fuzzy logic and neural networks applied to communication protocols and algorithms
Important Dates
Registration of abstracts: January 4, 2013
Submission Deadline: January 25, 2013
Acceptance Notification: February 22, 2013
Camera Ready Deadline: March 8, 2013
Submission guidelines:
All submissions must be full papers in PDF format and uploaded on EDAS (http://edas.info/N13469).
All submissions should be written in English with a maximum paper length of five (5) printed pages (10-point font) including figures without incurring additional page charges.
General Chairs
Jaime Lloret, Univ. Politecnica Valencia, Spain
Joel Rodrigues, Inst. of Telecommunications, Univ. of Beira Interior, Pt
TPC Chairs
Ivan Stojmenovic, University of Ottawa, Canada
Yevgeni Koucheryavy, University of Tampere, Finland
Panel Chairs
Mario Proen�a Jr, State University of Londrina
Sabu M. Thampi, Institute of Information Technology and Management - Kerala (IIITM-K), India
Industry Chairs
Felix Gomez-Marmol, NEC Laboratories Europe, Germany
Publicity Chairs
Sandra Sendra, Univ. Politecnica Valencia, Spain
Web Chair
Emilio Granell, Univ. Politecnica Valencia, Spain
[DMANET] 31 January deadline: Lecturer (Assistant Professor) in Mathematics - London School of Economics and Political Science
LONDON SCHOOL OF ECONOMICS AND POLITICAL SCIENCE
application deadline: 31 January 2013
Department of Mathematics
Lecturer (Assistant Professor) in Mathematics
Salary: from GBP 41,041 per year incl.
Applications are invited from candidates with proven research ability in
mathematics. We are especially interested in applicants with research
interests in Analysis, Financial Mathematics, Mathematical Game Theory,
PDE Theory, Probability, or Stochastic Analysis, or other areas related
to current research interests in the department.
Information about the department can be found at
http://www2.lse.ac.uk/maths/
You should have an emerging track-record of research at a level of
international excellence, including publications in leading
international journals in your area, as well as a completed, or nearly
completed, PhD in a mathematical subject. You will maintain an active
programme of research and will contribute to the general work of the
department, including the teaching of a range of mathematics courses.
Ideally, the post will commence on 1 September 2013.
Any candidate wishing to discuss the appointment informally
is invited to contact the Head of Department, Professor Jan
van den Heuvel, at j.van-den-heuvel@lse.ac.uk.
To apply for this post, please go to http://www.lse.ac.uk/jobsatLSE/ and
select "Current Vacancies".
The closing date for the receipt of applications is 31 January 2013
(23.59 hours, UK time). Regrettably, we are unable to accept any applications
that are received after this date.
*We value diversity and wish to promote equality at all levels.*
See also:
http://www2.lse.ac.uk/maths/News/lectureship.aspx
Please access the attached hyperlink for an important electronic communications disclaimer: http://lse.ac.uk/emailDisclaimer
**********************************************************
*
* 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/
*
**********************************************************
application deadline: 31 January 2013
Department of Mathematics
Lecturer (Assistant Professor) in Mathematics
Salary: from GBP 41,041 per year incl.
Applications are invited from candidates with proven research ability in
mathematics. We are especially interested in applicants with research
interests in Analysis, Financial Mathematics, Mathematical Game Theory,
PDE Theory, Probability, or Stochastic Analysis, or other areas related
to current research interests in the department.
Information about the department can be found at
http://www2.lse.ac.uk/maths/
You should have an emerging track-record of research at a level of
international excellence, including publications in leading
international journals in your area, as well as a completed, or nearly
completed, PhD in a mathematical subject. You will maintain an active
programme of research and will contribute to the general work of the
department, including the teaching of a range of mathematics courses.
Ideally, the post will commence on 1 September 2013.
Any candidate wishing to discuss the appointment informally
is invited to contact the Head of Department, Professor Jan
van den Heuvel, at j.van-den-heuvel@lse.ac.uk.
To apply for this post, please go to http://www.lse.ac.uk/jobsatLSE/ and
select "Current Vacancies".
The closing date for the receipt of applications is 31 January 2013
(23.59 hours, UK time). Regrettably, we are unable to accept any applications
that are received after this date.
*We value diversity and wish to promote equality at all levels.*
See also:
http://www2.lse.ac.uk/maths/News/lectureship.aspx
Please access the attached hyperlink for an important electronic communications disclaimer: http://lse.ac.uk/emailDisclaimer
**********************************************************
*
* 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] research internship at Xerox Research Centre Europe (France)
There is an open internship position at the Xerox Research Centre in
Grenoble, France.
The subject is about applying theoretical concepts from text
algorithms to model documents. The ideal candidate should be a student
(PhD is a plus) and have good knowledge of text algorithms (or very
eager to learn them).
More information in the link below.
======
http://xrce.xerox.com/About-XRCE/Internships/Stringology-for-Document-Representation
XRCE is just 30' from the closest ski-resort and publications are encouraged.
For informal enquieries, please contact matthias.galle AT xrce.xerox.com
--
Matthias Gallé
**********************************************************
*
* 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/
*
**********************************************************
Grenoble, France.
The subject is about applying theoretical concepts from text
algorithms to model documents. The ideal candidate should be a student
(PhD is a plus) and have good knowledge of text algorithms (or very
eager to learn them).
More information in the link below.
======
http://xrce.xerox.com/About-XRCE/Internships/Stringology-for-Document-Representation
XRCE is just 30' from the closest ski-resort and publications are encouraged.
For informal enquieries, please contact matthias.galle AT xrce.xerox.com
--
Matthias Gallé
**********************************************************
*
* 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/
*
**********************************************************
The sixth Israel CS theory day
The sixth Israel CS theory day will take place at the Open University in Ra'anana on Wednesday, March 13th, 09:30-17:00.
For details see: http://www.openu.ac.il/theoryday
Pre-registration would be most appreciated: https://www.fee.co.il/theoryday13032013
For directions, please see http://www.openu.ac.il/raanana/p1.html (parking in the university parking lot is free).
Lehitraot,
The Department of Mathematics and Computer Science at the Open University
For details see: http://www.openu.ac.il/theoryday
Pre-registration would be most appreciated: https://www.fee.co.il/theoryday13032013
For directions, please see http://www.openu.ac.il/raanana/p1.html (parking in the university parking lot is free).
Lehitraot,
The Department of Mathematics and Computer Science at the Open University
Wednesday, January 23, 2013
2013 Mixed Integer Programming Workshop, Call for posters and participation
*** MIP2013: CALL FOR POSTER PRESENTATIONS AND PARTICIPATION ***
(Apologies for cross-postings.)
Date: July 22-25, 2013
Location: University of Wisconsin-Madison, in Madison, WI, USA
Web site and registration: https://events.discovery.wisc.edu/mip2013/
Poster submission deadline: April 1, 2013
You are cordially invited to participate in the upcoming workshop in Mixed Integer Programming (MIP 2013). The 2013 Mixed Integer Programming workshop will be the tenth in a series of annual workshops held in North America designed to bring the integer programming community together to discuss very recent developments in the field. The workshop series consists of a single track of invited talks and a poster session.
This year's confirmed speakers are:
Tobias Achterberg, IBM CPLEX Optimization
Pietro Belotti, Clemson University
Greg Blekherman, Georgia Institute of Technology
Sergei Chubanov, University of Siegen
Daniel Dadush, New York University
Marco Di Summa, University of Padova
Yuri Faenza, EPFL Lausanne
Oktay Gunluk, IBM T.J. Watson Research
John Hooker, Carnegie Mellon University
Matthias Koeppe, University of California, Davis
Quentin Louveaux, University of Liege
Carla Michini, ETH Zurich
Marco Molinaro, Carnegie Mellon University
Eduardo Moreno, Universidad Adolfo Ibanez
George Nemhauser, Georgia Institute of Technology
Thomas Rothvoss, MIT
Mohit Singh, McGill University
Gautier Stauffer, University of Bordeaux I
Mathieu Van Vyve, Catholic University of Louvain
Juan Pablo Vielma, MIT
Laurence Wolsey, Catholic University of Louvain
Bo Zeng, University of South Florida
Muhong Zhang, Arizona State University
A poster session will be held the first evening of the workshop (July 22). All workshop participants are invited to submit a poster abstract. There will be an award for the best poster presented by a student or postdoctoral researcher. To submit an abstract, please email a two page PDF containing a detailed abstract of the poster to mip2013@discovery.wisc.edu by April 1, 2013. Space for posters may be limited, and the abstract will be used to decide which posters are accepted, so it is important that the abstract provide a good description of the research to be presented. We expect to send out notifications by May 1, 2013.
The workshop is designed to provide ample time for discussion and interaction between the participants, as one of its aims is to facilitate research collaboration. Thanks to the generous support by our sponsors, registration is free, and travel support is available for students and postdocs who present posters at the workshop. Students and postdocs who wish to apply for travel support must submit a poster abstract by the April 1 deadline to be considered for funding. We expect to make funding decisions by May 1, 2013.
See you in Madison!
Sincerely,
Amitabh Basu, University of California, Davis
Daniel Bienstock, Columbia University
Alberto Del Pia, ETH Zurich
Santanu Dey, Georgia Tech
Jim Luedtke, University of Wisconsin-Madison
(MIP 2013 Organizing Committee, mip2013@discovery.wisc.edu)
(Apologies for cross-postings.)
Date: July 22-25, 2013
Location: University of Wisconsin-Madison, in Madison, WI, USA
Web site and registration: https://events.discovery.wisc.edu/mip2013/
Poster submission deadline: April 1, 2013
You are cordially invited to participate in the upcoming workshop in Mixed Integer Programming (MIP 2013). The 2013 Mixed Integer Programming workshop will be the tenth in a series of annual workshops held in North America designed to bring the integer programming community together to discuss very recent developments in the field. The workshop series consists of a single track of invited talks and a poster session.
This year's confirmed speakers are:
Tobias Achterberg, IBM CPLEX Optimization
Pietro Belotti, Clemson University
Greg Blekherman, Georgia Institute of Technology
Sergei Chubanov, University of Siegen
Daniel Dadush, New York University
Marco Di Summa, University of Padova
Yuri Faenza, EPFL Lausanne
Oktay Gunluk, IBM T.J. Watson Research
John Hooker, Carnegie Mellon University
Matthias Koeppe, University of California, Davis
Quentin Louveaux, University of Liege
Carla Michini, ETH Zurich
Marco Molinaro, Carnegie Mellon University
Eduardo Moreno, Universidad Adolfo Ibanez
George Nemhauser, Georgia Institute of Technology
Thomas Rothvoss, MIT
Mohit Singh, McGill University
Gautier Stauffer, University of Bordeaux I
Mathieu Van Vyve, Catholic University of Louvain
Juan Pablo Vielma, MIT
Laurence Wolsey, Catholic University of Louvain
Bo Zeng, University of South Florida
Muhong Zhang, Arizona State University
A poster session will be held the first evening of the workshop (July 22). All workshop participants are invited to submit a poster abstract. There will be an award for the best poster presented by a student or postdoctoral researcher. To submit an abstract, please email a two page PDF containing a detailed abstract of the poster to mip2013@discovery.wisc.edu by April 1, 2013. Space for posters may be limited, and the abstract will be used to decide which posters are accepted, so it is important that the abstract provide a good description of the research to be presented. We expect to send out notifications by May 1, 2013.
The workshop is designed to provide ample time for discussion and interaction between the participants, as one of its aims is to facilitate research collaboration. Thanks to the generous support by our sponsors, registration is free, and travel support is available for students and postdocs who present posters at the workshop. Students and postdocs who wish to apply for travel support must submit a poster abstract by the April 1 deadline to be considered for funding. We expect to make funding decisions by May 1, 2013.
See you in Madison!
Sincerely,
Amitabh Basu, University of California, Davis
Daniel Bienstock, Columbia University
Alberto Del Pia, ETH Zurich
Santanu Dey, Georgia Tech
Jim Luedtke, University of Wisconsin-Madison
(MIP 2013 Organizing Committee, mip2013@discovery.wisc.edu)
[DMANET] CanaDAM: Final Call for Submissions (deadlines extended)
CanaDAM 2013 - Third Announcement and Final Call for Submissions
*** Submission Deadlines Extended ***
(La version française de l'annonce se trouve ci-dessous)
The fourth Canadian Discrete and Algorithmic Mathematics Conference (CanaDAM)
will be held June 10-13, 2013 on the St. John's campus of Memorial University
of Newfoundland.
*** Minisymposium Submission Deadline: now February 10, 2013. Acceptance
notifications sent by February 18, 2013, or by February 4 if received before
January 27.
*** Contributed Talk Submission Deadline: now February 24, 2013. Acceptance
notifications sent by March 1, 2013, or February 18 if received before February
10.
*** Student / PDF Funding Applications Deadline: remains March 11, 2013.
Notifications sent by April 1, 2013.
*** Online registration is now available at:
http://canadam.math.ca/2013/registration
The early registration deadline is April 9, 2013 at 23:59 Eastern time.
Please check the conference website, http://CanaDAM.Math.ca/2013 , for
information about:
* accommodation,
* important dates,
* fees,
* local information,
* student/PDF funding, and
* the organising team.
Invited Speakers:
Miguel Anjos (École Polytechnique, Montréal)
Anne Condon (University of British Columbia)
Reinhard Diestel (Universität Hamburg)
Cheryl Praeger (The University of Western Australia)
Victor Reiner (University of Minnesota)
Carla Savage (North Carolina State University)
Robert Sedgewick (Princeton University)
Benny Sudakov (University of California Los Angeles)
Invited Minisymposia:
Algebraic Combinatorics
- Steph Van Willigenburg (University of British Columbia)
Algorithmic Methods in Comparative Genomics
- Max Alekseyev (University of South Carolina)
Analytic Combinatorics
- Alfredo Viola (Universidad de la República, Uruguay)
Combinatorics and Geometry of Linear Optimization
- Antoine Deza (McMaster University)
Design Theory
- Ian Wanless (Monash University)
Enumerative Combinatorics
- Marni Mishna (Simon Fraser University)
Extremal Combinatorics
- Dhruv Mubayi (University of Illinois at Chicago)
Graph Theory
- Matthias Kriesell (Universität Hamburg)
Probabilistic Combinatorics
- Mike Molloy (University of Toronto)
Problem Session, hosted by Brett Stevens (Carleton University). Please submit
open problems for this session directly to Brett at brett@math.carleton.ca, and
put "CanaDAM open problems" in the Subject field when doing so.
Please pass this message along to colleagues in discrete mathematics. Our
apologies to those who receive it more than once. The organising team
expresses its thanks and gratitude to the Canadian Mathematical Society for the
conference's web presence.
======================================================
CanaDAM 2013 - Troisième annonce et appel final pour la soumission de
présentations et de minisymposiums
*** Les échéances ont été reportées. ***
Le 4ième congrès canadien de mathématiques discrètes et algorithmiques aura lieu
du 10 au 13 juin 2013 sur le campus de l'Université Memorial dans la ville de
St. John's, à Terre-Neuve. Veuillez consulter le site du congrès,
http://CanaDAM.Math.ca/2013, pour des renseignements sur
*** L'échéance pour soumettre un minisymposium a été reportée au 10 février 2013
(les personnes qui les proposent recevront une réponse au plus tard le 18
février 2013, ou au plus tard le 4 février si la proposition a été reçue avant
le 27 janvier).
*** L'échéance pour la soumission d'une présentation libre a été reportée au 24
février (la réponse sera donnée au plus tard le 1 mars 2013, ou au plus tard le
18 février si le résumé est reçu avant le 10 février).
*** Les étudiants ou stagiaires postdoctoraux devront faire leur demande d'aide
financière au plus tard le 11 mars 2013. Ils recevront une réponse au plus tard
le 1 avril 2013. Ces échéances n'ont pas été reportées.
*** L'inscription en ligne au congrès est disponible:
http://canadam.math.ca/2013f/registration
La date limite pour l'inscription avec frais réduits est le 9 avril 2013, 23:59
HNE.
Veuillez consulter le site du congrès, http://CanaDAM.Math.ca/2013 , pour des
renseignements sur
* l'hébergement,
* les dates importantes,
* les frais d'inscription,
* la ville et le campus,
* l'aide financière pour les étudiants et stagiaires postdoctoraux, et
* le comité d'organisation.
Conférenciers invités:
Miguel Anjos (École Polytechnique, Montréal)
Anne Condon (University of British Columbia)
Reinhard Diestel (Universität Hamburg)
Cheryl Praeger (The University of Western Australia)
Victor Reiner (University of Minnesota)
Carla Savage (North Carolina State University)
Robert Sedgewick (Princeton University)
Benny Sudakov (University of California Los Angeles)
Minisymposiums sur invitation:
Algebraic Combinatorics
- Steph Van Willigenburg (University of British Columbia)
Algorithmic Methods in Comparative Genomics
- Max Alekseyev (University of South Carolina)
Analytic Combinatorics
- Alfredo Viola (Universidad de la República, Uruguay)
Combinatorics and Geometry of Linear Optimization
- Antoine Deza (McMaster University)
Design Theory
- Ian Wanless (Monash University)
Enumerative Combinatorics
- Marni Mishna (Simon Fraser University)
Extremal Combinatorics
- Dhruv Mubayi (University of Illinois at Chicago)
Graph Theory
- Matthias Kriesell (Universität Hamburg)
Probabilistic Combinatorics
- Mike Molloy (University of Toronto)
Séance de problèmes.
Brett Stevens, de l'Université Carleton, présidera une séance de problèmes
pendant le congrès CanaDAM 2013. Toute personne désirant soumettre des
problèmes ouverts est invitée à les envoyer à Brett Stevens
(brett@math.carleton.ca), en donnant "CanaDAM open problems" comme sujet du
message.
Veuillez faire circuler cette annonce parmi vos collègues en mathématiques
discrètes, et nous excuser si vous la recevez plus d'une fois. Le Comité
d'organisation est très reconnaissant à la Société mathématique du Canada de
son aide pour la diffusion sur la toile des informations concernant le
congrès.
This electronic communication is governed by the terms and conditions at
http://www.mun.ca/cc/policies/electronic_communications_disclaimer_2012.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/
*
**********************************************************
*** Submission Deadlines Extended ***
(La version française de l'annonce se trouve ci-dessous)
The fourth Canadian Discrete and Algorithmic Mathematics Conference (CanaDAM)
will be held June 10-13, 2013 on the St. John's campus of Memorial University
of Newfoundland.
*** Minisymposium Submission Deadline: now February 10, 2013. Acceptance
notifications sent by February 18, 2013, or by February 4 if received before
January 27.
*** Contributed Talk Submission Deadline: now February 24, 2013. Acceptance
notifications sent by March 1, 2013, or February 18 if received before February
10.
*** Student / PDF Funding Applications Deadline: remains March 11, 2013.
Notifications sent by April 1, 2013.
*** Online registration is now available at:
http://canadam.math.ca/2013/registration
The early registration deadline is April 9, 2013 at 23:59 Eastern time.
Please check the conference website, http://CanaDAM.Math.ca/2013 , for
information about:
* accommodation,
* important dates,
* fees,
* local information,
* student/PDF funding, and
* the organising team.
Invited Speakers:
Miguel Anjos (École Polytechnique, Montréal)
Anne Condon (University of British Columbia)
Reinhard Diestel (Universität Hamburg)
Cheryl Praeger (The University of Western Australia)
Victor Reiner (University of Minnesota)
Carla Savage (North Carolina State University)
Robert Sedgewick (Princeton University)
Benny Sudakov (University of California Los Angeles)
Invited Minisymposia:
Algebraic Combinatorics
- Steph Van Willigenburg (University of British Columbia)
Algorithmic Methods in Comparative Genomics
- Max Alekseyev (University of South Carolina)
Analytic Combinatorics
- Alfredo Viola (Universidad de la República, Uruguay)
Combinatorics and Geometry of Linear Optimization
- Antoine Deza (McMaster University)
Design Theory
- Ian Wanless (Monash University)
Enumerative Combinatorics
- Marni Mishna (Simon Fraser University)
Extremal Combinatorics
- Dhruv Mubayi (University of Illinois at Chicago)
Graph Theory
- Matthias Kriesell (Universität Hamburg)
Probabilistic Combinatorics
- Mike Molloy (University of Toronto)
Problem Session, hosted by Brett Stevens (Carleton University). Please submit
open problems for this session directly to Brett at brett@math.carleton.ca, and
put "CanaDAM open problems" in the Subject field when doing so.
Please pass this message along to colleagues in discrete mathematics. Our
apologies to those who receive it more than once. The organising team
expresses its thanks and gratitude to the Canadian Mathematical Society for the
conference's web presence.
======================================================
CanaDAM 2013 - Troisième annonce et appel final pour la soumission de
présentations et de minisymposiums
*** Les échéances ont été reportées. ***
Le 4ième congrès canadien de mathématiques discrètes et algorithmiques aura lieu
du 10 au 13 juin 2013 sur le campus de l'Université Memorial dans la ville de
St. John's, à Terre-Neuve. Veuillez consulter le site du congrès,
http://CanaDAM.Math.ca/2013, pour des renseignements sur
*** L'échéance pour soumettre un minisymposium a été reportée au 10 février 2013
(les personnes qui les proposent recevront une réponse au plus tard le 18
février 2013, ou au plus tard le 4 février si la proposition a été reçue avant
le 27 janvier).
*** L'échéance pour la soumission d'une présentation libre a été reportée au 24
février (la réponse sera donnée au plus tard le 1 mars 2013, ou au plus tard le
18 février si le résumé est reçu avant le 10 février).
*** Les étudiants ou stagiaires postdoctoraux devront faire leur demande d'aide
financière au plus tard le 11 mars 2013. Ils recevront une réponse au plus tard
le 1 avril 2013. Ces échéances n'ont pas été reportées.
*** L'inscription en ligne au congrès est disponible:
http://canadam.math.ca/2013f/registration
La date limite pour l'inscription avec frais réduits est le 9 avril 2013, 23:59
HNE.
Veuillez consulter le site du congrès, http://CanaDAM.Math.ca/2013 , pour des
renseignements sur
* l'hébergement,
* les dates importantes,
* les frais d'inscription,
* la ville et le campus,
* l'aide financière pour les étudiants et stagiaires postdoctoraux, et
* le comité d'organisation.
Conférenciers invités:
Miguel Anjos (École Polytechnique, Montréal)
Anne Condon (University of British Columbia)
Reinhard Diestel (Universität Hamburg)
Cheryl Praeger (The University of Western Australia)
Victor Reiner (University of Minnesota)
Carla Savage (North Carolina State University)
Robert Sedgewick (Princeton University)
Benny Sudakov (University of California Los Angeles)
Minisymposiums sur invitation:
Algebraic Combinatorics
- Steph Van Willigenburg (University of British Columbia)
Algorithmic Methods in Comparative Genomics
- Max Alekseyev (University of South Carolina)
Analytic Combinatorics
- Alfredo Viola (Universidad de la República, Uruguay)
Combinatorics and Geometry of Linear Optimization
- Antoine Deza (McMaster University)
Design Theory
- Ian Wanless (Monash University)
Enumerative Combinatorics
- Marni Mishna (Simon Fraser University)
Extremal Combinatorics
- Dhruv Mubayi (University of Illinois at Chicago)
Graph Theory
- Matthias Kriesell (Universität Hamburg)
Probabilistic Combinatorics
- Mike Molloy (University of Toronto)
Séance de problèmes.
Brett Stevens, de l'Université Carleton, présidera une séance de problèmes
pendant le congrès CanaDAM 2013. Toute personne désirant soumettre des
problèmes ouverts est invitée à les envoyer à Brett Stevens
(brett@math.carleton.ca), en donnant "CanaDAM open problems" comme sujet du
message.
Veuillez faire circuler cette annonce parmi vos collègues en mathématiques
discrètes, et nous excuser si vous la recevez plus d'une fois. Le Comité
d'organisation est très reconnaissant à la Société mathématique du Canada de
son aide pour la diffusion sur la toile des informations concernant le
congrès.
This electronic communication is governed by the terms and conditions at
http://www.mun.ca/cc/policies/electronic_communications_disclaimer_2012.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] Deadline extension: SMART 2013 || June 23 - 28, 2013 - Rome, Italy
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to SMART 2013.
The submission deadline is February 7, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== SMART 2013 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
SMART 2013, The Second International Conference on Smart Systems, Devices and Technologies
June 23 - 28, 2013 - Rome, Italy
General page: http://www.iaria.org/conferences2013/SMART13.html
Call for Papers: http://www.iaria.org/conferences2013/CfPSMART13.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2013/SubmitSMART13.html
Submission deadline: February 7, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
Please note the Poster and Work in Progress options.
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html
SMART 2013 Topics (topics and submission details: see CfP on the site)
Future cities
Digital cities
Senseable city networks
Smart houses
Dynamic urban communications
Knowledge on urban economy
Public display and search
Indoor communications
SHUI (Smart Home User Interfaces)
Smart mobility
Pervasive urban applications
Ubiquitous computing in digital cities
Mobile crowdsourcing applications
Rural communications
Ambient assisted living
Smart multimedia services
Smart antennas
Smart urban electric cars
Smart atmospheric and population migration measurements
Smart energy and optimal consumption
Smartphones
Smart spaces
Ecological cities
Interactions between smart cities
Health informatics in smart cities
Mobility monitoring and control in smart environments
Navigating in smart environments
Smart information processing
Smart analytics
Internet of things in smart environments
Social networking in smart environments
Use Cases for Smart Homes/Cities
Sociocultural challenges in smart environments
Costs associated with smart cities
-------------------------------------
Committee: http://www.iaria.org/conferences2013/ComSMART13.html
================================================
**********************************************************
*
* 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/
*
**********************************************************
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to SMART 2013.
The submission deadline is February 7, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== SMART 2013 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
SMART 2013, The Second International Conference on Smart Systems, Devices and Technologies
June 23 - 28, 2013 - Rome, Italy
General page: http://www.iaria.org/conferences2013/SMART13.html
Call for Papers: http://www.iaria.org/conferences2013/CfPSMART13.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2013/SubmitSMART13.html
Submission deadline: February 7, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org
Please note the Poster and Work in Progress options.
The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html
SMART 2013 Topics (topics and submission details: see CfP on the site)
Future cities
Digital cities
Senseable city networks
Smart houses
Dynamic urban communications
Knowledge on urban economy
Public display and search
Indoor communications
SHUI (Smart Home User Interfaces)
Smart mobility
Pervasive urban applications
Ubiquitous computing in digital cities
Mobile crowdsourcing applications
Rural communications
Ambient assisted living
Smart multimedia services
Smart antennas
Smart urban electric cars
Smart atmospheric and population migration measurements
Smart energy and optimal consumption
Smartphones
Smart spaces
Ecological cities
Interactions between smart cities
Health informatics in smart cities
Mobility monitoring and control in smart environments
Navigating in smart environments
Smart information processing
Smart analytics
Internet of things in smart environments
Social networking in smart environments
Use Cases for Smart Homes/Cities
Sociocultural challenges in smart environments
Costs associated with smart cities
-------------------------------------
Committee: http://www.iaria.org/conferences2013/ComSMART13.html
================================================
**********************************************************
*
* 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] Algorithm Engineering Position at TomTom, Berlin
=====================================================
Position in Berlin, Germany:
(Senior) Algorithm Engineer / C++ Developer at TomTom
=====================================================
Position in Berlin, Germany:
(Senior) Algorithm Engineer / C++ Developer at TomTom
=====================================================
TomTom is looking for a (Senior) Algorithm Engineer / C++ Developer to
work on our next-generation connected navigation solutions.
Responsibilities include algorithm engineering and C++ development as
part of our engineering teams, and also the contribution to
collaborative research projects conducted by TomTom with academia, where
we work on a broad variety of novel algorithms for navigation,
concentrating on efficiently turning today's cutting-edge mathematical
research into innovative features for our next generation products.
- Design and implement state of the art routing and traffic algorithms
in C++.
- Integrate the algorithms into TomTom's software for embedded / mobile
devices as well as for server-based solutions.
- Coordinate work and represent TomTom in collaborative research
projects with external partners.
- Evaluate latest advances in relevant mathematical research and assess
their potential for TomTom's products.
Your profile:
- Fluency in C++ using STL, templates, abstractions, and efficient
resource handling.
- Minimum of 1-3 years of coding experience in C++ development projects.
- Extensive expertise in engineering efficient algorithms and data
structures for combinatorial optimization.
- Solid knowledge in shortest path problems (e.g. accelerated route
planning schemes, time-dependent shortest paths, multi-objective/pareto
paths, robust shortest paths).
- Working experience in collaborative research projects, particularly in
cooperation of research institutes with industrial partners.
- Project management skills, including the ability to define and
estimate development tasks, detect bottlenecks and risks, and coordinate
work within a diverse team of international partners.
- University Degree in Computer Science, Discrete Mathematics, or a
closely related field (Ph.D. would be a plus).
- Good written and oral language skills in English.
To receive more information, please contact Felix Koenig.
Email: felix.koenig@tomtom.com.
**********************************************************
*
* 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/
*
**********************************************************
Subscribe to:
Posts (Atom)
Posts
