[TYPES/announce] UNIF 2014: Call for Participation

2014-06-01 Thread Temur Kutsia

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


   Call for Participation
UNIF 2014
  The 28th International Workshop on Unification
 July 13, 2014. Vienna, Austria
   a FLoC workshop hosted by RTA-TLCA and IJCAR
 http://vsl2014.at/unif


Invited Speakers

 * Jordi Levy, IIIA, CSIC, Barcelona, Spain

 * Jose Meseguer, University of Illinois at Urbana-Champaign, USA:
Extensible Symbolic System Analysis

Program
---

http://vsl2014.at/meetings/UNIF-program.html

Registration


http://vsl2014.at/registration

(Don't forget the early registration deadline: June 8)

We look forward to seeing you in Vienna!

The UNIF 2014 organizers:
Temur Kutsia
Christophe Ringeissen



[TYPES/announce] 2nd CfP: SCSS 2014

2014-06-01 Thread Temur Kutsia

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

SCSS 2014
Symbolic Computation in Software Science
6th International Symposium

Second Call for Papers

Gammarth, La Marsa, Tunisia, December 7-11, 2014
http://www.easychair.org/smart-program/SCSS2014/

Scope

The purpose of SCSS 2014 is to promote research on theoretical and 
practical aspects of symbolic computation in software science. The 
symposium provides a forum for active dialog between researchers from 
several fields of computer algebra, algebraic geometry, algorithmic 
combinatorics, computational logic, and software analysis and verification.


SCSS 2014 solicits both regular and tool papers on all aspects of 
symbolic computation and their applications in software science. The 
topics of the symposium include, but are not limited to the following:


- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine, 
economy, etc.)

- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing

Invited Speakers

Nikolaj Bjorner (Microsoft Research)
TBA

Program Chairs
--
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Andrei Voronkov (University of Manchester, UK)

Program Committee
--
Elvira Albert (Complutense University of Madrid, Spain)
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
James H. Davenport (University of Bath, UK)
Roberto Giacobazzi (University of Verona, Italy)
Arie Gurfinkel (Carnegie Mellon University, USA)
Nao Hirokawa (JAIST, Japan)
Tetsuo Ida (University of Tsukuba, Japan)
Florent Jacquemard (INRIA - IRCAM, France)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair
Ali Mili (New Jersey Institute of Technology, USA)
Joel Ouaknine (Oxford University, UK)
Ruzica Piskac (Yale University, USA)
Andrei Voronkov (University of Manchester, UK) - chair
Dongming Wang (Beihang University, China and UPMC-CNRS, France)

General Chairs
---
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Tetsuo Ida (University of Tsukuba, Japan)

Local Chair
---
Mohamed Becha Kaaniche (University of Carthage, Tunisia)

Important Dates
---
June 23, 2014: Abstract submission deadline
June 30, 2014: Paper submission deadline
August 25, 2014: Notification
September 22, 2014: Camera-ready copy deadline
December 7-11, 2014: SCSS 2014 in Gammarth

Submission
--
Submission is via EasyChair:

 https://www.easychair.org/conferences/?conf=scss2014

Submissions are invited in two categories: regular research papers and 
tool papers.


- Regular research papers must not exceed 12 pages in the EasyChair 
Class format, with up to 3 additional pages for technical appendices.

- Tool papers must not exceed 6 pages in the EasyChair Class format.

Publication
--
The proceedings will be published in the EasyChair Proceedings in 
Computing. We plan also to have a special issue of the Journal of 
Symbolic Computation on SCSS 2014. The full version of selected papers 
will be considered for the publication of the special issue subjected to 
the normal peer review process of the journal.




[TYPES/announce] SSTiC 2014: June 7, early registration deadline

2014-06-01 Thread GRLMC
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*

*

2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING

SSTiC 2014

Tarragona, Spain

July 7-11, 2014

Organized by
Rovira i Virgili University

http://grammars.grlmc.com/sstic2014/

*

--- Early registration deadline: June 7 ---

*

AIM:

SSTiC 2014 is the second edition in a series started in 2013. For the
previous event, see http://grammars.grlmc.com/SSTiC2013/

SSTiC 2014 will be a research training event mainly addressed to PhD
students and PhD holders in the first steps of their academic career. It
intends to update them about the most recent developments in the diverse
branches of computer science and its neighbouring areas. To that purpose,
renowned scholars will lecture and will be available for interaction with
the audience.

SSTiC 2014 will cover the whole spectrum of computer science through 6
keynote lectures and 22 six-hour courses dealing with some of the most
lively topics in the field. The organizers share the idea that outstanding
speakers will really attract the brightest students.

ADDRESSED TO:

Graduate students from around the world. There are no formal pre-requisites
in terms of the academic degree the attendee must hold. However, since there
will be several levels among the courses, reference may be made to specific
knowledge background in the description of some of them.

SSTiC 2014 is also appropriate for more senior people who want to keep
themselves updated on developments in their own field or in other branches
of computer science. They will surely find it fruitful to listen and discuss
with scholars who are main references in computing nowadays.

REGIME:

In addition to keynotes, 3 parallel sessions will be held during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.

VENUE:

SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:

Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona

KEYNOTE SPEAKERS:

Larry S. Davis (U Maryland, College Park), A Historical Perspective of
Computer Vision Models for Object Recognition and Scene Analysis

David S. Johnson (Columbia U, New York), Open and Closed Problems in
NP-Completeness

George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems:
Revisiting Item Neighborhood Methods

Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One
Coin

Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style

Ronald R. Yager (Iona C, New Rochelle), Social Modeling

COURSES AND PROFESSORS:

Divyakant Agrawal (Qatar Computing Research Institute, Doha), [intermediate]
Scalable Data Management in Enterprise and Cloud Computing Infrastructures

Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics
Challenges and Opportunities in the Life Sciences

Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing

John M. Carroll (Pennsylvania State U, University Park), [introductory]
Usability Engineering and Scenario-based Design

Kwang-Ting (Tim) Cheng (U California, Santa Barbara),
[introductory/intermediate] Smartphones: Hardware Platform, Software
Development, and Emerging Apps

Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed
Foundations of Data Management in the Cloud

Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and
Distributed Simulation

Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education
Research: What We Know about Learning and Teaching Computer Science

David S. Johnson (Columbia U, New York), [introductory] The Traveling
Salesman Problem in Theory and Practice

George Karypis (U Minnesota, Twin Cities), [intermediate] Programming
Models/Frameworks for Parallel & Distributed Computing

Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate]
Optimization Techniques for Sparse/Low-rank Recovery Problems in Image
Processing and Machine Learning

Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization

Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data

Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate]
Robot Motion Planning

Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in
Computer Science

Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate]
Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance
Handover System Designs

Robert Sargent (Syracuse U), [introductory] Validation of Models

St