From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6D82D7EE49 for ; Tue, 19 Feb 2013 12:23:21 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of logicprogramming-bounces@dcc.fc.up.pt) identity=pra; client-ip=193.136.39.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logicprogramming-bounces@dcc.fc.up.pt"; x-sender="logicprogramming-bounces@dcc.fc.up.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of logicprogramming-bounces@dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=mailfrom; client-ip=193.136.39.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logicprogramming-bounces@dcc.fc.up.pt"; x-sender="logicprogramming-bounces@dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@smtp.dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=helo; client-ip=193.136.39.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logicprogramming-bounces@dcc.fc.up.pt"; x-sender="postmaster@smtp.dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoGAEVfI1HBiCcQ/2dsb2JhbABEhkm1boUlcgGCIQYBARoGDwETChgFDwMBAgYCJAIiBAICAwFfARGIEQitVoJAkBSBI4hKh1WBEwOWK4EdhEEThVWFEoFSgTU X-IPAS-Result: AmoGAEVfI1HBiCcQ/2dsb2JhbABEhkm1boUlcgGCIQYBARoGDwETChgFDwMBAgYCJAIiBAICAwFfARGIEQitVoJAkBSBI4hKh1WBEwOWK4EdhEEThVWFEoFSgTU X-IronPort-AV: E=Sophos;i="4.84,694,1355094000"; d="scan'208";a="3522086" Received: from mail.dcc.fc.up.pt (HELO smtp.dcc.fc.up.pt) ([193.136.39.16]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Feb 2013 12:23:20 +0100 Received: from localhost (localhost [127.0.0.1]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id 4D2FA1BA4BA; Tue, 19 Feb 2013 11:23:06 +0000 (WET) Received: from smtp.dcc.fc.up.pt ([127.0.0.1]) by localhost (servicos.dcc.fc.up.pt [127.0.0.1]) (amavisd-new, port 10025) with LMTP id 01140-01-18; Tue, 19 Feb 2013 11:23:06 +0000 (WET) Received: from servicos.dcc.fc.up.pt (localhost [127.0.0.1]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id A826F1BA4A4; Tue, 19 Feb 2013 11:22:59 +0000 (WET) X-Original-To: logicprogramming@dcc.fc.up.pt Delivered-To: logicprogramming@dcc.fc.up.pt Received: from localhost (localhost [127.0.0.1]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id 0F1EA1BA452 for ; Tue, 19 Feb 2013 11:09:19 +0000 (WET) Received: from smtp.dcc.fc.up.pt ([127.0.0.1]) by localhost (servicos.dcc.fc.up.pt [127.0.0.1]) (amavisd-new, port 10025) with LMTP id 00810-01-23 for ; Tue, 19 Feb 2013 11:09:15 +0000 (WET) Received: from [192.168.50.20] (phobia.dcc.fc.up.pt [192.168.50.20]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id F013F1BA3B2 for ; Tue, 19 Feb 2013 11:09:15 +0000 (WET) Message-ID: <1361272155.2095.4.camel@phobia.dcc.fc.up.pt> From: Ricardo Rocha Date: Tue, 19 Feb 2013 11:09:15 +0000 Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.4.4 (3.4.4-2.fc17) Mime-Version: 1.0 Content-Transfer-Encoding: 8bit To: undisclosed-recipients: ; X-Virus-Scanned: by amavisd-new at dcc.fc.up.pt X-Spam-Score: -1.797 X-Spam-Level: X-Mailman-Approved-At: Tue, 19 Feb 2013 11:22:55 +0000 X-BeenThere: logicprogramming@dcc.fc.up.pt X-Mailman-Version: 2.1.4 List-Id: logicprogramming.dcc.fc.up.pt List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: logicprogramming-bounces@dcc.fc.up.pt Errors-To: logicprogramming-bounces@dcc.fc.up.pt X-Virus-Scanned: by amavisd-new at dcc.fc.up.pt X-Validation-by: ricroc@dcc.fc.up.pt Subject: [Caml-list] SLATE 2013 - Second Call For Papers - Symposium on Languages, Applications and Technologies SLATE 2013 - Symposium on Languages, Applications and Technologies http://slate-conf.org/2013 20 and 21 June, 2013 University of Porto, Portugal We often use languages. First, to communicate between ourselves. Later, to communicate with computers. And more recently, with the advent of networks, we found a way to make computers communicate between themselves. All these different forms of communication use languages, different languages, but that still share many similarities. In SLATE we are interested in discussing these languages. SLATE is born from a group of researchers that share the fascination by the way languages work, being them natural or artificial. This group organized over a decade two different conferences: XATA, with interest in XML as the de facto language for computer interaction; and CoRTA, with interest in Compilers and related techniques to understand computer languages. SLATE arrives as the generalization of these two conferences into the abstraction of languages. Being languages such a broad subject, SLATE is organized in three main tracks: 1. HCL Track: Processing Human-Computer Languages 2. CCL Track: Processing Computer-Computer Languages 3. HHL Track: Processing Human-Human Languages A detailed topic list for each one of these tracks is presented below. HCL Track: Processing Human-Computer Languages * Programming language concepts and methodologies; * Language and Grammars, design, formal specification and quality; * Design of novel language constructs and their implementation; * Domain Specific Languages design and implementation; * Programming tools; * Programming, refactoring and debugging environments; * Dynamic and static analysis: Program Slicing; * Program Comprehension; * Compilation and interpretation techniques; * Code generation and optimization; CCL Track: Processing Computer-Computer Languages * Semantic Web and Ontologies; * Methodologies for specification in XML * XML compression, serialization and merging * XML Parsing and Querying; * XML Structuring * XML Transformation * XML Security * Web Services -- Architectures and Practical Cases * Web Technologies and Frameworks * XML Libraries and digital repositories * E-learning systems, standards and interoperability * Serialization languages HHL Track: Processing Human-Human Languages * Computational morphology, syntax and semantics; * Machine translation and tools for computer assisted translation; * Computational terminology and lexicography; * Speech synthesis and understanding; * Information extraction and automatic question answering; * Corpora linguistics; * NLP system evaluation; * Public tools and resources for NLP; * Ontologies and knowledge representation; * Statistical Methods applied to NLP; * Language teaching support tools. SLATE Publication Policy and Authors Information All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and digital support. They will also integrate the OASIcs series (http://www.dagstuhl.de/publikationen/oasics/). Selected papers’ authors should have the opportunity to publish extended versions of their papers in a special issue of ComSIS: Computer Science and Information Systems. Papers should be written using the OASIcs LaTeX template, using the English language, and should not exceed 16 pages. Please refer to the submissions page in the website for details about the document preparation. Relevant Dates * Paper Submission: March 08, 2013 * Authors Notification: March 28, 2013 * Final Paper Submission and Registration: May 12, 2013 * SLATE Symposium: June 20-21, 2013 Contact and Updates * Updates are regularly posted in the symposium webpage and notified through different social networks (check the symposium webpage for details); * Organizers can be contacted using "org" at "slate.di.uminho.pt"; Symposium Chair * José Paulo Leal (Universidade do Porto, Portugal) Program Co-Chairs * Ricardo Rocha (Universidade do Porto, Portugal - HCL Track) * José Paulo Leal (Universidade do Porto, Portugal - CCL Track) * Alberto Simões (Universidade do Minho, Portugal - HHL Track) Organization Committee * José Paulo Leal (Universidade do Porto, Portugal) * Ricardo Rocha (Universidade do Porto, Portugal) * Alberto Simões (Universidade do Minho, Portugal) * Ricardo Queirós (Instituto Politécnico do Porto, Portugal) * Nuno Carvalho (Universidade do Minho, Portugal) * Miguel Areias (Universidade do Porto, Portugal) * João Santos (Universidade do Porto, Portugal)