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. FLoC 2014 Final Call for Workshops (The Sixth Federated Logic
Conference, July 2014, Vienna, Austria) (Stefan Szeider)
2. Workshop on Optimization in Finance and Risk Management,
September 23-24, Fields Institute, Toronto (Oleksandr Romanko)
3. LAST CALL FOR PAPERS 2nd International CONFERENCE ON DIGITAL
ENTERPRISE DESIGN & MANAGEMENT (DED&M 2014)
(roda@lix.polytechnique.fr)
4. Postdoc positions in Algorithmic Game Theory at the
University of Oxford (Laura Marmor)
----------------------------------------------------------------------
Message: 1
Date: Wed, 11 Sep 2013 10:32:00 +0200
From: Stefan Szeider <stefan@szeider.net>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] FLoC 2014 Final Call for Workshops (The Sixth
Federated Logic Conference, July 2014, Vienna, Austria)
Message-ID: <4EA4BED7-5DDF-4661-928E-E099B9F9F247@szeider.net>
Content-Type: text/plain; charset=us-ascii
[apologies for cross posting]
THE SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014)
Part of VIENNA SUMMER OF LOGIC (VSL 2014)
July 2014, Vienna, Austria
FINAL CALL FOR WORKSHOPS
The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with at least one of the eight conferences.
26th International Conference on Computer Aided Verification (CAV)
Workshop Chair: Martina Seidl http://fmv.jku.at/seidl/
27th IEEE Computer Security Foundations Symposium (CSF)
Workshop Chair: Luca Vigano http://profs.sci.univr.it/~vigano/
30th International Conference on Logic Programming (ICLP)
Workshop Chair: Haifeng Guo http://faculty.ist.unomaha.edu/hguo/
7th International Joint Conference on Automated Reasoning (IJCAR)
Workshop Chair: Matthias Horbach http://www.mpi-inf.mpg.de/~horbach/
5th Conference on Interactive Theorem Proving (ITP)
Workshop Chair: David Pichardie http://www.irisa.fr/celtique/pichardie/
Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
Workshop Chair: Georg Moser http://cl-informatik.uibk.ac.at/users/georg/
25th International Conference on Rewriting Techniques and Applications (RTA) joined with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
Workshop Chair: Aleksy Schubert http://www.mimuw.edu.pl/~alx/
17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
Workshop Chair: Ines Lynce http://sat.inesc-id.pt/~ines/
SUBMISSION OF WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate at least one conference to be affiliated with, and among those exactly one primary hosting conference.
It is suggested that prospective workshop organizers contact the relevant conference Workshop Chair(s) before submitting a proposal.
Proposals should be submitted electronically to EasyChair at the following address: http://www.easychair.org/conferences/?conf=floc14cfw
Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include:
* contact information of the workshop organizers
* proposed primary hosting conference (and possibly other affiliated conference(s))
* estimate of the audience size
* proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.)
* potential invited speakers
* procedures for selecting papers and participants
* plans for dissemination, if any (for example, special issues of journals)
* duration (which may vary from one day to two days) and preferred period
The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and subject to the availability of space and facilities.
Further information can be found at the FLoC 2014 Workshop Guide
http://vsl2014.at/floc-ws/
IMPORTANT DATES
Submission of workshop proposals: by September 30, 2013
Notification: by November, 2013
Pre-FLoC workshops: Saturday & Sunday, July 12-13
Mid-FLoC workshops: Thursday & Friday, July 17-18
Post-FLoC workshops: Wednesday & Thursday, July 23-24
CONTACT INFORMATION
Questions regarding workshop proposals should be sent to the workshop chairs of conferences that are supposed to host the workshop (see above). General questions should be sent to floc14cfw@easychair.org Please consult the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/
FLoC 2014 WORKSHOP CHAIR
Stefan Szeider
http://www.szeider.net
Vienna University of Technology
------------------------------
Message: 2
Date: Wed, 11 Sep 2013 09:46:18 -0400
From: Oleksandr Romanko <romanko@romanko.ca>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Workshop on Optimization in Finance and Risk
Management, September 23-24, Fields Institute, Toronto
Message-ID: <5230742A.6030803@romanko.ca>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
2nd CALL FOR PARTICIPATION
Dear Colleagues,
We would like to invite you to attend 2nd Industrial-Academic Workshop
on Optimization in Finance and Risk Management, September 23-24, Fields
Institute, Toronto. Information about the workshop is enclosed,
registration is available at the workshop web-site
http://www.optimization-in-finance.ca and
http://www.fields.utoronto.ca/programs/cim/13-14/riskmanagement13/
On behalf of the organizing committee, with best regards,
Oleksandr Romanko and Jonathan Li
------------------------
Oleksandr Romanko, Ph.D.
Senior Research Analyst, Quantitative Research
Risk Analytics, IBM, Toronto, ON, Canada
------------------------
Jonathan Li, Ph.D.
Assistant Professor, Telfer School of Management
University of Ottawa, Ottawa, ON, Canada
=====================================================================
2nd Industrial-Academic Workshop on Optimization in Finance and Risk
Management
=====================================================================
Dates: September 23-24, 2013
Location: Fields Institute, Toronto, Canada
Web-site: http://www.optimization-in-finance.ca
Organizers: Oleksandr Romanko, Jonathan Y. Li, Antoine Deza, Elkafi
Hassini, Kai Huang, Thomas R. Hurd, Roy H. Kwon, Chi-Guhn Lee
Sponsors: Fields Institute, Center for Financial Engineering at
University of Toronto, IBM, Canadian Operational Research Society (CORS)
Supporters: McMaster University, Professional Risk Managers'
International Association (PRMIA)
Workshop fee: $40 CAD for students/postdocs, $120 CAD for academia/industry
The workshop focus is on financial and risk management optimization
models that are aimed for practical implementation and use by risk
managers and finance practitioners. The goal is to bridge academic
research in optimization and financial applications of optimization
techniques.
Tentative Program
(http://www.optimization-in-finance.ca/preliminary-program/):
* Distinguished talks by invited academic and industrial speakers
* Contributed talks (25-minute) on recent research advances
* Panel discussion "Optimization in Quantitative Finance and Risk
Management - Industrial Perspective"
* Academia-industry connector and networking event
Invited Speakers:
* Jonathan Briggs (Canada Pension Plan Investment Board)
* Garud Iyengar (Columbia University)
* Alan J. King (IBM Research)
* Bogie Ozdemir (Sun Life Financial)
* R. Tyrrell Rockafellar (University of Washington)
* Dan Rosen (R? Financial Technologies)
* Luis Seco (University of Toronto and Sigma Analysis & Management)
* Reha T?t?nc? (Goldman Sachs Asset Management)
The workshop registration is available at
http://www.optimization-in-finance.ca/registration/
------------------------------
Message: 3
Date: Thu, 12 Sep 2013 14:30:54 +0200
From: roda@lix.polytechnique.fr
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] LAST CALL FOR PAPERS 2nd International CONFERENCE ON
DIGITAL ENTERPRISE DESIGN & MANAGEMENT (DED&M 2014)
Message-ID:
<3854465dab710bf6aac5ef4c3ec287df.squirrel@webmail.lix.polytechnique.fr>
Content-Type: text/plain;charset=utf-8
---------------------------- Original Message ----------------------------
Subject: LAST CALL FOR PAPERS 2nd International CONFERENCE ON DIGITAL
ENTERPRISE DESIGN & MANAGEMENT (DED&M 2014)
From: roda@lix.polytechnique.fr
Date: Thu, September 12, 2013 2:29 pm
To: hyscom@dii.unisi.it
--------------------------------------------------------------------------
LAST CALL FOR PAPERS
2nd International CONFERENCE ON DIGITAL ENTERPRISE DESIGN & MANAGEMENT
(DED&M 2014)
February, 4th & 5th 2014 ? Paris / Soci?t? G?n?rale Bank Tower at Paris La
Defense
-------------------------------------------------------------------------------------
Website: http://www.dedm2014.dedm.fr/
Contact: contact@dedm.fr
-------------------------------------------------------------------------------------
DED&M is placed under the high patronage of the French Ministry for
Industrial Renewal.
LAST CALL FOR PAPERS - SUBMISSION DEADLINE EXTENDED
The new digital challenges are based on the dynamics of progress of the
three basic information & communication technology: data storage,
information processing and communication networks that are now mature.
Hence, making the technological advances closer to the new uses that they
daily allow has become a central issue of the emerging Digital World. The
competitiveness of modern enterprises will rely more andmore on the
ability to take part of the new digital value trails, using their
technical infrastructure and their information systems.
We therefore believe that this is crucial to create a key place for
international debates & meetings on the Enterprise Architecture dimension
of the digital business. The ?Digital Enterprise Design & Management?
conference meets exactly this objective. Our event intends to put digital
issues at the heart of its program, but also to bring together all
business and technological stakeholders of the Digital Enterprise and to
give to all academic researchers and professional practitioners interested
in the design and the governance of digital systems the opportunity to
present their work or experiences.
IMPORTANT DATES
- Submission deadline : September 15, 2013 extended to September 29, 2013
- Acceptance notice for contributions: September 30, 2013 extended to
October 7, 2013
- Submission deadline of final version for Proceedings: November 6, 2013
extended to November 7, 2013
- Conference: February 4th & 5th, 2014
-"Best papers" awards: February 5th, 2014
SUBMISSION PROCEDURE / BEST PAPERS AWARDS & PUBLICATION
As the DED&M conference is both professional and academic, there will be
two different submission procedures according to the type of submitted
contributions: professional submissions and scientific submissions.
Selected papers will be presented either on the format of a 30-minute talk
or as a poster during a special session.
All accepted 30-minute talks papers will be published by Springer-Verlag
(Science and Engineering) in a dedicated proceedings book that will be
given to all participants during the conference. The program committee is
also pleased to inform you of the following two awards for the best DED&M
2014 papers: 1 award of 1.500 ? for the best academic or professional
paper and 1 award of 750 ? for the best student paper.
For more details, see: http://www.dedm2014.dedm.fr/-Submission-.html.
CONFERENCE TOPICS
Digital economy: Digital culture & uses, Digital strategies & economical
models, Digital property, Digital customers, Digital marketing &
distribution, Extended digital enterprise, Activities & digital resources,
Norms & standards.
Digital corporate governance: Public & inter-professional governance,
Industrial policy & sectorial regulation, Information systems & digital
governance, Strategic alignment, Digital enterprise transformation,Digital
technological strategies, Digital projects portfolios management.
Digital architecture & engineering: Enterprise architecture, Architectural
modeling (business, functional, applicative & technical architecture
processes), Collaborative architecture, Management of digital programs &
projects, Metrics of complexity & quality, Interoperability of information
systems.
MORE DETAILS
- More information can be found on the conference website:
http://www.dedm2014.dedm.fr.
- For any question, please write an email to: contact@dedm.fr.
ORGANIZERS & SPONSORS
DED&M is co-organized by CESAMES (Center of Excellence on Systems
Architecture, Management, Economy and Strategy), the Dassault Aviation ?
DCNS ? DGA ? Thales- Ecole Polytechnique - ENSTA ParisTech - T?l?com
ParisTech ? Complex Systems Engineering ? Chair and the Orange - Ecole
Polytechnique - T?l?com ParisTech ? Innovation & Regulation ? Chair.
The conference is sponsorised by AIM, Air France, CAP Digital, CEISAR,
CNAM, MEGA International, Soci?t? G?n?rale, Supelec, Systematic, Digiteo,
the OPEN GROUP France and the French Ministry for Industrial Renewal.
------------------------------
Message: 4
Date: Fri, 13 Sep 2013 09:52:32 +0000
From: Laura Marmor <laura.marmor@cs.ox.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Postdoc positions in Algorithmic Game Theory at the
University of Oxford
Message-ID:
<1636200A87934545AD099B492F7BB4653EE7DF@MBX10.ad.oak.ox.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"
Three postdoc positions in Algorithmic Game Theory are available at the University of Oxford funded by the ERC Advanced Grant "Algorithms, Games, Mechanisms, and the Price of Anarchy" (Principal Investigator: Elias Koutsoupias).
The researchers will be based in the Department of Computer Science and will be part of the newly-established Algorithms group in Oxford (http://www.cs.ox.ac.uk/research/algorithms). ?Work for these posts includes investigating, designing, and analysing mechanisms; extending the theory of the price of anarchy and stability; investigating game-playing issues that arise by applying the algorithmic approach (e.g. limitations in computation and communication) to classical game theory. Candidates should have a first degree and a doctorate in computer science or related discipline and a record of research in algorithmic game theory or a related area.
Area: Algorithmic Game Theory
Number of positions: 3
Duration: 1 year (extendable to 5 years)
Deadline for applications: 12 noon on 10th October 2013
Further information and applications: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=109515
Informal inquiries are welcome and should be directed to Elias Koutsoupias (elias@cs.ox.ac.uk).
?
------------------------------
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 67, Issue 12
**************************************
No comments:
Post a Comment