From sandra.sendra.upv at gmail.com Fri Jan 11 23:10:08 2013 From: sandra.sendra.upv at gmail.com (Sandra Sendra) Date: Fri, 11 Jan 2013 23:10:08 +0100 Subject: Last Mile: COMPUTATION TOOLS 2013 || May 27 - June 1, 2013 - Valencia, Spain Message-ID: <201301112210.r0BMA83O017093@smtp.upv.es> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to COMPUTATION TOOLS 2013. The submission deadline is extended to January 27, 2013. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== COMPUTATION TOOLS 2013 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS COMPUTATION TOOLS 2013, The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking May 27 - June 1, 2013 - Valencia, Spain General page: http://www.iaria.org/conferences2013/COMPUTATIONTOOLS13.html Call for Papers: http://www.iaria.org/conferences2013/CfPCOMPUTATIONTOOLS13.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2013/SubmitCOMPUTATIONTOOLS13.html Submission deadline: January 27, 2013 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html COMPUTATION TOOLS 2013 Topics (topics and submission details: see CfP on the site) Logics Reasoning logics; Fuzzy logics; Semantic logics; Temporal logics; Emotion logics; Ambiant logics; Modal logics; Description logics; Computational tree logic; Computational logics and constraints; Quantum computational logics; Executable computational logics; Monadic computational logics; Many-valued computational logics; Computability logic Algebras Computational algebras; K-theories, C*-algebras, Index theory; Algebraic and topological K-theory; Geometric group theory and group C*-algebras; Noncommutative geometry and topology; Pseudodifferential operators on singular manifolds; Topological invariants of non-simply connected manifolds; Deformation quantization; Lambda calculus; Relation algebra; Algebras for symbolic computation; Constructive algebras Advanced computation techniques Machine learning; Fuzzy theory/computation/logic; (Artificial) neuronal networks; Distributed artificial intelligence; Genetic algorithms; Analytic tableaux; Autonomous agent-based techniques; Knowledge-based systems and automated reasoning; Logical issues in knowledge representation /non-monotonic reasoning/belief; Dempster-Shafer theory; Concurrent computation and planning; Deduction and reasoning Specialized programming languages Logic programming; Specialized computation languages; Real-time computation languages; Embedded-computing languages; Programming semantics; Content-driven programming; Multimedia-oriented programming; Context-driven programming; Service-oriented programming; Pattern-oriented programming; Regenerative programming; Progressive programming; Sensing-oriented programming; Mobile-ubiquity-oriented computing; Compilation issues Tools for distributed computation Platforms for distributed computing; Specification and verification of programs and systems; Techniques for cloud computing; On-request resource allocation mechanisms; Security and privacy techniques; Computational benchmarking metrics, criteria and methodologies; Distributed debug and on-fly repairing; Inference of schemas, integrity constraints in computational applications; Real-world applications, experiments, projects ------------------------------------------- Committee: http://www.iaria.org/conferences2013/ComCOMPUTATIONTOOLS13.html ================================================ From koalafil at gmail.com Tue Jan 15 15:10:44 2013 From: koalafil at gmail.com (Filiz Yilmaz) Date: Tue, 15 Jan 2013 15:10:44 +0100 Subject: Fwd: RIPE 66: Call for Papers In-Reply-To: References: Message-ID: Dear colleagues, Please note the deadline to submit talks for the upcoming RIPE 66 is *24 Feb 2013. * You can find the CFP below. As the RIPE Programme Committee, we are aiming to publish the Plenaryagendas as early as possible, listening to the comments we hear from you. You can help this process too, by submitting your suggested talks as early as possible before the deadline. This will also help shortening the time that will take during the feedback loop between us and you for any possible specifics regarding your talk. If you have any questions pls contact us at pc [at] ripe [dot] net. Note the important dates for RIPE 66 at: https://ripe66.ripe.net/programme/important-dates/ Have a great 2013! Filiz Yilmaz for the RIPE Programme Committee http://www.ripe.net/ripe/meetings/ripe-meetings/pc ---------- Forwarded message ---------- From: Filiz Yilmaz Date: Wed, Nov 7, 2012 at 4:24 PM Subject: RIPE 66: Call for Papers To: ripe-list at ripe.net Dear colleagues, Please find the CFP for RIPE 66 below. Note the deadline, 24 February 2013. Kind regards Filiz Yilmaz for the RIPE Programme Committee http://www.ripe.net/ripe/meetings/ripe-meetings/pc ------------------------------------------------------------ Call for Papers: RIPE 66 A RIPE Meeting is an open event where Internet Service Providers, network operators and other interested parties get together. Although the meeting is mostly technical, it is also a chance for people to meet and network with others in their field. RIPE 66 will take place on 13-17 May 2013 in Dublin, Ireland. The RIPE Programme Committee (PC) is now seeking content proposals from the RIPE community for the Plenary, BoF and Tutorial sessions at RIPE 66. The PC is looking for presentations covering topics of network engineering and operations, including but not limited to: - IPv6 deployment - Managing IPv4 scarcity in operations - Commercial transactions of IPv4 addresses - Data center technologies - Network and DNS operations - Internet governance and regulatory practices - Network and routing security - Content delivery - Internet peering and mobile data exchange Submissions Attendees of the RIPE meetings are quite sensitive to keeping presentations non-commercial, and product marketing talks are strongly discouraged. Repeated audience feedback shows that the most successful talks focus on operational experience, research results, or case studies. For example, presenters wishing to describe a commercial solution should focus on the underlying technology and not attempt a product demonstration. Presenters who are proposing a panel or BoF are encouraged to include speakers from several (perhaps even competing) companies and/or a neutral facilitator. In addition to presentations selected in advance for the Plenary, the RIPE PC also offers several time slots for ?lightning talks? which are selected immediately before or during the conference. The following requirements apply: - Proposals for Plenary talks, BoFs, Panels and Tutorials must be submitted for full consideration no later than 24 February 2013, using the meeting submission system at: https://meetings.ripe.net/pc/ Proposals submitted after this date will be considered on a space-available basis. - Presenters should indicate how much time they will require (30 minutes for talks is a common maximum duration, although some talks can be longer). - Proposals for talks will only be considered by the PC if they contain at least draft presentation slides (slides may be updated later on). For BoFs and panels, proposals must contain a clear description as well as names of invited panelists/presenters. - Due to potential technical issues, it is expected that most if not all presenters/panelists will be physically present at the RIPE meeting. - Lightning talks should be submitted using the meeting submission system. They must be short (10 minutes maximum) and often involve more timely topics. They can be submitted at any time. The allocation of lightning talk slots will be announced one day prior to the relevant session. If you have any questions or requests concerning content submissions, please email pc [at] ripe [dot] net. ------------------------------------------------------------ -------------- next part -------------- An HTML attachment was scrubbed... URL: From meeting at ripe.net Wed Jan 16 14:05:23 2013 From: meeting at ripe.net (RIPE NCC Meeting Coordinator) Date: Wed, 16 Jan 2013 14:05:23 +0100 Subject: [meetings] Book your RIPE 66 Accommodation Early to Avoid Disappointment In-Reply-To: <50F67A03.4080407@ripe.net> References: <50F67A03.4080407@ripe.net> Message-ID: <50F6A593.1050107@ripe.net> [Apologies for duplicate emails] Dear colleagues, If you plan to attend RIPE 66 in Dublin (13-17 May), we advise that you book your hotel accommodation as soon as you can. There are two major rugby finals taking place the day after RIPE 66 ends (Amlin Challenge Cup and Heineken Cup Final) and we anticipate that hotel rooms in Dublin could go quickly because of this. The room booking form for the Burlington Hotel, our venue for RIPE 66, along with alternative hotel options, can be found here: https://ripe66.ripe.net/venue/hotels/ More information on RIPE 66 can be found at: Registration for RIPE 66 opens on Wednesday, 23 January. Kind regards, RIPE Meeting Team From meeting at ripe.net Thu Jan 24 13:37:00 2013 From: meeting at ripe.net (RIPE NCC Meeting Coordinator) Date: Thu, 24 Jan 2013 13:37:00 +0100 Subject: [meetings] RIPE 66: Registration Now Open In-Reply-To: <50FE8BC6.2090508@ripe.net> References: <50FE8BC6.2090508@ripe.net> Message-ID: <51012AEC.7000009@ripe.net> **** Contents of this email: - RIPE 66 Registration and Ticket Options - Venue and Hotels - Programme Submissions Deadline 24 February - Follow us on Twitter, Facebook ***** Dear colleague, Registration for RIPE 66 is now open. You can register at: https://ripe66.ripe.net/register/ --------------- Ticket Options --------------- You can choose for a week ticket (EUR 350) or a day ticket (EUR 125). For students, a discounted week ticket is available (EUR 175). If you represent a new LIR, you may qualify for two free tickets to attend the RIPE Meeting. Find all the relevant information about tickets and costs at: https://ripe66.ripe.net/attend/ --------------- Venue and Hotels --------------- RIPE 66 will take place at the Burlington Hotel in Dublin from 13-17 May 2013. The Burlington Hotel offers an early-bird discount on the hotel rooms booked before *22 March*. Book before 22 March: EUR 125 p/n Book after 22 March: EUR 250 p/n Rates include breakfast, Internet access and VAT (9%). Find booking information and a selection of other hotel options located near the meeting venue, at: https://ripe66.ripe.net/venue/hotels/ ------------------------------------ RIPE 66 Plenary Submission Deadline 24 February ------------------------------------ The RIPE Programme Committee (PC) is seeking content proposals from the RIPE community for the Plenary, BoFs and tutorial sessions at RIPE 66. Find out how to submit a proposal at: https://ripe66.ripe.net/programme/call-for-presentations/ Proposals must be submitted for full consideration no later than 24 February, using the meeting submission system. Proposals submitted after this date will be considered on a space-available basis. ------------------------------------ Follow Us on Twitter, Facebook ------------------------------------ Follow us on Twitter: @ripemeeting, hashtag #RIPE66 Join the Facebook RIPE Meetings page: https://www.facebook.com/ripemeetings See you in Dublin in May! Regards, The RIPE Meeting Team RIPE NCC From ripencc-management at ripe.net Thu Jan 31 12:21:39 2013 From: ripencc-management at ripe.net (Axel Pawlik) Date: Thu, 31 Jan 2013 12:21:39 +0100 Subject: [news] RIPE NCC Survey 2011 - Key Findings and Actions Message-ID: <510A53C3.7050304@ripe.net> [Apologies for duplicate emails] Dear Colleagues, In 2011, the Oxford Internet Institute (OII) carried out the RIPE NCC Membership and Stakeholder Survey 2011 on our behalf. There were 825 full responses, the most ever received for a RIPE NCC survey. The RIPE NCC is extremely grateful to all those who participated in the survey. The OII analysed the survey data and produced 52 key findings. Over the past 18 months, the RIPE NCC examined the key findings and took action on them where appropriate. The PDF document detailing all 52 key findings and the actions taken by the RIPE NCC is now available at: http://www.ripe.net/survey2011/key-findings-and-actions The document outlines the actions taken by the RIPE NCC so far, but it should be noted that work continues in all areas. If you would like to comment on the findings and actions, or on the document itself, please let us know at . Any feedback received in the coming weeks would be particularly timely as we are currently preparing the RIPE NCC Survey 2013. This feedback will inform the 2013 survey and consequently the actions carried out by the RIPE NCC in response. The new survey will launch at the RIPE 66 Meeting in Dublin in May 2013. We look forward to your support in this project and hope you will participate in the survey. Best regards, Axel Pawlik Managing Director RIPE NCC