Workshop on Logic, Language and Information

edit SideBar

Main.Program History

Hide minor edits - Show changes to output

Changed line 9 from:
|| 11:00|| '''Session 1''' [[<<]] Chair: Marius Bozga|| '''Session 3''' [[<<]] Chair: Dragan Bosnacki || '''Session 5''' [[<<]] Chair: Bruno Lopes||
to:
|| 11:00|| '''Session 1''' [[<<]] Chair: Marius Bozga || '''Session 3''' [[<<]] Chair: Dragan Bosnacki || '''Session 5''' [[<<]] Chair: Bruno Lopes ||
Changed line 11 from:
|| 14:30|| '''Session 2''' [<<]] Chair: Anamaria Moreira || '''Session 4''' [[<<]] Chair: Simon Bliudze || ||
to:
|| 14:30|| '''Session 2''' [[<<]] Chair: Anamaria Moreira || '''Session 4''' [[<<]] Chair: Simon Bliudze || ||
Changed line 9 from:
|| 11:00|| '''Session 1''' || '''Session 3''' || '''Session 5''' ||
to:
|| 11:00|| '''Session 1''' [[<<]] Chair: Marius Bozga|| '''Session 3''' [[<<]] Chair: Dragan Bosnacki || '''Session 5''' [[<<]] Chair: Bruno Lopes||
Changed line 11 from:
|| 14:30|| '''Session 2''' || '''Session 4''' || ||
to:
|| 14:30|| '''Session 2''' [<<]] Chair: Anamaria Moreira || '''Session 4''' [[<<]] Chair: Simon Bliudze || ||
October 06, 2015, at 10:30 PM by 177.142.235.153 -
Changed line 7 from:
|| 09:30|| Keynote speech: Martin Wirsing \\ Chair: Peter Ölveczky || Keynote speech: David Deharbe \\ Chair: Christiano Braga || Keynote speech: Renato Cerqueira \\ Chair: Christiano Braga  ||
to:
|| 09:30|| Keynote speech: Martin Wirsing [[<<]] Chair: Peter Ölveczky || Keynote speech: David Deharbe [[<<]] Chair: Christiano Braga || Keynote speech: Renato Cerqueira [[<<]] Chair: Christiano Braga  ||
October 06, 2015, at 10:30 PM by 177.142.235.153 -
Changed line 7 from:
|| 09:30|| Keynote speech: Martin Wirsing || Keynote speech: David Deharbe || Keynote speech: Renato Cerqueira ||
to:
|| 09:30|| Keynote speech: Martin Wirsing \\ Chair: Peter Ölveczky || Keynote speech: David Deharbe \\ Chair: Christiano Braga || Keynote speech: Renato Cerqueira \\ Chair: Christiano Braga ||
September 04, 2015, at 05:52 PM by 179.210.57.231 -
Changed line 10 from:
|| 12:30|| Lunch break  || Lunch break  || Lunch break ||
to:
|| 12:30|| Lunch break  || Lunch break  || Closing ||
Deleted line 17:
|| || ||
Deleted line 18:
|| || ||
Deleted line 19:
|| || ||
September 04, 2015, at 05:51 PM by 179.210.57.231 -
Changed lines 2-3 from:
----------------
to:
Deleted line 16:
|| || ||
September 04, 2015, at 05:47 PM by 179.210.57.231 -
Changed line 8 from:
|| 09:30|| Keynote speech: Martin Wirsing || Keynote speech - David Deharbe || Keynote speech - Renato Cerqueira ||
to:
|| 09:30|| Keynote speech: Martin Wirsing || Keynote speech: David Deharbe || Keynote speech: Renato Cerqueira ||
September 04, 2015, at 05:45 PM by 179.210.57.231 -
Changed line 4 from:
||border=0 rules=rows frame=hsides width=100%
to:
||border=0 cellpadding="10" rules=rows frame=hsides width=100%
Changed lines 6-16 from:
|| 08:00 || Registration || Registration || ||
|| 09:20 || Opening || || ||
|| 09:30 || Keynote speech: Martin Wirsing || Keynote speech - David Deharbe || Keynote speech - Renato Cerqueira ||
|| 10:30 || Cofee break || Cofee break || Cofee break ||
|| 11:00 || '''Session 1''' || '''Session 3''' || '''Session 5''' ||
|| 12:30 || Lunch break  || Lunch break  || Lunch break  ||
|| 14:30 || '''Session 2''' || '''Session 4''' || ||
|| 16:00 || Reception || SC meeting || ||
|| 18:00 || || Conference dinner || ||

|| border=0 cellpadding="5" rules=cols frame=vsides width = 100%
to:
|| 08:00|| Registration || Registration || ||
|| 09:20|| Opening || || ||
|| 09:30|| Keynote speech: Martin Wirsing || Keynote speech - David Deharbe || Keynote speech - Renato Cerqueira ||
|| 10:30|| Cofee break || Cofee break || Cofee break ||
|| 11:00|| '''Session 1''' || '''Session 3''' || '''Session 5''' ||
|| 12:30|| Lunch break  || Lunch break  || Lunch break  ||
|| 14:30|| '''Session 2''' || '''Session 4''' || ||
|| 16:00|| Reception || SC meeting || ||
|| 18:00|| || Conference dinner || ||

|| border=0 cellpadding="10" rules=cols frame=vsides width = 100%
September 04, 2015, at 05:44 PM by 179.210.57.231 -
Changed lines 16-17 from:
|| border = 0 rules=cols frame=vsides width = 100%
|| '''Session 1''' [[<<]] ''Architecture modeling and Middleware'' ||!Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]] Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
to:
|| border=0 cellpadding="5" rules=cols frame=vsides width = 100%
|| '''Session 1''' [[<<]] ''Architecture modeling and Middleware'' ||Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]] Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
September 04, 2015, at 05:42 PM by 179.210.57.231 -
Changed line 17 from:
|| '''Session 1''' [[<<]] ''Architecture modeling and Middleware'' ||Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]] Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
to:
|| '''Session 1''' [[<<]] ''Architecture modeling and Middleware'' ||!Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]] Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
September 04, 2015, at 05:41 PM by 179.210.57.231 -
Changed line 17 from:
|| '''Session 1''' [[<<]] ''Architecture modeling and Middleware'' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]] Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
to:
|| '''Session 1''' [[<<]] ''Architecture modeling and Middleware'' ||Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]] Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
Changed line 19 from:
|| '''Session 2''' [[<<]] ''Connectors and Product Families'' || Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. '''Composing Constraint Automata, State-by-State''' [[<<]] Jose Proenca and Dave Clarke. '''Typed Connector Families''' [[<<]] Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. '''Combinatory Synthesis of Classes using Feature Grammars''' 
to:
|| '''Session 2''' [[<<]] ''Connectors and Product Families'' ||Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. '''Composing Constraint Automata, State-by-State''' [[<<]] Jose Proenca and Dave Clarke. '''Typed Connector Families''' [[<<]] Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. '''Combinatory Synthesis of Classes using Feature Grammars''' 
Changed line 21 from:
|| '''Session 3''' [[<<]] ''Cloud computing'' || Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. '''A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing''' [[<<]] Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. '''Asynchronous Coordination of Stateful Autonomic Managers in the Cloud''' [[<<]] Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. '''Time complexity of concurrent programs''' ||
to:
|| '''Session 3''' [[<<]] ''Cloud computing'' ||Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. '''A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing''' [[<<]] Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. '''Asynchronous Coordination of Stateful Autonomic Managers in the Cloud''' [[<<]] Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. '''Time complexity of concurrent programs''' ||
Changed line 23 from:
|| '''Session 4''' [[<<]] ''Semantics'' || Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. '''k -bisimulation: a bisimulation for measuring the dissimilarity between processes''' [[<<]] Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. '''Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors''' [[<<]] Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. '''An Operational Semantics of BPMN Collaboration''' ||
to:
|| '''Session 4''' [[<<]] ''Semantics'' ||Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. '''k -bisimulation: a bisimulation for measuring the dissimilarity between processes''' [[<<]] Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. '''Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors''' [[<<]] Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. '''An Operational Semantics of BPMN Collaboration''' ||
Changed line 25 from:
|| '''Session 5''' [[<<]] ''Compositional and modular methods''|| Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. '''A robust framework for securing composed Web Services''' [[<<]] Yael Meller, Orna Grumberg and Karen Yorav. '''Learning-Based Compositional Model Checking of Behavioral UML Systems''' [[<<]] Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. '''Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models''' ||
to:
|| '''Session 5''' [[<<]] ''Compositional and modular methods'' ||Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. '''A robust framework for securing composed Web Services''' [[<<]] Yael Meller, Orna Grumberg and Karen Yorav. '''Learning-Based Compositional Model Checking of Behavioral UML Systems''' [[<<]] Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. '''Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models''' ||
September 04, 2015, at 05:39 PM by 179.210.57.231 -
Changed lines 19-26 from:
|| '''Session 2''' || Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. '''Composing Constraint Automata, State-by-State''' [[<<]] Jose Proenca and Dave Clarke. '''Typed Connector Families''' [[<<]] Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. '''Combinatory Synthesis of Classes using Feature Grammars''' 
|| Connectors
and Product Families ||  ||
|| '''Session 3
''' || Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. '''A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing''' [[<<]] Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. '''Asynchronous Coordination of Stateful Autonomic Managers in the Cloud''' [[<<]] Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. '''Time complexity of concurrent programs''' ||
|| ''Cloud computing
'' || ||
||
'''Session 4''' || Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. '''k -bisimulation: a bisimulation for measuring the dissimilarity between processes''' [[<<]] Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. '''Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors''' [[<<]] Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. '''An Operational Semantics of BPMN Collaboration''' ||
|| Semantics ||  ||
||
'''Session 5''' || Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. '''A robust framework for securing composed Web Services''' [[<<]] Yael Meller, Orna Grumberg and Karen Yorav. '''Learning-Based Compositional Model Checking of Behavioral UML Systems''' [[<<]] Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. '''Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models''' ||
|| Compositional
and modular methods || ||
to:
|| '''Session 2''' [[<<]] ''Connectors and Product Families'' || Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. '''Composing Constraint Automata, State-by-State''' [[<<]] Jose Proenca and Dave Clarke. '''Typed Connector Families''' [[<<]] Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. '''Combinatory Synthesis of Classes using Feature Grammars'''  
|| || ||
|| '''Session 3''' [[<<]] ''Cloud computing'' || Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi.
'''A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing''' [[<<]] Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. '''Asynchronous Coordination of Stateful Autonomic Managers in the Cloud''' [[<<]] Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. '''Time complexity of concurrent programs''' ||
|| || ||
|| '''Session 4''' [[<<]] ''Semantics'' || Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini.
'''k -bisimulation: a bisimulation for measuring the dissimilarity between processes''' [[<<]] Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. '''Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors''' [[<<]] Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. '''An Operational Semantics of BPMN Collaboration''' ||
|| || ||
|| '''Session 5''' [[<<]]
''Compositional and modular methods''|| Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. '''A robust framework for securing composed Web Services''' [[<<]] Yael Meller, Orna Grumberg and Karen Yorav. '''Learning-Based Compositional Model Checking of Behavioral UML Systems''' [[<<]] Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. '''Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models''' ||
September 04, 2015, at 05:36 PM by 179.210.57.231 -
Changed lines 17-18 from:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]] Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
|| ''Architecture modeling and Middleware
'' || ||
to:
|| '''Session 1''' [[<<]] ''Architecture modeling and Middleware'' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]] Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
||
|| ||
September 04, 2015, at 05:35 PM by 179.210.57.231 -
Changed lines 17-18 from:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]]
Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
to:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]] Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
September 04, 2015, at 05:31 PM by 179.210.57.231 -
Changed line 12 from:
|| 14:30 || Session 2 || Session 4 || ||
to:
|| 14:30 || '''Session 2''' || '''Session 4''' || ||
Changed lines 16-17 from:
|| border = 0 valign=top align=left rules=cols frame=vsides width = 100%
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles [[<<]] Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware ||
to:
|| border = 0 rules=cols frame=vsides width = 100%
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' [[<<]]
Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs''' [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware''' ||
Changed line 20 from:
|| '''Session 2''' || Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by-State [[<<]] Jose Proenca and Dave Clarke. Typed Connector Families [[<<]] Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars 
to:
|| '''Session 2''' || Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. '''Composing Constraint Automata, State-by-State''' [[<<]] Jose Proenca and Dave Clarke. '''Typed Connector Families''' [[<<]] Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. '''Combinatory Synthesis of Classes using Feature Grammars''' 
Changed line 22 from:
|| '''Session 3''' || Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing [[<<]] Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud [[<<]] Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. Time complexity of concurrent programs ||
to:
|| '''Session 3''' || Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. '''A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing''' [[<<]] Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. '''Asynchronous Coordination of Stateful Autonomic Managers in the Cloud''' [[<<]] Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. '''Time complexity of concurrent programs''' ||
Changed line 24 from:
|| '''Session 4''' || Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. k -bisimulation: a bisimulation for measuring the dissimilarity between processes [[<<]] Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors [[<<]] Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. An Operational Semantics of BPMN Collaboration ||
to:
|| '''Session 4''' || Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. '''k -bisimulation: a bisimulation for measuring the dissimilarity between processes''' [[<<]] Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. '''Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors''' [[<<]] Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. '''An Operational Semantics of BPMN Collaboration''' ||
Changed line 26 from:
|| '''Session 5''' || Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. A robust framework for securing composed Web Services [[<<]] Yael Meller, Orna Grumberg and Karen Yorav. Learning-Based Compositional Model Checking of Behavioral UML Systems [[<<]] Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models ||
to:
|| '''Session 5''' || Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. '''A robust framework for securing composed Web Services''' [[<<]] Yael Meller, Orna Grumberg and Karen Yorav. '''Learning-Based Compositional Model Checking of Behavioral UML Systems''' [[<<]] Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. '''Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models''' ||
September 04, 2015, at 05:23 PM by 179.210.57.231 -
Changed line 16 from:
|| border = 0 align=left rules=cols frame=vsides width = 100%
to:
|| border = 0 valign=top align=left rules=cols frame=vsides width = 100%
September 04, 2015, at 05:22 PM by 179.210.57.231 -
Changed line 17 from:
 '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles [[<<]] Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware
to:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles [[<<]] Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware ||
September 04, 2015, at 05:20 PM by 179.210.57.231 -
Changed lines 18-30 from:
 ''Architecture modeling and Middleware'' ||
|| '''Session 2''' || Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by-State ||
|| Connectors
and Product Families || Jose Proenca and Dave Clarke. Typed Connector Families ||
|| || Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars 
||
|| '''Session 3''' || Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing ||
|| ''
Cloud computing '' || Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud ||
|| ||
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. Time complexity of concurrent programs ||
|| '''Session 4''' || Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. k -bisimulation: a bisimulation for measuring the dissimilarity between processes ||
|| Semantics || Ehsan
Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors ||
|| ||  Semantics Ehsan Khamespanah
, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors || 
|| '''Session 5''' || Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. A robust framework for securing composed Web Services ||
|| Compositional and modular methods || Yael Meller, Orna Grumberg and Karen Yorav. Learning-Based Compositional Model Checking of Behavioral UML Systems ||
|| || Dragan Bosnacki
, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models ||
to:
|| ''Architecture modeling and Middleware'' || ||
|| '''Session 2''' || Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by-State [[<<]] Jose Proenca and Dave Clarke. Typed Connector Families [[<<]] Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars 
|| Connectors and Product Families
||  ||
|| '''Session 3''' || Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing [[<<]] Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud [[<<]] Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. Time complexity of concurrent programs ||
|| ''Cloud computing '' || ||
|| '''Session 4''' || Giuseppe De Ruvo
, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. k -bisimulation: a bisimulation for measuring the dissimilarity between processes [[<<]] Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors [[<<]] Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. An Operational Semantics of BPMN Collaboration ||
|| Semantics || 
||
|| '''Session 5''' || Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. A robust framework for securing composed Web Services [[<<]] Yael Meller, Orna Grumberg and Karen Yorav. Learning-Based Compositional Model Checking of Behavioral UML Systems [[<<]] Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models ||
|| Compositional and modular methods ||
||
September 04, 2015, at 05:16 PM by 179.210.57.231 -
Changed lines 17-19 from:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles [[<<]] Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs \\ Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware ||
||
''Architecture modeling and Middleware'' ||
||
||
to:
 '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles [[<<]] Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs [[<<]] Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware
''Architecture modeling and Middleware'' ||
September 04, 2015, at 05:15 PM by 179.210.57.231 -
Changed line 17 from:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles \\ Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs \\ Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware ||
to:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles [[<<]] Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs \\ Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware ||
September 04, 2015, at 05:14 PM by 179.210.57.231 -
Changed lines 17-19 from:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles  ||
|| ''Architecture modeling
and Middleware'' || Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs ||
|| || Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware
||
to:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles \\ Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs \\ Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware ||
|| ''Architecture modeling and Middleware''
|| 
|| ||
September 04, 2015, at 05:11 PM by 179.210.57.231 -
Changed line 16 from:
|| border = 0 rules=cols frame=vsides width = 100%
to:
|| border = 0 align=left rules=cols frame=vsides width = 100%
September 04, 2015, at 05:08 PM by 179.210.57.231 -
Changed line 16 from:
|| border = 0 align=left width = 100%
to:
|| border = 0 rules=cols frame=vsides width = 100%
Changed line 31 from:
|| || Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models ||
to:
|| || Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models ||
September 04, 2015, at 05:07 PM by 179.210.57.231 -
Changed line 4 from:
||border=0 width=100%
to:
||border=0 rules=rows frame=hsides width=100%
Deleted line 31:
September 04, 2015, at 05:05 PM by 179.210.57.231 -
Changed lines 16-17 from:
|| border = 0 width = 100%
|| centered || left-aligned ||
to:
|| border = 0 align=left width = 100%
September 04, 2015, at 05:03 PM by 179.210.57.231 -
Added line 17:
|| centered || left-aligned ||
September 04, 2015, at 05:01 PM by 179.210.57.231 -
Changed line 8 from:
|| 09:30 || Keynote speech: Martin Wirsing: A Formal Framework for Simulation-Based Autonomous Systems || Keynote speech - David Deharbe: A Formal Framework for the Design of Software Components with the B method || Keynote speech - Renato Cerqueira: TBA ||
to:
|| 09:30 || Keynote speech: Martin Wirsing || Keynote speech - David Deharbe || Keynote speech - Renato Cerqueira ||
Changed lines 17-18 from:
|| Session 1 || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles  ||
|| || Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs ||
to:
|| '''Session 1''' || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles  ||
|| ''Architecture modeling and Middleware'' || Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs ||
Added lines 20-32:
|| '''Session 2''' || Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by-State ||
|| Connectors and Product Families || Jose Proenca and Dave Clarke. Typed Connector Families ||
|| || Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars  ||
|| '''Session 3''' || Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing ||
|| ''Cloud computing '' || Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud ||
|| || Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. Time complexity of concurrent programs ||
|| '''Session 4''' || Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. k -bisimulation: a bisimulation for measuring the dissimilarity between processes ||
|| Semantics || Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors ||
|| ||  Semantics Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors ||
|| '''Session 5''' || Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. A robust framework for securing composed Web Services ||
|| Compositional and modular methods || Yael Meller, Orna Grumberg and Karen Yorav. Learning-Based Compositional Model Checking of Behavioral UML Systems ||
|| || Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models ||

September 04, 2015, at 04:56 PM by 179.210.57.231 -
Deleted lines 5-7:
<<<<<<<
|| 08:00 || Registration  || Registration || ||
=======
Deleted line 6:
>>>>>>>
September 04, 2015, at 04:56 PM by 179.210.57.231 -
Added lines 6-8:
<<<<<<<
|| 08:00 || Registration  || Registration || ||
=======
Added line 10:
>>>>>>>
Changed line 23 from:
|| || Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware ||
to:
|| || Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware ||
September 04, 2015, at 04:53 PM by 179.210.57.231 -
Changed line 6 from:
|| 08:00 || Registration || Rgistration || ||
to:
|| 08:00 || Registration || Registration || ||
Changed lines 8-19 from:
|| 09:00 || Keynote speech: Martin Wirsing: A Formal Framework for Simulation-Based Autonomous Systems || Keynote speech - David Deharbe: A Formal Framework for the Design of Software Components with the B method || Keynote speech - Renato Cerqueira: TBA ||
to:
|| 09:30 || Keynote speech: Martin Wirsing: A Formal Framework for Simulation-Based Autonomous Systems || Keynote speech - David Deharbe: A Formal Framework for the Design of Software Components with the B method || Keynote speech - Renato Cerqueira: TBA ||
|| 10:30 || Cofee break || Cofee break || Cofee break ||
|| 11:00 || '''Session 1''' || '''Session 3''' || '''Session 5''' ||
|| 12:30 || Lunch break  || Lunch break  || Lunch break  ||
|| 14:30 || Session 2 || Session 4 || ||
|| 16:00 || Reception || SC meeting || ||
|| 18:00 || || Conference dinner || ||

|| border = 0 width = 100%
|| Session 1 || Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles  ||
|| || Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs ||
|| || Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware
||
September 04, 2015, at 04:48 PM by 179.210.57.231 -
Changed lines 5-8 from:
|| ''Wednesday - 10/14/15'' || ''Thursday - 10/15/15'' || ''Friday - 10/16/15'' ||
to:
||          || ''Wednesday - 10/14/15'' || ''Thursday - 10/15/15'' || ''Friday - 10/16/15'' ||
|| 08:00 || Registration || Rgistration || ||
|| 09:20 || Opening || || ||
|| 09:00 || Keynote speech: Martin Wirsing: A Formal Framework for Simulation-Based Autonomous Systems || Keynote speech - David Deharbe: A Formal Framework for the Design of Software Components with the B method || Keynote speech - Renato Cerqueira: TBA
||
September 04, 2015, at 04:45 PM by 179.210.57.231 -
Changed lines 4-5 from:
||border=0
|| ''Wednesday - 10/14/15'' || "Thursday - 10/15/15" || "Friday - 10/16/15" ||
to:
||border=0 width=100%
||
''Wednesday - 10/14/15'' || ''Thursday - 10/15/15'' || ''Friday - 10/16/15'' ||
September 04, 2015, at 04:44 PM by 179.210.57.231 -
Changed lines 4-5 from:
'+TBA+'
to:
||border=0
||
''Wednesday - 10/14/15'' || "Thursday - 10/15/15" || "Friday - 10/16/15" ||
October 14, 2014, at 09:31 PM by 130.126.255.112 -
Changed lines 2-3 from:

'+Under construction+'
to:
----------------

'+TBA+'
September 21, 2014, at 11:02 PM by 179.210.219.25 -
Added lines 1-2:
!Program
September 21, 2014, at 03:47 AM by 179.210.219.25 -
Added line 1:
'+Under construction+'
Edit - History - Print - Recent Changes - Search
Page last modified on October 07, 2015, at 05:43 PM