[Hol-info] FLoC 2010: Final Call for Participation
2010 FEDERATED LOGIC CONFERENCE (FLoC'10) Edinburgh, Scotland, U.K. July 9-21, 2010 http://www.floc-conference.org DEADLINES (all deadlines are firm): * standard registration deadline: 30 JUNE 2010. * The fifth Federated Logic Conference (FLoC'10) will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010, at the School of Informatics at the University of Edinburgh (www.inf.ed.ac.uk). * FLoC'10 promises to be the premier scientific meeting in computational logic in 2010. The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing The eight major conferences will be accompanied by more than fifty workshops and a number of other affiliated events. * Program: The FLoC'10 program includes plenary talks by David Basin, Georg Gottlob, David Harel, and Gordon Plotkin, as well as keynote talks by Deepak Kapur and J Strother Moore. Please consult the FLoC website for further information on invited speakers and contributed talks of all the participating conferences. * The city of Edinburgh: Edinburgh (http://www.ed.ac.uk/about/city/introduction), one of the most vibrant, cosmopolitan cities in Europe, has been regularly voted one of the most desirable places to live in the world - and the University is at the heart of it all. Located throughout the centre of the city, the campus plays an integral part in the activities of Scotland's lively capital. Set against a beautiful backdrop of stunning architecture, Edinburgh is a welcoming, cosmopolitan city with a large and diverse student population. The city offers an exciting array of entertainment, history, culture and sport, with the lush Scottish countryside and coastline just a few miles away. It is a safe and prosperous city, with an abundance of parks and green spaces for recreation and reflection. FLoC receptions will be held at the Edinburgh Castle (11 July) and the National Galleries of Scotland (16 July). * Registration: For online registration for FLoC, please follow the link on the FLoC website at http://floc-conference.org/registration.html Registration is open. The deadline for early registration was 17 May. Standard rates will apply for those who register between 18 May and 30 June. For those who register after 30 June, late rates will apply. Note that it is possible to register early, and then add components (e.g., additional workshops, additional registration days, etc.) later on. * Accomodation: Very affordable accommodation has been booked at the University's Pollock Halls campus, about 15-minute walk from the conference site. Room types include single/double rooms with shared facilities/ensuite, and standard hotel rooms in a 3-star Victorian mansion. Alternatively, blocks of rooms have been booked at several hotels in the cite centre. For details, see http://floc-conference.org/accommodation.html * Cancellation Policy: If a participant is unable to attend FLoC because of force majeure (e.g., volcanic ash causing flight cancellation) or because of visa denial, their registration fee and accommodation payments will be refunded in full, except for a GBP 50 administrative charge. * FLoC'10 Steering Committee: - General Chair: Moshe Y. Vardi - Conference Co-chairs: Leonid Libkin, Gordon Plotkin - CAV Representative: Edmund Clarke - ICLP Representative: Manuel Hermenegildo - IJCAR Representative: Alan Bundy - ITP Representative: Tobias Nipkow - LICS Representative: Martin Abadi - RTA Representative: Juergen Giesl - SAT Representative: Enrico Giunchiglia - EasyChair Representative: Andrei Voronkov -- ThinkGeek and WIRED's GeekDad team up for the Ultimate GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the lucky parental unit. See the prize list and enter to win: http://p.sf.net/sfu/thinkgeek-promo ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] FLoC 2010: US-based Student Travel Support
2010 FEDERATED LOGIC CONFERENCE (FLoC'10) Edinburgh, Scotland, U.K. July 9-21, 2010 http://www.floc-conference.org FLoC'10 US-based Student Travel Support Note: Application Deadline is June 7, 2010. Applicants will be informed of decision by June 17, 2010. FLoC has some additional funds to provide travel grants of up to $750 for US-based student attendees of FLoC'10. Funds can be requested to cover airfare (on US carriers, for flights from the US) and lodging (meals and registration fees will not be funded). We expect to award about 10 grants. The application deadline is June 7, 2010, and recipients will be notified by June 17. This funding is available only to students attending academic institutions in the US, regardless of immigration/visa status. Funds will be provided after the conference, upon submission of receipts and a short report detailing the awardee's experience at and benefit from FLoC'10 (these reports will be used to compile a final report to our sponsors). Awardees are expected to spend up to one day during the meeting helping with logistics. Applicants' advisors should send a brief statement certifying the applicants' educational status and describing the financial need and the merit of the applicant. Special efforts will be made to bring to FLoC students from under-represented groups. Applications must be received by the deadline. Applicants are required to apply at the following web form: http://spreadsheets.google.com/embeddedform?formkey=dEF3N1RVOG1CNmRvYlJiTHVOQXgxU1E6MA Advisor letters (plaintext only) should be sent to flo...@cs.rice.edu by June 7, 2010. If you have questions, please contact va...@cs.rice.edu. -- You are subscribed to the FLoC 2010 mailing list. To unsubscribe please send an email to majord...@informatik.uni-frankfurt.de with the keywords unsubscribe floc2010 in the message body. -- ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] FLoC 2010: Student Travel Grants
FLoC 2010: Student Travel Grants The 2010 FEDERATED LOGIC CONFERENCE (FLoC'10) will be held in Edinburgh, Scotland, U.K., on July 9-21, 2010. See http://www.floc-conference.org/. FLoC'10 promises to be the premier scientific meeting in computational logic in 2010. The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing The eight major conferences will be accompanied by more than fifty workshops and other affiliated events. FLoC has received funds to provide travel grants of up to $750 for student participants of FLoC'10. Funds can be requested to cover airfare and lodging. We expect to award about 100 grants. Application deadline is May 3, 2010. Application form is available at http://www.floc-conference.org/floc-student-grants.html/. -- You are subscribed to the FLoC 2010 mailing list. To unsubscribe please send an email to majord...@informatik.uni-frankfurt.de with the keywords unsubscribe floc2010 in the message body. -- Download Intel#174; Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] FLoC 2010: Call for Participation
2010 FEDERATED LOGIC CONFERENCE (FLoC'10) Edinburgh, Scotland, U.K. July 9-21, 2010 http://www.floc-conference.org Early registration deadline: 17 May 2010. * The fifth Federated Logic Conference (FLoC'10) will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010, at the School of Informatics at the University of Edinburgh (www.inf.ed.ac.uk). * FLoC'10 promises to be the premier scientific meeting in computational logic in 2010. The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing The eight major conferences will be accompanied by more than fifty workshops and a number of other affiliated events. * Program: The FLoC'10 program includes plenary talks by David Basin, Georg Gottlob, David Harel, and Gordon Plotkin, as well as keynote talks by Deepak Kapur and J Strother Moore. Please consult the FLoC website for further information on invited speakers and contributed talks of all the participating conferences. * The city of Edinburgh: Edinburgh (http://www.ed.ac.uk/about/city/introduction), one of the most vibrant, cosmopolitan cities in Europe, has been regularly voted one of the most desirable places to live in the world - and the University is at the heart of it all. Located throughout the centre of the city, the campus plays an integral part in the activities of Scotland's lively capital. Set against a beautiful backdrop of stunning architecture, Edinburgh is a welcoming, cosmopolitan city with a large and diverse student population. The city offers an exciting array of entertainment, history, culture and sport, with the lush Scottish countryside and coastline just a few miles away. It is a safe and prosperous city, with an abundance of parks and green spaces for recreation and reflection. FLoC receptions will be held at the Edinburgh Castle (11 July) and the National Galleries of Scotland (16 July). * Registration: For online registration for FLoC, please follow the link on the FLoC website at http://floc-conference.org/registration.html Registration is now open. The deadline for early registration is 17 May. Standard rates will apply for those who register between 18 May and 30 June. For those who register after 30 June, late rates will apply. Note that it is possible to register early, and then add components (e.g., additional workshops, additional registration days, etc.) later on. * Accomodation: Very affordable accommodation has been booked at the University's Pollock Halls campus, about 15-minute walk from the conference site. Room types include single/double rooms with shared facilities/ensuite, and standard hotel rooms in a 3-star Victorian mansion. Alternatively, blocks of rooms have been booked at several hotels in the cite centre. For details, see http://floc-conference.org/accommodation.html * Student Travel Grants: FLoC has raised funds to help students with participating in the 2010 meeting. See details on the conference website. * FLoC'10 Steering Committee: - General Chair: Moshe Y. Vardi - Conference Co-chairs: Leonid Libkin, Gordon Plotkin - CAV Representative: Edmund Clarke - ICLP Representative: Manuel Hermenegildo - IJCAR Representative: Alan Bundy - ITP Representative: Tobias Nipkow - LICS Representative: Martin Abadi - RTA Representative: Juergen Giesl - SAT Representative: Enrico Giunchiglia - EasyChair Representative: Andrei Voronkov -- You are subscribed to the FLoC 2010 mailing list. To unsubscribe please send an email to majord...@informatik.uni-frankfurt.de with the keywords unsubscribe floc2010 in the message body. -- Download Intel#174; Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] FLoC 2010: Call for Participation
2010 FEDERATED LOGIC CONFERENCE (FLoC'10) Edinburgh, Scotland, U.K. July 9-21, 2010 http://www.floc-conference.org Early registration deadline: 17 May 2010. * The fifth Federated Logic Conference (FLoC'10) will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010, at the School of Informatics at the University of Edinburgh (www.inf.ed.ac.uk). * FLoC'10 promises to be the premier scientific meeting in computational logic in 2010. The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing The eight major conferences will be accompanied by more than fifty workshops and a number of other affiliated events. * Program: The FLoC'10 program includes plenary talks by David Basin, Georg Gottlob, David Harel, and Gordon Plotkin, as well as keynote talks by Deepak Kapur and J Strother Moore. Please consult the FLoC website for further information on invited speakers and contributed talks of all the participating conferences. * The city of Edinburgh: Edinburgh (http://www.ed.ac.uk/about/city/introduction), one of the most vibrant, cosmopolitan cities in Europe, has been regularly voted one of the most desirable places to live in the world - and the University is at the heart of it all. Located throughout the centre of the city, the campus plays an integral part in the activities of Scotland's lively capital. Set against a beautiful backdrop of stunning architecture, Edinburgh is a welcoming, cosmopolitan city with a large and diverse student population. The city offers an exciting array of entertainment, history, culture and sport, with the lush Scottish countryside and coastline just a few miles away. It is a safe and prosperous city, with an abundance of parks and green spaces for recreation and reflection. FLoC receptions will be held at the Edinburgh Castle (11 July) and the National Galleries of Scotland (16 July). * Registration: For online registration for FLoC, please follow the link on the FLoC website at http://floc-conference.org/registration.html Registration is now open. The deadline for early registration is 17 May. Standard rates will apply for those who register between 18 May and 30 June. For those who register after 30 June, late rates will apply. Note that it is possible to register early, and then add components (e.g., additional workshops, additional registration days, etc.) later on. * Accomodation: Very affordable accommodation has been booked at the University's Pollock Halls campus, about 15-minute walk from the conference site. Room types include single/double rooms with shared facilities/ensuite, and standard hotel rooms in a 3-star Victorian mansion. Alternatively, blocks of rooms have been booked at several hotels in the cite centre. For details, see http://floc-conference.org/accommodation.html * Student Travel Grants: FLoC has raised funds to help students with participating in the 2010 meeting. See details on the conference website. * FLoC'10 Steering Committee: - General Chair: Moshe Y. Vardi - Conference Co-chairs: Leonid Libkin, Gordon Plotkin - CAV Representative: Edmund Clarke - ICLP Representative: Manuel Hermenegildo - IJCAR Representative: Alan Bundy - ITP Representative: Tobias Nipkow - LICS Representative: Martin Abadi - RTA Representative: Juergen Giesl - SAT Representative: Enrico Giunchiglia - EasyChair Representative: Andrei Voronkov -- Download Intel#174; Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] FLoC 2010: Call for Papers
2010 FEDERATED LOGIC CONFERENCE (FLoC'10) Edinburgh, Scotland, U.K. July 9-21, 2010 http://www.floc-conference.org CALL FOR PAPERS * The fifth Federated Logic Conference (FLoC'10) will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010, at the School of Informatics at University of Edinburgh (www.inf.ed.ac.uk). * The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing * Plenary events involving all the conferences are planned. In addition to the participating conferences, FLoC'10 will host a number of pre- and post-conference workshops. There will be receptions in the Edinburgh Castle and at the National Galleries of Scotland. * Travel support for US student participants is expected. * Detailed calls for papers (as well as submission instructions) for each of the participating conferences can be found at the FLoC'10 website at http://www.floc-conference.org * Important dates: - CAV 2010: PC chairs: Byron Cook, Paul Jackson, Tayssir Touili Jan 11: abstract submission deadline Jan 15: paper submission deadline - CSF 2010: PC chairs: Michael Backes, Andrew Myers Feb 04: abstract submission deadline Feb 08: paper submission deadline - ICLP 2010: PC chairs: Manuel Hermenegildo, Torsten Schaub Jan 26: paper registration deadline Feb 02: paper submission deadline - IJCAR 2010: PC chairs: Jürgen Giesl, Reiner Hähnle Jan 15: abstract submission deadline Jan 22: paper submission deadline - ITP 2010: PC chairs: Matt Kaufmann, Lawrence C. Paulson Jan 15: abstract submission deadline Jan 22: paper submission deadline - LICS 2010: PC chair: Jean-Pierre Jouannaud Jan 10: abstract submission deadline Jan 17: paper submission deadline - RTA 2010: PC chair: Christopher Lynch Jan 15: abstract submission deadline Jan 22: paper submission deadline - SAT 2010: PC chairs: Ofer Strichman, Stefan Szeider Feb 01: abstract submission deadline Feb 08: paper submission deadline * FLoC'10 Steering Committee: - General Chair: Moshe Y. Vardi - Conference Co-chairs: Leonid Libkin, Gordon Plotkin - CAV Representative: Edmund Clarke - ICLP Representative: Manuel Hermenegildo - IJCAR Representative: Alan Bundy - ITP Representative: Tobias Nipkow - LICS Representative: Martin Abadi - RTA Representative: Juergen Giesl - SAT Representative: Enrico Giunchiglia - EasyChair Representative: Andrei Voronkov -- You are subscribed to the FLoC 2010 mailing list. To unsubscribe please send an email to majord...@informatik.uni-frankfurt.de with the keywords unsubscribe floc2010 in the message body. -- Join us December 9, 2009 for the Red Hat Virtual Experience, a free event focused on virtualization and cloud computing. Attend in-depth sessions from your desk. Your couch. Anywhere. http://p.sf.net/sfu/redhat-sfdev2dev ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] FLoC 2010: Call for Papers
2010 FEDERATED LOGIC CONFERENCE (FLoC'10) Edinburgh, Scotland, U.K. July 9-21, 2010 http://www.floc-conference.org CALL FOR PAPERS * The fifth Federated Logic Conference (FLoC'10) will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010, at the School of Informatics at University of Edinburgh (www.inf.ed.ac.uk). * The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing * Plenary events involving all the conferences are planned. In addition to the participating conferences, FLoC'10 will host a number of pre- and post-conference workshops. There will be receptions in the Edinburgh Castle and at the National Galleries of Scotland. * Travel support for US student participants is expected. * Detailed calls for papers (as well as submission instructions) for each of the participating conferences can be found at the FLoC'10 website at http://www.floc-conference.org * Important dates: - CAV 2010: PC chairs: Byron Cook, Paul Jackson, Tayssir Touili Jan 11: abstract submission deadline Jan 15: paper submission deadline - CSF 2010: PC chairs: Michael Backes, Andrew Myers Feb 04: abstract submission deadline Feb 08: paper submission deadline - ICLP 2010: PC chairs: Manuel Hermenegildo, Torsten Schaub Jan 26: paper registration deadline Feb 02: paper submission deadline - IJCAR 2010: PC chairs: Jürgen Giesl, Reiner Hähnle Jan 15: abstract submission deadline Jan 22: paper submission deadline - ITP 2010: PC chairs: Matt Kaufmann, Lawrence C. Paulson Jan 15: abstract submission deadline Jan 22: paper submission deadline - LICS 2010: PC chair: Jean-Pierre Jouannaud Jan 10: abstract submission deadline Jan 17: paper submission deadline - RTA 2010: PC chair: Christopher Lynch Jan 15: abstract submission deadline Jan 22: paper submission deadline - SAT 2010: PC chairs: Ofer Strichman, Stefan Szeider Feb 01: abstract submission deadline Feb 08: paper submission deadline * FLoC'10 Steering Committee: - General Chair: Moshe Y. Vardi - Conference Co-chairs: Leonid Libkin, Gordon Plotkin - CAV Representative: Edmund Clarke - ICLP Representative: Manuel Hermenegildo - IJCAR Representative: Alan Bundy - ITP Representative: Tobias Nipkow - LICS Representative: Martin Abadi - RTA Representative: Juergen Giesl - SAT Representative: Enrico Giunchiglia - EasyChair Representative: Andrei Voronkov -- Join us December 9, 2009 for the Red Hat Virtual Experience, a free event focused on virtualization and cloud computing. Attend in-depth sessions from your desk. Your couch. Anywhere. http://p.sf.net/sfu/redhat-sfdev2dev ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] FLoC 2010: First Announcement
-- Crystal Reports - New Free Runtime and 30 Day Trial Check out the new simplified licensing option that enables unlimited royalty-free distribution of the report engine for externally facing server and web deployment. http://p.sf.net/sfu/businessobjects ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info