Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de
To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de
You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."
Today's Topics:
1. CfP: JSC Special Issue on Symbolic Computation in Software
Science (Temur Kutsia)
2. PhD positions at U. Edinburgh in Algorithms, Networks and
Geometry (Rik Sarkar)
3. ISAIM 2014: Submission Deadline Extended (Dimitris Diochnos)
4. Assistant Professor position at University of Toronto
Scarborough (Igor Averbakh)
----------------------------------------------------------------------
Message: 1
Date: Mon, 14 Oct 2013 12:02:47 +0200
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CfP: JSC Special Issue on Symbolic Computation in
Software Science
Message-ID: <525BC147.7010907@risc.jku.at>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[Please post - apologies for multiple copies.]
First Call for Papers
----------------------------------------
Special issue of the
JOURNAL OF SYMBOLIC COMPUTATION
on
SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
----------------------------------------
http://www.risc.jku.at/people/tkutsia/jsc-scss-2013.html
IMPORTANT DATES
---------
Paper submission: January 10, 2014
Notification of acceptance: April 4, 2014
Publication: Second half of 2014
SCOPE
--------
Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects etc.).
Powerful symbolic algorithms and methods have been developed during the
past decades like computer algebra, theorem proving, automated
reasoning, software verification, model checking, rewriting,
formalization of mathematics, Groebner bases, characteristic sets,
telescoping for recurrence relations, cylindric algebraic decomposition
and other quantifier elimination techniques, etc.
The purpose of this special issue is to promote research on theoretical
and practical aspects of symbolic computation in software science. The
special issue is related to the topics of the International Symposiums
on Symbolic Computation in Software Science - SCSS 2013 and SCSS 2012.
It will be published by Elsevier within the Journal of Symbolic Computation.
Participants of the SCSS 2013 and SCSS 2012 symposiums, as well as other
authors are invited to submit contributions.
EXAMPLES of TOPICS
-------------------
This special issue focuses on advanced symbolic computation techniques
for algorithm and software testing, property analysis, termination,
verification, induction assertion generation, synthesis, systematic
generation from components, equivalent transformation, library build-up.
Relevant topics include (but are not limited to) the following:
- automated synthesis of algorithms by symbolic computation
- automated generation of verification conditions of programs by
algebraic methods
- automated generation of inductive program properties
- analysis of algorithm complexity and program termination by algebraic
methods
- algebraic reasoning for computational origami
- efficient decision procedures for hybrid systems
- synthesis of numerical algorithms by algebraic methods
- symbolic model checking
- business process representations and analysis by symbolic methods
- symbolic preprocessing of numerical algorithms
- symbolic techniques for debugging and testing
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- rewriting algorithms
- component-based programming by algebraic methods
- query languages (in particular for XML documents)
- symbolic methods for the semantic web, cloud computing and big data
SUBMISSION GUIDELINES
-------------------
This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to any
journals or refereed conferences. Submissions will be peer-reviewed
using the standard refereeing procedure of the Journal of Symbolic
Computation.
Authors of papers presented at the SCSS 2013 and SCSS 2012 symposiums
are welcome and encouraged to submit extended and revised versions of
their papers. Furthermore, submissions of papers that are in the scope
of SCSS, but did not appear in SCSS 2013 and SCSS 2012 are welcome as well.
Submitted papers must be in English and include a well written
introduction addressing the following questions in succinct and informal
manner:
- What is the problem?
- Why is the problem important?
- What has been done so far on the problem?
- What is the main contribution of the paper on the problem?
- What aspect of symbolic computation helps solving the problem?
- Is the contribution original? Explain why.
- Is the contribution non-trivial? Explain why.
All the main definitions, theorems and algorithms should be illustrated
by simple but meaningful examples.
SUBMISSION
--------------------
Please prepare your submission in LaTeX using the JSC document format from:
http://www4.ncsu.edu/~hong/jsc.htm
(link to the submission template:
http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip)
Submission is via the EasyChair submission site at:
https://www.easychair.org/conferences/?conf=jscscss13
GUEST EDITORS
--------------------
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
FURTHER INFORMATION
-------------------------------
Laura Kovacs <laura.kovacs@chalmers.se>
Temur Kutsia <kutsia@risc.jku.at>
------------------------------
Message: 2
Date: Mon, 14 Oct 2013 11:05:46 +0100
From: Rik Sarkar <rsarkar@inf.ed.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD positions at U. Edinburgh in Algorithms,
Networks and Geometry
Message-ID: <525BC1FA.8000004@inf.ed.ac.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Ph.D. positions are available at the University of Edinburgh.
Students interested in one or more of the following topics:
* sensor networks
* complex networks including social networks
* algorithms and geometry
* Cluster computing algorithms
are invited to apply.
More information at http://homepages.inf.ed.ac.uk/rsarkar/positions.html.
International (Outside UK and EU) students should apply by **December 6,
2013**. All students are encouraged to apply early.
The University of Edinburgh is one of the top 20 in world in the current
QS rankings. The research at Edinburgh School of Informatics has
consistently ranked as the top in the U.K. The historic city of
Edinburgh is lively, beautiful, and a great place to live. More
information for students are available at
http://www.ed.ac.uk/schools-departments/informatics/postgraduate
--
Rik Sarkar
Lecturer (Assistant Professor) and Chancellor's Fellow
The University of Edinburgh
http://homepages.inf.ed.ac.uk/rsarkar/
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
------------------------------
Message: 3
Date: Mon, 14 Oct 2013 19:08:35 +0100
From: Dimitris Diochnos <D.Diochnos@ed.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ISAIM 2014: Submission Deadline Extended
Message-ID: <0C34E437-538F-452D-B4AE-845EA98B0AC7@ed.ac.uk>
Content-Type: text/plain; charset=us-ascii
SUBMISSION DEADLINE EXTENDED
Thirteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2014
http://www.cs.uic.edu/Isaim2014/
January 6-8, 2014
Fort Lauderdale, Florida
NEW PAPER SUBMISSION DEADLINE: October 22, 2013
The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the thirteenth Symposium in the series, which is sponsored by the journal Annals of Mathematics and Artificial Intelligence and by Florida Atlantic University. We seek submissions of recent results, with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions. The Symposium takes place at the Embassy Suites Hotel in Fort Lauderdale. Plea!
se visit http://www.cs.uic.edu/Isaim2014/Venue for more information about the venue.
SPECIAL TOPIC INVITED SESSIONS:
o Boolean and pseudo-Boolean Functions
-Organized by Endre Boros, Rutgers University, and Yves Crama, University of Liege
o Computational Social Choice
-Organized by Francesca Rossi, University of Padova, and Kristen Brent Venable, University of Padova
o Mathematical Theories of Natural Language Processing
-Organized by Andras Kornai, Hungarian Academy of Sciences
o Theory of Machine Learning
-Organized by Lev Reyzin, University of Illinois at Chicago
INVITED SPEAKERS:
o Peter Stone, University of Texas at Austin
o Csaba Szepesvari, University of Alberta
PAPER SUBMISSION:
Paper submission will be electronic via the submission link on the Paper Submission page of the Symposium website (http://www.cs.uic.edu/Isaim2014/). Papers must be formatted in accordance with the guidelines given there.
The submission deadline is October 22, 2013 (11:59 PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by November 22, 2013. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by December 15, 2013.
Work that has already been published as of the ISAIM submission deadline should not be submitted to ISAIM unless it introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review at the time of submission and can be submitted elsewhere after ISAIM.
Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Papers must of course be new and unpublished to be considered for the special volume.
Any questions regarding paper submission should be sent to the program committee chairs at the email address <isaim2014 at cs DOT uic DOT edu>.
IMPORTANT DATES:
Paper submission: October 22, 2013
Notification: November 22, 2013
Final version due: December 15, 2013
Workshop: January 6-8, 2014, Ft. Lauderdale, Florida
ORGANIZERS:
o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs: Lisa Hellerstein, Polytechnic Institute of NYU
Gyorgy Turan, University of Illinois at Chicago and University of Szeged
o Publicity Chair: Dimitrios I. Diochnos, University of Edinburgh
PROGRAM COMMITTEE:
Stephane Airiau University of Amsterdam
Endre Boros Rutgers University
Arthur Choi University of California Los Angeles
Berthe Choueiry University of Nebraska-Lincoln
Yves Crama University of Liege
Marek Druzdzel University of Pittsburgh
Roni Khardon Tufts University
Richard Korf University of California Los Angeles
Loizos Michael Open University of Cyprus
Maurice Pagnucco University of New South Wales
Barnabas Poczos Carnegie Mellon University
Francesca Rossi University of Padova
Bart Selman Cornell University
Rocco Servedio Columbia University
Hans-Ulrich Simon Ruhr-University Bochum
Stefan Szeider Vienna University of Technology
Balazs Szorenyi University of Szeged
Miroslaw (Mirek) Truszczynski University of Kentucky
Frank Wolter University of Liverpool
Stefan Woltran Vienna University of Technology
Neil Yorke-Smith American University of Beirut
Send inquiries and requests to isaim2014 at cs DOT uic DOT edu.
Visit http://www.cs.uic.edu/Isaim2014/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
------------------------------
Message: 4
Date: Mon, 14 Oct 2013 19:12:22 -0700 (PDT)
From: Igor Averbakh <averbakh@utsc.utoronto.ca>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Assistant Professor position at University of
Toronto Scarborough
Message-ID:
<1381803142.97530.YahooMailNeo@web163904.mail.gq1.yahoo.com>
Content-Type: text/plain; charset=utf-8
Operations Management ? Assistant Professor Tenure Stream
The Department of Management, University of Toronto Scarborough, invites applications from qualified candidates for a
full-time,
tenure-stream appointment in Operations Management at the rank of
Assistant Professor. The appointment will be effective July 1, 2014.
We are interested in individuals with research interests in Operations Research or Operations Management and teaching
interests
in Operations Management. Applicants must have or be near completion of
a PhD in Operations Research, Operations Management or a related
discipline. Candidates must demonstrate excellence in research and
teaching. Responsibilities include advancing the area's research agenda
and
teaching
undergraduate students at the University of Toronto Scarborough.
The Department of Management at the University of Toronto Scarborough is highly research oriented and seeks to
attract
the best candidates. The successful candidate will be a member of the
tri-campus graduate unit at the Rotman School of Management at the
University of Toronto and will be expected to participate in its
graduate programs. Salary will be commensurate with qualifications and
experience and
will be comparable with the top research schools anywhere in the world.
All qualified candidates are invited to apply by clicking on the?following link: http://www.jobs.utoronto.ca/faculty.htm (Job # 1301021). Applications should include a cover letter, curriculum
vitae, copies of publications/manuscripts, a research statement and a
teaching statement that
includes evidence of excellence in teaching. All application materials should be submitted online.
The UofT
application system can accommodate up to five attachments (10 MB) per
candidate profile; please combine attachments into one or two files in
PDF/MS Word format. Submission guidelines can be found at: http://uoft.me/how-to-apply . Applicants should also ask three references to send letters directly to the department via e-mail to management-reference-letters@utsc.utoronto.ca
The
deadline for applications is November 29, 2013. However, for interested
candidates who plan on attending the INFORMS Annual Meeting in
Minneapolis between October 6-9, 2013, please submit your applications by September 25, 2013.?
Additional information on the Department of Management can be found at http://www.utsc.utoronto.ca/~mgmt/ and on the Rotman School of
Management at ?http://www.rotman.utoronto.ca
The
University of Toronto is strongly committed to diversity within its
community and especially welcomes applications from visible minority
group
members, women, Aboriginal persons, persons with disabilities, members
of sexual minority groups and others who may contribute to the further
diversification of ideas.? All qualified candidates are encouraged to apply; however, Canadians and permanent residents
will be given priority.
------------------------------
Subject: Digest Footer
_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
------------------------------
End of dmanet Digest, Vol 68, Issue 13
**************************************
No comments:
Post a Comment