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. SCOR 2014 - 2nd Announcement and Call for Papers (M. Moniz)
2. Deadline extension: JSC - SCSS special issue (Temur Kutsia)
3. LATD 2014: Logic, Algebra and Truth Degrees, Vienna
(Austria), 16-19 Jul 2014 (Bjoern Lellmann)
4. INFORMS Telecommunications 2014 - Extended deadline
(Luis Eduardo Neves Gouveia)
----------------------------------------------------------------------
Message: 1
Date: Wed, 8 Jan 2014 09:04:35 +0100
From: "M. Moniz" <martim.moniz@ulb.ac.be>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] SCOR 2014 - 2nd Announcement and Call for Papers
Message-ID:
<CALWNkF6xmmmq8w4-Pier26A=RwjBt42rTLDL3mrVo2KSp8ve7A@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
******************CALL FOR PAPERS******************
**4th Student Conference on Operational Research**
************************SCOR 2014***********************
******May 2-4 2014, University of Nottingham, UK*****
*********************www.scor14.com*********************
We are pleased to announce the official launch of the PhD Student
Conference on Operational Research (SCOR 2014), now back for its
fourth instalment. We invite you to join us once again, at the
beautiful University of Nottingham campus the 2-4 May 2014.
PhD students from all European Universities studying Operational
Research, Management Science or a related field are kindly invited to
submit an abstract for presentation at the conference. As some
presenters may still be on an early stage of in their careers, the
work presented does not need to be fully developed or thoroughly
explored as of yet. The purpose of SCOR 2014 is to provide a friendly
environment for the next generation of Operational Researchers to
receive constructive feedback on their work and to meet people with
similar interests. The scope of the conference includes, but is not
limited to:
*Big Data & Analytics * Data Mining * Energy * Forecasting * Graphs /
Networks * Healthcare *
*Heuristics * Inventory * Mathematical Programming * Multicriteria
Decision Analysis * *Neural Networks / Machine Learning * Optimisation
and Applications * Reliability / Risk Assessment * Scheduling /
Timetabling * Stochastic Modelling * Supply Chain Management *
*Simulation / System Dynamics * Transport /Logistics*
The conference takes place just after the NATCOR course, which will
also be held in Nottingham.
*******Deadline for abstract (250 words) submission: Monday 24th
February 2014*********
A notification of acceptance will be sent shortly after this deadline.
In order to encourage a wide
range of students to attend, an affordable conference fee will cover
accommodation, a full social
program and full catering provided.
******************Deadline for PAPERS submission: Friday 11th April
2014******************
Presenters are also invited to submit a paper (no more than 10 pages)
on their work to be
published electronically as part of the SCOR 2014 proceedings. This
will be available in the
Dagstuhl OpenAccess Series in Informatics (OASIcs). Paper submissions
will undergo a selection
process based on refereeing by the Committee. This gives doctoral
candidates a chance to
experience the peer-review process and to enhance their technical
writing skills. Although it
is not mandatory, it is again, highly recommended. To get an idea on
the paper standards
please visit the SCOR2012 proceedings.
See you in Nottingham!!!
**********************Follow us on**********************
* www.scor14.com *
* www.facebook.com/scor2014 *
* www.twitter.com/scor2014 *
* www.linkedin.com/company/scor-2014 *
***********************************************************
------------------------------
Message: 2
Date: Tue, 07 Jan 2014 17:34:30 +0100
From: Temur Kutsia <kutsia@risc.jku.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline extension: JSC - SCSS special issue
Message-ID: <52CC2C96.6020005@risc.jku.at>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[Please post - apologies for multiple copies.]
Deadline extension
----------------------------------------
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 31, 2014 (extended)
Notification of acceptance: April 25, 2014 (extended)
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: 3
Date: Wed, 08 Jan 2014 10:16:49 +0100
From: Bjoern Lellmann <lellmann@logic.at>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] LATD 2014: Logic, Algebra and Truth Degrees, Vienna
(Austria), 16-19 Jul 2014
Message-ID: <52CD1781.7040701@logic.at>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
(Apologies for multiple postings)
Logic, Algebra and Truth Degrees 2014
July 16 - 19, Vienna, Austria
Call for papers
The conference "Logic, Algebra and Truth Degrees 2014" will be
held on 16-19 July 2014 in Vienna, Austria, as part of the
Vienna Summer of Logic event http://vsl2014.at.
Logic, Algebra and Truth Degrees is the fourth official meeting
of the EUSFLAT Working Group on Mathematical Fuzzy Logic.
Mathematical Fuzzy Logic is the sub-discipline of Mathematical
Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be
very useful in many theoretical and applied areas of Mathematics,
Computer Science, and Philosophy.
The featured topics include:
- Proof theory and computational complexity
- Algebraic semantics and abstract algebraic logic
- First, higher-order and modal formalisms
- Applications and foundational issues
- Geometric and game theoretic aspects
We particularly welcome contributions on many-valued and
related logical systems.
Invited speakers:
- Silvio Ghilardi, Italy
- Melvin Fitting, USA
- George Metcalfe, Switzerland
- Dale Miller, France
- Dana Scott, USA
- Alasdair Urquhart, Canada
Tutorials:
- Franz Baader, Germany
- Vincenzo Marra, Italy
Programme Committee:
- Arnon Avron, Israel
- Matthias Baaz (Chair), Austria
- Agata Ciabattoni (Co-Chair), Austria
- Petr Cintula, Czech Republic
- Nikolaos Galatos, USA
- Lluis Godo, Spain
- Rosalie Iemhoff, The Netherlands
- Nicola Olivetti, France
- Hiroakira Ono, Japan
- Kazushige Terui, Japan
- Richard Zach, Canada
Contributed talks:
Abstracts of contributed talks, 2-4 pages, are to be prepared
using the ASL abstract template and submitted via Easychair.
The accepted abstracts will be available on-line and published
in the joint volume of abstracts with the Logic Colloquium.
The deadline for contributions is 6th April 2014. The
notification of acceptance will be sent by 10th May 2014.
For more information please visit the official web page
of the conference: http://www.logic.at/latd2014.
All correspondence should be directed to latd2014@logic.at.
Please feel free to distribute this call.
The Organizing Committee
Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,
Bjoern Lellmann, Revantha Ramanayake, Lara Spendier
------------------------------
Message: 4
Date: Wed, 8 Jan 2014 09:43:57 +0000
From: Luis Eduardo Neves Gouveia <legouveia@fc.ul.pt>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] INFORMS Telecommunications 2014 - Extended deadline
Message-ID:
<4752EA098FED804AB3DF056A70B412145688F9004B@FC-MBXCLUSTER.fc.ul.pt>
Content-Type: text/plain; charset="iso-8859-1"
INFORMS Telecommunications 2014 (www.informstelecom2014.fc.ul.pt) - Extended Deadline
The 12th INFORMS Telecommunications Conference will be held March 2 - 4, 2014 in Campo Grande, Lisboa, Portugal.
In the tradition of the previous conferences, the 12th Conference will focus on the theory and application of operations research and management science to problems in telecommunications, with particular emphasis on new and emerging technologies. The conference is organized by the INFORMS Technical Section on Telecommunications.
Conference chair: Lu?s Gouveia
Conference co-chairs: Maur?cio Resende and Youngho Lee
Plenary speakers: Thomas Bonald (Telecom Paris Tech), Martin Gr?tschel (Zuse Institut Berlin) and Guy Leduc (Universit? de Li?ge)
2014 Doctoral Dissertation Award for Operations Research in Telecommunications
Abstract submission - EXTENDED DEADLINE: January 17th, 2014
The 3rd International Symposium in Combinatorial Optimization (ISCO 2014) will also be held from the 5th to the 7th of March, just after the INFORMS Telecommunications Conference, also at Campo Grande, Lisbon.
See the registration (to be updated) for reduced fees for people attending the two conferences.
------------------------------
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 71, Issue 7
*************************************
No comments:
Post a Comment